POLYTOPIC INVARIANT VERIFICATION AND SYNTHESIS FOR POLYNOMIAL DYNAMICAL SYSTEMS VIA LINEAR PROGRAMMING
Mohamed Amin Ben Sassi, Antoine Girard · 2010
This paper deals with the verication and the synthesis of polytopic invariant sets for polynomial dynamical systems. An invariant set of a dynamical system is a subset of the state space such that if the state of the system belongs to the set at a given instant, it will remain in the set forever in the future. Polytopic invariants can be veried by solving a set of optimization problems involving multivariate polynomials on bounded polytopes. Using the blossoming principle for polynomials together with properties of multi-ane functions and Lagrangian duality, we show that certied lower bounds of the optimal values of such optimization problems can be computed eectively using linear programs. This allows us to propose a method based on linear programming for verifying polytopic invariant sets of polynomial dynamical systems. Additionally, we show that using sensitivity analysis of linear programs, we can synthesize a polytopic invariant set. Finally, we show using a set of examples borrowed from engineering or biological applications, that our approach is eective in practice.