Stability Verification and Timing Contract Synthesis for Linear Impulsive Systems using Reachability Analysis

Abstract : This paper deals with stability analysis for a class of linear impulsive systems subject to a timing contract specifying bounds on the time between two consecutive impulses. We consider the problem of stability verification, which consists in proving stability for a particular timing contract, and the problem of timing contract synthesis, which consists in synthesizing a set of timing contracts that guarantee the stability of the linear impulsive system. Our approach is based on a reformulation using parameterized difference inclusions. We derive theoretical necessary and sufficient conditions for stability based on the propagation of a set by the system dynamics. For linear impulsive systems, this allow us to design a stability verification algorithm using reach-ability analysis. We then propose an approach to timing contract synthesis, which exploits the monotonicity of stability with respect to timing contract parameters to design an algorithm based on adaptive sampling of the parameter space. Several examples are provided, which allow us to compare our algorithm with several existing techniques, and show the effectiveness of our approach.
Type de document :
Article dans une revue
Nonlinear Analysis: Hybrid Systems, Elsevier, 2017, 25, pp.211-226. 〈10.1016/j.nahs.2016.08.007〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01331737
Contributeur : Antoine Girard <>
Soumis le : mardi 14 juin 2016 - 14:32:06
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02
Document(s) archivé(s) le : jeudi 15 septembre 2016 - 11:07:38

Fichier

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

Identifiants

Citation

Mohammad Al Khatib, Antoine Girard, Thao Dang. Stability Verification and Timing Contract Synthesis for Linear Impulsive Systems using Reachability Analysis. Nonlinear Analysis: Hybrid Systems, Elsevier, 2017, 25, pp.211-226. 〈10.1016/j.nahs.2016.08.007〉. 〈hal-01331737〉

Partager

Métriques

Consultations de la notice

715

Téléchargements de fichiers

355