Interval kalman filtering, IEEE Transactions on Aerospace and Electronic Systems, vol.33, issue.1, pp.250-259, 1997. ,
A comparison of two methods for fault detection: a statistical decision, and an intervalbased approach, pp.261-268, 2008. ,
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
Guaranteed mobile robot tracking using interval analysis, Proceedings of MISC'99, pp.347-360, 1999. ,
URL : https://hal.archives-ouvertes.fr/hal-00844601
Interval analysis, 1966. ,
Applied interval analysis: with examples in parameter and state estimation, robust control and robotics, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00845131
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
Nonlinear Set Membership prediction of river flow, Systems & Control Letters, vol.53, issue.1, pp.31-39, 2004. ,
Numerical accurate computations for ellipsoidal state bounding, Proceedings of MED'03, 2003. ,
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. ,
A new approach to linear filtering and prediction problems, Journal of basic Engineering, 1960. ,
Set inversion via interval analysis for nonlinear bounded-error estimation, Automatica, vol.29, pp.1053-1064, 1993. ,
Automatic error analysis in digital computation, 1959. ,
Generating semantic descriptions from drawings of scenes with shadows, pp.19-91, 1975. ,
Logical arithmetic, Future Computing Systems, vol.2, issue.2, pp.125-149, 1987. ,
Constraint propagation with interval labels, Artificial Intelligence, vol.32, issue.3, pp.281-331, 1987. ,
Contractor programming, Artifical Intelligence, vol.173, pp.1079-1100, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00428957
Revising hull and box consistency, Proceedings of the International Conference on Logic Programming, pp.230-244, 1999. ,
An Introduction to the Kalman Filter, SIGGRAPH, 2001. ,
Robust bayesian estimation for the linear model and robustifying the Kalman filter, IEEE Transactions on Automatic Control, vol.22, issue.3, 1977. ,
Inverse interval matrix, SIAM Journal on Numerical Analysis, vol.30, issue.3, pp.864-870, 1993. ,
DOI : 10.1137/0730044
Boosting the interval narrowing algorithm, Proceedings of the 1996 Joint International Conference and Syposium on Logic Programming, pp.378-392, 1996. ,
Interval recursive least-squares filtering with applications to video target tracking, Optical Engineering, vol.47, issue.10, p.106401, 2008. ,
Performance robustness analysis of Kalman filter for linear discrete-time systems under plant and noise uncertainty, International journal of systems science, vol.26, issue.2, pp.257-275, 1995. ,
INTLAB-INTerval LABoratory, Developments in Reliable Computing, T. Csendes, pp.77-104, 1999. ,