R. Brown and G. Chin, GPS RAIM: calculation of thresholds and protection radius using Chi-square methods ? a geometric approach, Global Positioning System, pp.155-179, 1997.

V. Drevelle and P. Bonnifait, Integrity zone computation using interval analysis, European Navigation Conference GNSS, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00444806

S. Feng, W. Ochieng, D. Walsh, and R. Ioannides, A measurement domain receiver autonomous integrity monitoring algorithm, GPS Solutions, vol.35, issue.2, pp.85-96, 2006.
DOI : 10.1007/s10291-005-0010-8

L. Jaulin, Robust set-membership state estimation; application to underwater robotics, Automatica, vol.45, issue.1, pp.202-206, 2009.
DOI : 10.1016/j.automatica.2008.06.013
URL : https://hal.archives-ouvertes.fr/hal-00449524

L. Jaulin, M. Kieffer, I. Braems, and E. Walter, Guaranteed non-linear estimation using constraint propagation on sets, International Journal of Control, vol.32, issue.18, pp.1772-1782, 2001.
DOI : 10.1080/00207170110090642

L. Jaulin, M. Kieffer, O. Didrit, and É. Walter, Applied Interval Analysis, 2001.
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131

L. Jaulin, M. Kieffer, E. Walter, and D. Meizel, Guaranteed robust nonlinear estimation with application to robot localization, IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), vol.32, issue.4, pp.374-382, 2002.
DOI : 10.1109/TSMCC.2002.806747
URL : https://hal.archives-ouvertes.fr/hal-00845581

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, L. Jaulin, É. Walter, and D. Meizel, Robust autonomous robot localization using interval analysis, Reliable Computing, vol.6, issue.3, pp.337-362, 2000.
DOI : 10.1023/A:1009990700281
URL : https://hal.archives-ouvertes.fr/hal-00844915

O. Lévêque, Méthodes Ensemblistes pour la Localisation de Véhicules, 1998.

D. Meizel, O. Leveque, L. Jaulin, and E. Walter, Initial localization by set inversion, IEEE Transactions on Robotics and Automation, vol.18, issue.6, pp.966-971, 2002.
DOI : 10.1109/TRA.2002.805664
URL : https://hal.archives-ouvertes.fr/hal-00845638

T. Walter and P. Enge, Weighted RAIM for precision approach, Proceedings of ION GPS, pp.1995-2004, 1995.

D. L. Waltz, Generating Semantic Description from Drawings of Scenes with Shadows, 1972.