Showing math.OCShow all
2 papers · 1 filter
math.OC2026
Computing the Maximal Controlled Invariant Set for Neural Network Control Systems
Tianxiao Ye, Hang Zhang, Xiangru Xu
This article studies the computation of the maximal controlled invariant set (MCIS) for neural network control systems (NNCSs) with a nominal plant model and a neural network resid…
math.OC2024
Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
Hang Zhang, Yuhao Zhang, Xiangru Xu
The increasing prevalence of neural networks in safety-critical control systems underscores the imperative need for rigorous methods to ensure the reliability and safety of these s…