O. A. Akinfenwa and S. A. Okunuga, Solving semi-explicit index-1 dae systems using l-stable extended block backward differentiation formula with continuous coefficients, World Congress on Engineering, pp.252-256, 2013.

J. Alexandre, D. Sandretto, and A. Chapoutot, Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01107685

M. Althoff and B. H. Krogh, Reachability Analysis of Nonlinear Differential-Algebraic Systems, IEEE Transactions on Automatic Control, vol.59, issue.2, pp.371-383, 2014.
DOI : 10.1109/TAC.2013.2285751

F. Benhamou, F. Goualard, L. Granvilliers, and J. Puget, Revising Hull and Box Consistency, Proc. ICLP, pp.230-244, 1999.

M. Berz and K. 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.
DOI : 10.1023/A:1024467732637

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: Set-based simulation of hybrid systems, 2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP), 2012.
DOI : 10.1109/RSP.2012.6380694
URL : https://hal.archives-ouvertes.fr/hal-00819377

J. David, M. Braun, and . Goldfarb, Simulation of constrained mechanical systems part i: An equation of motion, Journal of Applied Mechanics, vol.79, issue.4, p.2012

K. Eleda-brenan, L. Stephen, L. R. Campbell, and . Petzold, Numerical solution of initial-value problems in differential-algebraic equations, Siam, vol.14, 1996.

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.

J. Dieudonné, Foundations of modern analysis, 1969.

P. Eijgenraam, The solution of initial value problems using interval arithmetic, Mathematical Centre, Tracts No. Stichting Mathematisch Centrum, vol.144, 1991.

K. Gajda, M. Jankowska, A. Marciniak, and B. 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

A. Goldsztejn, Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests, Computing, vol.11, issue.4, pp.53-60, 2007.
DOI : 10.1007/s00607-006-0217-8
URL : https://hal.archives-ouvertes.fr/hal-00431164

A. Goldsztejn, Sensitivity analysis using a fixed point interval iteration, p.811
URL : https://hal.archives-ouvertes.fr/hal-00339377

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

J. Hoefkens, M. Berz, and K. Makino, Computing validated solutions of implicit differential equations, Advances in Computational Mathematics, vol.19, issue.1/3, pp.231-253, 2003.
DOI : 10.1023/A:1022858921155

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.

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

). S. Nedialko-(-ned and . Nedialkov, Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation, 1999.

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

C. Constantinos and . Pantelides, The consistent initialization of differential-algebraic systems, SIAM Journal on Scientific and Statistical Computing, vol.9, issue.2, pp.213-231, 1988.

A. Rauh, M. Brill, and C. Günther, A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP, International Journal of Applied Mathematics and Computer Science, vol.19, issue.3, pp.381-397, 2009.
DOI : 10.2478/v10006-009-0032-4

R. Rihm, Interval methods for initial value problems in odes, Topics in Validated Computations, pp.173-207, 1994.

. Josephk, P. Scott, and . Barton, Interval bounds on the solutions of semiexplicit index-one daes. part 1: analysis, Numerische Mathematik, vol.125, issue.1, pp.1-25, 2013.

. Josephk, P. Scott, and . Barton, Interval bounds on the solutions of semiexplicit index-one daes. part 2: computation, Numerische Mathematik, vol.125, issue.1, pp.27-60, 2013.

N. Stewart, A heuristic to reduce the wrapping effect in the numerical solution ofx???=f(t,x), BIT, vol.8, issue.3, pp.328-337, 1971.
DOI : 10.1007/BF01931814

R. C. Vieira and E. C. Biscaia-jr, An overview of initialization approaches for differential algebraic equations, Latin American Applied Research, vol.30, issue.4, pp.303-313, 2000.

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