{"id":"https://openalex.org/W7152366385","doi":"https://doi.org/10.48550/arxiv.2604.06776","title":"Failure-Aware Iterative Learning of State-Control Invariant Sets","display_name":"Failure-Aware Iterative Learning of State-Control Invariant Sets","publication_year":2026,"publication_date":"2026-04-08","ids":{"openalex":"https://openalex.org/W7152366385","doi":"https://doi.org/10.48550/arxiv.2604.06776"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.06776","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.06776","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.06776","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133252921","display_name":"Ahmad Amine","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Amine, Ahmad","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001552716","display_name":"Nick-Marios T. Kokolakis","orcid":"https://orcid.org/0000-0001-6032-1699"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kokolakis, Nick-Marios T.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026281392","display_name":"Ugo Rosolia","orcid":"https://orcid.org/0000-0002-1682-0551"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rosolia, Ugo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021671983","display_name":"Truong X. Nghiem","orcid":"https://orcid.org/0000-0003-4841-3800"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nghiem, Truong X.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5009445756","display_name":"Rahul Mangharam","orcid":"https://orcid.org/0000-0002-3388-8283"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mangharam, Rahul","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5133252921"],"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.1826000064611435,"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"}},"topics":[{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.1826000064611435,"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/T11206","display_name":"Model Reduction and Neural Networks","score":0.13379999995231628,"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.09080000221729279,"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/invariant","display_name":"Invariant (physics)","score":0.6599000096321106},{"id":"https://openalex.org/keywords/iterative-learning-control","display_name":"Iterative learning control","score":0.4648999869823456},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4424000084400177},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4163999855518341},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.4058000147342682},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.3799999952316284},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.3596000075340271}],"concepts":[{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.6599000096321106},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.633400022983551},{"id":"https://openalex.org/C117619785","wikidata":"https://www.wikidata.org/wiki/Q6094414","display_name":"Iterative learning control","level":3,"score":0.4648999869823456},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4424000084400177},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4163999855518341},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4146000146865845},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.4058000147342682},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3799999952316284},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37299999594688416},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.3596000075340271},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.3537999987602234},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.35109999775886536},{"id":"https://openalex.org/C87698059","wikidata":"https://www.wikidata.org/wiki/Q1808960","display_name":"LTI system theory","level":3,"score":0.3472999930381775},{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.33809998631477356},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.28519999980926514},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2824999988079071},{"id":"https://openalex.org/C51632099","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Training set","level":2,"score":0.2660999894142151},{"id":"https://openalex.org/C2779323837","wikidata":"https://www.wikidata.org/wiki/Q5300045","display_name":"Double integrator","level":3,"score":0.26499998569488525},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.2603999972343445}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.06776","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.06776","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.06776","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.06776","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":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7354356050491333}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0],"this":[1,91],"paper,":[2],"we":[3,93],"address":[4],"the":[5,18,28,32,44,55,57,68,72,75,78,82,85,118,132,139,143,146,158,165,175],"problem":[6],"of":[7,20,59,71,81,142,145],"computing":[8],"maximal":[9,37,45],"state-control":[10,21,34,38,119],"invariant":[11,39,47,105],"sets":[12],"using":[13],"failing":[14,127,153],"trajectories.":[15,154],"We":[16,65,155],"introduce":[17],"concept":[19],"invariance,":[22],"which":[23],"extends":[24],"control":[25,46,60],"invariance":[26],"from":[27,125],"state":[29,53,69],"space":[30,120],"to":[31,164],"joint":[33],"space.":[35],"The":[36,110],"(MSCI)":[40],"set":[41,48,58,116,148,161],"simultaneously":[42],"encodes":[43],"(MCI)":[49],"and,":[50],"for":[51,101],"each":[52,135],"in":[54,117],"MCI,":[56],"inputs":[61],"that":[62,67,157],"preserve":[63],"invariance.":[64],"prove":[66,156],"projection":[70],"MSCI":[73,83],"is":[74],"MCI":[76],"and":[77],"state-dependent":[79],"sections":[80],"are":[84],"admissible":[86],"invariance-preserving":[87],"inputs.":[88],"Building":[89],"on":[90,152,169],"framework,":[92],"develop":[94],"a":[95,114,150,170],"Failure-Aware":[96],"Iterative":[97],"Learning":[98],"(FAIL)":[99],"algorithm":[100,111],"deterministic":[102],"linear":[103],"time":[104],"systems":[106],"with":[107],"polytopic":[108],"constraints.":[109],"iteratively":[112],"updates":[113],"constraint":[115,147,160],"by":[121,149],"learning":[122],"predecessor":[123,144],"halfspaces":[124,141],"one-step":[126],"state-input":[128],"pairs,":[129],"without":[130],"knowing":[131],"dynamics.":[133],"For":[134],"failure,":[136],"FAIL":[137],"learns":[138],"violated":[140],"regression":[151],"learned":[159],"converges":[162],"monotonically":[163],"MSCI.":[166],"Numerical":[167],"experiments":[168],"double":[171],"integrator":[172],"system":[173],"validate":[174],"proposed":[176],"approach.":[177]},"counts_by_year":[],"updated_date":"2026-05-04T08:30:34.212998","created_date":"2026-04-10T00:00:00"}