Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems

TL;DR

This paper presents a method for adapting autonomous system models to handle out-of-ODD situations with formal guarantees, enhancing reliability in unforeseen scenarios.

Contribution

It introduces a novel approach for probabilistic model adaptation that extends system capabilities and provides quantitative guarantees for out-of-ODD resilience.

Findings

Effectively increases system reliability in out-of-ODD scenarios

Supports verification and adaptation under unforeseen situations

Provides formal guarantees for system behavior

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.