
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

Liquid Timeconstant Networks
We introduce a new class of timecontinuous recurrent neural network mod...
read it

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

ResNets, NeuralODEs and CTRNNs are Particular Neural Regulatory Networks
This paper shows that ResNets, NeuralODEs, and CTRNNs, are particular n...
read it

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

A Nonparametric Bayesian Model for Sparse Temporal Multigraphs
As the availability and importance of temporal interaction data–such as ...
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

Dynamic Nonparametric EdgeClustering Model for TimeEvolving Sparse Networks
Interaction graphs, such as those recording emails between individuals o...
read it

Liquid Timeconstant Recurrent Neural Networks as Universal Approximators
In this paper, we introduce the notion of liquid timeconstant (LTC) rec...
read it

A Roadmap Towards Resilient Internet of Things for CyberPhysical Systems
The Internet of Things (IoT) is an ubiquitous system connecting many dif...
read it

Tight ContinuousTime Reachtubes for Lagrangian Reachability
We introduce continuous Lagrangian reachability (CLRT), a new algorithm ...
read it

Repurposing Compact Neuronal Circuit Policies to Govern Reinforcement Learning Tasks
We propose an effective method for creating interpretable control agents...
read it

Response Characterization for Auditing Cell Dynamics in Long Shortterm Memory Networks
In this paper, we introduce a novel method to interpret recurrent neural...
read it

Neural State Classification for Hybrid Systems
We introduce the State Classification Problem (SCP) for hybrid systems, ...
read it

Dynamic Network Model from Partial Observations
Can evolving networks be inferred and modeled without directly observing...
read it

Adaptive Neighborhood Resizing for Stochastic Reachability in MultiAgent Systems
We present DAMPC, a distributed, adaptivehorizon and adaptiveneighborh...
read it

Neuronal Circuit Policies
We propose an effective way to create interpretable control agents, by r...
read it

An Algebraic Framework for Runtime Verification
Runtime verification (RV) is a pragmatic and scalable, yet rigorous tech...
read it

Wormlevel Control through Searchbased Reinforcement Learning
Through natural evolution, nervous systems of organisms formed nearopti...
read it

Searching for Biophysically Realistic Parameters for Dynamic Neuron Models by Genetic Algorithms from Calcium Imaging Recording
Individual Neurons in the nervous systems exploit various dynamics. To c...
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

An Automated Autoencoder Correlationbased HealthMonitoring and Prognostic Method for Machine Bearings
This paper studies an intelligent ultimate technique for healthmonitori...
read it

SIMCE: An Advanced Simulink Platform for Studying the Brain of Caenorhabditis elegans
We introduce SIMCE, an advanced, userfriendly modeling and simulation ...
read it

NonAssociative Learning Representation in the Nervous System of the Nematode Caenorhabditis elegans
Caenorhabditis elegans (C. elegans) illustrated remarkable behavioral pl...
read it

ARES: Adaptive RecedingHorizon Synthesis of Optimal Plans
We introduce ARES, an efficient approximation algorithm for generating o...
read it

Deep Neural Programs for Adaptive Control in CyberPhysical Systems
We introduce Deep Neural Programs (DNP), a novel programming paradigm fo...
read it