
A Distributed Simplex Architecture for MultiAgent 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 timecontinuous neural ne...
read it

Lagrangian Reachtubes: The Next Generation
We introduce LRTNG, a set of techniques and an associated toolset that ...
read it

Learning Distributed Controllers for VFormation
We show how a highperforming, fully distributed and symmetric neural V...
read it

MPCguided Imitation Learning of Neural Network Policies for the Artificial Pancreas
Even though model predictive control (MPC) is currently the main algorit...
read it

VFormation via Model Predictive Control
We present recent results that demonstrate the power of viewing the prob...
read it

Neural Flocking: MPCbased 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 SampledData 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 ContinuousTime 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 MultiAgent Systems
We present DAMPC, a distributed, adaptivehorizon and adaptiveneighborh...
read it

Declarative vs Rulebased Control for Flocking Dynamics
The popularity of rulebased flocking models, such as Reynolds' classic ...
read it

Lagrangian Reachabililty
We introduce LRT, a new Lagrangianbased ReachTube computation algorithm...
read it

ARES: Adaptive RecedingHorizon Synthesis of Optimal Plans
We introduce ARES, an efficient approximation algorithm for generating o...
read it
Scott A. Smolka
is this you? claim profile