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

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

eess.SY2022★ 1 cited

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…