The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems, Electronic Notes in Theoretical Computer Science, vol.223, pp.87-102, 2008. ,
DOI : 10.1016/j.entcs.2008.12.033
Guaranteed Characterization of the Explored Space of a Mobile Robot by using Subpavings, Proc. Symp. Nonlinear Control Systems (NOLCOS'13), 2013. ,
DOI : 10.3182/20130904-3-FR-2041.00167
URL : https://hal.archives-ouvertes.fr/hal-00914063
Possibility Theory, 1988. ,
URL : https://hal.archives-ouvertes.fr/hal-01136336
Sonar-based real world mapping and navigation, IEEE Transactions on Robotics and Automation, pp.249-265, 1987. ,
DOI : 10.1007/978-1-4613-8997-2_18
A Discussion of Simultaneous Localization and Mapping, Autonomous Robots, vol.20, issue.1, pp.25-42, 2006. ,
DOI : 10.1007/s10514-006-5735-x
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
A visibility information for multi-robot localization, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013. ,
DOI : 10.1109/IROS.2013.6696536
URL : https://hal.archives-ouvertes.fr/hal-00874164
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
Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00845131
Building variable resolution occupancy maps assuming unknown but bounded sensor errors, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013. ,
DOI : 10.1109/IROS.2013.6697031
Dynamic map building for an autonomous mobile robot, International Journal of Robotics Research, vol.11, issue.4, 1992. ,
DOI : 10.1177/027836499201100402
The Theory of Random Sets, 2005. ,
DOI : 10.1007/978-1-4471-7349-6
Random Finite Sets for Robot Mapping & SLAM: New Concepts in Autonomous Robotic Map Representations, 2013. ,
General inner approximation of vector-valued functions, Reliable Computing, vol.18, issue.0, pp.117-143, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00935773
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY, The Journal of Logic and Algebraic Programming, vol.64, issue.1, pp.135-154, 2005. ,
DOI : 10.1016/j.jlap.2004.07.008
URL : https://hal.archives-ouvertes.fr/inria-00071850
A Rigorous ODE Solver and Smale???s 14th Problem, Foundations of Computational Mathematics, vol.2, issue.1, pp.53-117, 2002. ,
DOI : 10.1007/s002080010018
URL : http://www2.math.uu.se/~warwick/main/rodes/JFoCM.pdf
Cr-lohner algorithm, Schedae Informaticae, vol.20, pp.9-46, 2011. ,