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

Benjamin Decardi-Nelson,Jinfeng Liu
DOI: https://doi.org/10.1016/j.compchemeng.2020.107177
2020-09-29
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.
Systems and Control,Dynamical Systems
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to calculate the maximal robust control invariant set (RCIS) of a constrained nonlinear system. Specifically, the paper proposes a graph - theory - based method to search for the invariant set. This method first approximates the dynamics of the nonlinear system as a directed graph, then derives the conditions for robust control invariance, and proposes an algorithm for calculating the robust control invariant set. The algorithm combines the iterative subdivision technique with the robust control invariance conditions to generate an outer approximation of the maximal robust control invariant set in each iteration. As the number of iterations increases, the algorithm finally converges to the maximal robust control invariant set. In addition, the paper also provides a method for calculating the inner approximation of the robust control invariant set and considers the special case of input - affine and perturbation - affine systems. Finally, the effectiveness of the proposed method is demonstrated through two numerical examples.