Goal-Reaching Control Synthesis for Neural Network Control Systems via Backward Reachability
Goal-reaching control synthesis for neural network control systems.
Dec 9, 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
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