R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems, Proc. of Hybrid Systems I, number 736 in LNCS, pp.209-229, 1993.
DOI : 10.1007/3-540-57318-6_30

L. Fribourg, U. Kühne, and R. Soulat, Finite controlled invariants for sampled switched systems, Formal Methods in System Design, vol.77, issue.1, pp.303-329, 2014.
DOI : 10.1007/3-540-36580-X_33

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.396.9680

D. Liberzon, Switching in systems and control, 2012.
DOI : 10.1007/978-1-4612-0017-8

A. Girard, Reachability of Uncertain Linear Systems Using Zonotopes, Proc. of 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

M. Althoff, Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.173-182, 2013.
DOI : 10.1145/2461328.2461358

X. Chen, E. Abrahám, and S. Sankaranarayanan, Flow*: An Analyzer for Non-linear Hybrid Systems, Proc. of Computer Aided Verification, pp.258-263, 2013.
DOI : 10.1007/978-3-642-39799-8_18

URL : http://pl.cs.colorado.edu/papers/flowstar-cav13.pdf

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

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

R. Moore, Interval Analysis, 1966.

S. Nedialko, K. Nedialkov, R. Jackson, and G. F. Corliss, Validated solutions of initial value problems for ordinary differential equations, Applied Mathematics and Computation, vol.105, issue.1, pp.21-68, 1999.
DOI : 10.1016/S0096-3003(98)10083-8

Y. Lin and M. A. Stadtherr, Validated solutions of initial value problems for parametric ODEs, Applied Numerical Mathematics, vol.57, issue.10, pp.1145-1162, 2007.
DOI : 10.1016/j.apnum.2006.10.006

URL : http://www.nd.edu/~markst/lin-stadtherr-vspode-apnum.pdf

T. Dzetkuli?, Rigorous integration of non-linear ordinary differential equations in chebyshev basis, Numerical Algorithms, vol.2, issue.1, pp.183-205, 2015.
DOI : 10.1007/s002080010018

O. Bouissou and M. Martel, GRKLib: a Guaranteed Runge Kutta Library, 12th GAMM, IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006), 2006.
DOI : 10.1109/SCAN.2006.20

URL : http://www.lix.polytechnique.fr/Labo/Olivier.Bouissou/pdf/publications/bouissou_martel_scan_06.pdf

K. Gajda, A. Maa-lgorzata-jankowska, B. Marciniak, and . Szyszka, A Survey of Interval Runge???Kutta and Multistep Methods for Solving the Initial Value Problem, Proc. of Parallel Processing and Applied Mathematics, pp.1361-1371, 2008.
DOI : 10.1007/978-3-540-68111-3_144

O. Bouissou, A. Chapoutot, and A. Djoudi, Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods, Proc. of NASA Formal Methods, number 7871 in LNCS, pp.108-123, 2013.
DOI : 10.1007/978-3-642-38088-4_8

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

T. A. Henzinger, B. Horowitz, R. Majumdar, and H. Wong-toi, Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods, Proc. of Hybrid Systems: Computational and Control, pp.130-144, 2000.
DOI : 10.1007/3-540-46430-1_14

URL : http://www-cad.eecs.berkeley.edu/~tah/Publications/beyond_hytech.ps

A. Girard, G. Pola, and P. Tabuada, Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems, IEEE Transactions on Automatic Control, vol.55, issue.1, pp.116-126, 2010.
DOI : 10.1109/TAC.2009.2034922

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

M. Zamani, G. Pola, M. Mazo, and P. Tabuada, Symbolic Models for Nonlinear Control Systems Without Stability Assumptions, IEEE Transactions on Automatic Control, vol.57, issue.7, pp.1804-1809, 2012.
DOI : 10.1109/TAC.2011.2176409

URL : http://www.ee.ucla.edu/~pola/publications/Pola_CDC2007a.pdf

G. Reissig, A. Weber, and M. Rungger, Feedback Refinement Relations for the Synthesis of Symbolic Controllers, IEEE Transactions on Automatic Control, vol.62, issue.4, pp.1781-1796, 2017.
DOI : 10.1109/TAC.2016.2593947

A. Le-coënt, J. Alexandre-dit-sandretto, A. Chapoutot, and L. Fribourg, Control of nonlinear switched systems based on validated simulation, 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), pp.1-6, 2016.
DOI : 10.1109/SNR.2016.7479377

H. Ravanbakhsh and S. Sankaranarayanan, Robust controller synthesis of switched systems using counterexample guided framework, Proceedings of the 13th International Conference on Embedded Software, EMSOFT '16, pp.1-10, 2016.
DOI : 10.1007/978-3-540-78929-1_39

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, 2001.
DOI : 10.1007/978-1-4471-0249-6

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

E. Hairer, S. Paul-norsett, and G. Wanner, Solving Ordinary Differential Equations I: Nonstiff Problems, 2009.
DOI : 10.1007/978-3-662-12607-3

L. Henrique, D. Figueiredo, and J. Stolfi, Self-Validated Numerical Methods and Applications, Brazilian Mathematics Colloquium monographs . IMPA/CNPq, 1997.

J. Alexandre, D. Sandretto, and A. Chapoutot, Validated explicit and implicit Runge-Kutta methods, Reliable Computing, vol.22, pp.79-103, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01111240

R. J. Lohner, Enclosing the solutions of ordinary initial and boundary value problems, Computer Arithmetic, pp.255-286, 1987.

T. Kapela and P. Zgliczy, Zgliczy`nski. A Lohner-type algorithm for control systems and ordinary differential inclusions. Discrete and continuous dynamical systems -series B, pp.365-385, 2009.

J. Alexandre, D. Sandretto, and A. Chapoutot, DynIBEX library, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01302504

M. Mazo, A. Davitian, and P. Tabuada, PESSOA: A Tool for Embedded Controller Synthesis, Proc. of Computer Aided Verification, pp.566-569, 2010.
DOI : 10.1007/978-3-642-14295-6_49

M. Rungger and M. Zamani, SCOTS, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC '16, pp.99-104, 2016.
DOI : 10.1016/0166-218X(93)90045-P

A. G. Beccuti, G. Papafotiou, and M. Morari, Optimal Control of the Boost dc-dc Converter, Proceedings of the 44th IEEE Conference on Decision and Control, pp.4457-4462, 2005.
DOI : 10.1109/CDC.2005.1582864

J. Liu, N. Ozay, U. Topcu, and R. M. Murray, Synthesis of Reactive Switching Protocols From Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol.58, issue.7, pp.1771-1785, 2013.
DOI : 10.1109/TAC.2013.2246095

P. Meyer, Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings. Theses, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01232640

P. Meyer, H. Nazarpour, A. Girard, and E. Witrant, Experimental implementation of UFAD regulation based on Robust Controlled Invariance, 2014 European Control Conference (ECC), pp.1468-1473, 2014.
DOI : 10.1109/ECC.2014.6862273

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

K. J. , A. , and R. M. Murray, Feedback systems: an introduction for scientists and engineers, 2010.

A. Le-coënt, L. Fribourg, N. Markey, F. De-vuyst, and L. Chamoin, Distributed Synthesis of State-Dependent Switching Control, Proc. of Reachability Problems, pp.119-133, 2016.
DOI : 10.1007/978-3-540-71493-4_34

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. Le-coënt, F. De-vuyst, C. Rey, L. Chamoin, and L. Fribourg, Control of mechanical systems using set based methods, International Journal of Dynamics and Control, vol.9, issue.2, pp.1-17, 2016.
DOI : 10.1016/0167-6911(87)90021-1