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

G. Chabert, IBEX -an Interval-Based EXplorer, 2020.

G. Chabert and L. , Jaulin. Contractor Programming. Artificial Intelligence, vol.173, pp.1079-1100, 2009.

A. Chapoutot, J. Dit-sandretto, O. Mullier, and . Dynibex, , 2015.

H. Collavizza, F. Delobel, and M. Rueher, Comparing Partial Consistencies. Reliable Computing, vol.5, issue.3, pp.213-228, 1999.

J. Cruz and P. Barahona, Constraint Satisfaction Differential Problems, Principles and Practice of Constraint Programming -CP 2003, pp.259-273, 2003.

J. Cruz and P. Barahona, Constraint Reasoning with Differential Equations, vol.1, pp.140-154, 2004.

Y. Deville, M. Janssen, and P. Vanhentenryck, Consistency Techniques in Ordinary Differential Equations, Proc. of CP98, pp.162-176, 1998.

F. Domes, GLOPTLAB: A configurable framework for the rigorous global solution of quadratic constraint satisfaction problems, Optimization Methods & Software, vol.24, pp.727-747, 2009.

T. F. Filippova, A. B. Kurzhanski, K. Sugimoto, and I. Vályi, Ellipsoidal State Estimation for Uncertain Dynamical Systems, Bounding Approaches to System Identification, pp.213-238, 1996.

A. Goldsztejn, O. Mullier, D. Eveillard, and H. Hosobe, Including Ordinary Differential Equations Based Constraints in the Standard CP Framework, Proc of CP 2010, pp.221-235, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00520054

T. Goodman and G. N. Lance, The Numerical Solution of Two-Point Boundary Value Problems. Mathematical Tables and Other Aids to Computation, vol.10, pp.82-86, 1956.

L. Granvilliers and F. Benhamou, RealPaver: An Interval Solver using Constraint Satisfaction Techniques, ACM Transactions on Mathematical Software -TOMS, vol.32, pp.138-156, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00480813

E. R. Hansen, Global Optimization using Interval Analysis. Marcel Dekker, 1992.

L. Jaulin, Nonlinear Bounded-error State Estimation of Continuous-Time Systems, Automatica, vol.38, pp.1079-1082, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00845483

L. Jaulin, Range-Only SLAM with Indistinguishable Landmarks: A Constraint Programming Approach, Constraints, vol.21, issue.4, pp.557-576, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01298354

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

T. Kapela, M. Mrozek, P. Pilarczyk, D. Wilczak, and P. Zgliczynski, CAPD -a rigorous toolbox for Computer Assisted Proofs in Dynamics, 2010.

R. Kearfott, GlobSol: History, Composition, and Advice on Use, Proc of CO-COS2002, vol.2861, p.2002

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. L. Bars, J. Sliwka, L. Jaulin, and O. Reynet, Set-membership state estimation with fleeting data, Automatica, vol.48, issue.2, pp.381-387, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00670459

O. Lhomme, Consistency Techniques for Numeric CSPs, IJCAI, pp.232-238, 1993.

R. Lohner, Enclosing the solutions of ordinary initial and boundary value problems, Computer Arithmetic: Scientific Computation and Programming Languages, pp.255-286, 1987.

F. Mazzia, J. R. Cash, and K. Soetaert, Solving boundary value problems in the open source software R: Package bvpSolve. Opuscula mathematica, vol.34, pp.387-403, 2014.

F. Messine, Méthodes d'optimisation globale basées sur l'analyse d'intervalle pour la résolution des problèmes avec contraintes, 1997.

R. E. Moore, Interval Analysis, vol.4, 1966.

N. Nedialkov, K. Jackson, and G. Corliss, Validated Solutions of Initial Value Problem for, Ordinary Differential Equations. Applied Mathematics and Applications, vol.105, issue.1, pp.21-68, 1999.

N. S. Nedialkov, VNODE-LP, A Validated Solver for Initial Value Problems in Ordinary Differential Equations, 2006.

C. Prud'homme, J. Fages, and X. Lorca, Choco documentation, 2014.

N. Revol, K. Makino, and M. Berz, Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY, Journal of Logic and Algebraic Programming, vol.64, pp.135-154, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00071850

S. Rohou, B. Desrochers, and L. Jaulin, Set-membership State Estimation by Solving Data Association, IEEE International Conference on Robotics and Automation, 2020.
URL : https://hal.archives-ouvertes.fr/hal-02904517

S. Rohou, The Tubex library -Constraint-programming for robotics, 2020.

S. Rohou, L. Jaulin, L. Mihaylova, F. L. Bars, and S. M. Veres, Reliable Nonlinear State Estimation Involving Time Uncertainties, Automatica, vol.93, pp.379-388, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01778187

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.
URL : https://hal.archives-ouvertes.fr/hal-01516228

S. Thrun, W. Bugard, and D. Fox, Probabilistic Robotics, 2005.

G. Trombettoni and G. Chabert, Constructive Interval Disjunction, Constraint Programming, vol.4741, pp.635-650, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00936654

W. Tucker, A Rigorous ODE Solver and Smale's 14th Problem, Foundations of Computational Mathematics, vol.2, issue.1, pp.53-117, 2002.

R. Voges and B. Wagner, Timestamp offset calibration for an IMU-camera system under interval uncertainty, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp.377-384, 2018.

D. Wilczak and P. Zgliczynski, Heteroclinic connections between periodic orbits in planar restricted circular three-body problem-a computer assisted proof. Communications in mathematical physics, vol.234, pp.37-75, 2003.