O. Adrot and S. Ploix, Fault detection based on set-membership inversion, Proceedings of SAFEPROCESS'06, pp.619-624, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00086459

T. Alamo, J. Bravo, and E. Camacho, Guaranteed state estimation by zonotopes, vol.41, pp.1035-1043, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00708563

J. Armengol, L. Travé-massuyès, J. Vehi, J. Ll, and . De-la-rosa, A survey on interval model simulators and their properties related to fault detection, Annual Reviews in Control, vol.24, issue.1, pp.31-39, 2000.

J. Armengol, J. Vehi, L. Travé-massuyès, and M. A. Sainz, Application of modal intervals to the generation of error-bounded envelopes, Reliable Computing, vol.7, pp.1385-3139, 2001.

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.

I. Braems, N. Ramdani, M. Kieffer, L. Jaulin, E. Walter et al., Guaranteed Characterization of Thermal Conductivity and Diffusivity in Presence of Model Uncertainty, to appear in Inverse Problems in Science and Engineering, 2007.

G. Corliss, Guaranteed error bounds for ordinary differential equations, Lectures notes presented at the VI-th SERC Numerical Analysis Summer School, 1994.

C. Durieu and E. Walter, Identification des systèmes, Chapitre Estimation ellipsoidalesàellipsoidales`ellipsoidalesà erreur bornée, 2001.

T. Escobet and L. Travé-massuyès, Parameter estimation methods for fault detection and isolation, Proceedings of Bridge Workshop and DX'01, 2001.

P. Guerra, V. Puig, and A. Ingimundarson, Robust Fault Detection with State Estimators and Interval Models using Zonotopes, Proceedings of DX'06, pp.109-116, 2006.

L. Jaulin and E. Walter, Set inversion via interval analysis for nonlinear bounded-error estimation, Automatica, vol.29, issue.4, pp.1053-1064, 1993.

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, with examples in parameter and state estimation, Robust control and robotics, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845131

M. Kieffer and E. Walter, Interval Analysis for guaranteed nonlinear parameter estimation, Advances Model-Oriented Data Analysis and Experimental Design, pp.115-125, 1998.

M. Kieffer, L. Jaulin, E. Walter, and D. Meizel, Robust robot localization and tracking using interval analysis, Reliable Computing, vol.6, pp.337-362, 2000.

M. Kieffer, L. Jaulin, and E. Walter, Guaranteed recursive nonlinear state bounding using interval analysis, International Journal of Adaptative Control and Signal Processing, vol.6, pp.191-218, 2002.

S. Lesecq, A. Barraud, and K. Tran-dinh, Numerical accurate computations for ellipsoidal state bounding, Proceedings of MED'03, 2003.

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

M. Milanese and A. Vivino, Estimation theory for nonlinear models and set membership uncertainty, Automatica, vol.27, issue.2, pp.403-408, 1991.

M. Milanese, J. P. Norton, H. Piet-lahanier, and E. Walter, Bounding approaches to system identification, 1996.

R. E. Moore, Automatic error analysis in digital computation, 1959.

R. E. Moore, Interval Analysis, 1966.

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

N. S. Nedialkov, K. R. Jackson, and J. D. Pryce, An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE, Reliable Computing, vol.7, issue.6, pp.449-465, 2001.

A. Neumaier, Interval Methods for Systems of Equations, 1990.

H. Niemann, Active fault diagnosis in closed-loop uncertain systems, Proceedings of SAFEPROCESS'06, pp.631-636, 2006.

T. Ra¨?ssira¨?ssi, N. Ramdani, and Y. Candau, Set membership state and parameter estimation for systems described by nonlinear differential equations, Automatica, vol.40, pp.1771-1777, 2004.

R. Rihm, Interval methods for initial value problems in ODEs, Topics in validated computations: Proceedings of the IMACS-GAMM international workshop on validated computations, 1994.

S. Tornil, T. Escobet, and L. Travé-massuyès, Robust fault detection using interval models, 12th European Control Conference ECC'03, 2003.

E. Walter and L. Pronzato, Identification de modèles paramétriquesparamétriques`paramétriquesà partir de données expérimentales, 1994.

E. Walter, L. Jaulin, and M. Kieffer, Interval Analysis for guaranteed and robust nonlinear estimation in robotics, Nonlinear Analysis, vol.47, pp.191-202, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845023

J. C. Wanner, Dynamique du vol et pilotage des avions, Ecole Nationale Supérieure de l'Aéronautique et de l'Espace, 1984.