
-
A Distributed Simplex Architecture for Multi-Agent Systems
We present Distributed Simplex Architecture (DSA), a new runtime assuran...
read it
-
On The Verification of Neural ODEs with Stochastic Guarantees
We show that Neural ODEs, an emerging class of time-continuous neural ne...
read it
-
Lagrangian Reachtubes: The Next Generation
We introduce LRT-NG, a set of techniques and an associated toolset that ...
read it
-
Learning Distributed Controllers for V-Formation
We show how a high-performing, fully distributed and symmetric neural V-...
read it
-
MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas
Even though model predictive control (MPC) is currently the main algorit...
read it
-
V-Formation via Model Predictive Control
We present recent results that demonstrate the power of viewing the prob...
read it
-
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers
We show how a distributed flocking controller can be synthesized using d...
read it
-
Neural Simplex Architecture
We present the Neural Simplex Architecture (NSA), a new approach to runt...
read it
-
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
We present a new method for the automated synthesis of digital controlle...
read it
-
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
An Implantable Cardioverter Defibrillator (ICD) is a medical device used...
read it
-
Tight Continuous-Time Reachtubes for Lagrangian Reachability
We introduce continuous Lagrangian reachability (CLRT), a new algorithm ...
read it
-
Neural State Classification for Hybrid Systems
We introduce the State Classification Problem (SCP) for hybrid systems, ...
read it
-
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems
We present DAMPC, a distributed, adaptive-horizon and adaptive-neighborh...
read it
-
Declarative vs Rule-based Control for Flocking Dynamics
The popularity of rule-based flocking models, such as Reynolds' classic ...
read it
-
Lagrangian Reachabililty
We introduce LRT, a new Lagrangian-based ReachTube computation algorithm...
read it
-
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
We introduce ARES, an efficient approximation algorithm for generating o...
read it