P. Journal, F. Le-bars, J. Sliwka, and M. Sebela, Autonomous submarine robotic system, Cybernetic Letters, 2010.

F. Le-bars, J. Sliwka, O. Reynet, and L. Jaulin, Set-membership state estimation with ‡eeting data, 2011.

J. Sliwka, F. L. Bars, and L. Jaulin, Student autonomous underwater robotics at ENSI- ETA. submitted to IJME Congres with selection committee J. Sliwka, F. Le Bars, and L. Jaulin. Calcul ensembliste pour la localisation et la cartographie robustes, JD-JN-MACS 2009, 2009.

F. Le-bars, J. Sliwka, and L. Jaulin, Analyse par intervalles pour le lancé de rayon et pour l’analyse de stabilité, 2009.

B. Roncin, L. Aizier, and . Jaulin, Autonomous robotic boat of ENSIETA, IRSC-WRSC 2009, 2009.

F. , L. Bars, A. Bertholom, J. Sliwka, and L. Jaulin, Interval SLAM for underwater robots -a new experiment, NOLCOS 2010, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00636026

J. Sliwka, F. Le-bars, O. Reynet, and L. Jaulin, Using interval methods in the context of robust localization of underwater robots, 2011 Annual Meeting of the North American Fuzzy Information Processing Society, 2011.
DOI : 10.1109/NAFIPS.2011.5751922
URL : https://hal.archives-ouvertes.fr/hal-00583049

J. Sliwka, J. Nicola, R. Coquelin, F. Becket-de-megille, B. Clement et al., Sailing without Wind Sensor and Other Hardware and Software Innovations, IRSC- WRSC 2011, 2011.
DOI : 10.1007/978-3-642-22836-0_2
URL : https://hal.archives-ouvertes.fr/hal-00676022

J. Xiao, L. Sliwka, and . Jaulin, A WIND-INDEPENDENT CONTROL STRATEGY FOR AUTONOMOUS SAILBOATS BASED ON VORONOI DIAGRAM, Field Robotics, 2011.
DOI : 10.1142/9789814374286_0013
URL : https://hal.archives-ouvertes.fr/hal-00628434

J. Sliwka, L. Jaulin, M. Ceberio, and V. Kreinovich, Processing interval sensor data in the presence of outliers, with potential applications to localizing underwater robots, 2011 IEEE International Conference on Systems, Man, and Cybernetics, 2011.
DOI : 10.1109/ICSMC.2011.6084026
URL : https://hal.archives-ouvertes.fr/hal-00650333

C. Without-selection-committee, J. Sliwka, and L. Jaulin, Setting a Robust SLAM problem in a set of equations, SWIM09, 2009.

J. Sliwka and F. L. Bars, Robotics at ENSIETA, AIM’09, 2009.

J. Sliwka, Robotics activities at ENSIETA focusing on the AUV and the set membership methods, 2009.

J. Sliwka, F. L. Bars, and L. Jaulin, Image derived contractor and its application in robot localization, SWIM 2010, Nantes, F. Le Bars and J. Sliwka. Calcul par intervalles et robotique l’ENSIETA, Journées Jeunes Chercheurs en Robotique 2010, 2010.

F. Le-bars, J. Sliwka, and L. Jaulin, SAUC’ISSE, un robot sous-marin autonome, Journées Démonstrateurs 2010, 2010.

J. Sliwka, F. L. Bars, and L. Jaulin, Using polynomials with set valued coe¢cients to solve relaxed constraint satisfaction problems, SWIM 2011 Other documents F. Le Bars, J. Sliwka, and L. Jaulin. Réalisation d’un robot sous-marin autonome pour le concours SAUC-E. Compte-rendu …nal pour l’année, 2007.

F. Le-bars, J. Sliwka, and L. Jaulin, Réalisation d’un robot sous-marin autonome. Fourniture 1 pour la MRIS, 2009.

J. Sliwka, F. L. Bars, and L. Jaulin, Réalisation d’un robot sous-marin autonome. Fourniture 2 pour la MRIS, 2009.

F. Le-bars, J. Sliwka, and L. Jaulin, Réalisation d’un robot sous-marin autonome. Fourniture 3 pour la MRIS, 2009.

