A Barrier Certificate-based Simplex Architecture for Systems with Approximate and Hybrid Dynamics

Amol Damare, Shouvik Roy, Roshan Sharma +3

We present Barrier-based Simplex (Bb-Simplex), a new, provably correct design for runtime assurance of continuous dynamical systems. Bb-Simplex is centered around the Simplex contr…