{"id":"https://openalex.org/W7153074619","doi":"https://doi.org/10.48550/arxiv.2604.07414","title":"Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems","display_name":"Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems","publication_year":2026,"publication_date":"2026-04-08","ids":{"openalex":"https://openalex.org/W7153074619","doi":"https://doi.org/10.48550/arxiv.2604.07414"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.07414","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.07414","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.07414","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043504806","display_name":"Gricel V\u00e1zquez","orcid":"https://orcid.org/0000-0003-4886-5567"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"V\u00e1zquez, Gricel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070675201","display_name":"Calum Imrie","orcid":"https://orcid.org/0009-0004-3198-9226"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Imrie, Calum","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059185014","display_name":"Sepeedeh Shahbeigi","orcid":"https://orcid.org/0000-0002-4405-5754"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shahbeigi, Sepeedeh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044225099","display_name":"Nawshin Mannan Proma","orcid":"https://orcid.org/0000-0002-8869-3977"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Proma, Nawshin Mannan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133395131","display_name":"Tian Gan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gan, Tian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024373546","display_name":"Joanna Hodge","orcid":"https://orcid.org/0000-0002-2469-0224"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hodge, Victoria J","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017266389","display_name":"John J. Molloy","orcid":"https://orcid.org/0000-0001-5337-0353"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Molloy, John","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5055440630","display_name":"Simos Gerasimou","orcid":"https://orcid.org/0000-0002-2706-5272"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gerasimou, Simos","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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.5482000112533569,"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.5482000112533569,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.09610000252723694,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.08290000259876251,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/adaptation","display_name":"Adaptation (eye)","score":0.6761999726295471},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.6040999889373779},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5406000018119812},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.49140000343322754},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4156999886035919},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.3813999891281128},{"id":"https://openalex.org/keywords/adaptability","display_name":"Adaptability","score":0.3449000120162964}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7023000121116638},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.6761999726295471},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.6040999889373779},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5406000018119812},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.49140000343322754},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4156999886035919},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3813999891281128},{"id":"https://openalex.org/C177606310","wikidata":"https://www.wikidata.org/wiki/Q5674297","display_name":"Adaptability","level":2,"score":0.3449000120162964},{"id":"https://openalex.org/C9628104","wikidata":"https://www.wikidata.org/wiki/Q788009","display_name":"Autonomous system (mathematics)","level":2,"score":0.33980000019073486},{"id":"https://openalex.org/C2776544517","wikidata":"https://www.wikidata.org/wiki/Q189447","display_name":"Unexpected events","level":2,"score":0.29739999771118164},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.2865000069141388},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2782999873161316},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.27309998869895935},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.27239999175071716},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.2694000005722046},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.2662000060081482},{"id":"https://openalex.org/C52970973","wikidata":"https://www.wikidata.org/wiki/Q2497134","display_name":"Adaptive system","level":2,"score":0.26579999923706055},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.26179999113082886}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.07414","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.07414","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.07414","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.07414","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.4310099184513092,"display_name":"Climate action","id":"https://metadata.un.org/sdg/13"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Ensuring":[0],"reliable":[1],"performance":[2],"in":[3,15,38],"situations":[4],"outside":[5],"the":[6,47,55,60],"Operational":[7],"Design":[8],"Domain":[9],"(ODD)":[10],"remains":[11],"a":[12],"primary":[13],"challenge":[14,23],"devising":[16],"resilient":[17],"autonomous":[18],"systems.":[19],"We":[20],"explore":[21],"this":[22],"by":[24,76],"introducing":[25],"an":[26],"approach":[27,44,71],"for":[28],"adapting":[29,77],"probabilistic":[30],"system":[31,51,74],"models":[32],"to":[33],"handle":[34],"out-of-ODD":[35,87],"scenarios":[36],"while,":[37],"parallel,":[39],"providing":[40,81],"quantitative":[41],"guarantees.":[42],"Our":[43],"dynamically":[45],"extends":[46],"coverage":[48],"of":[49,59],"existing":[50],"situation":[52],"capabilities,":[53],"supporting":[54],"verification":[56],"and":[57,80],"adaptation":[58],"system's":[61],"behaviour":[62,79],"under":[63,85],"unanticipated":[64],"situations.":[65,88],"Preliminary":[66],"results":[67],"demonstrate":[68],"that":[69],"our":[70],"effectively":[72],"increases":[73],"reliability":[75],"its":[78],"formal":[82],"guarantees":[83],"even":[84],"unforeseen":[86]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-11T00:00:00"}