F. Le-bars, J. Sliwka, and L. Jaulin, Réalisation d’un robot sous-marin autonome, 2009.

J. Sliwka, F. L. Bars, and L. Jaulin, Construction d’un robot sous-marin pour le concours SAUC-E, 2010.

F. Le-bars, J. Sliwka, and L. Jaulin, Construction d’un robot sous-marin pour le concours SAUC-E, 2010.

F. Le-bars, J. Sliwka, and L. Jaulin, Construction d’un robot sous-marin pour le concours SAUC-E, 2010.

J. Sliwka, F. L. Bars, and L. Jaulin, Construction d’un robot sous-marin pour le concours SAUC-E, 2011.

L. Aubry and . Jaulin, SAUC’ISSE and SARDINE, 2 AUVs for SAUC-E 2011, SAUC- E 2011, 2011.

. Bibliography, . Baccou, P. Baccou, and B. Jouvencel, Homing and navigation using one transponder for auv, post-processing comparisons results with long base-line navigation, IEEE Int. Conf. Robotics and Automation, pp.11-15, 2002.

S. Bazeille, Vision sous-marine monoculaire pour la reconnaissance d’objets, 2008.

F. Benhamou and M. Ceberio, Soft constraints: A unifying framework applied to continuous soft constraints, WS ERCIM -Co- LogNET, 2003.

A. Bovik, Handbook of image and video processing, 2000.

. Caiti, Setmembership acoustic tracking of autonomous underwater vehicles, Acta Acustica united with Acustica, vol.5, issue.88, pp.648-652, 2002.

. Chabert, . Jaulin, 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

. Chabert, . Jaulin, G. Chabert, and L. Jaulin, Hull Consistency under Monotonicity, CP’2009, 2009.
DOI : 10.1137/S0036142995281504
URL : https://hal.archives-ouvertes.fr/hal-00428970

J. G. Cleary, Logical arithmetic, Future Computing Systems, vol.2, issue.2, pp.125-149, 1987.

M. B. Clowes, On seeing things, Artificial Intelligence, vol.2, issue.1, pp.179-185, 1971.
DOI : 10.1016/0004-3702(71)90005-1

. Clérentin, Uncertainty and imprecision modeling for the mobile robot localization??problem, Autonomous Robots, vol.128, issue.1???2, pp.1573-7527, 2008.
DOI : 10.1007/s10514-007-9066-3

C. Combastel, A state bounding observer for uncertain nonlinear continuous-time systems based on zonotopes, CDC-ECC ’05, 2005.

B. A. Davey and H. A. Priestley, SLAM par des méthodes ensemblistes pour la robotique sous-marine Introduction to Lattices and Order, 2002.

E. Davis, Constraint propagation with interval labels, Artificial Intelligence, vol.32, issue.3, pp.281-331, 1987.
DOI : 10.1016/0004-3702(87)90091-9

V. Drevelle and P. Bonnifait, High integrity gnss location zone characterization using interval analysis, ION GNSS, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00444819

. Durieu, Ellipsoidal state outer-bounding for MIMO systems via analytical techniques, Proceedings of the IMACS—IEEE–SMC CESA’96 Symposium on Modelling and Simulation, pp.843-848, 1996.

. Fantoni, . Lozano, I. Fantoni, and R. Lozano, Non-linear control for underactuated mechanical systems
DOI : 10.1007/978-1-4471-0177-2

. Ferson, Constructing probability boxes, 2003.

A. Gning, Localisation garantie d’automobiles. Contribution aux techniques de satisfaction de contraintes sur les intervalles, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00158375

. Gordon, Novel approach to nonlinear/non-Gaussian Bayesian state estimation, IEE Proceedings F Radar and Signal Processing, vol.140, issue.2, pp.107-113, 1993.
DOI : 10.1049/ip-f-2.1993.0015

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

L. Hardouin, Sur la commande linéaire de syst mes événements discrets dans l’alg bre (max,+) HDR, 2004.

E. Hyvönen, Constraint reasoning based on interval arithmetic: the tolerance propagation approach, Artificial Intelligence, vol.58, issue.1-3, pp.1-371, 1992.
DOI : 10.1016/0004-3702(92)90005-I

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, Solving set-valued constraint satisfaction problems, Computing, vol.4, issue.4, 2011.
DOI : 10.1007/s00607-011-0169-5
URL : https://hal.archives-ouvertes.fr/hal-00686856

