Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics - Archive ouverte HAL
Article Dans Une Revue Journal of Symbolic Computation Année : 2023

Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics

Mohab Safey El Din
Josef Schicho
  • Fonction : Auteur
  • PersonId : 1114234

Résumé

In this paper we introduce methods and algorithms that will help us solve connectivity queries of parameterized semi-algebraic sets. Answering these connectivity queries is applied in the design of robotic structures having similar kinematic properties (e.g. topology of the kinematic-singularity-free space). From these algorithms one also obtain solutions to connectivity queries of a specific parameter which is in turn related to kinematic-singularity free path-planning of a specific manipulator belonging to the family of robots with these properties; i.e. we obtain paths joining two given singularity free configurations lying in the same connected component of the singularity-free space. We prove in the paper how one reduces the problems related to connectivity queries of parameterized semi-algebraic sets to closed and bounded semi-algebraic sets. We then design an algorithm using computer-algebra methods for "solving" positive dimensional polynomial system depending on parameters. The meaning of solving here means partitioning the parameter space into semi-algebraic components over which the number of connected components of the semi-algebraic set defined by the input system is invariant. The complexity of this algorithm is singly exponential in the dimension of the ambient space. The algorithm scales enough to analyze automatically the family of UR-series robots. Finally we provide manual analysis of the family of UR-series robots, proving that the number of connected components of the complementary of kinematic singularity set of a generic UR-robot is eight.
Fichier principal
Vignette du fichier
main.pdf (284.02 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03389500 , version 1 (21-10-2021)

Identifiants

Citer

Jose Capco, Mohab Safey El Din, Josef Schicho. Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics. Journal of Symbolic Computation, 2023, 115, pp.320-345. ⟨10.1016/j.jsc.2022.08.008⟩. ⟨hal-03389500⟩
201 Consultations
239 Téléchargements

Altmetric

Partager

More