Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics - Archive ouverte HAL Access content directly
Journal Articles Journal of Symbolic Computation Year : 2023

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

Mohab Safey El Din
Josef Schicho
  • Function : Author
  • PersonId : 1114234

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
133 View
147 Download

Altmetric

Share

Gmail Facebook X LinkedIn More