Work

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems

Year: 2026

Type: preprint

Abstract: 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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2604.07414

Authors: Vázquez, Gricel, Imrie, Calum, Shahbeigi, Sepeedeh, Proma, Nawshin Mannan, Gan, Tian, Hodge, Victoria J, Molloy, John, Gerasimou, Simos

Institutions: University of York, Cyprus University of Technology

Topic: Safety Systems Engineering in Autonomy

Subfield: Safety, Risk, Reliability and Quality

Field: Engineering

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7153074619

Cites:

Cited by:

Related to: