{"id":"https://openalex.org/W7123353800","doi":"https://doi.org/10.1109/cdc57313.2025.11312136","title":"Data-Driven Reachability Analysis for Piecewise Affine Systems","display_name":"Data-Driven Reachability Analysis for Piecewise Affine Systems","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123353800","doi":"https://doi.org/10.1109/cdc57313.2025.11312136"},"language":"en","primary_location":{"id":"doi:10.1109/cdc57313.2025.11312136","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312136","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","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/A5100615814","display_name":"Peng Xie","orcid":"https://orcid.org/0000-0002-8104-9230"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Peng Xie","raw_affiliation_strings":["Technical University of Munich,TUM School of Computation, Information and Technology,Department of Computer Engineering,Heilbronn,Germany,74076"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich,TUM School of Computation, Information and Technology,Department of Computer Engineering,Heilbronn,Germany,74076","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088288292","display_name":"J. Betz","orcid":null},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Johannes Betz","raw_affiliation_strings":["Technical University Munich,Professorship of Autonomous Vehicle Systems, TUM School of Engineering and Design,Garching,Germany,85748"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University Munich,Professorship of Autonomous Vehicle Systems, TUM School of Engineering and Design,Garching,Germany,85748","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066356946","display_name":"Davide M. Raimondo","orcid":"https://orcid.org/0000-0003-4249-7935"},"institutions":[{"id":"https://openalex.org/I142444530","display_name":"University of Trieste","ror":"https://ror.org/02n742c10","country_code":"IT","type":"education","lineage":["https://openalex.org/I142444530"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Davide M. Raimondo","raw_affiliation_strings":["University of Trieste,School of Automatic Control,Department of Engineering and Architecture,Trieste,Italy,34127"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Trieste,School of Automatic Control,Department of Engineering and Architecture,Trieste,Italy,34127","institution_ids":["https://openalex.org/I142444530"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5122620783","display_name":"Amr Alanwar","orcid":null},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Amr Alanwar","raw_affiliation_strings":["Technical University of Munich,TUM School of Computation, Information and Technology,Department of Computer Engineering,Heilbronn,Germany,74076"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich,TUM School of Computation, Information and Technology,Department of Computer Engineering,Heilbronn,Germany,74076","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.70172142,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1356","last_page":"1363"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.35929998755455017,"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.35929998755455017,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.1915999948978424,"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/T11206","display_name":"Model Reduction and Neural Networks","score":0.0869000032544136,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.9520000219345093},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.6344000101089478},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5787000060081482},{"id":"https://openalex.org/keywords/piecewise","display_name":"Piecewise","score":0.5548999905586243},{"id":"https://openalex.org/keywords/boundary","display_name":"Boundary (topology)","score":0.541700005531311},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.5177000164985657},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5049999952316284},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4713999927043915},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.38530001044273376}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9520000219345093},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.6344000101089478},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5787000060081482},{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.5548999905586243},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.541700005531311},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.5177000164985657},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5049999952316284},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48750001192092896},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4713999927043915},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4458000063896179},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.38530001044273376},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3693999946117401},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.3614000082015991},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3564000129699707},{"id":"https://openalex.org/C77405623","wikidata":"https://www.wikidata.org/wiki/Q598451","display_name":"System dynamics","level":2,"score":0.3325999975204468},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.3264000117778778},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32100000977516174},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.3165000081062317},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.3050000071525574},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.2930000126361847},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.2897000014781952},{"id":"https://openalex.org/C184175843","wikidata":"https://www.wikidata.org/wiki/Q7191425","display_name":"Piecewise linear manifold","level":3,"score":0.2890999913215637},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.27869999408721924},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.272599995136261},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.26669999957084656},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.25290000438690186}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312136","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312136","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:arts.units.it:11368/3136806","is_oa":false,"landing_page_url":"https://hdl.handle.net/11368/3136806","pdf_url":null,"source":{"id":"https://openalex.org/S4306400480","display_name":"ArTS Archivio della ricerca di Trieste (University of Trieste https://www.units.it/)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I142444530","host_organization_name":"University of Trieste","host_organization_lineage":["https://openalex.org/I142444530"],"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":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Hybrid":[0],"systems":[1,28,52],"play":[2],"a":[3],"crucial":[4],"role":[5],"in":[6],"modeling":[7],"real-world":[8],"applications":[9],"where":[10,83],"discrete":[11],"and":[12,21,42,131],"continuous":[13],"dynamics":[14,84],"interact,":[15],"including":[16],"autonomous":[17],"vehicles,":[18],"power":[19],"systems,":[20],"traffic":[22],"networks.":[23],"Safety":[24],"verification":[25],"for":[26,95,135,140],"these":[27],"requires":[29],"determining":[30],"whether":[31],"system":[32,126],"states":[33],"can":[34],"enter":[35],"unsafe":[36],"regions":[37,64],"under":[38],"given":[39],"initial":[40],"conditions":[41],"uncertainties\u2014a":[43],"question":[44],"directly":[45],"addressed":[46],"by":[47,110],"reachability":[48,97],"analysis.":[49],"However,":[50],"hybrid":[51,93],"present":[53],"unique":[54],"difficulties":[55],"because":[56],"their":[57],"state":[58],"space":[59],"is":[60],"divided":[61],"into":[62],"multiple":[63],"with":[65,143],"distinct":[66],"dynamic":[67],"models,":[68],"causing":[69],"traditional":[70],"data-driven":[71,96],"methods":[72,134],"to":[73,122],"produce":[74],"inadequate":[75],"over-approximations":[76],"of":[77,99,118],"reachable":[78],"sets":[79],"at":[80],"region":[81],"boundaries":[82],"change":[85],"abruptly.":[86],"This":[87],"paper":[88],"introduces":[89],"an":[90],"approach":[91],"using":[92],"zonotopes":[94],"analysis":[98],"piecewise":[100],"affine":[101],"systems.":[102],"Our":[103],"method":[104],"addresses":[105],"the":[106,116,124],"boundary":[107],"transition":[108],"problem":[109],"developing":[111],"computational":[112],"algorithms":[113],"that":[114,138],"calculate":[115],"family":[117],"set":[119],"models":[120],"guaranteed":[121],"contain":[123],"true":[125],"trajectories.":[127],"Additionally,":[128],"we":[129],"extend":[130],"evaluate":[132],"three":[133],"set-based":[136],"estimation":[137],"account":[139],"input-output":[141],"data":[142],"measurement":[144],"noise.":[145]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-01-14T00:00:00"}