Riemannian Optimization for Distance-Geometric Inverse Kinematics

被引:19
作者
Maric, Filip [1 ,2 ]
Giamou, Matthew [1 ]
Hall, Adam W. [3 ,4 ]
Khoubyarian, Soroush [1 ]
Petrovic, Ivan [2 ,5 ]
Kelly, Jonathan [1 ]
机构
[1] Univ Toronto, Space & Terr Autonomous Robot Syst Lab, Inst Aerosp Studies, Toronto, ON M3H 5T6, Canada
[2] Univ Zagreb, Fac Elect Engn & Comp, Lab Autonomous Syst & Mobile Robot, Zagreb 10000, Croatia
[3] Univ Toronto, Inst Aerosp Studies, Space & Terr Autonomous Robot Syst Lab, Toronto, ON M3H 5T6, Canada
[4] Univ Toronto, Inst Aerosp Studies, Dynam Syst Lab, Toronto, ON M3H 5T6, Canada
[5] Univ Toronto, Inst Aerosp Studies, Toronto, ON M3H 5T6, Canada
基金
加拿大自然科学与工程研究理事会;
关键词
Robots; Kinematics; End effectors; Geometry; Global Positioning System; Robot kinematics; Transmission line matrix methods; Computational geometry; kinematics; motion and path planning; Riemannian optimization; RANK MATRIX COMPLETION; ALGORITHM; SOLVER; FABRIK;
D O I
10.1109/TRO.2021.3123841
中图分类号
TP24 [机器人技术];
学科分类号
080202 ; 1405 ;
摘要
Solving the inverse kinematics problem is a fundamental challenge in motion planning, control, and calibration for articulated robots. Kinematic models for these robots are typically parameterized by joint angles, generating a complicated mapping between the robot configuration and the end-effector pose. Alternatively, the kinematic model and task constraints can be represented using invariant distances between points attached to the robot. In this article, we formalize the equivalence of distance-based inverse kinematics and the distance geometry problem for a large class of articulated robots and task constraints. Unlike previous approaches, we use the connection between distance geometry and low-rank matrix completion to find inverse kinematics solutions by completing a partial Euclidean distance matrix through local optimization. Furthermore, we parameterize the space of Euclidean distance matrices with the Riemannian manifold of fixed-rank Gram matrices, allowing us to leverage a variety of mature Riemannian optimization methods. Finally, we show that bound smoothing can be used to generate informed initializations without significant computational overhead, improving convergence. We demonstrate that our inverse kinematics solver achieves higher success rates than traditional techniques and substantially outperforms them on problems that involve many workspace constraints.
引用
收藏
页码:1703 / 1722
页数:20
相关论文
共 65 条
[1]   Trust-region methods on Riemannian manifolds [J].
Absil, P-A. ;
Baker, C. G. ;
Gallivan, K. A. .
FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, 2007, 7 (03) :303-330
[2]  
Absil PA, 2008, OPTIMIZATION ALGORITHMS ON MATRIX MANIFOLDS, P1
[3]   Solving Euclidean distance matrix completion problems via semidefinite programming [J].
Alfakih, AY ;
Khandani, A ;
Wolkowicz, H .
COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, 1999, 12 (1-3) :13-30
[4]   Real-time Inverse Kinematics of (2n+1) DOF hyper-redundant manipulator arm via a combined numerical and analytical approach [J].
Ananthanarayanan, Hariharan ;
Ordonez, Raul .
MECHANISM AND MACHINE THEORY, 2015, 91 :209-226
[5]  
Angeles J., 2013, COMPUTATIONAL KINEMA, V28
[6]   Inverse Kinematics Techniques in Computer Graphics: A Survey [J].
Aristidou, A. ;
Lasenby, J. ;
Chrysanthou, Y. ;
Shamir, A. .
COMPUTER GRAPHICS FORUM, 2018, 37 (06) :35-58
[7]   Extending FABRIK with model constraints [J].
Aristidou, Andreas ;
Chrysanthou, Yiorgos ;
Lasenby, Joan .
COMPUTER ANIMATION AND VIRTUAL WORLDS, 2016, 27 (01) :35-57
[8]   FABRIK: A fast, iterative solver for the Inverse Kinematics problem [J].
Aristidou, Andreas ;
Lasenby, Joan .
GRAPHICAL MODELS, 2011, 73 :243-260
[9]  
Beeson P, 2015, IEEE-RAS INT C HUMAN, P928, DOI 10.1109/HUMANOIDS.2015.7363472
[10]  
Biswas P, 2006, ACM T SENSOR NETWORK, V2