Abstract:The graph-based invariant set (GIS) algorithm is a promising set-based technique for computing the largest (with respect to inclusion) control invariant set of general discrete-time nonlinear dynamical systems. However, like other invariant set algorithms for nonlinear systems, the GIS algorithm may require a lot of resources when computing the control invariant set. This limits its applicability to higher dimensional systems. In this work, we present an improved and efficient implementation of the GIS algorithm for general discrete-time controlled nonlinear systems. We first identify the bottlenecks through extensive analysis, and then provide remedial procedures to improve the implementation of the GIS algorithm. Specifically, we developed an adaptive subdivision scheme using a supervised machine learning-based algorithm to reduce the cell growth rate and parallelize the graph construction step. We extensively demonstrate the performance of the improved GIS algorithm using a numerical example and compare the result to that of the standard GIS algorithm. The results show that the adaptive subdivision and the parallelization improved the speed of the algorithm by about 8x and 3x respectively, that of the standard GIS algorithm.

Computing Controlled Invariant Sets of Nonlinear Control-Affine Systems

I&I Adaptive Fault-Tolerant Safe Control of Safety-Critical Systems.

Computing robust control invariant sets of constrained nonlinear systems: A graph algorithm approach

Stabilizing Model Predictive Control Scheme for Piecewise Affine Systems with Maximal Positively Invariant Terminal Set

Data-driven approximation of control invariant set for linear system based on convex piecewise linear fitting

Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays

Computing controlled invariant sets for hybrid systems with applications to model-predictive control

On the Convergence of the Backward Reachable Sets of Robust Controlled Invariant Sets For Discrete-time Linear Systems

On Invariant Ellipsoids for Discrete-Time Systems by Saturated Optimal Controls

Invariant Approximations and Disturbance Attenuation for Constrained Linear Discrete-Time Systems

Reducing Conservativeness of Controlled-Invariant Safe Sets by Introducing a Novel Synthesis of Control Barrier Certificates

Finding Control Invariant Sets via Lipschitz Constants of Linear Programs

On Robust Controlled Invariants for Continuous-time Monotone Systems

Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems

Approximation and Monotonicity of the Maximal Invariant Ellipsoid for Discrete-Time Systems by Bounded Controls

Exact controllability of infinite dimensional linear systems via bounded control functions

Direct Data-Driven Computation of Polytopic Robust Control Invariant Sets and State-Feedback Controllers

Computation of the Maximal Invariant Set of Discrete-Time Linear Systems Subject to a Class of Non-Convex Constraints.

An efficient implementation of graph-based invariant set algorithm for constrained nonlinear dynamical systems

Invariance Control Synthesis for Switched Systems: An Interval Analysis Approach

On the External Estimation of Reachable and Null-Controllable Limit Sets for Linear Discrete-Time Systems with a Summary Constraint on the Scalar Control