F. Abdallah, A. Gning, and P. Bonnifait, Box particle filtering for nonlinear state estimation using interval analysis, Automatica, vol.44, issue.3, pp.807-815, 2008.
DOI : 10.1016/j.automatica.2007.07.024

F. Abdallah, A. Gning, and P. Bonnifait, Box particle filtering for nonlinear state estimation using interval analysis, Automatica, vol.44, issue.3, pp.807-815, 2008.
DOI : 10.1016/j.automatica.2007.07.024

I. Araya, G. Trombettoni, B. Neveu, and G. Chabert, Upper bounding in inner regions for global optimization under inequality constraints, Journal of Global Optimization, vol.103, issue.2, pp.145-164, 2014.
DOI : 10.1007/s10107-005-0581-8

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

M. B. Monagan, K. O. Geddes, K. M. Heal, G. Labahn, S. M. Vorkoetter et al., Maple 10 Programming Guide, 2005.
DOI : 10.1007/978-1-4684-0487-6

F. Benhamou, F. Goualard, L. Granvilliers, and J. F. Puget, Revising Hull and Box Consistency, Proceedings of the International Conference on Logic Programming, pp.230-244, 1999.

A. Ben-tal and A. Nemirovskii, Lectures on modern convex optimization: analysis, algorithms, and engineering applications, 2001.
DOI : 10.1137/1.9780898718829

URL : http://iew3.technion.ac.il/Labs/Opt/opt/LN/Final.pdf

J. Berger, Statistical Decision Theory and Bayesian Analysis, 1985.
DOI : 10.1007/978-1-4757-4286-2

D. Berleant, L. Xie, and J. Zhang, Statool: a tool for Distribution Envelope Determination (DEnv), an interval-based algorithm for arithmetic on random variables, In: Reliable Computing, vol.92, pp.91-108, 2003.

D. Bertsekas and I. Rhodes, Recursive state estimation for a set-membership description of uncertainty, IEEE Transactions on Automatic Control, vol.16, issue.2, pp.117-128, 1971.
DOI : 10.1109/TAC.1971.1099674

J. L. Blanco, J. Gonzalez, and J. A. Fernández-madrigal, A pure probabilistic approach to range-only SLAM, 2008 IEEE International Conference on Robotics and Automation, pp.1436-1441, 2008.
DOI : 10.1109/ROBOT.2008.4543404

D. Bouvet and G. Garcia, Guaranteed 3-D mobile robot localization using an odometer, an automatic theodolite and indistinguishable landmarks, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164), pp.3612-3617, 2001.
DOI : 10.1109/ROBOT.2001.933178

S. Boyd, L. Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory. Studies in Applied Mathematics, vol.15, p.95, 1994.

S. Boyd and L. Vanbenberghe, Convex optimization Available at www.stanford.edu/?boyd, p.94, 2003.

C. Carbonnel, G. Trombettoni, P. Vismara, and G. Chabert, Q-Intersection Algorithms for Constraint-Based Robust Parameter Estimation, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, pp.2630-26368290, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01084606

C. Carbonnel, G. Trombettoni, P. Vismara, and G. Chabert, Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation, Eighth Conference on Artificial Intelligence, pp.2630-2636, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01084606

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

C. Tung, C. , and F. J. Millero, Speed of sound in seawater at high pressures, In: The Journal of the Acoustical Society of America, vol.625, pp.1129-1135, 1977.

G. Chen, J. Wang, and L. S. Shieh, Interval Kalman filtering, IEEE Transactions on Aerospace and Electronic Systems, vol.33, issue.1, pp.250-259, 1997.
DOI : 10.1109/7.570759

F. L. Chernousko, Ellipsoidal state estimation for dynamical systems, Nonlinear Analysis: Theory, Methods & Applications, vol.63, issue.5-7, pp.5-7, 2004.
DOI : 10.1016/j.na.2005.01.009

P. Chew and K. Marzullo, Masking Failures of Multidimensional Sensors, Tenth Symposium on Reliable Distributed Systems (SRDS). 1991, pp.32-41
DOI : 10.1109/reldis.1991.145402

URL : http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA235580&Location=U2&doc=GetTRDoc.pdf

B. C. Csáji, M. C. Campi, and E. Weyer, Sign-Perturbed Sums: A New System Identification Approach for Constructing Exact Non-Asymptotic Confidence Regions in Linear Regression Models, IEEE Transactions on Signal Processing, vol.63, issue.1, pp.169-181, 2015.
DOI : 10.1109/TSP.2014.2369000

A. J. Davison, I. D. Reid, N. D. Molton, and O. Stasse, MonoSLAM: Real-Time Single Camera SLAM, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.29, issue.6, 2007.
DOI : 10.1109/TPAMI.2007.1049