L. Jaulin and S. Bazeille, Image Shape Extraction using Interval Methods, IFAC Proceedings Volumes, vol.42, issue.10, 2009.
DOI : 10.3182/20090706-3-FR-2004.00062

. Jaulin, Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845131

W. Jaulin, 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

W. Jaulin, L. Jaulin, and E. Walter, Guaranteed robust nonlinear minimax estimation, IEEE Transactions on Automatic Control, vol.47, issue.11, pp.471857-1864, 2002.
DOI : 10.1109/TAC.2002.804479
URL : https://hal.archives-ouvertes.fr/hal-00845633

. Jaulin, Guaranteed robust nonlinear parameter bounding, Proceedings of CESA’96 IMACS Multiconference (Symposium on Modelling, pp.1156-1161, 1996.

C. Joly, Contributions aux méthodes de localisation et cartographie simultanées par vision omnidirectionnelle, 2010.

M. Kie¤er, Estimation ensembliste par analyse par intervalles, application à la localisation d’un véhicule, 1999.

. Klir, . Yuan, G. J. Klir, and B. Yuan, Fuzzy Sets and Fuzzy Logic: Theory and Applications, 1995.

L. Bars, Interval SLAM for underwater robots; a new experiment, NOLCOS 2010, 2010.
DOI : 10.3182/20100901-3-IT-2016.00083
URL : https://hal.archives-ouvertes.fr/hal-00636026

L. Bars, State estimation with ‡eeting data, Automatica, 2011.

. Maurelli, A particle …lter approach for auv localization, OCEANS 2008, pp.1-7, 2008.

. Meizel, Estimation of Mobile Robot Localization: Geometric Approaches, SLAM par des méthodes ensemblistes pour la robotique sous-marine Bounding Approaches to System Identi…cation, pp.463-489, 1996.
DOI : 10.1007/978-1-4757-9545-5_27

R. E. Moore, Automatic error analysis in digital computation, Lockheed Missiles and Space Co, 1959.

W. Nguyen, H. T. Nguyen, and E. A. Walker, A First Course in Fuzzy Logic, 2005.

J. 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

N. Ramdani, Méthodes ensemblistes pour l’estimation, 2005.

. Ribas, Underwater SLAM in man-made structured environments, Journal of Field Robotics, vol.19, issue.5, 2008.
DOI : 10.1002/rob.20249

J. C. Russ, Image processing handbook (The), 2002.

S. Sam-haroud and D. , Constraint consistency techniques for continuous domains, 1995.
DOI : 10.1007/bf00143879
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.3782

. Shi, . Tomasi, J. Shi, and C. Tomasi, Good features to track, CVPR 94, 1994.

. Sliwka, Processing interval sensor data in the presence of outliers, with potential applications to localizing underwater robots, 2011 IEEE International Conference on Systems, Man, and Cybernetics, 2011.
DOI : 10.1109/ICSMC.2011.6084026
URL : https://hal.archives-ouvertes.fr/hal-00650333

. Sliwka, Sailing without Wind Sensor and Other Hardware and Software Innovations, IRSC-WRSC 2011, 2011.
DOI : 10.1007/978-3-642-22836-0_2
URL : https://hal.archives-ouvertes.fr/hal-00676022

. Sliwka, Autonomous robotic boat of ensieta, 2009.

A. Tarski, SYNCHRONIZATION AND LINEARITY: An Algebra for Discrete Event Systems, Paci…c Journal of Mathematics, vol.8, 1955.

. Thrun, Probabilistic robotics, Communications of the ACM, vol.45, issue.3, 2005.
DOI : 10.1145/504729.504754

. Veres, Low cost disposable autonomous vehicles, Defence Management Journal, vol.42, pp.64-65, 2008.

D. Waltz, Generating semantic descriptions from drawings of scenes with shadows, editor, The Psychology of Computer Vision, pages 19–91, 1975.

M. Warmus, Calculus of approximations, Bull. Acad. Polon. Sci., Cl. III, 1956.

L. Zadeh, Fuzzy sets, Information Control, vol.5, pp.338-353, 1965.