M. Khatib, A. Girard, and T. Dang, Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis. Nonlinear Analysis: Hybrid Systems, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01331737

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, pp.115-124, 2016.
DOI : 10.1145/2883817.2883827
URL : https://hal.archives-ouvertes.fr/hal-01276251

R. Alur and D. L. Dill, A theory of timed automata. Theoretical computer science, pp.183-235, 1994.

A. Aminifar, P. Tabuada, P. Eles, and Z. Peng, Self-Triggered Controllers and Hard Real-Time Guarantees, Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp.636-641, 2016.
DOI : 10.3850/9783981537079_0040

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.

G. Behrmann, A. Cougnard, A. David, E. Fleury, K. G. Larsen et al., UPPAAL-Tiga: Time for Playing Games!, International Conference on Computer Aided Verification, pp.121-125, 2007.
DOI : 10.1007/978-3-540-73368-3_14
URL : https://hal.archives-ouvertes.fr/hal-00350466

A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J. Raclet et al., Contracts for systems design
URL : https://hal.archives-ouvertes.fr/hal-01178467

A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J. Raclet et al., Contracts for systems design: theory, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01178467

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

G. Buttazzo, Hard real-time computing systems: predictable scheduling algorithms and applications, 2011.
DOI : 10.1007/0-387-27578-9

F. Cassez, A. David, E. Fleury, K. G. Larsen, and D. Lime, Efficient On-the-Fly Algorithms for the Analysis of Timed Games, CONCUR 2005-Concurrency Theory, pp.66-80
DOI : 10.1007/11539452_9
URL : https://hal.archives-ouvertes.fr/hal-00350475

A. Cela, M. B. Gaid, X. Li, and S. Niculescu, Optimal design of distributed control and embedded systems, 2013.

F. Cottet, J. Delacroix, C. Kaiser, and Z. Mammeri, Scheduling in real-time systems. Scheduling in Real-Time Systems, p.282, 2002.
URL : https://hal.archives-ouvertes.fr/hal-01125110

S. Dai, H. Lin, and S. S. Ge, Scheduling-and-Control Codesign for a Collection of Networked Control Systems With Uncertain Delays, IEEE Transactions on Control Systems Technology, vol.18, issue.1, pp.66-78, 2010.
DOI : 10.1109/TCST.2008.2010459

A. David, J. Illum, K. G. Larsen, and A. Skou, Model-based framework for schedulability analysis using uppaal 4.1. Model-based design for embedded systems, pp.93-119, 2009.
DOI : 10.1201/9781420067859-c4

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

A. Fehnker, Scheduling a steel plant with timed automata, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306), 1999.
DOI : 10.1109/RTCSA.1999.811256
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.1351

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

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
URL : http://hub.hku.hk/bitstream/10722/124881/1/Content.pdf

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

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

L. Hetel, A. Kruszewski, W. Perruquetti, and J. Richard, Discrete and Intersample Analysis of Systems With Aperiodic Sampling, IEEE Transactions on Automatic Control, vol.56, issue.7, pp.1696-1701, 2011.
DOI : 10.1109/TAC.2011.2122690
URL : https://hal.archives-ouvertes.fr/hal-00576366

A. S. Kolarijani, D. Adzkiya, and M. Mazo, Symbolic abstractions for the scheduling of event-triggered control systems, 2015 54th IEEE Conference on Decision and Control (CDC), pp.6153-6158, 2015.
DOI : 10.1109/CDC.2015.7403187

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

O. Maler, A. Pnueli, and J. Sifakis, On the synthesis of discrete controllers for timed systems, Annual Symposium on Theoretical Aspects of Computer Science, pp.229-242, 1995.
DOI : 10.1007/3-540-59042-0_76

P. Naghshtabrizi and J. P. Hespanha, Analysis of distributed control systems with shared communication and computation resources, 2009 American Control Conference, 2009.
DOI : 10.1109/ACC.2009.5160461

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. Tabuada, Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks, IEEE Transactions on Automatic Control, vol.52, issue.9, pp.1680-1685, 2007.
DOI : 10.1109/TAC.2007.904277
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.1951

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