URL : http://spiral.imperial.ac.uk/bitstream/10044/1/695/1/MonoSLAM Real-Time Single Camera SLAM.pdf

B. Desrochers, S. Lacroix, and L. Jaulin, Set-membership approach to the kidnapped robot problem, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2015.
DOI : 10.1109/IROS.2015.7353897

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

G. Hamburg, , p.9, 2015.

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

V. Drevelle and P. Bonnifait, A set-membership approach for high integrity height-aided satellite positioning, GPS Solutions, vol.72, issue.7, pp.357-368, 2011.
DOI : 10.1007/s001900050163

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

V. Drevelle and J. Nicola, VIBes: A Visualizer for Intervals and Boxes, Mathematics in Computer Science, vol.8, issue.3-4, pp.563-572, 2014.
DOI : 10.1007/s11786-014-0202-0

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

V. Drevelle, Study of robust set estimation methods for a high integrity multi-sensor localization. Application to navigation in urban areas, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00679502

V. Drevelle and P. Bonnifait, Localization Confidence Domains via Set Inversion on Short-Term Trajectory, IEEE Transactions on Robotics, vol.29, issue.5, pp.1244-1256, 2013.
DOI : 10.1109/TRO.2013.2262776

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

D. Dubois, Fuzzy Sets and Systems: Theory and Applications, 1997.

P. Eykhoff, System Identification, Parameter and State Estimation, 1974.

C. Forster, L. Carlone, F. Dellaert, and D. Scaramuzza, IMU preintegration on manifold for efficient visualinertial maximum-a-posteriori estimation In: Georgia Institute of Technology, 2015.

I. Thor and . Fossen, Guidance and control of ocean vehicles, Ltd, 1994.

K. Fujisawa, M. Fukuda, K. Kobayashi, M. Kojima, K. Nakata et al., SDPA (SemiDefinite Programming Algorithm) User's Manual ? Version 7

C. Jauberthie, N. Verdière, and L. Travé-massuyès, Set-membership identifiability: definitions and analysis, Proceedings of the 18th IFAC World Congress, pp.12024-12029, 2011.
DOI : 10.3182/20110828-6-IT-1002.01779

L. Jaulin, Computing minimal-volume credible sets using interval analysis; application to bayesian estimation, IEEE Transactions on Signal Processing, vol.54, issue.9, pp.3632-3636, 2006.
DOI : 10.1109/TSP.2006.877676

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

L. Jaulin, Probabilistic Set-Membership Approach for Robust Regression, Journal of Statistical Theory and Practice, vol.4, issue.4, p.58, 2010.
DOI : 10.1023/A:1009821007410

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

L. Jaulin, Range-Only SLAM With Occupancy Maps: A Set-Membership Approach, IEEE Transactions on Robotics, vol.27, issue.5, pp.1004-1010, 2011.
DOI : 10.1109/TRO.2011.2147110

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

L. Jaulin, Set-membership localization with probabilistic errors, Robotics and Autonomous Systems, vol.59, issue.6, pp.489-495, 2011.
DOI : 10.1016/j.robot.2011.03.005

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

L. Jaulin and D. Henrion, Contracting Optimally an Interval Matrix without Loosing Any Positive Semi-Definite Matrix Is a Tractable Problem, Reliable Computing, vol.4, issue.4, pp.1-17, 2005.
DOI : 10.1137/1.9781611970791

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

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, pp.89-91, 2001.
DOI : 10.1007/978-1-4471-0249-6

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

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics, p.90, 2001.
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, Guaranteed nonlinear estimation and robust stability analysis via set inversion, Proceedings of the 2nd European Control Conference, pp.818-821, 1993.
DOI : 10.1007/978-1-4757-9545-5_23

L. Jaulin and E. Walter, Guaranteed Nonlinear Parameter Estimation Via Interval Computations In: Conference on Numerical Analysis with Automatic Result Verification, (Lafayette), 1993.
DOI : 10.1007/978-1-4757-9545-5_23

L. Jaulin, E. Walter, M. Milanese, J. Norton, H. Piet-lahanier et al., Bounding Approaches to System Identification Plenum, 1996. Chap. Guaranteed nonlinear set estimation via interval analysis, pp.363-382

L. Jaulin and E. Walter, Guaranteed robust nonlinear minimax estimation, IEEE Transactions on Automatic Control, vol.47, issue.11, pp.1857-1864, 2002.
DOI : 10.1109/TAC.2002.804479

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

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, and O. Didrit, Applied interval analysis : with examples in parameter and state estimation, robust control and robotics. Pas de CD pour l'exemplaire acheté en, p.61, 2001.
DOI : 10.1007/978-1-4471-0249-6

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

