Estimating Uncertain Spatial Relationships in Robotics, Autonomous Robot Vehicles, pp.167-193, 1990. ,
DOI : 10.1109/robot.1987.1087846
Simultaneous localization and map building in large-scale cyclic environments using the atlas framework, The International Journal of Robotics Research, vol.23, issue.12, pp.1113-1139, 2004. ,
Robust loop closing over time for pose graph slam, The International Journal of Robotics Research, vol.32, issue.14, pp.1611-1626, 2013. ,
Fast and Incremental Method for Loop-Closure Detection Using Bags of Visual Words, IEEE Transactions on Robotics, vol.24, issue.5, pp.1027-1037, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00652598
, Probabilistic Localization and Mapping in the Space of Appearance, vol.27, pp.647-665, 2008.
Exploration with active loop-closing for FastSLAM, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566), vol.2, pp.1505-1510, 2004. ,
Mapping Large Loops with a Single Hand-Held Camera, Robotics: Science and Systems, vol.2, 2007. ,
Loop detection of mobile robots using interval analysis, Automatica, vol.49, issue.2, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00773530
, Methods and Applications of Interval Analysis, Studies in Applied and Numerical Mathematics, Society for Industrial and Applied Mathematics, 1979.
, Series in mathematical analysis and applications, p.64592216
Effective topological degree computation based on interval arithmetic, Mathematics of Computation, vol.84, issue.293, 2014. ,
Estimation of mobile robot localization: geometric approaches, Bounding Approaches to System Identification, pp.463-489, 1996. ,
Interval analysis, Prentice-Hall series in automatic computation, 1966. ,
Interval arithmetic in matrix computations-part I, SIAM Journal on Numerical Analysis: Series B, vol.2, issue.2, pp.308-320, 1965. ,
Ellipsoidal State Estimation for Uncertain Dynamical Systems, pp.213-238, 1996. ,
Set-membership state estimation with fleeting data, Automatica, vol.48, issue.2, pp.381-387, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00670459
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, Automatica, vol.93, pp.379-388, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01778187
Set membership state and parameter estimation for systems described by nonlinear differential equations, Automatica, vol.40, issue.10, pp.1771-1777, 2004. ,
Tinkerbell Is Chaotic, SIAM Journal on Applied Dynamical Systems, vol.10, issue.4, pp.1480-1501, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00835176
High integrity GNSS location zone characterization using interval analysis, ION GNSS, pp.2178-2187, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00444819
Box particle filtering for nonlinear state estimation using interval analysis, Automatica, vol.44, issue.3, pp.807-815, 2008. ,
Set inversion via interval analysis for nonlinear bounded-error estimation, Automatica, vol.29, issue.4, pp.1053-1064, 1993. ,
Degree theory in analysis and applications, no. 2 in Oxford lecture series in mathematics and its applications, 1995. ,
, A Set of Axioms for the Degree of a Tangent Vector Field on Differentiable Manifolds, Fixed Point Theory and Applications, p.845631, 2010.
Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers, Journal of Automated Reasoning, vol.57, issue.2, pp.157-185, 2016. ,
A Test for Existence of Solutions to Nonlinear Systems, SIAM Journal on Numerical Analysis, vol.14, issue.4, pp.611-615, 1977. ,
A simple test for accuracy of approximate solutions to nonlinear (or linear) systems, SIAM Journal on Numerical Analysis, vol.17, issue.4, pp.521-529, 1980. ,
Drei Sätzë uber die n-dimensionale euklidische ,
, Fundamenta Mathematicae, vol.20, issue.1, pp.177-190, 1933.
, Topology from the differentiable viewpoint, rev, 1997.
Guidance and control of ocean vehicles, 1994. ,