T. Alamo, J. M. Bravo, and E. F. Camacho, Guaranteed state estimation by zonotopes, Automatica, vol.41, issue.6, pp.1035-1043, 2005.
DOI : 10.1016/j.automatica.2004.12.008
URL : https://hal.archives-ouvertes.fr/hal-00708563

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, issue.3, pp.1-9, 1980.

F. L. Chernousko, State Estimation for Dynamic Systems, 1994.

L. Chisci, A. Garulli, and G. Zappa, Recursive state bounding by parallelotopes, Automatica, vol.32, issue.7, pp.1049-1056, 1996.
DOI : 10.1016/0005-1098(96)00048-9

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

E. R. Hansen, On solving systems of equations using interval arithmetic, Mathematics of Computation, vol.22, issue.102, pp.374-384, 1968.
DOI : 10.1090/S0025-5718-1968-0229411-4

E. R. Hansen, AN OVERVIEW OF GLOBAL OPTIMIZATION USING INTERVAL ANALYSIS, 1992.
DOI : 10.1016/B978-0-12-505630-4.50021-3

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.
DOI : 10.1007/978-1-4613-0075-5_41

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

S. M. Kay, Fundamentals of Statistical Signal Processing: Estimation Theory, N.J, 1993.

M. Kieffer and E. Walter, Interval Analysis for Guaranteed Nonlinear Parameter Estimation, MODA 5-Advances in Model-Oriented Data Analysis and Experiment Design, pp.115-125, 1998.
DOI : 10.1007/978-3-642-58988-1_13

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

R. Klatte, U. Kulisch, A. Wieth, C. Lawo, and M. Rauch, C-xsc: A C++ Class Library For Extended Scientific Computing, 1993.

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, Birkhäuser, 1997.
DOI : 10.1007/978-1-4612-0277-6

A. A. Kurzhanski and P. Varaiya, Ellipsoidal toolbox, 2006.

A. B. Kurzhanski and P. Varaiya, Ellipsoidal techniques for reachability analysis. Optimization methods and software, pp.177-237, 2002.

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

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

M. Milanese and G. Belforte, Estimation theory and uncertainty intervals evaluation in presence of unknown but bounded errors: Linear families of models and estimators, IEEE Transactions on Automatic Control, vol.27, issue.2, pp.408-414, 1982.
DOI : 10.1109/TAC.1982.1102926

S. Nazin and B. Polyak, Interval parameter estimation under model uncertainty, Mathematical and Computer Modelling of Dynamical Systems, vol.66, issue.2, pp.225-237, 2005.
DOI : 10.1137/0732027

N. S. Nedialkov and K. R. Jackson, Methods for initial value problems for ordinary differential equations

A. Neumaier, Interval Methods for Systems of Equations, 1990.
DOI : 10.1017/CBO9780511526473

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.401771-1777, 2004.
DOI : 10.1016/j.automatica.2004.05.006

F. C. Schweppe, Recursive state estimation: unknown but bounded errors and system inputs, pp.22-28, 1968.

F. C. Schweppe, Uncertain Dynamic Systems, 1973.

S. M. Veres, Users manual -reference of the geometric bounding toolbox -version 7.3, 2004.

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.1458-1468, 2007.
DOI : 10.1016/j.cam.2005.07.039

E. Walter and L. Pronzato, Identification of Parametric Models from Experimental Data, 1997.