{"id":"https://openalex.org/W7169797087","doi":"https://doi.org/10.1145/3788550.3794869","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-13","ids":{"openalex":"https://openalex.org/W7169797087","doi":"https://doi.org/10.1145/3788550.3794869"},"language":null,"primary_location":{"id":"doi:10.1145/3788550.3794869","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3788550.3794869","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3788550.3794869","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043504806","display_name":"Gricel V\u00e1zquez","orcid":"https://orcid.org/0000-0003-4886-5567"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Gricel V\u00e1zquez","raw_affiliation_strings":["University of York, York, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-4886-5567","affiliations":[{"raw_affiliation_string":"University of York, York, United Kingdom","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070675201","display_name":"Calum Imrie","orcid":"https://orcid.org/0009-0004-3198-9226"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Calum Imrie","raw_affiliation_strings":["University of York, York, United Kingdom"],"raw_orcid":"https://orcid.org/0009-0004-3198-9226","affiliations":[{"raw_affiliation_string":"University of York, York, United Kingdom","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059185014","display_name":"Sepeedeh Shahbeigi","orcid":"https://orcid.org/0000-0002-4405-5754"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sepeedeh Shahbeigi","raw_affiliation_strings":["University of York, York, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-4405-5754","affiliations":[{"raw_affiliation_string":"University of York, York, United Kingdom","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044225099","display_name":"Nawshin Mannan Proma","orcid":"https://orcid.org/0000-0002-8869-3977"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nawshin Mannan Proma","raw_affiliation_strings":["University of York, York, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-8869-3977","affiliations":[{"raw_affiliation_string":"University of York, York, United Kingdom","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133395131","display_name":"Tian Gan","orcid":null},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tian Gan","raw_affiliation_strings":["University of York, York, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-3763-1688","affiliations":[{"raw_affiliation_string":"University of York, York, United Kingdom","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024373546","display_name":"Joanna Hodge","orcid":"https://orcid.org/0000-0002-2469-0224"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Victoria J Hodge","raw_affiliation_strings":["University of York, York, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-2469-0224","affiliations":[{"raw_affiliation_string":"University of York, York, United Kingdom","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058940633","display_name":"John Molloy","orcid":"https://orcid.org/0000-0003-0921-5908"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"John Molloy","raw_affiliation_strings":["University of York, York, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-0921-5908","affiliations":[{"raw_affiliation_string":"University of York, York, United Kingdom","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055440630","display_name":"Simos Gerasimou","orcid":"https://orcid.org/0000-0002-2706-5272"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Simos Gerasimou","raw_affiliation_strings":["University of York, York, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-2706-5272","affiliations":[{"raw_affiliation_string":"University of York, York, United Kingdom","institution_ids":["https://openalex.org/I52099693"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I52099693"],"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":"68","last_page":"73"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"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.1145/3788550.3794869","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3788550.3794869","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3788550.3794869","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3788550.3794869","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1862398452","https://openalex.org/W1998284497","https://openalex.org/W2034225360","https://openalex.org/W2291637985","https://openalex.org/W3047409295","https://openalex.org/W3173643261","https://openalex.org/W3198310630","https://openalex.org/W4383888916","https://openalex.org/W4383898433","https://openalex.org/W4387700611","https://openalex.org/W4387701050","https://openalex.org/W4391278174","https://openalex.org/W4392658067","https://openalex.org/W4399431387","https://openalex.org/W4410037553","https://openalex.org/W4411173055","https://openalex.org/W4411272407","https://openalex.org/W4413421464"],"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\u2019s":[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-21T05:56:28.042755","created_date":"2026-07-21T00:00:00"}