Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
This work introduces an efficient approach to compute the reachable sets for convolutional neural networks.
Mar 13, 2025
Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties
This paper addresses the challenge of certifying robust stability in neural network control systems with interval matrix uncertainties.
Mar 5, 2025
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
Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes
This paper presents novel hybrid zonotope-based methods for the reachability analysis and safety verification of neural feedback systems. Algorithms are proposed to compute the input-output relationship of each layer of a feed-forward neural network, as well as the exact reachable sets of neural feedback systems.
Jul 3, 2023
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
Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes
A novel set-based method is proposed to compute both exact and over-approximated reachable sets for neural feedback systems.
Jan 10, 2023
Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties
This paper presents a framework for designing provably safe feedback controllers for sampled-data control affine systems with measurement and actuation uncertainties.
Sep 5, 2022
Finding Matrix Sequences with a High Asymptotic Growth Rate for Linear Constrained Switching Systems
This work investigates how to generate a sequence of matrices with an asymptotic growth rate close to the constrained joint spectral radius (CJSR) for constrained switching systems.
Sep 27, 2020