Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers

19 January 2023

Papers citing "Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers"

10 / 10 papers shown

Title
Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers Damola Ajeyemi Saber Jafarpour Emiliano DallÁnese 31 0 0 11 Apr 2025
Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control Zhouxing Shi Cho-Jui Hsieh Huan Zhang 75 0 0 27 Nov 2024
Certified Robust Invariant Polytope Training in Neural Controlled ODEs Akash Harapanahalli Samuel Coogan 44 2 0 02 Aug 2024
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification Oliver Schon Shammakh Naseer B. Wooding Sadegh Soudjani 35 1 0 15 Jul 2024
Forward Invariance in Neural Network Controlled Systems Akash Harapanahalli Saber Jafarpour Samuel Coogan 21 4 0 16 Sep 2023
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops Saber Jafarpour Akash Harapanahalli Samuel Coogan 31 12 0 27 Jul 2023
A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems Akash Harapanahalli Saber Jafarpour Samuel Coogan 14 12 0 27 Jun 2023
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems Akash Harapanahalli Saber Jafarpour Samuel Coogan 33 5 0 07 Apr 2023
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 39 6 0 01 Nov 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017