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

F. L. Chernousko, Optimal guaranteed estimates of indeterminacies with the aid of ellipsoids, Engrg. Cybernetics, vol.18, pp.1-9, 1980.

F. L. Chernousko, State Estimation for Dynamic Systems, Boca Raton, FL, 1994.

M. Gennat and B. Tibken, Simulation of uncertain systems with guaranteed bounds, 11th GAMM -IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, 2004.

J. L. Gouzé, A. Rapaport, and Z. M. Hadj-sadok, Interval observers for uncertain biological systems, Ecological Modelling, vol.133, issue.1-2, pp.45-56, 2000.
DOI : 10.1016/S0304-3800(00)00279-9

J. Hoefkens, M. Berz, and K. Makino, Efficient high-order methods for ODEs and DAEs Automatic Differentiation : From Simulation to Optimization, pp.341-351, 2001.

L. Jaulin, Nonlinear bounded-error state estimation of continuous-time systems, Automatica, vol.38, issue.6, pp.1079-1082, 2002.
DOI : 10.1016/S0005-1098(01)00284-9

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

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

L. Jaulin and E. Walter, Set inversion via interval analysis for nonlinear bounded-error estimation, Automatica, vol.29, issue.4, pp.1053-1064, 1993.
DOI : 10.1016/0005-1098(93)90106-4

M. Kieffer and E. Walter, Guaranteed parameter estimation for cooperative systems, Positive Systems ? LNCIS 294, pp.103-110, 2003.

M. Kieffer and E. Walter, Interval analysis for guaranteed non-linear parameter and state estimation, Mathematical and Computer Modelling of Dynamical Systems, vol.11, issue.2, pp.171-181, 2005.
DOI : 10.1023/B:NUMA.0000049466.96588.a6

DOI : 10.3182/20060705-3-FR-2907.00117

M. Kieffer and E. Walter, Guaranteed estimation of the parameters of nonlinear continuous-time models: Contributions of interval analysis, International Journal of Adaptive Control and Signal Processing, vol.26, issue.1-2, 2010.
DOI : 10.1002/acs.1194

URL : https://hal.archives-ouvertes.fr/inria-00548147

M. Kletting, Verified Methods for State and Parameter Estimators for Nonlinear Uncertain Systems with Applications in Engineering, 2009.

W. Kühn, Rigorously computed orbits of dynamical systems without the wrapping effect, Computing, vol.66, issue.Suppl, pp.47-67, 1998.
DOI : 10.1007/BF02684450

A. Kurzhanski and I. Valyi, Ellipsoidal Calculus for Estimation and Control, 1997.
DOI : 10.1007/978-1-4612-0277-6

Y. Lin and M. A. Stadtherr, Validated solution of ODEs with parametric uncertainties, Proc. 16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering, pp.167-172, 2006.
DOI : 10.1016/S1570-7946(06)80041-6

R. Lohner, Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value-problem, Computational Ordinary Differential Equations, pp.425-435, 1992.

K. Makino and M. Berz, Suppression of the wrapping effect by Taylor model-based verified integrators: Long-term stabilization by preconditioning, International Journal of Differential Equations and Applications, vol.10, issue.4, pp.353-384, 2005.

K. Makino and M. Berz, Suppression of the wrapping effect by Taylor model-based verified integrators: Long-term stabilization by shrink wrapping, International Journal of Differential Equations and Applications, vol.10, issue.4, pp.385-403, 2005.

N. Meslem, N. Ramdani, and Y. Candau, Guaranteed state bounding estimation for uncertain non linear continuous systems using hybrid automata, Proc. IFAC International Conference on Informatics in Control, Automation Robotics, 2008.

N. Meslem, N. Ramdani, and Y. Candau, Interval Observers for Uncertain Nonlinear Systems. Application to bioreactors., Proc. IFAC World Congress, pp.9667-9672, 2008.
DOI : 10.3182/20080706-5-KR-1001.01635

M. Moisan, O. Bernard, and J. L. Gouz, Near optimal interval observers bundle for uncertain bioreactors, Automatica, vol.45, issue.1, pp.291-295, 2009.
DOI : 10.1016/j.automatica.2008.07.006

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

M. Müller, ???ber das Fundamentaltheorem in der Theorie der gew???hnlichen Differentialgleichungen, Mathematische Zeitschrift, vol.10, issue.4, pp.619-645, 1926.
DOI : 10.1007/BF01475477

N. S. Nedialkov and K. R. Jackson, Methods for initial value problems for ordinary differential equations, pp.219-264, 2001.

T. Raissi, N. Ramdani, and Y. Candau, Set membership state and parameter estimation for systems described by nonlinear differential equations, Automatica, vol.40, issue.10, pp.1771-1777, 2004.
DOI : 10.1016/j.automatica.2004.05.006

T. Raissi, G. Videau, and A. Zolghadri, Interval observer design for consistency checks of nonlinear continuous-time systems, Automatica, vol.46, issue.3, pp.518-527, 2010.
DOI : 10.1016/j.automatica.2009.12.005

A. Rauh, E. Auer, J. Minisini, and E. P. Hofer, Extensions of ValEncIA-IVP for reduction of overestimation, for simulation of differential algebraic systems, and for dynamical optimization, PAMM, vol.7, issue.1, p.2, 2007.
DOI : 10.1002/pamm.200700022

A. Rauh, E. P. Hofer, and E. Auer, VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers, 12th GAMM, IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006), p.3647, 2006.
DOI : 10.1109/SCAN.2006.47

S. M. Veres and D. Q. Mayne, Geometric bounding toolbox

E. Walter and M. Kieffer, Interval analysis for guaranteed nonlinear estimation, Proceedings of the 13th IFAC Symposium on System Identification (SYSID), pp.259-270, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00845193

E. Walter and M. Kieffer, Guaranteed nonlinear parameter estimation in knowledge-based models, Journal of Computational and Applied Mathematics, vol.199, issue.2, pp.277-285, 2007.
DOI : 10.1016/j.cam.2005.07.039