-
Necessary and sufficient condition for a generic 3R serial manipulator to be cuspidal
Authors:
Durgesh Haribhau Salunkhe,
Christoforos Spartalis,
Jose Capco,
Damien Chablat,
Philippe Wenger
Abstract:
Cuspidal robots can travel from one inverse kinematic solution to another without meeting a singularity. The name cuspidal was coined based on the existence of a cusp point in the workspace of 3R serial robots. The existence of a cusp point was proved to be a necessary and sufficient condition for orthogonal robots to be cuspidal, but it was not possible to extend this condition to non-orthogonal…
▽ More
Cuspidal robots can travel from one inverse kinematic solution to another without meeting a singularity. The name cuspidal was coined based on the existence of a cusp point in the workspace of 3R serial robots. The existence of a cusp point was proved to be a necessary and sufficient condition for orthogonal robots to be cuspidal, but it was not possible to extend this condition to non-orthogonal robots. The goal of this paper is to prove that this condition stands for any generic 3R robot. This result would give the designer more flexibility. In the presented work, the geometrical interpretation of the inverse kinematics of 3R robots is revisited and important observations on the nonsingular change of posture are noted. The paper presents a theorem regarding the existence of reduced aspects in any generic 3R serial robot. Based on these observations and on this theorem, we prove that the existence of a cusp point is a necessary and sufficient condition for any 3R generic robot to be cuspidal.
△ Less
Submitted 17 February, 2022;
originally announced February 2022.
-
Robots, computer algebra and eight connected components
Authors:
Jose Capco,
Mohab Safey El Din,
Josef Schicho
Abstract:
Answering connectivity queries in semi-algebraic sets is a long-standing and challenging computational issue with applications in robotics, in particular for the analysis of kinematic singularities. One task there is to compute the number of connected components of the complementary of the singularities of the kinematic map. Another task is to design a continuous path joining two given points…
▽ More
Answering connectivity queries in semi-algebraic sets is a long-standing and challenging computational issue with applications in robotics, in particular for the analysis of kinematic singularities. One task there is to compute the number of connected components of the complementary of the singularities of the kinematic map. Another task is to design a continuous path joining two given points lying in the same connected component of such a set. In this paper, we push forward the current capabilities of computer algebra to obtain computer-aided proofs of the analysis of the kinematic singularities of various robots used in industry. We first show how to combine mathematical reasoning with easy symbolic computations to study the kinematic singularities of an infinite family (depending on paramaters) modelled by the UR-series produced by the company ``Universal Robots''. Next, we compute roadmaps (which are curves used to answer connectivity queries) for this family of robots. We design an algorithm for ``solving'' positive dimensional polynomial system depending on parameters. The meaning of solving here means partitioning the parameter's space into semi-algebraic components over which the number of connected components of the semi-algebraic set defined by the input system is invariant. Practical experiments confirm our computer-aided proof and show that such an algorithm can already be used to analyze the kinematic singularities of the UR-series family. The number of connected components of the complementary of the kinematic singularities of generic robots in this family is $8$.
△ Less
Submitted 31 August, 2020;
originally announced August 2020.
-
Inverse Kinematics of Some General 6R/P Manipulators
Authors:
Jose Capco,
Manuel Joseph C. Loquias,
Saraleen Mae M. Manongsong,
Fidel R. Nemenzo
Abstract:
We develop an algorithm that solves the inverse kinematics of general serial 2RP3R, 2R2P2R, 3RP2R and 6R manipulators based on the HuPf algorithm. We identify the workspaces of the 3-subchains of the manipulator with a quasi-projective variety in $\mathbb{P}^7$ via dual quaternions. This allows us to compute linear forms that describe linear spaces containing the workspaces of these 3-subchains. W…
▽ More
We develop an algorithm that solves the inverse kinematics of general serial 2RP3R, 2R2P2R, 3RP2R and 6R manipulators based on the HuPf algorithm. We identify the workspaces of the 3-subchains of the manipulator with a quasi-projective variety in $\mathbb{P}^7$ via dual quaternions. This allows us to compute linear forms that describe linear spaces containing the workspaces of these 3-subchains. We present numerical examples that illustrate the algorithm and show the real solutions.
△ Less
Submitted 11 June, 2019;
originally announced June 2019.
-
Computing the number of realizations of a Laman graph
Authors:
Jose Capco,
Matteo Gallet,
Georg Grasegger,
Christoph Koutschan,
Niels Lubbes,
Josef Schicho
Abstract:
Laman graphs model planar frameworks which are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. In a recent paper we provide a recursion formula for this number of realizations using ideas from algebraic and tropical geometry. Here, we present a concise summary of this result focusing on the main id…
▽ More
Laman graphs model planar frameworks which are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. In a recent paper we provide a recursion formula for this number of realizations using ideas from algebraic and tropical geometry. Here, we present a concise summary of this result focusing on the main ideas and the combinatorial point of view.
△ Less
Submitted 11 October, 2017; v1 submitted 12 July, 2017;
originally announced July 2017.
-
The number of realizations of a Laman graph
Authors:
Jose Capco,
Matteo Gallet,
Georg Grasegger,
Christoph Koutschan,
Niels Lubbes,
Josef Schicho
Abstract:
Laman graphs model planar frameworks that are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. Such realizations can be seen as solutions of systems of quadratic equations prescribing the distances between pairs of points. Using ideas from algebraic and tropical geometry, we provide a recursive form…
▽ More
Laman graphs model planar frameworks that are rigid for a general choice of distances between the vertices. There are finitely many ways, up to isometries, to realize a Laman graph in the plane. Such realizations can be seen as solutions of systems of quadratic equations prescribing the distances between pairs of points. Using ideas from algebraic and tropical geometry, we provide a recursive formula for the number of complex solutions of such systems.
△ Less
Submitted 28 November, 2017; v1 submitted 19 January, 2017;
originally announced January 2017.