J. J. Kuffner, K. Nishiwaki, S. Kagami, M. Inaba, and H. Inoue, Footstep planning among obstacles for biped robots, Proceedings 2001 IEEE/RSJ International Conference on Intelligent Robots and Systems. Expanding the Societal Role of Robotics in the the Next Millennium (Cat. No.01CH37180), pp.500-505, 2001.
DOI : 10.1109/IROS.2001.973406

J. Kuffner, K. Nihiwaki, S. Kagami, M. Inaba, and H. Inoue, Motion Planning for Humanoid Robots, 20th Int'l Symp, 2003.
DOI : 10.1007/11008941_39

Z. Xia, Y. He, and K. Chen, Modeling and motion planning of the infant-size humanoid robot THBIP-II, 2007 7th IEEE-RAS International Conference on Humanoid Robots, 2007.
DOI : 10.1109/ICHR.2007.4813929

S. M. Lavalle and J. J. Kuffner, Rapidly-exploring random trees : Progress and prospects, 4th Int'l Workshop on the Algorithmic Foundations of Robotics, 2000.

E. Yoshida, I. Belousov, C. Esteves, and J. Laumond, Humanoid motion planning for dynamic tasks, 5th IEEE-RAS International Conference on Humanoid Robots, 2005., pp.1-6, 2005.
DOI : 10.1109/ICHR.2005.1573536

S. Miossec, K. Yokoi, and A. Kheddar, Development of a software for motion optimization of robots - Application to the kick motion of the HRP-2 robot, 2006 IEEE International Conference on Robotics and Biomimetics, pp.299-304, 2006.
DOI : 10.1109/ROBIO.2006.340170

A. Piazzi and A. Visioli, Global minimum-jerk trajectory planning of robot manipulators, IEEE Transactions on Industrial Electronics, pp.140-149, 2000.
DOI : 10.1109/41.824136

W. Suleiman, E. Yoshida, J. Laumond, and A. Monink, On humanoid motion optimization, 2007 7th IEEE-RAS International Conference on Humanoid Robots, 2007.
DOI : 10.1109/ICHR.2007.4813866

URL : https://hal.archives-ouvertes.fr/hal-00164004

H. Fang and J. P. Merlet, Dynamic interference avoidance of 2-DOF robot arms using interval analysis, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.3809-3814, 2005.
DOI : 10.1109/IROS.2005.1545515

L. Jaulin, path planning using intervals and graphs, Reliable Computing, vol.7, issue.1, pp.1-15, 2001.
DOI : 10.1023/A:1011400431065

URL : https://hal.archives-ouvertes.fr/hal-00845173

S. Lengagne, N. Ramdani, and P. Fraisse, Guaranteed computation of constraints for safe path planning, 2007 7th IEEE-RAS International Conference on Humanoid Robots, 2007.
DOI : 10.1109/ICHR.2007.4813886

URL : https://hal.archives-ouvertes.fr/lirmm-00193965

W. Khalil and E. Dombre, Modeling, Identification and Control of Robots, Applied Mechanics Reviews, vol.56, issue.3, 2002.
DOI : 10.1115/1.1566397

W. Suleiman, E. Yoshida, J. Laumond, and A. A. Monin, Optimizing Humanoid Motions Using Recursive Dynamics and Lie Groups, 2008 3rd International Conference on Information and Communication Technologies: From Theory to Applications, pp.1-6, 2008.
DOI : 10.1109/ICTTA.2008.4530118

S. Lee, J. Kim, F. Park, M. Kim, and J. E. Bobrow, Newtomtype algorithms for dynamics-based robot movement optimization, IEEE Transactions on robotics, pp.657-667, 2005.

M. Vukobratovic and D. Juricic, Contribution to the Synthesis of Biped Gait, IEEE Transactions on Biomedical Engineering, vol.16, issue.1, pp.1-6, 1969.
DOI : 10.1109/TBME.1969.4502596

A. I. Vaz, E. M. Fernandes, and M. P. Gomes, Robot trajectory planning with semi-infinite programming, European Journal of Operational Research, vol.153, issue.3, pp.607-617, 2004.
DOI : 10.1016/S0377-2217(03)00266-2

R. Hettich and K. O. Kortanek, Semi-Infinite Programming: Theory, Methods, and Applications, SIAM Review, vol.35, issue.3, pp.380-429, 1993.
DOI : 10.1137/1035089

A. Piazzi and A. Visioli, Global minimum-time trajectory planning of mechanical manipulators using interval analysis, International Journal of Control, vol.71, issue.4, pp.631-652, 1998.
DOI : 10.1080/002071798221713

Y. Uno, M. Kawato, and R. Suzuki, Formation and control of optimal trajectory in human multijoint arm movement, Biological Cybernetics, vol.61, issue.2, pp.89-101, 1989.
DOI : 10.1007/BF00204593

O. Stryk, Numerical Solution of Optimal Control Problems by Direct Collocation, 1993.
DOI : 10.1007/978-3-0348-7539-4_10

R. Reemtsen, Semi-infinite programming: discretization methods, 1998.

O. Stryk and R. Bulirsch, Direct and indirect methods for trajectory optimization, Annals of Operations Research, vol.9, issue.6, pp.357-373, 1992.
DOI : 10.1007/BF02071065

T. Sunaga, Theory of an interval algebra and its application to numerical analysis, Japan Journal of Industrial and Applied Mathematics, vol.2, issue.11, pp.547-564, 1958.
DOI : 10.1007/BF03186528

A. Neumaier, Interval methods for systems of equations, 1990.
DOI : 10.1017/CBO9780511526473

L. Jaulin and . Walter, Guaranteed tuning, with application to robust control and motion planning, Automatica, vol.32, issue.8, pp.1217-1221, 1996.
DOI : 10.1016/0005-1098(96)00050-7

L. Kolev and D. Penev, An interval method for global inequality-constraint optimization problems, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353), pp.617-620, 2000.
DOI : 10.1109/ISCAS.2000.858827

DOI : 10.1016/B978-0-12-505630-4.50021-3

C. Bendtsen and O. Stauning, FADBAD, a flexible c++ package for automatic differentation