Agents
Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
arXiv:2604.07414v1 Announce Type: cross Abstract: Ensuring reliable performance in situations outside the Operational Design Domain (ODD) remains a primary challenge in devising resilient autonomous s
arXiv:2604.07414v1 Announce Type: cross 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.
Related
- Density-Driven Optimal Control: Convergence Guarantees for Stochastic LTI Multi-Agent Systems
- Can VLMs Unlock Semantic Anomaly Detection? A Framework for Structured Reasoning
- Self-Discovered Intention-aware Transformer for Multi-modal Vehicle Trajectory Prediction
- Scaling-Aware Data Selection for End-to-End Autonomous Driving Systems
Source: arXiv cs.RO | 2026-04-10