research
∙
09/16/2023
Forward Invariance in Neural Network Controlled Systems
We present a framework based on interval analysis and monotone systems t...
share
research
∙
07/27/2023
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
In this paper, we propose a computationally efficient framework for inte...
research
∙
06/27/2023
A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems
In this paper, we present a toolbox for interval analysis in numpy, with...
research
∙
04/07/2023
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
In this paper, we present a contraction-guided adaptive partitioning alg...
research
∙
01/19/2023
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers
This paper proposes a computationally efficient framework, based on inte...
research
∙
08/08/2022
Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach
This paper proposes a theoretical and computational framework for traini...
research
∙
04/01/2022
Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks
We use interval reachability analysis to obtain robustness guarantees fo...
research
∙
12/10/2021
Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach
Implicit neural networks are a general class of learning models that rep...
research
∙
07/27/2021
Model Free Barrier Functions via Implicit Evading Maneuvers
This paper demonstrates that in some cases the safety override arising f...
research
∙
03/10/2020
Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach
Control barrier functions are mathematical constructs used to guarantee ...
research
∙
01/20/2020
Extent-Compatible Control Barrier Functions
Safety requirements in dynamical systems are commonly enforced with set ...
research
∙
08/14/2019
Control Of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications
In this paper, we propose a framework for the control of mobile robots s...
research
∙
07/17/2019
A Sequential Composition Framework for Coordinating Multi-Robot Behaviors
A number of coordinated behaviors have been proposed for achieving speci...
research
∙
08/07/2018