Synergistic Simplex: Cooperative Runtime Assurance for Safety-Critical Autonomous Systems

Overview

Synergistic Simplex enables bidirectional cooperation between learning components and safety monitors. The authors derive conditions for preserving safety when monitors use ML outputs and evaluate the architecture for autonomous-vehicle obstacle detection.