research
∙
02/24/2021
Safe CPS from Unsafe Controllers
In this paper, we explore using runtime verification to design safe cybe...
share
research
∙
12/18/2020
A Distributed Simplex Architecture for Multi-Agent Systems
We present Distributed Simplex Architecture (DSA), a new runtime assuran...
research
∙
06/01/2020
Learning Distributed Controllers for V-Formation
We show how a high-performing, fully distributed and symmetric neural V-...
research
∙
08/26/2019
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers
We show how a distributed flocking controller can be synthesized using d...
research
∙
10/27/2017