Squaring the circle:an algorithm for generating polyhedral invariant sets from ellipsoidal ones

This paper presents a new (geometrical) approach to the computation of polyhedral positively invariant sets for general (possibly discontinuous) nonlinear systems, possibly affected by disturbances. Given a β-contractive ellipsoidal set script E sign, the key idea is to construct a polyhedral set that lies between the ellipsoidal sets βscript E sign and script E sign. A proof that the resulting polyhedral set is positively invariant (and contractive under an additional assumption) is given, and a new algorithm is developed to construct the desired polyhedral set. An advantage of the proposed method is that the problem of computing polyhedral invariant sets is formulated as a number of Quadratic Programming (QP) problems. The number of QP problems is guaranteed to be finite and therefore, the algorithm has finite termination. An important application of the proposed algorithm is the computation of polyhedral terminal constraint sets for model predictive control based on quadratic costs.