{"id":"https://openalex.org/W4383097441","doi":"https://doi.org/10.1109/icra48891.2023.10160732","title":"ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds","display_name":"ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds","publication_year":2023,"publication_date":"2023-05-29","ids":{"openalex":"https://openalex.org/W4383097441","doi":"https://doi.org/10.1109/icra48891.2023.10160732"},"language":"en","primary_location":{"id":"doi:10.1109/icra48891.2023.10160732","doi":"https://doi.org/10.1109/icra48891.2023.10160732","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra48891.2023.10160732","pdf_url":null,"source":{"id":"https://openalex.org/S4210217939","display_name":"Proceedings - IEEE International Conference on Robotics and Automation/Proceedings","issn_l":"1050-4729","issn":["1050-4729","2577-087X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-1"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"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"},"volume":null,"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2211.00608","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010179153","display_name":"Taha Entesari","orcid":null,"observed_orcids":[]},"institutions":[{"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":["US"],"is_corresponding":false,"raw_author_name":"Taha Entesari","raw_affiliation_strings":["Johns Hopkins University,Department of Electrical and Computer Engineering","Department of Electrical and Computer Engineering, Johns Hopkins University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johns Hopkins University,Department of Electrical and Computer Engineering","institution_ids":["https://openalex.org/I145311948"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Johns Hopkins University","institution_ids":["https://openalex.org/I145311948"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Sina Sharifi","orcid":null,"observed_orcids":[]},"institutions":[{"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":["US"],"is_corresponding":false,"raw_author_name":"Sina Sharifi","raw_affiliation_strings":["Johns Hopkins University,Department of Electrical and Computer Engineering","Department of Electrical and Computer Engineering, Johns Hopkins University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johns Hopkins University,Department of Electrical and Computer Engineering","institution_ids":["https://openalex.org/I145311948"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Johns Hopkins University","institution_ids":["https://openalex.org/I145311948"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043154223","display_name":"Mahyar Fazlyab","orcid":"https://orcid.org/0000-0001-9695-6178","observed_orcids":["https://orcid.org/0000-0001-9695-6178"]},"institutions":[{"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":["US"],"is_corresponding":false,"raw_author_name":"Mahyar Fazlyab","raw_affiliation_strings":["Johns Hopkins University,Department of Electrical and Computer Engineering","Department of Electrical and Computer Engineering, Johns Hopkins University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johns Hopkins University,Department of Electrical and Computer Engineering","institution_ids":["https://openalex.org/I145311948"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Johns Hopkins University","institution_ids":["https://openalex.org/I145311948"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I145311948"],"apc_list":null,"apc_paid":null,"fwci":2.4846,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.89553915,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1003","last_page":"1010"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9848999977111816,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9848999977111816,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.0032999999821186066,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.0013000000035390258,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability-analysis","display_name":"reachability analysis","score":0.9829999804496765},{"id":"https://openalex.org/keywords/neural-network","display_name":"artificial neural networks","score":0.7059999704360962},{"id":"https://openalex.org/keywords/lipschitz-bounds","display_name":"Lipschitz bounds","score":0.8519999980926514},{"id":"https://openalex.org/keywords/branch-and-bound","display_name":"branch and bound","score":0.9810000061988831},{"id":"https://openalex.org/keywords/reachable-set-approximation","display_name":"reachable set approximation","score":0.6840000152587891},{"id":"https://openalex.org/keywords/polyhedral-approximation","display_name":"polyhedral approximation","score":0.7120000123977661},{"id":"https://openalex.org/keywords/neural-network-controller","display_name":"neural network controller","score":0.7599999904632568},{"id":"https://openalex.org/keywords/autonomous-systems","display_name":"autonomous systems","score":0.6959999799728394},{"id":"https://openalex.org/keywords/closed-loop-control-system","display_name":"closed-loop systems","score":0.5640000104904175},{"id":"https://openalex.org/keywords/open-loop-systems","display_name":"open-loop systems","score":0.7110000252723694},{"id":"https://openalex.org/keywords/convex-optimization","display_name":"convex optimization","score":0.5659999847412109},{"id":"https://openalex.org/keywords/principal-component-analysis","display_name":"principal component analysis","score":0.8100000023841858},{"id":"https://openalex.org/keywords/over-approximation","display_name":"over-approximation","score":0.7519999742507935}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8687713146209717},{"id":"https://openalex.org/C22324862","wikidata":"https://www.wikidata.org/wiki/Q652707","display_name":"Lipschitz continuity","level":2,"score":0.7324638366699219},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6287932395935059},{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.5443089604377747},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5319219827651978},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.4489091634750366},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.393105149269104},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37287065386772156},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.339960515499115},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15913543105125427},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.084084153175354}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/icra48891.2023.10160732","doi":"https://doi.org/10.1109/icra48891.2023.10160732","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra48891.2023.10160732","pdf_url":null,"source":{"id":"https://openalex.org/S4210217939","display_name":"Proceedings - IEEE International Conference on Robotics and Automation/Proceedings","issn_l":"1050-4729","issn":["1050-4729","2577-087X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-1"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"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"},{"id":"pmh:oai:arXiv.org:2211.00608","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2211.00608","pdf_url":"https://arxiv.org/pdf/2211.00608","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2211.00608","doi":"https://doi.org/10.48550/arxiv.2211.00608","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2211.00608","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2211.00608","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2211.00608","pdf_url":"https://arxiv.org/pdf/2211.00608","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4383097441.pdf","grobid_xml":"https://content.openalex.org/works/W4383097441.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W174240283","https://openalex.org/W1789809724","https://openalex.org/W2095705004","https://openalex.org/W2145201569","https://openalex.org/W2529731305","https://openalex.org/W2594877703","https://openalex.org/W2618318883","https://openalex.org/W2788931035","https://openalex.org/W2791251367","https://openalex.org/W2798356176","https://openalex.org/W2801079363","https://openalex.org/W2807040120","https://openalex.org/W2808278079","https://openalex.org/W2887532679","https://openalex.org/W2899116309","https://openalex.org/W2916774113","https://openalex.org/W2938701611","https://openalex.org/W2949482052","https://openalex.org/W2962787891","https://openalex.org/W2964130946","https://openalex.org/W2980176926","https://openalex.org/W2981925314","https://openalex.org/W2982312374","https://openalex.org/W3006898349","https://openalex.org/W3015150039","https://openalex.org/W3024917158","https://openalex.org/W3090633192","https://openalex.org/W3107298849","https://openalex.org/W3113374047","https://openalex.org/W3114066475","https://openalex.org/W3119449299","https://openalex.org/W3120409696","https://openalex.org/W3132471544","https://openalex.org/W3133084582","https://openalex.org/W3156870375","https://openalex.org/W3175924829","https://openalex.org/W3190898705","https://openalex.org/W3192484995","https://openalex.org/W3212827451","https://openalex.org/W4287865048","https://openalex.org/W4315488706","https://openalex.org/W6685140790","https://openalex.org/W6947603656"],"related_works":["https://openalex.org/W3091798065","https://openalex.org/W2953707919","https://openalex.org/W2980176926","https://openalex.org/W3119449299","https://openalex.org/W3192260026","https://openalex.org/W4311725515","https://openalex.org/W4295854763","https://openalex.org/W7054984372","https://openalex.org/W4315472284","https://openalex.org/W4312566193"],"abstract_inverted_index":{"We":[0,44,86,132],"propose":[1],"a":[2,41,74],"novel":[3],"Branch-and-Bound":[4],"method":[5,90,139],"for":[6],"reachability":[7,92],"analysis":[8,93],"of":[9,30,37,57,94,106,122,136],"neural":[10,32,98],"networks":[11],"in":[12,34,140],"both":[13],"open-loop":[14,142],"and":[15,143],"closed-loop":[16,144],"settings.":[17,145],"Our":[18],"idea":[19],"is":[20],"to":[21,49,77,91,102,118],"first":[22],"compute":[23],"accurate":[24],"bounds":[25,48],"on":[26],"the":[27,31,58,79,104,107,120,123,134,137],"Lipschitz":[28,62],"constant":[29],"network":[33,99],"certain":[35],"directions":[36,121],"interest":[38],"offline":[39],"using":[40,61,127],"convex":[42],"program.":[43],"then":[45,87],"use":[46,115],"these":[47],"obtain":[50],"an":[51,83],"instantaneous":[52],"but":[53],"conservative":[54],"polyhedral":[55],"approximation":[56],"reachable":[59,108,124],"set":[60,125],"continuity":[63],"arguments.":[64],"To":[65],"reduce":[66],"conservatism,":[67],"we":[68,114],"incorporate":[69],"our":[70,89],"bounding":[71],"algorithm":[72],"within":[73,82],"branching":[75],"strategy":[76],"decrease":[78],"over-approximation":[80],"error":[81],"arbitrary":[84],"accuracy.":[85],"extend":[88],"control":[95],"systems":[96],"with":[97],"controllers.":[100],"Finally,":[101],"capture":[103],"shape":[105],"sets":[109],"as":[110,112],"accurately":[111],"possible,":[113],"sample":[116],"trajectories":[117],"inform":[119],"over-approximations":[126],"Principal":[128],"Com-ponent":[129],"Analysis":[130],"(PCA).":[131],"evaluate":[133],"performance":[135],"proposed":[138],"several":[141]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2023-07-05T00:00:00"}