J. Denk and G. Schmidt, Synthesis of a Walking Primitive Database for a Humanoid Robot using Optimal Control Techniques, Proceedings of IEEE-RAS International Conference on Humanoid Robots, pp.319-326, 2001.

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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. Monin, 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

R. E. Moore and F. Bierbaum, Methods and Applications of Interval Analysis, Siam Studies in Applied Mathematics, 2.). Soc for Industrial & Applied Math, 1979.
DOI : 10.1137/1.9781611970906

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

C. Lawrence, J. L. Zhou, and A. L. Tits, User's Guide for CFSQP Version 2.5: A C Code for Solving (Large Scale) Constrained Nonlinear (Minimax) Optimization Problems, Generating Iterates Satisfying All Inequality Constraints, 20742.

P. Fraisse, S. Cotton, A. Murray, and F. Pierrot, Towards dynamic balance control of humanoid robots by using com and zmp, IEEE- RAS 7th International Conference on Humanoid Robots, 2007.
URL : https://hal.archives-ouvertes.fr/lirmm-00375560

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

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

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

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

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

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