Reachability Analysis of Neural Feedback Loops

9 August 2021

Papers citing "Reachability Analysis of Neural Feedback Loops"

39 / 39 papers shown

Title
BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Chelsea Sidrane Jana Tumova 27 0 0 06 May 2025
Learning Verifiable Control Policies Using Relaxed Verification Puja Chaudhury Alexander Estornell Michael Everett 29 0 0 23 Apr 2025
Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers Damola Ajeyemi Saber Jafarpour Emiliano DallÁnese 33 0 0 11 Apr 2025
Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes Yuhao Zhang Xiangru Xu AAML 58 0 0 13 Mar 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
Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis Karan Mahesh Tyler M. Paine Max L. Greene Nicholas Rober Steven Lee Sildomar T. Monteiro Anuradha Annaswamy Michael R. Benjamin Jonathan P. How 12 1 0 01 Oct 2024
Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops Nicholas Rober Jonathan P. How 42 1 0 30 Sep 2024
Training Safe Neural Networks with Global SDP Bounds Roman Soletskyi David "davidad" Dalrymple AAML 23 0 0 15 Sep 2024
Certified Robust Invariant Polytope Training in Neural Controlled ODEs Akash Harapanahalli Samuel Coogan 47 2 0 02 Aug 2024
Predicting AI Agent Behavior through Approximation of the Perron-Frobenius Operator Shiqi Zhang D. Gadginmath Fabio Pasqualetti 50 0 0 04 Jun 2024
Learning a Stable, Safe, Distributed Feedback Controller for a Heterogeneous Platoon of Vehicles Michael Shaham T. Padır 34 0 0 18 Apr 2024
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation Lujie Yang Hongkai Dai Zhouxing Shi Cho-Jui Hsieh Russ Tedrake Huan Zhang 52 14 0 11 Apr 2024
Runtime Monitoring and Fault Detection for Neural Network-Controlled Systems Jianglin Lan Siyuan Zhan Ronald J. Patton Xianxian Zhao 16 1 0 24 Mar 2024
Collision Avoidance Verification of Multiagent Systems with Learned Policies Zihao Dong Shayegan Omidshafiei Michael Everett 29 1 0 05 Mar 2024
Value Approximation for Two-Player General-Sum Differential Games with State Constraints Lei Zhang Mukesh Ghimire Wenlong Zhang Zhenni Xu Yi Ren 24 3 0 28 Nov 2023
Forward Invariance in Neural Network Controlled Systems Akash Harapanahalli Saber Jafarpour Samuel Coogan 23 4 0 16 Sep 2023
The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems Kai-Chieh Hsu Haimin Hu J. F. Fisac 37 72 0 11 Sep 2023
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops Saber Jafarpour Akash Harapanahalli Samuel Coogan 31 12 0 27 Jul 2023
Rational Neural Network Controllers M. Newton A. Papachristodoulou OOD AAML 37 1 0 12 Jul 2023
Efficient Deep Learning of Robust Policies from MPC using Imitation and Tube-Guided Data Augmentation Andrea Tagliabue Jonathan P. How 17 6 0 01 Jun 2023
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation Haitham Khedr Yasser Shoukry 47 4 0 22 May 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
Hybrid Zonotopes Exactly Represent ReLU Neural Networks Joshua Ortiz Alyssa Vellucci Justin P. Koeln Justin Ruths 21 8 0 05 Apr 2023
Convex Hulls of Reachable Sets T. Lew Riccardo Bonalli Marco Pavone 13 2 0 30 Mar 2023
Estimating the Convex Hull of the Image of a Set with Smooth Boundary: Error Bounds and Applications T. Lew Riccardo Bonalli Lucas Janson Marco Pavone 27 4 0 27 Feb 2023
Provably Bounding Neural Network Preimages Suhas Kotha Christopher Brix Zico Kolter Krishnamurthy Dvijotham Huan Zhang AAML 35 12 0 02 Feb 2023
Reachability Analysis of Neural Network Control Systems Chi Zhang W. Ruan Peipei Xu 29 13 0 28 Jan 2023
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers Saber Jafarpour Akash Harapanahalli Samuel Coogan 36 10 0 19 Jan 2023
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes Taha Entesari Mahyar Fazlyab 40 5 0 14 Dec 2022
DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops Michael Everett Rudy Bunel Shayegan Omidshafiei 26 9 0 09 Dec 2022
A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops Nicholas Rober Michael Everett Songan Zhang Jonathan P. How 37 9 0 14 Oct 2022
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems Nicholas Rober Sydney M. Katz Chelsea Sidrane Esen Yel Michael Everett Mykel J. Kochenderfer Jonathan P. How 35 26 0 28 Sep 2022
Backward Reachability Analysis for Neural Feedback Loops Nicholas Rober Michael Everett Jonathan P. How 24 10 0 14 Apr 2022
A Simple and Efficient Sampling-based Algorithm for General Reachability Analysis T. Lew Lucas Janson Riccardo Bonalli Marco Pavone 24 18 0 10 Dec 2021
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions Chiao Hsieh Keyur Joshi Sasa Misailovic Sayan Mitra 25 35 0 10 Nov 2021
Neural Network Verification in Control M. Everett AAML 34 16 0 30 Sep 2021
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 292 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 240 1,837 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016