research
∙
02/20/2022
Runtime-Assured, Real-Time Neural Control of Microgrids
We present SimpleMG, a new, provably correct design methodology for runt...
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
