A Contractor Based on Convex Interval Taylor, Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems: 9th International Conference, pp.1-16, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00733848
Revising hull and box consistency, Proceedings of the International Conference on Logic Programming, pp.230-244, 1999. ,
Integrating global position estimation and position tracking for mobile robots: the dynamic markov localization approach, IROS Conference, pp.730-735, 1998. ,
IBEX, a C++ library for constraint processing over real numbers ,
A minimal contractor for the polar equation: Application to robot localization, Engineering Applications of Artificial Intelligence, vol.55, pp.83-92, 2016. ,
Set-membership approach to the kidnapped robot problem, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp.3715-3720, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01182607
Localization confidence domains via set inversion on short-term trajectory, IEEE Transactions on Robotics, vol.29, pp.1244-1256, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00877443
Mobile robot localization using sonar, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.9, issue.2, pp.325-332, 1987. ,
Relocating underwater features autonomously using sonar-based SLAM, IEEE Journal of Oceanic Engineering, vol.38, issue.3, pp.500-513, 2013. ,
Constraints propagation techniques on intervals for a guaranteed localization using redundant data, Automatica, vol.42, issue.7, pp.1167-1175, 2006. ,
An experimental comparison of localization methods, IROS conference, pp.736-743, 1998. ,
R-trees: A dynamic index structure for spatial searching, International conference on management data, pp.47-57, 1984. ,
Mobile Robotics. ISTE editions, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01236489
Pure range-only SLAM with indistinguishable landmarks; a constraint programming approach, Constraints, pp.1-20, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01298354
Robust localisation using separators, COPROD 2014, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01121906
Decomposition of geometric constraint systems: a survey, International Journal of Computational Geometry & Applications, vol.16, issue.05n06, pp.379-414, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00481267
, Applications of Interval Computations. Kluwer, 1996.
Outlier detection under interval uncertainty: Algorithmic solvability and computational complexity, Proceedings of the 4th International Conference LSSC'2003, 2003. ,
Interval approach to identification of catalytic process parameters, Reliable Computing, vol.19, issue.2, pp.197-214, 2013. ,
Mobile robot localization by tracking geometric beacons, IEEE Transactions on Robotics and Automation, vol.7, issue.3, pp.376-382, 1991. ,
Directed Sonar Sensing for Mobile Robot Navigation, 1992. ,
Autosub6000: A Deep Diving Long Range AUV, Journal of Bionic Engineering, vol.6, issue.1, pp.55-62, 2009. ,
Initial localization by set inversion, IEEE transactions on robotics and Automation, vol.18, issue.6, pp.966-971, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-00845638
Estimation of mobile robot localization: geometric approaches, Bounding Approaches to System Identification, pp.463-489, 1996. ,
Methods and Applications of Interval Analysis, Studies in Applied and Numerical Mathematics. Society for Industrial and Applied Mathematics, 1979. ,
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. ,
URL : https://hal.archives-ouvertes.fr/hal-01122047
Navigation for Underwater Vehicles, pp.1-15, 2018. ,
Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances, Computing, vol.92, issue.2, pp.345-356, 2012. ,
Robust TDOA passive location using interval analysis and contractor programming, Radar, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00911254
Guaranteed computation of robot trajectories, Robotics and Autonomous Systems, vol.93, pp.76-84, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01516228
Reliable non-linear state estimation involving time uncertainties, vol.93, pp.379-388, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01778187
Reliable robot localization: a constraint-programming approach over dynamical systems, ISTE Ltd, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02435019
Localization of a Swarm of Underwater Robots Using Set-Membership Methods, 2015. ,
Using interval methods in the context of robust localization of underwater robots, NAFIPS 2011, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00583049
, Probabilistic Robotics, 2005.
Estimation of the parameter uncertainty resulting from bounded-error data, Mathematical Biosciences, vol.92, issue.1, pp.55-74, 1988. ,
, Autonomous underwater navigation and control. Robotica, vol.19, issue.5, p.481496, 2001.
Survey of underwater robot positioning navigation, Applied Ocean Research, vol.90, p.101845, 2019. ,