M. Khatib, A. Girard, and T. Dang, Stability verification of nearly periodic impulsive linear systems using reachability analysis, IFAC Conference on Analysis and Design of Hybrid Systems, pp.358-363, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01276237

M. Khatib, A. Girard, and T. Dang, Verification and Synthesis of Timing Contracts for Embedded Controllers, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC '16, 2016.
DOI : 10.1145/2883817.2883827

URL : https://hal.archives-ouvertes.fr/hal-01276251

N. Athanasopoulos and M. Lazar, Alternative Stability Conditions for Switched Discrete Time Linear Systems, IFAC World Congress, pp.6007-6012, 2014.
DOI : 10.3182/20140824-6-ZA-1003.01634

N. W. Bauer, S. J. Van-loon, M. C. Donkers, N. Van-de-wouw, and W. P. Heemels, Networked Control Systems Toolbox: Robust Stability Analysis Made Easy*, IFAC Workshop on Distributed Estimation and Control in Networked Systems, pp.55-60, 2012.
DOI : 10.3182/20120914-2-US-4030.00014

F. Blanchini, Ultimate boundedness control for uncertain discretetime systems via set-induced Lyapunov functions, Conference on Decision and Control, pp.1755-1760, 1991.

M. C. Bragagnolo, I. Mor?-arescu, J. Daafouz, and P. Riedinger, Reset strategy for consensus in networks of clusters, Automatica, vol.65, pp.53-63, 2016.
DOI : 10.1016/j.automatica.2015.11.030

URL : https://hal.archives-ouvertes.fr/hal-01265038

C. Briat, Convex conditions for robust stability analysis and stabilization of linear aperiodic impulsive and sampled-data systems under dwell-time constraints, Automatica, vol.49, issue.11, pp.3449-3457, 2013.
DOI : 10.1016/j.automatica.2013.08.022

M. C. Donkers, W. P. Heemels, N. Van-de-wouw, and L. Hetel, Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach, IEEE Transactions on Automatic Control, vol.56, issue.9, pp.2101-2115, 2011.
DOI : 10.1109/TAC.2011.2107631

URL : https://hal.archives-ouvertes.fr/hal-00622934

M. Fiacchini and I. Mor?-arescu, Constructive Necessary and Sufficient Condition for the Stability of Quasi-Periodic Linear Impulsive Systems, IEEE Transactions on Automatic Control, vol.61, issue.9, 2016.
DOI : 10.1109/TAC.2015.2496792

URL : https://hal.archives-ouvertes.fr/hal-01379018

E. Fridman, A refined input delay approach to sampled-data control, Automatica, vol.46, issue.2, pp.421-427, 2010.
DOI : 10.1016/j.automatica.2009.11.017

E. Fridman, A. Seuret, and J. Richard, Robust sampled-data stabilization of linear systems: an input delay approach, Automatica, vol.40, issue.8, pp.401441-1446, 2004.
DOI : 10.1016/j.automatica.2004.03.003

URL : https://hal.archives-ouvertes.fr/inria-00131031

M. Herceg, M. Kvasnica, C. N. Jones, and M. Morari, Multi-Parametric Toolbox 3.0, European Control Conference, pp.502-510, 2013.

L. Hetel, J. Daafouz, S. Tarbouriech, and C. Prieur, Stabilization of linear impulsive systems through a nearly-periodic reset. Nonlinear Analysis: Hybrid Systems, pp.4-15, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00734728

C. and L. Guernic, Reachability analysis of hybrid systems with linear continuous dynamics, 2009.
URL : https://hal.archives-ouvertes.fr/tel-00422569

C. , L. Guernic, and A. Girard, Reachability analysis of linear systems using support functions. Nonlinear Analysis: Hybrid Systems, pp.250-262, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00765598

J. Legriel, C. Le-guernic, S. Cotton, and O. Maler, Approximating the Pareto Front of Multi-criteria Optimization Problems, Tools and Algorithms for the Construction and Analysis of Systems, pp.69-83, 2010.
DOI : 10.1007/978-3-642-12002-2_6

H. Lin and P. J. Antsaklis, Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results, IEEE Transactions on Automatic Control, vol.54, issue.2, pp.308-322, 2009.
DOI : 10.1109/TAC.2008.2012009

K. Liu, V. Suplin, and E. Fridman, Stability of linear systems with general sawtooth delay, IMA Journal of Mathematical Control and Information, vol.27, issue.4, pp.419-436, 2010.
DOI : 10.1093/imamci/dnq023

P. Naghshtabrizi, J. P. Hespanha, and A. R. Teel, Exponential stability of impulsive systems with application to uncertain sampled-data systems, Systems & Control Letters, vol.57, issue.5, pp.378-385, 2008.
DOI : 10.1016/j.sysconle.2007.10.009

A. Seuret, A novel stability analysis of linear systems under asynchronous samplings, Automatica, vol.48, issue.1, pp.177-182, 2012.
DOI : 10.1016/j.automatica.2011.09.033

URL : https://hal.archives-ouvertes.fr/hal-00610561

A. Seuret and M. Peet, Stability Analysis of Sampled-Data Systems Using Sum of Squares, IEEE Transactions on Automatic Control, vol.58, issue.6, pp.1620-1625, 2013.
DOI : 10.1109/TAC.2012.2232378

URL : https://hal.archives-ouvertes.fr/hal-00753538

P. Tendulkar, Mapping and Scheduling on Multi-core Processors using SMT Solvers, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01087271