A. Caiti, A. Garulli, F. Livide, and D. Prattichizzo, Setmembership acoustic tracking of autonomous underwater vehicles, Acta Acustica united with Acustica, vol.5, issue.88, pp.648-652, 2002.

J. A. Castellanos and J. D. Tardos, Mobile robot localization and map building: A multisensor fusion approach. Kluwer, 1999.
DOI : 10.1007/978-1-4615-4405-0

G. Chabert and L. Jaulin, Contractor programming, Artificial Intelligence, vol.173, issue.11, pp.1079-1100, 2009.
DOI : 10.1016/j.artint.2009.03.002

URL : https://hal.archives-ouvertes.fr/hal-00428957

N. Delanoue, L. Jaulin, and B. Cottenceau, Using interval arithmetic to prove that a set is path-connected. Theoretical Computer Science, Special issue: Real Numbers and Computers, pp.119-128, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00518770

D. Marco, A. Garulli, A. Giannitrapani, and A. Vicino, A Set Theoretic Approach to Dynamic Robot Localization and Mapping, Autonomous Robots, vol.16, issue.1, pp.23-47, 2004.
DOI : 10.1023/B:AURO.0000008670.09004.ce

D. Marco, A. Garulli, S. Lacroix, and A. Vicino, Set membership localization and mapping for autonomous navigation, International Journal of Robust and Nonlinear Control, vol.41, issue.7, pp.709-734, 2001.
DOI : 10.1002/rnc.619

G. Dissanayake, P. Newman, S. Clark, H. F. Durrant-whyte, and M. Csorba, A solution to the simultaneous localization and map building (SLAM) problem, IEEE Transactions on Robotics and Automation, vol.17, issue.3, pp.229-241, 2001.
DOI : 10.1109/70.938381

C. Drocourt, L. Delahoche, B. Marhic, E. Brassart, and A. Clerentin, Incremental construction of the robot's environmental map using interval analysis. Global Optimization and Constraint Satisfaction: Second International Workshop, pp.127-141, 2003.

H. Eustice, J. Singh, M. Leonard, R. Walter, and . Ballard, Visually Navigating the RMS Titanic with SLAM Information Filters, Robotics: Science and Systems I, 2005.
DOI : 10.15607/RSS.2005.I.008

A. Gning and P. Bonnifait, Constraints propagation techniques on intervals for a guaranteed localization using redundant data, Automatica, vol.42, issue.7, pp.1167-1175, 2006.
DOI : 10.1016/j.automatica.2006.02.024

E. Halbwachs and D. Meizel, Bounded-error estimation for mobile vehicule localization, CESA'96 IMACS Multiconference (Symposium on Modelling, pp.1005-1010, 1996.

L. Jaulin, A Nonlinear Set Membership Approach for the Localization and Map Building of Underwater Robots, IEEE Transactions on Robotics, vol.25, issue.1, pp.88-98, 2009.
DOI : 10.1109/TRO.2008.2010358

L. Jaulin, A. Bertholom, F. Dabe, and M. Legris, A set approach to the simultaneous localization and map building; application to underwater robots, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00518635

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

L. Jaulin, M. Legris, and F. Dabe, GESMI, un logiciel pour l'aide à localisation de mines sous-marines, JIME 2006 (Journées Identification et Modélisation Expérimentale ), 2006.

J. J. Leonard and H. F. Durrant-whyte, Directed Sonar Sensing for Mobile Robot Navigation, 1992.
DOI : 10.1007/978-1-4615-3652-9

F. Lydoire and P. Poignet, Nonlinear Predictive Control Using Constraints Satisfaction, 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS), pp.179-188, 2003.
DOI : 10.1007/11425076_11

D. Meizel, O. Lévêque, 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

D. Meizel, A. Preciado-ruiz, and E. Halbwachs, Estimation of Mobile Robot Localization: Geometric Approaches, Bounding Approaches to System Identification, pp.463-489, 1996.
DOI : 10.1007/978-1-4757-9545-5_27

M. Montemerlo, S. Thrun, D. Koller, and B. Wegbreit, FastSLAM 2.0: An improved particle filtering algorithm for simultaneous localization and mapping that provably converges, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI), 2003.

J. M. Porta, CuikSLAM: A Kinematics-based Approach to SLAM, Proceedings of the 2005 IEEE International Conference on Robotics and Automation, pp.2436-2442, 2005.
DOI : 10.1109/ROBOT.2005.1570476

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

I. T. Ruiz, S. De-raucourt, Y. Petillot, and D. Lane, Concurent mapping and localization using sidescan sonar, IEEE Journal of Oceonic Engineering, vol.39, issue.2, pp.442-456, 2004.

S. Thrun, W. Bugard, and D. Fox, Probabilistic robotics, Communications of the ACM, vol.45, issue.3, 2005.
DOI : 10.1145/504729.504754

H. Vinas, M. A. Sainz, J. Vehi, and L. Jaulin, Quantified set inversion algorithm with applications to control, Reliable computing, vol.11, issue.5, pp.369-382, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00518707

C. Vrignaud and J. Meyrat, Use of a dvl in a autonomous underwater vehicle for a rapid environmental assessment, In ADCP in Action, 2009.

S. Williams, G. Dissanayake, and H. Durrant-whyte, Towards terrain-aided navigation for underwater robotics, Advanced Robotics, vol.15, issue.5, pp.533-549, 2001.
DOI : 10.1163/156855301317033559