Scott A. Smolka

is this you? claim profile

0 followers
Stony Brook University

A Distributed Simplex Architecture for Multi-Agent Systems

We present Distributed Simplex Architecture (DSA), a new runtime assuran...
12/18/2020 ∙ by Usama Mehmood, et al. ∙ 0 ∙ share

read it
On The Verification of Neural ODEs with Stochastic Guarantees

We show that Neural ODEs, an emerging class of time-continuous neural ne...
12/16/2020 ∙ by Sophie Gruenbacher, et al. ∙ 12 ∙ share

read it
Lagrangian Reachtubes: The Next Generation

We introduce LRT-NG, a set of techniques and an associated toolset that ...
12/14/2020 ∙ by Sophie Gruenbacher, et al. ∙ 5 ∙ share

read it
Learning Distributed Controllers for V-Formation

We show how a high-performing, fully distributed and symmetric neural V-...
06/01/2020 ∙ by Shouvik Roy, et al. ∙ 0 ∙ share

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...
03/03/2020 ∙ by Hongkai Chen, et al. ∙ 13 ∙ share

read it
V-Formation via Model Predictive Control

We present recent results that demonstrate the power of viewing the prob...
02/20/2020 ∙ by Radu Grosu, et al. ∙ 0 ∙ share

read it
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers

We show how a distributed flocking controller can be synthesized using d...
08/26/2019 ∙ by Shouvik Roy, et al. ∙ 0 ∙ share

read it
Neural Simplex Architecture

We present the Neural Simplex Architecture (NSA), a new approach to runt...
08/01/2019 ∙ by Dung Phan, et al. ∙ 0 ∙ share

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...
01/10/2019 ∙ by Fedor Shmarov, et al. ∙ 0 ∙ share

read it
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices

An Implantable Cardioverter Defibrillator (ICD) is a medical device used...
10/09/2018 ∙ by Nicola Paoletti, et al. ∙ 0 ∙ share

read it
Tight Continuous-Time Reachtubes for Lagrangian Reachability

We introduce continuous Lagrangian reachability (CLRT), a new algorithm ...
09/20/2018 ∙ by Jacek Cyranka, et al. ∙ 0 ∙ share

read it
Neural State Classification for Hybrid Systems

We introduce the State Classification Problem (SCP) for hybrid systems, ...
07/26/2018 ∙ by Dung Phan, et al. ∙ 0 ∙ share

read it
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems

We present DAMPC, a distributed, adaptive-horizon and adaptive-neighborh...
05/21/2018 ∙ by Anna Lukina, et al. ∙ 0 ∙ share

read it
Declarative vs Rule-based Control for Flocking Dynamics

The popularity of rule-based flocking models, such as Reynolds' classic ...
10/27/2017 ∙ by Usama Mehmood, et al. ∙ 0 ∙ share

read it
Lagrangian Reachabililty

We introduce LRT, a new Lagrangian-based ReachTube computation algorithm...
05/16/2017 ∙ by Jacek Cyranka, et al. ∙ 0 ∙ share

read it
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans

We introduce ARES, an efficient approximation algorithm for generating o...
12/21/2016 ∙ by Anna Lukina, et al. ∙ 0 ∙ share

read it

Scott A. Smolka

Featured Co-authors

Radu Grosu

Ezio Bartocci

Nils Jansen

Scott D. Stoller

Ashish Tiwari

Shan Lin

Mathias Lechner

Nicola Paoletti

Sadegh Soudjani

Anna Lukina

Christian Hirsch

A Distributed Simplex Architecture for Multi-Agent Systems

On The Verification of Neural ODEs with Stochastic Guarantees

Lagrangian Reachtubes: The Next Generation

Learning Distributed Controllers for V-Formation

MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas

V-Formation via Model Predictive Control

Neural Flocking: MPC-based Supervised Learning of Flocking Controllers

Neural Simplex Architecture

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems

Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices

Tight Continuous-Time Reachtubes for Lagrangian Reachability

Neural State Classification for Hybrid Systems

Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems

Declarative vs Rule-based Control for Flocking Dynamics

Lagrangian Reachabililty

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans