Abstract:This paper deals with the computation of the largest robust control invariant sets (RCISs) of constrained nonlinear systems. The proposed approach is based on casting the search for the invariant set as a graph theoretical problem. Specifically, a general class of discrete-time time-invariant nonlinear systems is considered. First, the dynamics of a nonlinear system is approximated with a directed graph. Subsequently, the condition for robust control invariance is derived and an algorithm for computing the robust control invariant set is presented. The algorithm combines the iterative subdivision technique with the robust control invariance condition to produce outer approximations of the largest robust control invariant set at each iteration. Following this, we prove convergence of the algorithm to the largest RCIS as the iterations proceed to infinity. Based on the developed algorithms, an algorithm to compute inner approximations of the RCIS is also presented. A special case of input affine and disturbance affine systems is also considered. Finally, two numerical examples are presented to demonstrate the efficacy of the proposed method.

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

Delay-Dependent Robust Stabilizability For Uncertain Discrete Time-Delay Systems

Reachability and Stabilization of Discrete-Time Affine Systems with Disturbances

Robust Stabilization For Singular Systems With Time-Delays And Saturating Controls

Necessary and Sufficient Condition for Robust H∞ Control of Dynamic Interval Systems

Robust stabilization of uncertain time-varying discrete systems and comments on "an improved approach for constrained robust model predictive control

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

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

Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems

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

Exact controllability of infinite dimensional linear systems via bounded control functions

Computing Controlled Invariant Sets of Nonlinear Control-Affine Systems

Data-Driven Robust Backward Reachable Sets for Set-Theoretic Model Predictive Control

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

New Meaning of Exact Controllability of Linear Sytems in Hilbert Spaces

Robust control for uncertain linear systems with constraints on output

Robustness with Respect to Small Delays for Controllability of Linear Dynamic Systems

New Meaning Of Exact Controllability Of Linear Systems In Hilbert Spaces

Computation of Maximal Admissible Robust Positive Invariant Sets for Linear Systems with Parametric and Additive Uncertainties

Robust Stabilization for Uncertain Discrete Singular Systems with State Delay

Less Conservative Robust Stability Criteria for Uncertain Discrete Stochastic Singular Systems with Time-Varying Delay