Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming

16 April 2020

George J. Pappas

Papers citing "Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming"

20 / 20 papers shown

Title
Control Invariant Sets for Neural Network Dynamical Systems and Recursive Feasibility in Model Predictive Control Xiao Li Tianhao Wei Changliu Liu Anouck Girard Ilya Kolmanovsky 17 0 0 15 May 2025
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 78 15 0 31 Aug 2024
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops Saber Jafarpour Akash Harapanahalli Samuel Coogan 36 13 0 27 Jul 2023
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation Haitham Khedr Yasser Shoukry 52 5 0 22 May 2023
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems Akash Harapanahalli Saber Jafarpour Samuel Coogan 43 5 0 07 Apr 2023
Reachability Analysis of Neural Network Control Systems Chi Zhang W. Ruan Peipei Xu 34 14 0 28 Jan 2023
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers Saber Jafarpour Akash Harapanahalli Samuel Coogan 39 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
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 52 6 0 01 Nov 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 40 26 0 28 Sep 2022
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning Yue Meng Zeng Qiu Md Tawhid Bin Waez Chuchu Fan 33 5 0 16 Sep 2022
A Simple and Efficient Sampling-based Algorithm for General Reachability Analysis T. Lew Lucas Janson Riccardo Bonalli Marco Pavone 34 18 0 10 Dec 2021
Neural Network Verification in Control M. Everett AAML 37 16 0 30 Sep 2021
Learning Density Distribution of Reachable States for Autonomous Systems Yue Meng Dawei Sun Zeng Qiu Md Tawhid Bin Waez Chuchu Fan 82 19 0 14 Sep 2021
Reachability Analysis of Neural Feedback Loops M. Everett Golnaz Habibi Chuangchuang Sun Jonathan P. How 24 53 0 09 Aug 2021
Failing with Grace: Learning Neural Network Controllers that are Boundedly Unsafe Panagiotis Vlantis Leila J. Bridgeman Michael M. Zavlanos 40 0 0 22 Jun 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 359 5,849 0 08 Jul 2016