1 citations · 1 across the 4 of their papers we have counts for
5 papers
Cumulative-Time Signal Temporal Logic
Hongkai Chen, Zeyu Zhang, Shouvik Roy +4
Signal Temporal Logic (STL) is a widely adopted specification language in cyber-physical systems for expressing critical temporal requirements, such as safety conditions and respon…
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…
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…