{"id":"https://openalex.org/W4383109215","doi":"https://doi.org/10.1109/icra48891.2023.10160643","title":"One-Shot Reachability Analysis of Neural Network Dynamical Systems","display_name":"One-Shot Reachability Analysis of Neural Network Dynamical Systems","publication_year":2023,"publication_date":"2023-05-29","ids":{"openalex":"https://openalex.org/W4383109215","doi":"https://doi.org/10.1109/icra48891.2023.10160643"},"language":"en","primary_location":{"id":"doi:10.1109/icra48891.2023.10160643","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra48891.2023.10160643","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011696469","display_name":"Shaoru Chen","orcid":"https://orcid.org/0000-0001-9416-0627"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Shaoru Chen","raw_affiliation_strings":["University of Pennsylvania,Department of Electrical and Systems Engineering","Department of Electrical and Systems Engineering, University of Pennsylvania"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania,Department of Electrical and Systems Engineering","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"Department of Electrical and Systems Engineering, University of Pennsylvania","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057261458","display_name":"V\u00edctor M. Preciado","orcid":"https://orcid.org/0000-0001-9998-8730"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Victor M. Preciado","raw_affiliation_strings":["University of Pennsylvania,Department of Electrical and Systems Engineering","Department of Electrical and Systems Engineering, University of Pennsylvania"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania,Department of Electrical and Systems Engineering","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"Department of Electrical and Systems Engineering, University of Pennsylvania","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043154223","display_name":"Mahyar Fazlyab","orcid":"https://orcid.org/0000-0001-9695-6178"},"institutions":[{"id":"https://openalex.org/I4210120676","display_name":"Mathematical Institute of the Slovak Academy of Sciences","ror":"https://ror.org/02fhy7464","country_code":"SK","type":"facility","lineage":["https://openalex.org/I207624831","https://openalex.org/I4210120676"]},{"id":"https://openalex.org/I145311948","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95","country_code":"US","type":"education","lineage":["https://openalex.org/I145311948"]}],"countries":["SK","US"],"is_corresponding":false,"raw_author_name":"Mahyar Fazlyab","raw_affiliation_strings":["Mathematical Institute for Data Science, Johns Hopkins University"],"affiliations":[{"raw_affiliation_string":"Mathematical Institute for Data Science, Johns Hopkins University","institution_ids":["https://openalex.org/I145311948","https://openalex.org/I4210120676"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5011696469"],"corresponding_institution_ids":["https://openalex.org/I79576946"],"apc_list":null,"apc_paid":null,"fwci":1.3986,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.84716517,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"10546","last_page":"10552"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10645","display_name":"Cardiac Arrest and Resuscitation","score":0.9391999840736389,"subfield":{"id":"https://openalex.org/subfields/2711","display_name":"Emergency Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9133999943733215,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.9276442527770996},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6971204280853271},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.602916955947876},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.6003400683403015},{"id":"https://openalex.org/keywords/bounding-overwatch","display_name":"Bounding overwatch","score":0.5603255033493042},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.5400418043136597},{"id":"https://openalex.org/keywords/dynamical-system","display_name":"Dynamical system (definition)","score":0.48856791853904724},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.42940789461135864},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.42660826444625854},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3447333574295044},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3334616720676422},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.22186115384101868},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.15055200457572937}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9276442527770996},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6971204280853271},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.602916955947876},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.6003400683403015},{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.5603255033493042},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.5400418043136597},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.48856791853904724},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.42940789461135864},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.42660826444625854},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3447333574295044},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3334616720676422},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.22186115384101868},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.15055200457572937},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icra48891.2023.10160643","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra48891.2023.10160643","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W1789809724","https://openalex.org/W1945616565","https://openalex.org/W2051110650","https://openalex.org/W2563700852","https://openalex.org/W2594877703","https://openalex.org/W2789524546","https://openalex.org/W2883925788","https://openalex.org/W2889490035","https://openalex.org/W2890472662","https://openalex.org/W2891698621","https://openalex.org/W2899156512","https://openalex.org/W2900153411","https://openalex.org/W2917875722","https://openalex.org/W2938701611","https://openalex.org/W2949103145","https://openalex.org/W2950183737","https://openalex.org/W2963054787","https://openalex.org/W2963334980","https://openalex.org/W2963440492","https://openalex.org/W2963496101","https://openalex.org/W2964130946","https://openalex.org/W2980176594","https://openalex.org/W2980176926","https://openalex.org/W2991226929","https://openalex.org/W3094179137","https://openalex.org/W3117881175","https://openalex.org/W3120012985","https://openalex.org/W3120409696","https://openalex.org/W3156870375","https://openalex.org/W3167878808","https://openalex.org/W3205312597","https://openalex.org/W4206101760","https://openalex.org/W4283802686","https://openalex.org/W4287212981","https://openalex.org/W4287865048","https://openalex.org/W4289306490","https://openalex.org/W4301187031","https://openalex.org/W4313679833","https://openalex.org/W4315488781","https://openalex.org/W4379165537","https://openalex.org/W6640425456","https://openalex.org/W6733049761","https://openalex.org/W6750745550","https://openalex.org/W6751044371","https://openalex.org/W6751834733","https://openalex.org/W6754543342","https://openalex.org/W6754619240","https://openalex.org/W6754646375","https://openalex.org/W6755878647","https://openalex.org/W6759698669","https://openalex.org/W6760047469","https://openalex.org/W6765694979","https://openalex.org/W6770927480","https://openalex.org/W6773845772","https://openalex.org/W6784459621","https://openalex.org/W6800464454","https://openalex.org/W6839831105"],"related_works":["https://openalex.org/W2357387646","https://openalex.org/W856973001","https://openalex.org/W1604596197","https://openalex.org/W78063724","https://openalex.org/W2103488150","https://openalex.org/W1201114281","https://openalex.org/W2154236742","https://openalex.org/W4240278998","https://openalex.org/W4401726393","https://openalex.org/W183350788"],"abstract_inverted_index":{"The":[0,136],"arising":[1],"application":[2],"of":[3,14,29,46,53,108,138],"neural":[4,19],"networks":[5],"(NN)":[6],"in":[7,32],"robotic":[8],"systems":[9,22,31],"has":[10],"driven":[11],"the":[12,43,47,51,54,96,102,106,109,121,125],"development":[13],"safety":[15],"verification":[16,117],"methods":[17],"for":[18,26,116,130],"network":[20],"dynamical":[21,30],"(NNDS).":[23],"Recursive":[24],"techniques":[25],"reachability":[27,66,90],"analysis":[28,67,91,140],"closed-loop":[33],"with":[34,132],"a":[35,78,113,147],"NN":[36,55,59],"controller,":[37],"planner":[38],"or":[39],"perception":[40],"can":[41,99],"over-approximate":[42],"reachable":[44],"sets":[45],"NNDS":[48,98,131],"by":[49],"bounding":[50],"outputs":[52],"and":[56,127],"propagating":[57],"these":[58],"output":[60],"bounds":[61],"forward.":[62],"However,":[63],"this":[64,82],"recursive":[65,126],"may":[68],"suffer":[69],"from":[70],"compounding":[71,103],"errors,":[72,104],"rapidly":[73],"becoming":[74],"overly":[75],"conservative":[76],"over":[77],"longer":[79],"horizon.":[80],"In":[81],"work,":[83],"we":[84],"prove":[85],"that":[86],"an":[87],"alternative":[88],"one-shot":[89,128,139],"framework":[92],"which":[93],"directly":[94],"verifies":[95],"unrolled":[97],"significantly":[100],"mitigate":[101],"enabling":[105],"use":[107],"rolling":[110],"horizon":[111],"as":[112],"design":[114],"parameter":[115],"purposes.":[118],"We":[119],"characterize":[120],"performance":[122],"gap":[123],"between":[124],"frameworks":[129],"general":[133],"computational":[134],"graphs.":[135],"applicability":[137],"is":[141],"demonstrated":[142],"through":[143],"numerical":[144],"examples":[145],"on":[146],"cart-pole":[148],"system.":[149]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}