Revising Hull and Box Consistency, Proc. of International Conference on Logic Programming (ICLP), pp.230-244, 1999. ,
IBEX -an Interval-Based EXplorer, 2020. ,
, Jaulin. Contractor Programming. Artificial Intelligence, vol.173, pp.1079-1100, 2009.
, , 2015.
, Comparing Partial Consistencies. Reliable Computing, vol.5, issue.3, pp.213-228, 1999.
Constraint Satisfaction Differential Problems, Principles and Practice of Constraint Programming -CP 2003, pp.259-273, 2003. ,
, Constraint Reasoning with Differential Equations, vol.1, pp.140-154, 2004.
Consistency Techniques in Ordinary Differential Equations, Proc. of CP98, pp.162-176, 1998. ,
GLOPTLAB: A configurable framework for the rigorous global solution of quadratic constraint satisfaction problems, Optimization Methods & Software, vol.24, pp.727-747, 2009. ,
Ellipsoidal State Estimation for Uncertain Dynamical Systems, Bounding Approaches to System Identification, pp.213-238, 1996. ,
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
The Numerical Solution of Two-Point Boundary Value Problems. Mathematical Tables and Other Aids to Computation, vol.10, pp.82-86, 1956. ,
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
Global Optimization using Interval Analysis. Marcel Dekker, 1992. ,
Nonlinear Bounded-error State Estimation of Continuous-Time Systems, Automatica, vol.38, pp.1079-1082, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-00845483
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
Contributions to the Theory of Optimal Control, Bol. Soc. Mat. Mex, vol.5, pp.102-119, 1960. ,
CAPD -a rigorous toolbox for Computer Assisted Proofs in Dynamics, 2010. ,
GlobSol: History, Composition, and Advice on Use, Proc of CO-COS2002, vol.2861, p.2002 ,
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. ,
Set-membership state estimation with fleeting data, Automatica, vol.48, issue.2, pp.381-387, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00670459
Consistency Techniques for Numeric CSPs, IJCAI, pp.232-238, 1993. ,
Enclosing the solutions of ordinary initial and boundary value problems, Computer Arithmetic: Scientific Computation and Programming Languages, pp.255-286, 1987. ,
Solving boundary value problems in the open source software R: Package bvpSolve. Opuscula mathematica, vol.34, pp.387-403, 2014. ,
Méthodes d'optimisation globale basées sur l'analyse d'intervalle pour la résolution des problèmes avec contraintes, 1997. ,
, Interval Analysis, vol.4, 1966.
Validated Solutions of Initial Value Problem for, Ordinary Differential Equations. Applied Mathematics and Applications, vol.105, issue.1, pp.21-68, 1999. ,
VNODE-LP, A Validated Solver for Initial Value Problems in Ordinary Differential Equations, 2006. ,
Choco documentation, 2014. ,
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
Set-membership State Estimation by Solving Data Association, IEEE International Conference on Robotics and Automation, 2020. ,
URL : https://hal.archives-ouvertes.fr/hal-02904517
The Tubex library -Constraint-programming for robotics, 2020. ,
Reliable Nonlinear State Estimation Involving Time Uncertainties, Automatica, vol.93, pp.379-388, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01778187
Guaranteed computation of robot trajectories, Robotics and Autonomous Systems, vol.93, pp.76-84, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01516228
Probabilistic Robotics, 2005. ,
Constructive Interval Disjunction, Constraint Programming, vol.4741, pp.635-650, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00936654
A Rigorous ODE Solver and Smale's 14th Problem, Foundations of Computational Mathematics, vol.2, issue.1, pp.53-117, 2002. ,
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. ,
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. ,