14 citations · 15 across the 4 of their papers we have counts for
6 papers
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS
Usama Mehmood, Sanaz Sheikhi, Stanley Bak +2
The Simplex Architecture is a runtime assurance framework where control authority may switch from an unverified and potentially unsafe advanced controller to a backup baseline cont…
A Distributed Simplex Architecture for Multi-Agent Systems
Usama Mehmood, Scott D. Stoller, Radu Grosu +3
We present Distributed Simplex Architecture (DSA), a new runtime assurance technique that provides safety guarantees for multi-agent systems (MASs). DSA is inspired by the Simplex…
Learning Distributed Controllers for V-Formation
Shouvik Roy, Usama Mehmood, Radu Grosu +3
We show how a high-performing, fully distributed and symmetric neural V-formation controller can be synthesized from a Centralized MPC (Model Predictive Control) controller using D…
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers
Shouvik Roy, Usama Mehmood, Radu Grosu +3
We show how a distributed flocking controller can be synthesized using deep learning from a centralized controller which generates the trajectories of the flock. Our approach is ba…
Declarative vs Rule-based Control for Flocking Dynamics
Usama Mehmood, Nicola Paoletti, Dung Phan +6
The popularity of rule-based flocking models, such as Reynolds' classic flocking model, raises the question of whether more declarative flocking models are possible. This question…
Model Checking Cyber-Physical Systems using Particle Swarm Optimization
Dung Phan, Scott A. Smolka, Radu Grosu +3
We present a novel approach to the problem of model checking cyber-physical systems. We transform the model checking problem to an optimization one by designing an objective functi…