-
Safe CPS from Unsafe Controllers
In this paper, we explore using runtime verification to design safe cybe...
02/24/2021 ∙ by Usama Mehmood, et al. ∙
0
∙
share
read it
-
A Distributed Simplex Architecture for Multi-Agent Systems
We present Distributed Simplex Architecture (DSA), a new runtime assuran...
12/18/2020 ∙ by Usama Mehmood, et al. ∙
0
∙
share
read it
-
Learning Distributed Controllers for V-Formation
We show how a high-performing, fully distributed and symmetric neural V-...
06/01/2020 ∙ by Shouvik Roy, et al. ∙
0
∙
share
read it
-
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers
We show how a distributed flocking controller can be synthesized using d...
08/26/2019 ∙ by Shouvik Roy, et al. ∙
0
∙
share
read it
-
Declarative vs Rule-based Control for Flocking Dynamics
The popularity of rule-based flocking models, such as Reynolds' classic ...
10/27/2017 ∙ by Usama Mehmood, et al. ∙
0
∙
share
read it
