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…