Using computer algebra tools to classify serial manipulators

Solen Corvez 1 Fabrice Rouillier 1, 2
1 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 CALFOR - Calcul formel
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : In this paper we present a classification of 3-revolute-jointed manipulators based on the cuspidal behaviour. It was shown in a previous work [16] that this ability to change posture without meeting a singularity is equivalent to the existence of a point in the workspace, such that a polynomial of degree four depending on the parameters of the manipulator and on the cartesian coordinates of the effector has a triple root. More precisely, from a partition of the parameters’space, such that in any connected component of this partition the number of triple roots is constant, we need to compute one sample point by cell, in order to have a full description, in terms of cuspidality, of the different possible configurations. This kind of work can be divided into two parts. First of all, thanks to Groebner Bases computations, the goal is to obtain an algebraic set in the parameters’space describing the cuspidality behavior and then to compute a CAD adapted to this set. In order to simplify the problem, we use strongly the fact that a manipulator cannot be constructed with exact parameters, in other words, we are just interested in the generic solutions of our problem. This consideration leads us to work with triangular sets rather than with the global Groebner Bases and to adapt the CAD of Collins as we will just take care of the cells of maximal dimension.
Type de document :
Communication dans un congrès
Fourth International Workshop on Automated Deduction in Geometry - ADG 2002, Sep 2002, Hagenberg, Austria. Springer, 2930, pp.31-43, 2002, Lecture Notes in Computer Science. 〈10.1007/978-3-540-24616-9_3〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00100987
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:53:20
Dernière modification le : mercredi 21 mars 2018 - 18:58:14

Identifiants

Collections

Citation

Solen Corvez, Fabrice Rouillier. Using computer algebra tools to classify serial manipulators. Fourth International Workshop on Automated Deduction in Geometry - ADG 2002, Sep 2002, Hagenberg, Austria. Springer, 2930, pp.31-43, 2002, Lecture Notes in Computer Science. 〈10.1007/978-3-540-24616-9_3〉. 〈inria-00100987〉

Partager

Métriques

Consultations de la notice

166