Static multi-contact inverse problem for multiple humanoid robots and manipulated objects

In this paper we solve the static-equilibrium constrained inverse kinematics problem for a system made of multiple humanoid robots and manipulated objects given a set of contacts between any surfaces of the robots, any surfaces of the manipulated objects, and any surfaces of the environment. In particular, inter-robots contacts are possible. The contacts considered here are neither necessarily coplanar, nor necessarily horizontal, frictional, might be unilateral (support) or bilateral (grasp). We solve both the geometric variables (configurations) and the statics variables (contact forces) simultaneously within one optimization query. In the resulting configurations all the robots and the manipulated objects are in static equilibrium under the action of gravity and actuator torques that are constrained to stay within their bounds. The main focus of the paper is on the formulation of the problem rather than the optimization algorithm, as we consider the latter as a black box that only requires a mathematical model providing algorithms to compute the values of the objective function, the constraints functions, and their derivatives. We apply this work to quasi-static multi-contact legged locomotion planning on irregular terrain, multi-fingered dexterous manipulation planning, and collaborative manipulation planning.

[1]  Ronan Boulic,et al.  Motion constraint , 2009, The Visual Computer.

[2]  Stephen P. Boyd,et al.  Fast Computation of Optimal Contact Forces , 2007, IEEE Transactions on Robotics.

[3]  Lorenz T. Biegler,et al.  On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming , 2006, Math. Program..

[4]  Thierry Siméon,et al.  A random loop generator for planning the motions of closed kinematic chains using PRM methods , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[5]  Joel W. Burdick,et al.  A General Stance Stability Test Based on Stratified Morse Theory With Application to Quasi-Static Locomotion Planning , 2008, IEEE Transactions on Robotics.

[6]  Nancy M. Amato,et al.  A Kinematics-Based Probabilistic Roadmap Method for Closed Chain Systems , 2001 .

[7]  Sylvain Miossec,et al.  Planning support contact-points for humanoid robots and experiments on HRP-2 , 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[8]  Timothy Bretl,et al.  Testing Static Equilibrium for Legged Robots , 2008, IEEE Transactions on Robotics.

[9]  Timothy Bretl,et al.  Motion Planning for Legged Robots on Varied Terrain , 2008, Int. J. Robotics Res..

[10]  A. Tits,et al.  Nonlinear Equality Constraints in Feasible Sequential Quadratic Programming , 1996 .

[11]  泰義 横小路,et al.  IEEE International Conference on Robotics and Automation , 1992 .

[12]  Oussama Khatib,et al.  A Unified Framework for Whole-Body Humanoid Robot Control with Multiple Constraints and Contacts , 2008, EUROS.

[13]  Wisama Khalil,et al.  Modeling, Identification and Control of Robots , 2003 .

[14]  Sylvain Miossec,et al.  Fast C1 proximity queries using support mapping of sphere-torus-patches bounding volumes , 2009, 2009 IEEE International Conference on Robotics and Automation.

[15]  Abderrahmane Kheddar,et al.  Potential field guide for humanoid multicontacts acyclic motion planning , 2009, ICRA.

[16]  Wisama Khalil,et al.  Modeling, Identification & Control of Robots , 2002 .

[17]  Herman Bruyninckx,et al.  Symbolic differentiation of the velocity mapping for a serial kinematic chain , 1996 .

[18]  Fumio Kanehiro,et al.  Humanoid robot HRP-2 , 2008, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[19]  Lydia E. Kavraki,et al.  A probabilistic roadmap approach for systems with closed kinematic chains , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).