M. Althoff, O. Stursberg, and M. Buss, Reachability analysis of linear systems with uncertain parameters and inputs, 2007 46th IEEE Conference on Decision and Control, 2007.
DOI : 10.1109/CDC.2007.4434084

J. Aubin and H. Frankowska, Set-Valued Analysis, 1990.

O. Bouissou, A. Chapoutot, and A. Djoudi, Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods, NASA Formal Methods, 2013. [4] X. Chen, E. ´ Abrahám, and S. Sankaranarayanan
DOI : 10.1007/978-3-642-38088-4_8
URL : https://hal.archives-ouvertes.fr/hal-00819730

J. L. Comba and J. Stolfi, Affine arithmetic and its applications to computer graphics. SIBGRAPI, 1993.

T. Dang and R. Testylier, Hybridization domain construction using curvature estimation, Proceedings of the 14th international conference on Hybrid systems: computation and control, HSCC '11, pp.123-132, 2011.
DOI : 10.1145/1967701.1967721

L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, p.13, 2007.
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00103655

K. Ghorbal, E. Goubault, S. Putot, K. Ghorbal, E. Goubault et al., The zonotope abstract domain taylor1+ A logical product approach to zonotope intersection, CAV'09 CAV'10, pp.627-633, 2009.

A. Girard, Reachability of Uncertain Linear Systems Using Zonotopes, HSCC'05, 2005.
DOI : 10.1007/978-3-540-31954-2_19
URL : https://hal.archives-ouvertes.fr/hal-00307003

A. Girard, C. L. Guernic, and O. Maler, Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs, HSCC 2006, pp.257-271, 2006.
DOI : 10.1007/11730637_21
URL : https://hal.archives-ouvertes.fr/hal-00171555

A. Goldsztejn, D. Daney, M. Rueher, and P. Taillibert, Modal intervals revisited: a mean-value extension to generalized intervals, QCP'05, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00990048

A. Goldsztejn and L. Jaulin, Inner approximation of the range of vector-valued functions, Reliable Computing, vol.14, pp.1-23, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00518507

E. Goubault, M. Kieffer, O. Mullier, and S. Putot, General inner approximation of vector-valued functions, Reliable Computing, vol.18, pp.117-143, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00935773

E. Goubault and S. Putot, Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic, SAS, pp.137-152, 2007.
DOI : 10.1007/978-3-540-74061-2_9

E. Goubault and S. Putot, A zonotopic framework for functional abstractions. CoRR, abs/0910, 1763.

E. Goubault, S. Putot, and F. Vedrine, Modular Static Analysis with Zonotopes, SAS'12, pp.24-40, 2012.
DOI : 10.1007/978-3-642-33125-1_5

C. L. Guernic and A. Girard, Reachability Analysis of Hybrid Systems Using Support Functions, CAV, 2009.
DOI : 10.1007/978-3-642-02658-4_40
URL : https://hal.archives-ouvertes.fr/hal-00769527

D. Henrion and C. Louembet, Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design, International Journal of Control, vol.85, issue.8, pp.1083-1092, 2012.
DOI : 10.1016/j.mcm.2005.05.021
URL : https://hal.archives-ouvertes.fr/hal-00585633

D. Ishii, A. Goldsztejn, and C. Jermann, Interval-based projection method for under-constrained numerical systems, Constraints, vol.8, issue.5, pp.432-460, 2012.
DOI : 10.1007/s10601-012-9126-y
URL : https://hal.archives-ouvertes.fr/hal-00868023

B. Jeannet and A. Miné, Apron: A Library of Numerical Abstract Domains for Static Analysis, CAV'09, pp.661-667, 2009.
DOI : 10.1007/978-3-642-02658-4_52
URL : https://hal.archives-ouvertes.fr/hal-00786354

A. Kanade, R. Alur, F. Ivan?i´ivan?i´c, S. Ramesh, S. Sankaranarayanan et al., Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models, CAV'09, 2009.
DOI : 10.1007/978-3-642-02658-4_33

E. Kaucher, Interval Analysis in the Extended Interval Space IR, Comput. (Supplementum), vol.2, 1980.
DOI : 10.1007/978-3-7091-8577-3_3

A. B. Kurzhanski and P. Varaiya, Ellipsoidal Techniques for Reachability Analysis, HSCC '00, pp.202-214, 2000.
DOI : 10.1007/3-540-46430-1_19

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

T. Nghiem, S. Sankaranarayanan, G. Fainekos, F. Ivanci´civanci´c, A. Gupta et al., Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, 2010.
DOI : 10.1145/1755952.1755983

M. A. Sassi, R. Testylier, T. Dang, and A. Girard, Reachability analysis of polynomial systems using linear programming relaxations, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00769672