Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
This work introduces a novel approach to compute the over-approximation of backward reachable sets for neural feedback systems with non-linear plant models and general activation functions.
Sep 5, 2024
Reachability Analysis of Neural Network Control Systems With Tunable Accuracy and Efficiency
This paper introduces a novel tunable hybrid zonotope-based method for computing both forward and backward reachable sets of neural network control systems.
Jun 17, 2024
Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes
A novel approach for computing the exact backward reachable sets of neural feedback systems.
Jun 26, 2023