Salvato in:
| Autori principali: | , , , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2605.08190 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910202502053888 |
|---|---|
| author | Bansal, Ayoosh Yeghiazaryan, Mikael Khachatryan, Artyom Zhu, Tianyi Kim, Hunmin Hovakimyan, Naira Sha, Lui |
| author_facet | Bansal, Ayoosh Yeghiazaryan, Mikael Khachatryan, Artyom Zhu, Tianyi Kim, Hunmin Hovakimyan, Naira Sha, Lui |
| contents | Autonomous systems increasingly rely on machine-learning (ML) components for safety-critical tasks such as perception and control in autonomous vehicles (AVs). While ML enables essential capabilities, it inevitably exhibits long-tail faults that make it unsuitable for safety-critical tasks. Runtime assurance (RTA) mitigates this issue by pairing ML components with verifiable safety monitors, e.g., Control Simplex and Perception Simplex architectures. However, the limited performance of safety monitors remains a major bottleneck.
The Synergistic Simplex (SS) architecture improves system performance by enabling bidirectional integration between ML components and safety monitors while preserving formal safety guarantees. The key innovation here is allowing safety monitors to use ML outputs, which is typically prohibited in RTA systems. We formally derive conditions under which this integration preserves safety and demonstrate the performance benefits. We present the design, analysis, and evaluation of SS for AV obstacle detection. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_08190 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Synergistic Simplex: Cooperative Runtime Assurance for Safety-Critical Autonomous Systems Bansal, Ayoosh Yeghiazaryan, Mikael Khachatryan, Artyom Zhu, Tianyi Kim, Hunmin Hovakimyan, Naira Sha, Lui Machine Learning Systems and Control Autonomous systems increasingly rely on machine-learning (ML) components for safety-critical tasks such as perception and control in autonomous vehicles (AVs). While ML enables essential capabilities, it inevitably exhibits long-tail faults that make it unsuitable for safety-critical tasks. Runtime assurance (RTA) mitigates this issue by pairing ML components with verifiable safety monitors, e.g., Control Simplex and Perception Simplex architectures. However, the limited performance of safety monitors remains a major bottleneck. The Synergistic Simplex (SS) architecture improves system performance by enabling bidirectional integration between ML components and safety monitors while preserving formal safety guarantees. The key innovation here is allowing safety monitors to use ML outputs, which is typically prohibited in RTA systems. We formally derive conditions under which this integration preserves safety and demonstrate the performance benefits. We present the design, analysis, and evaluation of SS for AV obstacle detection. |
| title | Synergistic Simplex: Cooperative Runtime Assurance for Safety-Critical Autonomous Systems |
| topic | Machine Learning Systems and Control |
| url | https://arxiv.org/abs/2605.08190 |