Computing the Maximal Controlled Invariant Set for Neural Network Control Systems
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 residual model. An interval-based method is developed to construct a control-affine inclusion function for the NNCS dynamics and to exploit the induced hyperplane arrangement in the input space, which reduces the verification of controlled invariance from an infinite control search to a finite set of representative evaluations. Based on this finite characterization, verification-guided algorithms iteratively construct…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.07908
curl -X POST /api/v1/records/arxiv/2608.07908/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.07908/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'