L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied interval analysis: with examples in parameter and state estimation, robust control and robotics, 1st ed., ser. An emerging paradigm, 2001.

P. Ribot, C. Jauberthie, and L. Trave-massuyes, State estimation by interval analysis for a nonlinear differential aerospace model, Proceedings of European Control Conference, pp.4839-4844, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01966353

L. Jaulin, I. Braems, M. Kieffer, and E. Walter, Nonlinear state estimation using forward-backward propagation of intervals in an algorithm, Scientific Computing, Validated Numerics, Interval Methods, pp.191-204, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845047

R. E. Moore, Interval analysis, 1966.

M. Kieffer, L. Jaulin, E. Walter, and D. Meizel, Guaranteed mobile robot tracking using interval analysis, Proceedings of MISC'99, pp.347-360, 1999.
URL : https://hal.archives-ouvertes.fr/hal-00844601

M. Milanese and C. Novara, Nonlinear Set Membership prediction of river flow, Systems & Control Letters, vol.53, issue.1, pp.31-39, 2004.

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

A. Ingimundarson, J. Bravo, V. Puig, T. Alamo, and P. Guerra, Robust fault detection using zonotope-based set-membership consistency test, International Journal of Adaptive Control And Signal Processing, vol.23, issue.4, pp.311-330, 2009.

G. Chen, J. Wang, and L. Shieh, Interval kalman filtering, IEEE Transactions on Aerospace and Electronic Systems, vol.33, issue.1, pp.250-259, 1997.

R. Kalman, A new approach to linear filtering and prediction problems, Journal of basic Engineering, 1960.

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

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

D. Waltz, Generating semantic descriptions from drawings of scenes with shadows, pp.19-91, 1975.

E. Davis, Constraint propagation with interval labels, Artificial Intelligence, vol.32, issue.3, pp.281-331, 1987.

G. Chabert and L. Jaulin, Contractor programming, Artifical Intelligence, vol.173, pp.1079-1100, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00428957

F. Benhamou, F. Goualard, F. Granvilliers, and J. Puget, Revising hull and box consistency, Proceedings of the International Conference on Logic Programming, pp.230-244, 1999.

G. Welch and G. Bishop, An Introduction to the Kalman Filter, SIGGRAPH, 2001.

C. Masreliez and R. Martin, Robust bayesian estimation for the linear model and robustifying the Kalman filter, IEEE Transactions on Automatic Control, vol.22, issue.3, 1977.

J. Rohn, Inverse interval matrix, SIAM Journal on Numerical Analysis, vol.30, issue.3, pp.864-870, 1993.

O. Lhomme, R. La-chantrerie, A. Gotlieb, and M. Rueher, Boosting the interval narrowing algorithm, Proceedings of the 1996 Joint International Conference and Syposium on Logic Programming, pp.378-392, 1996.

B. Li, C. Li, and J. Si, Interval recursive least-squares filtering with applications to video target tracking, Optical Engineering, vol.47, issue.10, p.106401, 2008.

O. Adrot, H. Janati-idrissi, and D. Maquin, Fault detection based on interval analysis, 15th Triennial World Congress, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00278211

E. Benazera and L. Trave-massuyes, A diagnosis driven selfreconfigurable filter, 18th International Workshop on Principles of Diagnosis (DX-07), pp.21-28, 2007.

L. Trave-massuyes, T. Escobet, R. Pons, and S. Tornil, The Ca-En diagnosis system and its automatic modelling method, Revista Iberoamericana de Computacin, vol.5, issue.2, pp.21-28, 2001.

S. Rump, INTLAB-INTerval LABoratory, Developments in Reliable Computing, T. Csendes, pp.77-104, 1999.