Paper Info
Title
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.
Year
DOI
Venue
2015
10.1016/j.ifacol.2015.11.200
IFAC-PapersOnLine
Keywords
DocType
Volume
Reachability,Impulsive systems,Stability analysis
Conference
48
Issue
ISSN
Citations 
27
2405-8963
0
PageRank 
References 
Authors
0.34
7
3
Name
Order
Citations
PageRank
mohammad al khatib171.52
Antoine Girard21937117.56
Thao Dang31722115.80