J. Simon, J. K. Julier, and . Uhlmann, A New Extension of the Kalman Filter to Nonlinear Systems, pp.182-193, 1997.

R. E. Kalman, Contributions to the theory of optimal control, Bol. Soc. Mat. Mex, vol.5, pp.102-119, 1960.

R. E. Kalman, Contributions to the Theory of Optimal Control, Bol. Soc. Mat. Mex, vol.5, pp.102-119, 1960.

A. George, S. Kantor, and . Singh, Preliminary Results in Range-only Localization and Mapping, Proceedings of the IEEE Conference on Robotics and Automation (ICRA '02, pp.1818-1823, 2002.

M. Karmarkar, A new polynomial-time algorithm for linear programming, Combinatorica, vol.244, issue.S, pp.373-395, 1984.
DOI : 10.1007/BF02579150

URL : http://www.eecs.berkeley.edu/~orecchia/working/karmakar full.pdf

M. Kieffer, L. Jaulin, and E. Walter, Guaranteed recursive nonlinear state estimation using interval analysis, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), pp.3966-3971, 1998.
DOI : 10.1109/CDC.1998.761917

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

M. Kieffer, L. Jaulin, and E. Walter, Guaranteed recursive nonlinear state estimation using interval analysis, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), pp.3966-3971, 1998.
DOI : 10.1109/CDC.1998.761917

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

M. Kieffer and E. Walter, Guaranteed characterization of exact non-asymptotic confidence regions as defined by LSCR and SPS, Automatica, vol.50, issue.2, pp.507-512, 2014.
DOI : 10.1016/j.automatica.2013.11.010

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

V. Kreinovich, G. P. Dimuro, A. Carlos, and R. Costa, Probabilities, intervals, what next ? Extension of interval computations to situations with partial information about probabilities, 10th IMEKO TC7 International symposium, 2004.
DOI : 10.1023/b:jogo.0000044769.91651.87

URL : http://www.cs.utep.edu/vladik/2003/tr03-12a.ps.gz

W. Kühn, Rigorously computed orbits of dynamical systems without the wrapping effect, Computing, vol.66, issue.Suppl, pp.47-67, 1998.
DOI : 10.1007/978-1-4613-8431-1

H. Lahanier, E. Walter, and R. Gomeni, OMNE: A new robust membership-set estimator for the parameters of nonlinear models, Journal of Pharmacokinetics and Biopharmaceutics, vol.22, issue.3, pp.203-219, 1987.
DOI : 10.1016/0378-4754(86)90043-1

H. Lahanier, E. Walter, and R. Gomeni, OMNE: A new robust membership-set estimator for the parameters of nonlinear models, Journal of Pharmacokinetics and Biopharmaceutics, vol.22, issue.3, 1987.
DOI : 10.1016/0378-4754(86)90043-1

M. Maiga, N. Ramdani, L. Travé-massuyès, and C. Combastel, A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability, Mathematics in Computer Science, vol.91, issue.7, pp.3-4, 2014.
DOI : 10.1109/JPROC.2003.814621

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

K. A. Marzullo, Maintaining the Time in a Distributed System: An Example of a Loosely-Coupled Distributed Service PhD dissertation, 1984.

M. Milanese, J. Norton, H. Piet-lahanier, and E. Walter, Bounding Approaches to System Identification, 1996.

S. Ilya and . Molchanov, Theory of random sets. Probability and its applications, 2005.

S. Nedialko, K. R. Nedialkov, and . Jackson, A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations In: in: Perspectives on Enclosure Methods, pp.219-264, 1999.

Y. Nesterov and A. Nemirovskii, Interior-point polynomial methods in convex programming, 1994.

R. Neuland, J. Nicola, R. Maffei, L. Jaulin, E. Prestes et al., Hybridization of Monte Carlo and set-membership methods for the global localization of underwater robots, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.199-204, 2014.
DOI : 10.1109/IROS.2014.6942561

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

P. Newman and J. Leonard, Pure range-only sub-sea SLAM, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422), pp.1921-1926, 2003.
DOI : 10.1109/ROBOT.2003.1241875

J. Nicola, Contractors and Linear Matrix Inequalities, ASCE-ASME J. Risk and Uncert. in Engrg. Sys., Part B: Mech. Engrg., vol.1, issue.3, 2015.
DOI : 10.1115/1.4030781

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

J. Nicola and L. Jaulin, Comparison of Kalman and Interval Approaches for the Simultaneous Localization and Mapping of an Underwater Vehicle, In: Special Issue on Ocean Engineering and Oceanography, vol.47, issue.11, p.43, 2017.
DOI : 10.1109/TAC.2002.804479

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

J. Ninin, Global Optimization based on Interval Analysis: Affine Relaxation and Limited Memory Theses. Institut National Polytechnique de Toulouse -INPT url: https, p.61, 2010.

