Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry - Archive ouverte HAL Access content directly
Conference Papers Year : 2022

Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry

Abstract

Cuspidal robots are robots with at least two inverse kinematic solutions that can be connected by a singularity-free path. Deciding the cuspidality of a generic 3R robots has been studied in the past, but extending the study to six-degree-of-freedom robots can be a challenging problem. Many robots can be modeled as a polynomial map together with a real algebraic set so that the notion of cuspidality can be extended to these data. In this paper we design an algorithm that, on input a polynomial map in $n$ indeterminates, and $s$ polynomials in the same indeterminates describing a real algebraic set of dimension $d$, decides the cuspidality of the restriction of the map to the real algebraic set under consideration. Moreover, if $D$ and $\tau$ are respectively the maximum degree and a bound on the bit size of the coefficients of the input polynomials, this algorithm runs in time log-linear in $\tau$ and polynomial in $((s+d)nD)^{O(n^2)}$. It relies on many high-level algorithms in computer algebra which use advanced methods on real algebraic sets and critical loci of polynomial maps. As far as we know, this is the first algorithm that tackles the cuspidality problem from a general point of view.
Fichier principal
Vignette du fichier
main.pdf (1.59 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03596704 , version 1 (08-03-2022)
hal-03596704 , version 2 (02-06-2022)
hal-03596704 , version 3 (25-07-2022)

Licence

Attribution

Identifiers

Cite

Damien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Salunkhe, Philippe Wenger. Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry. ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. ⟨10.1145/3476446.3535477⟩. ⟨hal-03596704v3⟩
179 View
61 Download

Altmetric

Share

Gmail Facebook X LinkedIn More