Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866908948074856448 |
|---|---|
| author | Vázquez, Gricel Imrie, Calum Shahbeigi, Sepeedeh Proma, Nawshin Mannan Gan, Tian Hodge, Victoria J Molloy, John Gerasimou, Simos |
| author_facet | Vázquez, Gricel Imrie, Calum Shahbeigi, Sepeedeh Proma, Nawshin Mannan Gan, Tian Hodge, Victoria J Molloy, John Gerasimou, Simos |
| contents | Ensuring reliable performance in situations outside the Operational Design Domain (ODD) remains a primary challenge in devising resilient autonomous systems. We explore this challenge by introducing an approach for adapting probabilistic system models to handle out-of-ODD scenarios while, in parallel, providing quantitative guarantees. Our approach dynamically extends the coverage of existing system situation capabilities, supporting the verification and adaptation of the system's behaviour under unanticipated situations. Preliminary results demonstrate that our approach effectively increases system reliability by adapting its behaviour and providing formal guarantees even under unforeseen out-of-ODD situations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_07414 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems Vázquez, Gricel Imrie, Calum Shahbeigi, Sepeedeh Proma, Nawshin Mannan Gan, Tian Hodge, Victoria J Molloy, John Gerasimou, Simos Logic in Computer Science Robotics Software Engineering Systems and Control Ensuring reliable performance in situations outside the Operational Design Domain (ODD) remains a primary challenge in devising resilient autonomous systems. We explore this challenge by introducing an approach for adapting probabilistic system models to handle out-of-ODD scenarios while, in parallel, providing quantitative guarantees. Our approach dynamically extends the coverage of existing system situation capabilities, supporting the verification and adaptation of the system's behaviour under unanticipated situations. Preliminary results demonstrate that our approach effectively increases system reliability by adapting its behaviour and providing formal guarantees even under unforeseen out-of-ODD situations. |
| title | Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems |
| topic | Logic in Computer Science Robotics Software Engineering Systems and Control |
| url | https://arxiv.org/abs/2604.07414 |