I. Araya, G. Trombettoni, and B. Neveu, A Contractor Based on Convex Interval Taylor, Proc. of CPAIOR, pp.1-16, 2012.
DOI : 10.1007/978-3-642-29828-8_1
URL : https://hal.archives-ouvertes.fr/hal-00733848

E. Asarin, T. Dang, and A. Girard, Reachability Analysis of Nonlinear Systems Using Conservative Approximation, Hybrid Systems: Computation and Control, pp.20-35, 2003.
DOI : 10.1007/3-540-36580-X_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.1279

F. Blanchini and S. Miani, Set-Theoretic Methods in Control, 2007.
DOI : 10.1007/978-3-319-17933-9

G. Chabert and L. Jaulin, Contractor programming, Artificial Intelligence, vol.173, issue.11, pp.1079-1100, 2009.
DOI : 10.1016/j.artint.2009.03.002
URL : https://hal.archives-ouvertes.fr/hal-00428957

P. Collins and A. Goldsztejn, The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems, Electronic Notes in Theoretical Computer Science, vol.223, issue.223, pp.87-102, 2008.
DOI : 10.1016/j.entcs.2008.12.033

J. Alexandre, D. Sandretto, and A. Chapoutot, Validated explicit and implicit runge-kutta methods, Reliable Computing, vol.22, p.79, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01243053

E. Goubault, O. Mullier, S. Putot, and M. Kieffer, Inner approximated reachability analysis, Proceedings of the 17th international conference on Hybrid systems: computation and control, HSCC '14, pp.163-172, 2014.
DOI : 10.1145/2562059.2562113
URL : https://hal.archives-ouvertes.fr/hal-01073731

E. R. Hansen, A generalized interval arithmetic, pp.7-18, 1975.
DOI : 10.1007/3-540-07170-9_2

M. Hladik, Abstract, International Journal of Applied Mathematics and Computer Science, vol.30, issue.3, pp.561-574, 2012.
DOI : 10.1137/070711232
URL : https://hal.archives-ouvertes.fr/hal-00586920

S. Kaynama, J. Maidens, M. Oishi, I. M. Mitchell, and G. A. Dumont, Computing the viability kernel using maximal reachable sets, Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp.55-64, 2012.
DOI : 10.1145/2185632.2185644

M. Kone?n-`-kone?n-`-y, W. Taha, A. Ferenc, A. Bartha-duracz, . Duracz et al., Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point, Nonlinear Analysis: Hybrid Systems, vol.20, pp.1-20, 2016.
DOI : 10.1016/j.nahs.2015.10.004

M. Lhommeau, L. Jaulin, and L. Hardouin, Capture basin approximation using interval analysis, International Journal of Adaptive Control and Signal Processing, vol.49, issue.2-3, pp.264-272, 2011.
DOI : 10.1023/A:1017992615625
URL : https://hal.archives-ouvertes.fr/hal-00593261

M. Lhommeau, L. Jaulin, and L. Hardouin, Inner and outer approximation of capture basin using interval analysis, ICINCO-SPSMC, pp.5-9, 2007.
DOI : 10.1002/acs.1195
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.2074

A. K. Mackworth, Consistency in networks of relations, Artificial Intelligence, vol.8, issue.1, pp.99-118, 1977.
DOI : 10.1016/0004-3702(77)90007-8

J. N. Maidens, S. Kaynama, I. M. Mitchell, M. K. Meeko, G. A. Oishi et al., Lagrangian methods for approximating the viability kernel in high-dimensional systems, Automatica, vol.49, issue.7, pp.492017-2029, 2013.
DOI : 10.1016/j.automatica.2013.03.020

S. and L. Menec, Linear Differential Game with Two Pursuers and One Evader, Advances in Dynamic Games, pp.209-226, 2011.

T. , L. Mézo, L. Jaulin, and B. Zerr, Inner approximation of a capture basin of a dynamical system, Abstracts of the 9th Summer Workshop on Interval Methods SWIM'2016, 2016.

T. , L. Mézo, L. Jaulin, and B. Zerr, An interval approach to solve an initial value problem, AIP Conference Proceedings, vol.1776, issue.1, p.2016

T. , L. Mézo, L. Jaulin, and B. Zerr, An interval approach to compute invariant sets, IEEE Transactions on Automatic Control, issue.99, pp.1-1, 2018.

S. Nedialko, . Nedialkov, R. Kenneth, . Jackson, F. George et al., 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

N. Ramdani and N. Nedialkov, Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques, Nonlinear Analysis: Hybrid Systems, vol.5, issue.2, pp.149-162, 2011.
DOI : 10.1016/j.nahs.2010.05.010
URL : https://hal.archives-ouvertes.fr/hal-00611996

D. Yaroslav and . Sergeyev, Arithmetic of Infinity, 2003.

I. Walawska and D. Wilczak, An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs, Applied Mathematics and Computation, vol.291, pp.303-322, 2016.
DOI : 10.1016/j.amc.2016.07.005