J. Alexandre, A. Sandretto, and . Chapoutot, Validated Explicit and Implicit Runge-Kutta Methods " . In: Reliable Computing electronic edition . Special issue devoted to material presented at SWIM, p.22, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01111240

K. R. Apt, The essence of constraint propagation, Theoretical Computer Science, vol.221, issue.1-2, pp.179-210, 1999.
DOI : 10.1016/S0304-3975(99)00032-8

I. Araya, G. Trombettoni, and B. Neveu, A Contractor Based on Convex Interval Taylor, 9th International Conference Proceedings . Ed. by N. Beldiceanu, N. Jussien, andÉ and´andÉ. Pinson, pp.1-16, 2012.
DOI : 10.1007/978-3-642-29828-8_1
URL : https://hal.archives-ouvertes.fr/hal-00733848

C. Bessiere, F. Rossi, P. Van-beek, and T. Walsh, Constraint Propagation, pp.29-83, 2006.
DOI : 10.1016/S1574-6526(06)80007-6
URL : https://hal.archives-ouvertes.fr/lirmm-00117128

A. Bethencourt and L. Jaulin, Abstract, Paladyn, Journal of Behavioral Robotics, vol.4, issue.4, 2013.
DOI : 10.2478/pjbr-2013-0023

A. Bethencourt and L. Jaulin, Solving Non-Linear Constraint Satisfaction Problems Involving Time-Dependant Functions, Mathematics in Computer Science, vol.4, issue.4, pp.503-523, 2014.
DOI : 10.1109/TAC.2013.2285751

J. L. Blanco, J. Gonzalez, and J. A. Fernandez-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

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

M. Choi, J. Choi, J. Park, and W. K. Chung, State estimation with delayed measurements considering uncertainty of time delay, IEEE International Conference on Robotics and Automation, pp.3987-3992, 2009.

B. Desrochers and L. Jaulin, A minimal contractor for the polar equation: Application to robot localization, Engineering Applications of Artificial Intelligence, vol.55, pp.83-92, 2016.
DOI : 10.1016/j.engappai.2016.06.005

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

T. F. Filippova, A. B. Kurzhanski, K. Sugimoto, and I. Vályi, Ellipsoidal State Estimation for Uncertain Dynamical Systems, pp.213-238, 1996.
DOI : 10.1007/978-1-4757-9545-5_14

A. Gning and P. Bonnifait, 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

L. Jaulin, M. Kieffer, I. Braems, and E. Walter, Guaranteed non-linear estimation using constraint propagation on sets, International Journal of Control, vol.32, issue.18, pp.1772-1782, 2001.
DOI : 10.1016/0378-4754(90)90001-Y
URL : http://www.istia.univ-angers.fr/~jaulin/observer.pdf

L. Jaulin, M. Kieffer, O. Didrit, and . Walter, Applied Interval Analysis, 2001.
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131

A. B. Kurzhanski and T. F. Filippova, On the Theory of Trajectory Tubes ? A Mathematical Formalism for Uncertain Dynamics, Viability and Control Advances in Nonlinear Dynamics and Control: A Report from Russia, pp.122-188, 1993.

F. Le-bars, J. Sliwka, L. Jaulin, and O. Reynet, Set-membership state estimation with fleeting data, Automatica, vol.48, issue.2, pp.381-387, 2012.
DOI : 10.1016/j.automatica.2011.11.004
URL : https://hal.archives-ouvertes.fr/hal-00670459

A. K. Mackworth, Consistency in networks of relations, Consistency in Networks of Relations, pp.99-118, 1977.
DOI : 10.1016/0004-3702(77)90007-8

M. Milanese and A. Vicino, Estimation theory for nonlinear models and set membership uncertainty, Automatica, vol.27, issue.2, pp.403-408, 1991.
DOI : 10.1016/0005-1098(91)90090-O

R. Moore, Interval analysis. Prentice-Hall series in automatic computation, 1966.

R. Moore, Methods and Applications of Interval Analysis, Studies in Applied and Numerical Mathematics . Society for Industrial and Applied Mathematics, 1979.
DOI : 10.1137/1.9781611970906

P. Newman and J. Leonard, Pure range-only sub-sea SLAM, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422), 1921.
DOI : 10.1109/ROBOT.2003.1241875
URL : http://albacore.mit.edu/~jleonard/pubs/icra_2003_undersea.pdf

T. Ra¨?ssira¨?ssi, N. Ramdani, and Y. Candau, Set membership state and parameter estimation for systems described by nonlinear differential equations, Automatica, vol.4010, pp.1771-1777, 2004.

S. Rohou, Reliable robot localization: a constraintprogramming approach over dynamical systems, 2017.

S. Rohou, L. Jaulin, L. Mihaylova, F. L. Bars, and S. M. Veres, Guaranteed computation of robot trajectories, Robotics and Autonomous Systems, vol.93, pp.76-84, 2017.
DOI : 10.1016/j.robot.2017.03.020
URL : https://hal.archives-ouvertes.fr/hal-01516228

P. Van-hentenryck, L. Michel, and F. Benhamou, Constraint programming over nonlinear constraints, Science of Computer Programming, vol.30, issue.1-2, pp.83-118, 1998.
DOI : 10.1016/S0167-6423(97)00008-7

D. Wilczak, P. Zgliczy´nskizgliczy´nski, P. Pilarczyk, M. Mrozek, T. Kapela et al., Computer Assisted Proofs in Dynamics group, a C++ package for rigorous numerics