Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis

Abstract : The paper provides stability analysis to certain classes of hybrid systems, more precisely impulsive linear systems. This analysis is conducted using the notion of reachable set. The main contribution in this work is the derivation of theoretical necessary and sufficient conditions for impulsive linear systems with nearly periodic resets subject to timing contracts. This characterization serves as the basis of a computational method for the stability verification of the considered class of systems. In addition, we show how this work handles the problem of timing contract synthesis for the considered class and we generalize our approach to verify stability of impulsive linear systems with stochastic reset instants. Applications on sampled-data control systems and comparisons with existing results are then discussed, showing the effectiveness of our approach.
Type de document :
Communication dans un congrès
Analysis and Design of Hybrid Systems, Oct 2015, Atlanta, United States. 48 (27), pp.358-363, 2015, IFAC-PapersOnLine. 〈10.1016/j.ifacol.2015.11.200〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01276237
Contributeur : Antoine Girard <>
Soumis le : vendredi 19 février 2016 - 09:17:05
Dernière modification le : vendredi 24 novembre 2017 - 13:30:42
Document(s) archivé(s) le : samedi 12 novembre 2016 - 23:56:24

Fichier

adhs2015_AlkhatibGD.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Mohammad Al Khatib, Antoine Girard, Thao Dang. Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis. Analysis and Design of Hybrid Systems, Oct 2015, Atlanta, United States. 48 (27), pp.358-363, 2015, IFAC-PapersOnLine. 〈10.1016/j.ifacol.2015.11.200〉. 〈hal-01276237〉

Partager

Métriques

Consultations de la notice

229

Téléchargements de fichiers

53