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.

Data-driven computation of invariant sets of discrete time-invariant black-box systems

Scenario-Based Set Invariance Verification for Black-Box Nonlinear Systems.

Data-driven Invariant Subspace Identification for Black-Box Switched Linear Systems.

Rapid Identification of Switched Systems: A Data-Driven Method in Variational Framework

Automated Identification of Differential-Variational Equations for Static Systems

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

Data-Driven Computation of Robust Invariant Sets and Gain-Scheduled Controllers for Linear Parameter-Varying Systems

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems

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

Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems

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

Invariant Clusters for Hybrid Systems

On the Computation of Controlled Invariant and Output Invisible Subspaces for Parameter-dependent Systems

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

Invariance Control Synthesis for Switched Systems: An Interval Analysis Approach

Data-based system representations from irregularly measured data

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

Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems

Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models

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

On the sighting of unicorns: a variational approach to computing invariant sets in dynamical systems