An Interval Branch-and-Bound-Based Inverse Kinemetics Algorithm Towards Global Optimal Redundancy Resolution

The general inverse kinematics (IK) problem of a manipulator, namely that of acquiring the self-motion manifold (SMM) of all admissible joint angles for a desired end-effector pose, plays a vital role in robotics modeling, planning and control. To efficiently solve the generalized IK, this paper proposes an interval branch-and-bound-based approach, which is augmented with a fast numerical IK-solver-enabled search heuristics. In comparison to independent solutions generated by sampling based methods, our approach generates patches of neighboring solutions to provide richer information of the inherent geometry of the SMM for optimal planning and other applications. It can also be utilized in an anytime fashion to obtain solutions with sub-optimal resolution for applications within a limited period. The performance of our approach is verified by numerical experiments on both non-redundant and redundant manipulators.

[1]  Patrick Beeson,et al.  TRAC-IK: An open-source library for improved solving of generic inverse kinematics , 2015, 2015 IEEE-RAS 15th International Conference on Humanoid Robots (Humanoids).

[2]  Luc Jaulin,et al.  Contractor programming , 2009, Artif. Intell..

[3]  Jean-Pierre Merlet Interval Analysis and Robotics , 2007, ISRR.

[4]  Stefano Chiaverini,et al.  Singularity-robust task-priority redundancy resolution for real-time kinematic control of robot manipulators , 1997, IEEE Trans. Robotics Autom..

[5]  S. Agrawal,et al.  Inverse kinematic solution of robot manipulators using interval analysis , 1998 .

[6]  Richard M. Murray,et al.  A Mathematical Introduction to Robotic Manipulation , 1994 .

[7]  Ignacio Araya,et al.  Interval Branch-and-Bound algorithms for optimization and constraint satisfaction: a survey and prospects , 2016, J. Glob. Optim..

[8]  Eldon Hansen,et al.  Bounding the solution of interval linear equations , 1992 .

[9]  Alexandre Goldsztejn,et al.  Search Strategies for an Anytime Usage of the Branch and Prune Algorithm , 2009, IJCAI.

[10]  Federico Thomas,et al.  A Linear Relaxation Technique for the Position Analysis of Multiloop Linkages , 2009, IEEE Transactions on Robotics.

[11]  Luis Payá,et al.  A method based on the vanishing of self-motion manifolds to determine the collision-free workspace of redundant robots , 2018, Mechanism and Machine Theory.

[12]  Joel W. Burdick,et al.  On the inverse kinematics of redundant manipulators: characterization of the self-motion manifolds , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[13]  Carlos L. Lück Self-Motion Representation and Global Path Planning Optimization for Redundant Manipulators through Topology-Based Discretization , 1997, J. Intell. Robotic Syst..

[14]  Giuseppe Oriolo,et al.  Motion Planning for Mobile Manipulators along Given End-effector Paths , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[15]  Kris Hauser,et al.  Global Redundancy Resolution via Continuous Pseudoinversion of the Forward Kinematic Map , 2018, IEEE Transactions on Automation Science and Engineering.

[16]  Hermann Schichl,et al.  Exclusion Regions for Systems of Equations , 2004, SIAM J. Numer. Anal..

[17]  Ramon E. Moore Methods and applications of interval analysis , 1979, SIAM studies in applied mathematics.

[18]  Jean-Pierre Merlet,et al.  Efficient and Safe Global Constraints for Handling Numerical Constraint Systems , 2004, SIAM J. Numer. Anal..