Polytopic control invariant sets for differential inclusion systems: A viability theory approach

This paper presents a criterion to characterize control invariant polytopes for differential inclusion systems. The practice-oriented method, based on viability theory and convex analysis, can be applied to determine computational procedures to obtain families of control invariant polytopes. The criterion is based on a necessary and sufficient condition for viability to hold at any point on the boundary of a polytope.