{"id":"https://openalex.org/W4406258689","doi":"https://doi.org/10.1109/tac.2025.3528352","title":"Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition","display_name":"Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition","publication_year":2025,"publication_date":"2025-01-10","ids":{"openalex":"https://openalex.org/W4406258689","doi":"https://doi.org/10.1109/tac.2025.3528352"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2025.3528352","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3528352","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-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/A5008199378","display_name":"Jacob A. Siefert","orcid":"https://orcid.org/0000-0002-2778-1965"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jacob A. Siefert","raw_affiliation_strings":["Department of Mechanical Engineering, The Pennsylvania State University, University Park, PA, USA"],"raw_orcid":"https://orcid.org/0000-0002-2778-1965","affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, The Pennsylvania State University, University Park, PA, USA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027415757","display_name":"Trevor J. Bird","orcid":"https://orcid.org/0000-0001-7931-2274"},"institutions":[{"id":"https://openalex.org/I4210112407","display_name":"PC Krause & Associates (United States)","ror":"https://ror.org/01x22f448","country_code":"US","type":"company","lineage":["https://openalex.org/I4210112407"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Trevor J. Bird","raw_affiliation_strings":["P. C. Krause and Associates, West Lafayette, IN, USA"],"raw_orcid":"https://orcid.org/0000-0001-7931-2274","affiliations":[{"raw_affiliation_string":"P. C. Krause and Associates, West Lafayette, IN, USA","institution_ids":["https://openalex.org/I4210112407"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069694916","display_name":"A. Thompson","orcid":"https://orcid.org/0009-0009-8367-867X"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew F. Thompson","raw_affiliation_strings":["Department of Mechanical Engineering, The Pennsylvania State University, University Park, PA, USA"],"raw_orcid":"https://orcid.org/0009-0009-8367-867X","affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, The Pennsylvania State University, University Park, PA, USA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090398430","display_name":"Jonah J. Glunt","orcid":"https://orcid.org/0009-0000-8088-0068"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jonah J. Glunt","raw_affiliation_strings":["Department of Mechanical Engineering, The Pennsylvania State University, University Park, PA, USA"],"raw_orcid":"https://orcid.org/0009-0000-8088-0068","affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, The Pennsylvania State University, University Park, PA, USA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052754311","display_name":"Justin P. Koeln","orcid":"https://orcid.org/0000-0001-7505-1214"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Justin P. Koeln","raw_affiliation_strings":["Mechanical Engineering Department, University of Texas at Dallas, Richardson, TX, USA"],"raw_orcid":"https://orcid.org/0000-0001-7505-1214","affiliations":[{"raw_affiliation_string":"Mechanical Engineering Department, University of Texas at Dallas, Richardson, TX, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031742564","display_name":"Neera Jain","orcid":"https://orcid.org/0000-0001-6755-3484"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Neera Jain","raw_affiliation_strings":["School of Mechanical Engineering, Purdue University, West Lafayette, IN, USA"],"raw_orcid":"https://orcid.org/0000-0001-6755-3484","affiliations":[{"raw_affiliation_string":"School of Mechanical Engineering, Purdue University, West Lafayette, IN, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059842706","display_name":"Herschel C. Pangborn","orcid":"https://orcid.org/0000-0001-7261-611X"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Herschel C. Pangborn","raw_affiliation_strings":["Department of Mechanical Engineering, The Pennsylvania State University, University Park, PA, USA"],"raw_orcid":"https://orcid.org/0000-0001-7261-611X","affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, The Pennsylvania State University, University Park, PA, USA","institution_ids":["https://openalex.org/I130769515"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.7275,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.97638755,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"70","issue":"7","first_page":"4671","last_page":"4686"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9884999990463257,"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.9884999990463257,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9818000197410583,"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/T11236","display_name":"Control Systems and Identification","score":0.9668999910354614,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8983491063117981},{"id":"https://openalex.org/keywords/polytope","display_name":"Polytope","score":0.5999826192855835},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5646893382072449},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5441935062408447},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5097288489341736},{"id":"https://openalex.org/keywords/vertex","display_name":"Vertex (graph theory)","score":0.4982645511627197},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4742944538593292},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.47190791368484497},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.42440035939216614},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.42045411467552185},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.4121939241886139},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39740410447120667},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3756154477596283},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3571062982082367},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2742321789264679},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.1381223201751709},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.1256130039691925},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.08045241236686707}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8983491063117981},{"id":"https://openalex.org/C145691206","wikidata":"https://www.wikidata.org/wiki/Q747980","display_name":"Polytope","level":2,"score":0.5999826192855835},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5646893382072449},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5441935062408447},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5097288489341736},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.4982645511627197},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4742944538593292},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.47190791368484497},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.42440035939216614},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.42045411467552185},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.4121939241886139},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39740410447120667},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3756154477596283},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3571062982082367},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2742321789264679},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.1381223201751709},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.1256130039691925},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.08045241236686707},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","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},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2025.3528352","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3528352","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306078","display_name":"U.S. Department of Defense","ror":"https://ror.org/0447fe631"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W1590159044","https://openalex.org/W1598855039","https://openalex.org/W1708780353","https://openalex.org/W1977049759","https://openalex.org/W2004463571","https://openalex.org/W2116364955","https://openalex.org/W2126685080","https://openalex.org/W2147741970","https://openalex.org/W2154679417","https://openalex.org/W2158451642","https://openalex.org/W2259853674","https://openalex.org/W2298907094","https://openalex.org/W2300621294","https://openalex.org/W2576277975","https://openalex.org/W2766658289","https://openalex.org/W2907553835","https://openalex.org/W2919694184","https://openalex.org/W2963606896","https://openalex.org/W2964040381","https://openalex.org/W3025405458","https://openalex.org/W3046272654","https://openalex.org/W3107034996","https://openalex.org/W3120640427","https://openalex.org/W3175238547","https://openalex.org/W3215561914","https://openalex.org/W4200582041","https://openalex.org/W4205769897","https://openalex.org/W4285135582","https://openalex.org/W4292672841","https://openalex.org/W4294691034","https://openalex.org/W4312660377","https://openalex.org/W4382935779","https://openalex.org/W4382935858","https://openalex.org/W4387735088","https://openalex.org/W4391020022","https://openalex.org/W4391021976","https://openalex.org/W4401811386","https://openalex.org/W4402535019","https://openalex.org/W6743558609","https://openalex.org/W6763258710","https://openalex.org/W6889126391","https://openalex.org/W7000851497"],"related_works":["https://openalex.org/W2357387646","https://openalex.org/W856973001","https://openalex.org/W78063724","https://openalex.org/W2103488150","https://openalex.org/W1604596197","https://openalex.org/W4249426951","https://openalex.org/W1598511836","https://openalex.org/W2172357028","https://openalex.org/W2952920810","https://openalex.org/W2091099650"],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"methods":[3,23,100],"for":[4,68,77],"reachability":[5],"analysis":[6],"of":[7,82],"nonlinear":[8,16,74],"systems,":[9],"including":[10],"those":[11],"in":[12,44,55],"closed":[13],"loop":[14],"with":[15,49,58],"controllers":[17],"such":[18],"as":[19],"neural":[20],"networks.":[21],"The":[22],"combine":[24],"hybrid":[25,88],"zonotopes,":[26],"a":[27,30,80],"construct":[28],"called":[29],"state-update":[31],"set,":[32],"functional":[33],"decomposition,":[34],"and":[35,52,76,101],"special":[36],"ordered":[37],"set":[38,46],"approximations":[39],"to":[40,87,104],"enable":[41],"linear":[42,53],"growth":[43],"reachable":[45],"memory":[47],"complexity":[48,57],"time":[50,56],"steps":[51],"scaling":[54],"the":[59,95,98],"system":[60],"dimension.":[61],"Facilitating":[62],"this":[63],"combination":[64],"are":[65],"new":[66],"identities":[67],"constructing":[69],"nonconvex":[70],"sets":[71],"that":[72],"contain":[73],"functions":[75],"efficiently":[78],"converting":[79],"collection":[81],"polytopes":[83],"from":[84,94],"vertex":[85],"representation":[86],"zonotope":[89],"representation.":[90],"Benchmark":[91],"numerical":[92],"examples":[93],"literature":[96],"demonstrate":[97],"proposed":[99],"provide":[102],"comparison":[103],"state-of-the-art":[105],"techniques.":[106]},"counts_by_year":[{"year":2025,"cited_by_count":8}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}