research
∙
05/08/2022
An STL-based Formulation of Resilience in Cyber-Physical Systems
Resiliency is the ability to quickly recover from a violation and avoid ...
share
research
∙
03/31/2022
Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version)
We introduce the novel concept of Spatial Predictive Control (SPC) to so...
research
∙
02/20/2022
Runtime-Assured, Real-Time Neural Control of Microgrids
We present SimpleMG, a new, provably correct design methodology for runt...
research
∙
02/24/2021
Safe CPS from Unsafe Controllers
In this paper, we explore using runtime verification to design safe cybe...
research
∙
12/18/2020
A Distributed Simplex Architecture for Multi-Agent Systems
We present Distributed Simplex Architecture (DSA), a new runtime assuran...
research
∙
12/16/2020
On The Verification of Neural ODEs with Stochastic Guarantees
We show that Neural ODEs, an emerging class of time-continuous neural ne...
research
∙
12/14/2020
Lagrangian Reachtubes: The Next Generation
We introduce LRT-NG, a set of techniques and an associated toolset that ...
research
∙
06/01/2020
Learning Distributed Controllers for V-Formation
We show how a high-performing, fully distributed and symmetric neural V-...
research
∙
03/03/2020
MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas
Even though model predictive control (MPC) is currently the main algorit...
research
∙
02/20/2020
V-Formation via Model Predictive Control
We present recent results that demonstrate the power of viewing the prob...
research
∙
08/26/2019
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers
We show how a distributed flocking controller can be synthesized using d...
research
∙
08/01/2019
Neural Simplex Architecture
We present the Neural Simplex Architecture (NSA), a new approach to runt...
research
∙
01/10/2019
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
We present a new method for the automated synthesis of digital controlle...
research
∙
10/09/2018
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
An Implantable Cardioverter Defibrillator (ICD) is a medical device used...
research
∙
09/20/2018
Tight Continuous-Time Reachtubes for Lagrangian Reachability
We introduce continuous Lagrangian reachability (CLRT), a new algorithm ...
research
∙
07/26/2018
Neural State Classification for Hybrid Systems
We introduce the State Classification Problem (SCP) for hybrid systems, ...
research
∙
05/21/2018
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems
We present DAMPC, a distributed, adaptive-horizon and adaptive-neighborh...
research
∙
10/27/2017
Declarative vs Rule-based Control for Flocking Dynamics
The popularity of rule-based flocking models, such as Reynolds' classic ...
research
∙
05/16/2017
Lagrangian Reachabililty
We introduce LRT, a new Lagrangian-based ReachTube computation algorithm...
research
∙
12/21/2016