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. Althoff, O. Stursberg, and M. Buss, Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes. Nonlinear Analysis: Hybrid Systems, pp.233-249, 2010.

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, P. J. Maas, and W. P. Heemels, Stability analysis of networked control systems: A sum of squares approach, Automatica, issue.8, pp.481514-1524, 2012.

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 discrete-time systems via set-induced lyapunov functions, IEEE Conference on Decision and Control, pp.1755-1760, 1991.

O. Botchkarev and S. Tripakis, Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations, Hybrid Systems: Computation and Control, pp.73-88, 2000.
DOI : 10.1007/3-540-46430-1_10

M. C. Bragagnolo, I. Morarescu, J. Daafouz, and P. Riedinger, LMI sufficient conditions for the consensus of linear agents with nearly-periodic resets, 2014 American Control Conference, pp.2575-2580, 2014.
DOI : 10.1109/ACC.2014.6858618

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

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.493449-3457, 2013.
DOI : 10.1016/j.automatica.2013.08.022

M. B. Cloosterman, L. Hetel, N. Van-de-wouw, W. P. Heemels, J. Daafouz et al., Controller synthesis for networked control systems, Automatica, vol.46, issue.10, pp.461584-1594, 2010.
DOI : 10.1016/j.automatica.2010.06.017

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

P. Derler, E. A. Lee, S. Tripakis, and M. Törngren, Cyber-physical system design contracts, Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS '13, pp.109-118, 2013.
DOI : 10.1145/2502524.2502540

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. Morarescu, Set theory conditions for stability of linear impulsive systems, 53rd IEEE Conference on Decision and Control, pp.1527-1532, 2014.
DOI : 10.1109/CDC.2014.7039616

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

G. Frehse, C. L. Guernic, A. Donzé, S. Cotton, R. Ray et al., SpaceEx: Scalable Verification of Hybrid Systems, Computer Aided Verification, pp.379-395, 2011.
DOI : 10.1007/978-3-642-00768-2_32

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

H. Fujioka, Stability analysis of systems with aperiodic sample-and-hold devices, Automatica, vol.45, issue.3, pp.771-775, 2009.
DOI : 10.1016/j.automatica.2008.10.017

H. Gao, X. Meng, T. Chen, and J. Lam, Stabilization of Networked Control Systems via Dynamic Output-Feedback Controllers, SIAM Journal on Control and Optimization, vol.48, issue.5, pp.3643-3658, 2010.
DOI : 10.1137/070679132

A. Girard, Reachability of Uncertain Linear Systems Using Zonotopes, Hybrid Systems: Computation and Control, pp.291-305, 2005.
DOI : 10.1007/978-3-540-31954-2_19

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

W. P. Heemels, A. R. Teel, N. Van-de-wouw, and D. Ne?i´ne?i´c, Networked Control Systems With Communication Constraints: Tradeoffs Between Transmission Intervals, Delays and Performance, IEEE Transactions on Automatic Control, vol.55, issue.8, pp.551781-1796, 2010.
DOI : 10.1109/TAC.2010.2042352

M. Herceg, M. Kvasnica, C. 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, 2013. [21] L. Hetel, A. Kruszewski, W. Perruquetti, and J.-P, pp.4-15
DOI : 10.1016/j.nahs.2012.06.001

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

A. B. Kurzhanski and P. Varaiya, Ellipsoidal techniques for reachability analysis: internal approximation, Systems & Control Letters, vol.41, issue.3, pp.201-211, 2000.
DOI : 10.1016/S0167-6911(00)00059-1

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

K. Liu, E. Fridman, and L. Hetel, Networked Control Systems in the Presence of Scheduling Protocols and Communication Delays, SIAM Journal on Control and Optimization, vol.53, issue.4, pp.1768-1788, 2015.
DOI : 10.1137/140980570

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

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

A. Sangiovanni-vincentelli, W. Damm, and R. Passerone, Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*, European Journal of Control, vol.18, issue.3, pp.217-238, 2012.
DOI : 10.3166/ejc.18.217-238

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