=. Mu-h, 0 ? mu The differential system: Bibliography [1] Martin Berz and Kyoko Makino Verified integration of odes and flows using differential algebraic methods on high-order taylor models, Reliable Computing, vol.4, issue.4, pp.361-369, 1998.

O. Bouissou, A. Chapoutot, and A. Djoudi, Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods, 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

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

O. Bouissou, S. Mimram, and A. Chapoutot, HySon: Setbased simulation of hybrid systems, Rapid System Prototyping, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00819377

C. John and . Butcher, Coefficients for the study of Runge-Kutta integration processes, Journal of the Australian Mathematical Society, vol.3, issue.5, pp.185-201, 1963.

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

X. Chen, E. Abraham, and S. Sankaranarayanan, Taylor Model Flowpipe Construction for Non-linear Hybrid Systems, 2012 IEEE 33rd Real-Time Systems Symposium, pp.183-192, 2012.
DOI : 10.1109/RTSS.2012.70

L. H. De-figueiredo and J. Stolfi, Self-Validated Numerical Methods and Applications . Brazilian Mathematics Colloquium monographs, 1997.

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, Parallel Processing and Applied Mathematics, pp.1361-1371, 2008.
DOI : 10.1007/978-3-540-68111-3_144

E. Goubault and S. Putot, Static Analysis of Finite Precision Computations, Verification, Model Checking, and Abstract Interpretation, pp.232-247, 2011.
DOI : 10.1007/978-3-540-24738-8_18

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

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. D. Lambert, Numerical Methods for Ordinary Differential Systems: The Initial Value Problem, 1991.

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

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

R. Moore, Interval Analysis, 1966.

N. Nedialkov, K. Jackson, and G. 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

A. Neumaier, The Wrapping Effect, Ellipsoid Arithmetic, Stability and Confidence Regions, Validation Numerics, pp.175-190, 1993.
DOI : 10.1007/978-3-7091-6918-6_14

M. Siegfried, M. Rump, and . Kashiwagi, Implementation and improvements of affine arithmetic, 2014.

D. Wilczak and P. Zgliczy´nskizgliczy´nski, Cr-lohner algorithm, Schedae Informaticae, vol.20, pp.9-46, 2011.