让自动驾驶系统在意外场景中仍能可靠运行并给出数学保证
Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
- 用动态扩展模型覆盖能力，应对非设计域的突发情况
- 在未知场景下仍能提升系统可靠性并提供量化保障
- 适合关注自动驾驶安全验证的研究者与工程师
确保在操作设计域（ODD）外情形下的可靠性能，仍是构建弹性自主系统的主要挑战。本文提出一种方法，通过适应概率系统模型来应对非设计域场景，同时提供定量保障。该方法动态扩展现有系统对情境的覆盖能力，支持在未预见情况下对系统行为进行验证与调整。初步结果表明，该方法能在非预期的非设计域情境下有效提升系统可靠性，并提供形式化保证。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。