Abstract:We present Barrier-based Simplex (Bb-Simplex), a new, provably correct design for runtime assurance of continuous and hybrid dynamical systems. Bb-Simplex is centered around the Simplex Control Architecture, which consists of a high-performance advanced controller that is not…