{"id":"https://openalex.org/W7151244089","doi":"https://doi.org/10.48550/arxiv.2604.04758","title":"Data-Driven Reachability Analysis with Optimal Input Design","display_name":"Data-Driven Reachability Analysis with Optimal Input Design","publication_year":2026,"publication_date":"2026-04-06","ids":{"openalex":"https://openalex.org/W7151244089","doi":"https://doi.org/10.48550/arxiv.2604.04758"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.04758","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.04758","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.04758","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133127731","display_name":"Peng Xie","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xie, Peng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066356946","display_name":"Davide M. Raimondo","orcid":"https://orcid.org/0000-0003-4249-7935"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Raimondo, Davide M.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040485515","display_name":"Rolf Findeisen","orcid":"https://orcid.org/0000-0002-9112-5946"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Findeisen, Rolf","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5122620783","display_name":"Amr Alanwar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alanwar, Amr","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.39329999685287476,"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.39329999685287476,"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/T11206","display_name":"Model Reduction and Neural Networks","score":0.1339000016450882,"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"}},{"id":"https://openalex.org/T11236","display_name":"Control Systems and Identification","score":0.10840000212192535,"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.8981000185012817},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6085000038146973},{"id":"https://openalex.org/keywords/moore\u2013penrose-pseudoinverse","display_name":"Moore\u2013Penrose pseudoinverse","score":0.6000000238418579},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.49970000982284546},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.484499990940094},{"id":"https://openalex.org/keywords/inverse","display_name":"Inverse","score":0.46630001068115234},{"id":"https://openalex.org/keywords/piecewise","display_name":"Piecewise","score":0.45570001006126404},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.4334000051021576}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8981000185012817},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6085000038146973},{"id":"https://openalex.org/C21556879","wikidata":"https://www.wikidata.org/wiki/Q43219517","display_name":"Moore\u2013Penrose pseudoinverse","level":3,"score":0.6000000238418579},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5307999849319458},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.49970000982284546},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.484499990940094},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.46630001068115234},{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.45570001006126404},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.4334000051021576},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4239000082015991},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4171999990940094},{"id":"https://openalex.org/C17095337","wikidata":"https://www.wikidata.org/wiki/Q2375229","display_name":"Piecewise linear function","level":2,"score":0.4043999910354614},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.3928000032901764},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37720000743865967},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.34130001068115234},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.30219998955726624},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.2888999879360199},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.2849000096321106},{"id":"https://openalex.org/C201829737","wikidata":"https://www.wikidata.org/wiki/Q2022760","display_name":"Linear matrix inequality","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.2653999924659729},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.2606000006198883},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.25769999623298645},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.25699999928474426}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.04758","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.04758","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.04758","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.04758","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"addresses":[2],"the":[3,19,33,51,72,75,98,101,105,108,148,163],"conservatism":[4,46,154],"in":[5,47],"data-driven":[6],"reachability":[7],"analysis":[8],"for":[9,170],"discrete-time":[10],"linear":[11],"systems":[12,123],"subject":[13],"to":[14,44,96,120,156,166],"bounded":[15],"process":[16],"noise,":[17],"where":[18],"system":[20,135,141],"matrices":[21],"are":[22,29,42],"unknown":[23],"and":[24,82,104,136,162],"only":[25],"input--state":[26],"trajectory":[27],"data":[28,103,126],"available.":[30],"Building":[31],"on":[32,130],"constrained":[34],"matrix":[35],"zonotope":[36],"(CMZ)":[37],"framework,":[38],"two":[39],"complementary":[40],"strategies":[41],"proposed":[43,116],"reduce":[45],"reachable-set":[48],"over-approximations.":[49],"First,":[50],"standard":[52],"Moore--Penrose":[53],"pseudoinverse":[54],"is":[55,94],"replaced":[56],"with":[57,147],"a":[58,64,131,137,157],"row-norm-minimizing":[59],"right":[60,150],"inverse":[61,151],"computed":[62],"via":[63],"second-order":[65],"cone":[66],"program":[67],"(SOCP),":[68],"which":[69],"directly":[70],"reduces":[71,153],"size":[73],"of":[74,100,107],"resulting":[76,109],"model":[77,110],"set,":[78,111],"yielding":[79],"tighter":[80,167],"generators":[81],"less":[83],"conservative":[84],"reachable":[85,168],"sets.":[86],"Second,":[87],"an":[88],"online":[89],"A-optimal":[90],"input":[91],"design":[92],"strategy":[93],"introduced":[95],"improve":[97],"informativeness":[99],"collected":[102],"conditioning":[106],"thereby":[112],"reducing":[113],"uncertainty.":[114],"The":[115],"framework":[117],"extends":[118],"naturally":[119],"piecewise":[121,139],"affine":[122,140],"through":[124],"mode-dependent":[125],"partitioning.":[127],"Numerical":[128],"results":[129],"five-dimensional":[132],"stable":[133],"LTI":[134],"two-dimensional":[138],"demonstrate":[142],"that":[143],"combining":[144],"designed":[145],"inputs":[146,161],"row-norm":[149],"significantly":[152],"compared":[155],"baseline":[158],"using":[159],"random":[160],"pseudoinverse,":[164],"leading":[165],"sets":[169],"safety":[171],"verification.":[172]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-04-08T00:00:00"}