Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis*

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.