Set theory conditions for stability of linear impulsive systems

Mirko Fiacchini (1) , Irinel-Constantin Morarescu (2)

1 GIPSA-SYSCO - GIPSA - Systèmes non linéaires et complexité
2 CRAN - Centre de Recherche en Automatique de Nancy

— In this paper we give tractable necessary and sufficient condition for the global exponential stability of a linear impulsive system. The reset rule considered in the paper is quasi-periodic and the stability analysis is based on a standard tool in set theory that is Minkowski functional. Firstly, we reformulate the problem in term of discrete-time parametric uncertain system with the state matrix belonging to a compact but non-convex set. Secondly, we provide a tractable algorithm for testing the stability and computing the associated polyhedral Lyapunov function when the system is stable. The main result is an algorithm whose computational effort is analogous to that of classical algorithms for contractive polytopes computation for discrete-time parametric uncertain systems with the state matrix belonging to a polytopic set.

Mots clés: polyhedral Lyapunov functions; Index Terms— Reset systems; stability; set theory

Domaines: Automatique; Recherche d'information [cs.IR]

Mirko Fiacchini, Irinel-Constantin Morarescu. Set theory conditions for stability of linear impulsive systems. 53rd IEEE Conference on Decision and Control, CDC 2014, Dec 2014, Los Angeles, United States. ⟨hal-01076173⟩