2 papers
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…
eess.SY2025
Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
Yujie Wang, Xiangru Xu
This work introduces a novel Proxy Control Barrier Function (PCBF) scheme that integrates barrier-based and Lyapunov-based safety-critical control strategies for strict-feedback sy…