activity
20232026
most citedProxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing math.OCShow all

1 paper · 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…