J. Ninin, F. Messine, and P. Hansen, An Automatic Linear Reformulation Technique Based on Affine Arithmetic, anglais. In: International Symposium on Mathematical Programming (ISMP), p.52, 2009.

J. P. Norton, Special Issue on Bounded-Error Estimation: Issue 1, International Journal of Adaptive Control and Signal Processing, vol.8, issue.1, pp.1-118

E. Olson, J. J. Leonard, and S. Teller, Robust Range-Only Beacon Localization, In: Oceanic Engineering IEEE Journal of 31, issue.4, 2006.

A. Papoulis, Physics Today, vol.20, issue.1, 1984.
DOI : 10.1063/1.3034123

P. Phins-product, https : / / www . ixblue . com / products / phins. Accessed, pp.2015-2027

B. T. Polyak, S. A. Nazin, C. Durieu, and E. Walter, Ellipsoidal parameter or state estimation under model uncertainty, Automatica, vol.40, issue.7, pp.1171-1179, 2004.
DOI : 10.1016/j.automatica.2004.02.014

R. E. Moore, Interval Analysis, 1966.

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

N. Ramdani and N. Nedialkov, Computing Reachable Sets for Uncertain Nonlinear Hybrid Systems using Interval Constraint Propagation Techniques In: Nonlinear Analysis: Hybrid Systems 5, pp.149-162, 2011.
DOI : 10.3182/20090916-3-es-3003.00028

URL : http://www.lirmm.fr/%7Eramdani/pdfs/Ramdani_NAHS_2009.pdf

P. Ramses-product, https : / / www . ixblue . com / products / ramses. Accessed, pp.2015-2027

C. Radhakrishna and . Rao, Information and the accuracy attainable in the estimation of statistical parameters, In: Bull. Calcutta Math. Soc, vol.37, pp.81-91, 1945.

B. Ristic, Bayesian Estimation With Imprecise Likelihoods: Random Set Approach, IEEE Signal Processing Letters, vol.18, issue.7, pp.395-398, 2011.
DOI : 10.1109/LSP.2011.2152392

C. Vincent, Robots marins et sous-marins Perception, modélisation, commande In: Techniques de l'ingénieur Applications en robotique base documentaire : TIB623DUO.ref. article : s7783 (2016). fre. eprint: basedocumentaire : TIB623DUO.. url: http://www.techniques-ingenieur.fr/base-documentaire/ automatique-robotique-th16/applications-en-robotique- 42623210 / robots -marins -et -sous -marins -s7783, p.13

O. C. Rodriguez, General description of the BELLHOP ray tracing program -Version 1.0. Tech. rep. Universidade do Algarve - Physics Department, 2008.

J. M. Singh and P. J. Narayanan, Real-Time Ray Tracing of Implicit Surfaces on the GPU, IEEE Transactions on Visualization and Computer Graphics, vol.16, issue.2, 2010.
DOI : 10.1109/TVCG.2009.41

URL : http://cvit.iiit.ac.in/papers/singhImplicitTVCG.pdf

R. Smith, P. Self, J. Cheeseman-ingemar, G. T. Cox, and . Wilfong, Autonomous Robot Vehicles, Chap. Estimating Uncertain Spatial Relationships in Robotics, pp.167-193, 1990.

O. Strauss, Quasi-continuous histograms, Fuzzy Sets and Systems, vol.160, issue.17, pp.2442-2465, 2009.
DOI : 10.1016/j.fss.2009.01.013

URL : https://hal.archives-ouvertes.fr/lirmm-00127879

S. Thrun, W. Bugard, D. Fox, . Probabilistic-robotics, and M. A. Cambridge, , 2005.

C. Tuan-anh-tran, F. L. Jauberthie, L. Gall, and . Travé-massuyès, Interval Kalman filter enhanced by positive definite upper bounds In: IFAC World Congrès, 2017.

B. Vincke, Architectures pour des systèmes de localisation et de cartographie simultanées

B. Vincke and A. Lambert, Experimental comparison of Bounded-Error State Estimation and Constraints Propagation, 2011 IEEE International Conference on Robotics and Automation, pp.9-13, 2011.
DOI : 10.1109/ICRA.2011.5980313

E. Walter and L. Pronzato, Identification of Parametric Models from Experimental Data, 1997.

A. Eric, R. Wan, and . Van-der-merwe, The Unscented Kalman Filter, pp.221-280, 2001.

W. Research and I. ,

J. Xiong, C. Jauberthie, L. Travé-massuyes, and F. L. Gall, Fault detection using interval Kalman filtering enhanced by constraint propagation, 2013 IEEE 52nd Annual Conference on. IEEE. 2013, pp.490-495
URL : https://hal.archives-ouvertes.fr/hal-01966325