Complexity-driven construction of controlled invariant polytopic sets

In this article, the problem of constructing controlled invariant polytopic sets of a specified complexity, for discrete-time linear systems subject to linear state and control constraints, is investigated. First, geometric conditions for enlarging a polytopic set such that the resulting polytopic set has an a priori chosen number of vertices are formulated. Next, results concerning the enlargement of controlled invariant sets such that the resulting set remains controlled invariant are presented. Finally, having established this necessary theoretical background, a method of constructing nondecreasing sequences of admissible controlled invariant sets with complexity specifications is established.