A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Real Quantifier Elimination based on Comprehensive Gröbner Systems
This work addresses a domain-specific problem in robotics for improving computational efficiency in inverse kinematics, but it appears incremental as it builds on prior methods.
The paper tackles the inverse kinematics computation for a 3-DOF robot manipulator by using real quantifier elimination based on Comprehensive Gröbner Systems, enabling feasibility verification and avoiding repetitive computations, with experimental results compared to a previous implementation.
The solution and implementation of the inverse kinematics computation of a three degree-of-freedom (DOF) robot manipulator using an algorithm for real quantifier elimination with Comprehensive Gröbner Systems (CGS) are presented. The method enables us to verify if the given parameters are feasible before solving the inverse kinematics problem. Furthermore, pre-computation of CGS and substituting parameters in the CGS with the given values avoids the repetitive computation of Gröbner basis. Experimental results compared with our previous implementation are shown.