Computing the Maximal Controlled Invariant Set for Neural Network Control Systems

作者：Tianxiao Ye, Hang Zhang, Xiangru Xu · 单位：T. Ye, H. Zhang, and X. Xu are with the Department of Mechanical Engineering, University of Wisconsin-Madison, Madison, WI, USA. Email: · 会议/期刊：arXiv preprint · 方向：math.OC · 发布日期：2026-08-11