Robot Motion Planning, 1991. ,
Trajectory planning in robotics, Mathematics in Computer Science, vol.6, issue.3, pp.269-279, 2012. ,
Path planning using intervals and graphs, Reliable Computing, vol.7, issue.1, pp.1-15, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00845173
Computing a guaranteed approximation of the zone explored by a robot, IEEE Transactions on Automatic Control, vol.62, issue.1, pp.425-430, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01298366
Guaranteed computation of robots trajectories, Robotics and Autonomous Systems, vol.93, pp.76-84, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01516228
Motion planning and obstacle avoidance, Springer Handbook of Robotics, pp.827-852, 2008. ,
, Global Manipulation Planing in Robot Joint Space with Task Constraints, vol.26, pp.576-584, 2010.
Position-based kinematics for 7-DoF serial manipulators with global configuration control, joint limit and singularity avoidance, Mechanism and Machine Theory, vol.121, pp.317-334, 2018. ,
Motion planning and scheduling for human and robot collaboration, CIRP Annals -Manufacturing Technology, vol.66, issue.1, pp.1-4, 2017. ,
Kinematic and Dynamic Simulation of Rigid and Flexible Systems with Fully Cartesian Coordinates, NATO Science Series, vol.268, pp.285-323, 1994. ,
of Foundations of Artificial Intelligence, Handbook of Constraint Programming, vol.2, 2006. ,
Algorithm 852: Realpaver: an interval solver using constraint satisfaction techniques, ACM TOMS, vol.32, issue.1, pp.138-156, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00480813
IBEX (Interval-Based EXplorer): A C++ library for solving nonlinear constraints over real numbers, 2007. ,
Numerica: A Modeling Language for Global Optimization, vol.228, pp.57-74, 1997. ,
A gentle introduction to NUMERICA, Artificial Intelligence, vol.103, issue.1-2, pp.209-235, 1998. ,
An open-ended finite domain constraint solver, Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, pp.191-206, 1997. ,
Efficient reification of table constraints, 29th IEEE International Conference on Tools with Artificial Intelligence, vol.2017, pp.118-122, 2017. ,