A Henneberg-based algorithm for generating tree-decomposable minimally rigid graphs

In this work we describe an algorithm to generate tree-decomposable minimally rigid graphs on a given set of vertices V . The main idea is based on the well-known fact that all minimally rigid graphs, also known as Laman graphs, can be generated via Henneberg sequences. Given that not each minimally rigid graph is tree-decomposable, we identify a set of conditions on the way Henneberg steps are applied so that the resulting graph is tree-decomposable. We show that the worst case running time of the algorithm is O(|V|3).Postprint (author's final draft

Rigidity of Frameworks Supported on Surfaces

A theorem of Laman gives a combinatorial characterisation of the graphs that admit a realisation as a minimally rigid generic bar-joint framework in \bR^2. A more general theory is developed for frameworks in \bR^3 whose vertices are constrained to move on a two-dimensional smooth submanifold \M. Furthermore, when \M is a union of concentric spheres, or a union of parallel planes or a union of concentric cylinders, necessary and sufficient combinatorial conditions are obtained for the minimal rigidity of generic frameworks.Comment: Final version, 28 pages, with new figure

Distance-based formulations for the position analysis of kinematic chains

This thesis addresses the kinematic analysis of mechanisms, in particular, the position analysis of kinematic chains, or linkages, that is, mechanisms with rigid bodies (links) interconnected by kinematic pairs (joints). This problem, of completely geometrical nature, consists in finding the feasible assembly modes that a kinematic chain can adopt. An assembly mode is a possible relative transformation between the links of a kinematic chain. When an assignment of positions and orientations is made for all links with respect to a given reference frame, an assembly mode is called a configuration. The methods reported in the literature for solving the position analysis of kinematic chains can be classified as graphical, analytical, or numerical. The graphical approaches are mostly geometrical and designed to solve particular problems. The analytical and numerical methods deal, in general, with kinematic chains of any topology and translate the original geometric problem into a system of kinematic analysis of all the Assur kinematic chains resulting from replacing some of its revolute joints by slider joints. Thus, it is concluded that the polynomials of all fully-parallel planar robots can be derived directly from that of the widely known 3-RPR robot. In addition to these results, this thesis also presents an efficient procedure, based on distance and oriented area constraints, and geometrical arguments, to trace coupler curves of pin-jointed Gr¨ubler kinematic chains. All these techniques and results together are contributions to theoretical kinematics of mechanisms, robot kinematics, and distance plane geometry. equations that defines the location of each link based, mainly, on independent loop equations. In the analytical approaches, the system of kinematic equations is reduced to a polynomial, known as the characteristic polynomial of the linkage, using different elimination methods —e.g., Gr¨obner bases or resultant techniques. In the numerical approaches, the system of kinematic equations is solved using, for instance, polynomial continuation or interval-based procedures. In any case, the use of independent loop equations to solve the position analysis of kinematic chains, almost a standard in kinematics of mechanisms, has seldom been questioned despite the resulting system of kinematic equations becomes quite involved even for simple linkages. Moreover, stating the position analysis of kinematic chains directly in terms of poses, with or without using independent loop equations, introduces two major disadvantages: arbitrary reference frames has to be included, and all formulas involve translations and rotations simultaneously. This thesis departs from this standard approach by, instead of directly computing Cartesian locations, expressing the original position problem as a system of distance-based constraints that are then solved using analytical and numerical procedures adapted to their particularities. In favor of developing the basics and theory of the proposed approach, this thesis focuses on the study of the most fundamental planar kinematic chains, namely, Baranov trusses, Assur kinematic chains, and pin-jointed Gr¨ubler kinematic chains. The results obtained have shown that the novel developed techniques are promising tools for the position analysis of kinematic chains and related problems. For example, using these techniques, the characteristic polynomials of most of the cataloged Baranov trusses can be obtained without relying on variable eliminations or trigonometric substitutions and using no other tools than elementary algebra. An outcome in clear contrast with the complex variable eliminations require when independent loop equations are used to tackle the problem. The impact of the above result is actually greater because it is shown that the characteristic polynomial of a Baranov truss, derived using the proposed distance-based techniques, contains all the necessary and sufficient information for solving the positionEsta tesis aborda el problema de análisis de posición de cadenas cinemáticas, mecanismos con cuerpos rígidos (enlaces) interconectados por pares cinemáticos (articulaciones). Este problema, de naturaleza geométrica, consiste en encontrar los modos de ensamblaje factibles que una cadena cinemática puede adoptar. Un modo de ensamblaje es una transformación relativa posible entre los enlaces de una cadena cinemática. Los métodos reportados en la literatura para la solución del análisis de posición de cadenas cinemáticas se pueden clasificar como gráficos, analíticos o numéricos. Los enfoques gráficos son geométricos y se diseñan para resolver problemas particulares. Los métodos analíticos y numéricos tratan con cadenas cinemáticas de cualquier topología y traducen el problema geométrico original en un sistema de ecuaciones cinemáticas que define la ubicación de cada enlace, basado generalmente en ecuaciones de bucle independientes. En los enfoques analíticos, el sistema de ecuaciones cinemáticas se reduce a un polinomio, conocido como el polinomio característico de la cadena cinemática, utilizando diferentes métodos de eliminación. En los métodos numéricos, el sistema se resuelve utilizando, por ejemplo, la continuación polinomial o procedimientos basados en intervalos. En cualquier caso, el uso de ecuaciones de bucle independientes, un estándar en cinemática de mecanismos, rara vez ha sido cuestionado a pesar de que el sistema resultante de ecuaciones es bastante complicado, incluso para cadenas simples. Por otra parte, establecer el análisis de la posición de cadenas cinemáticas directamente en términos de poses, con o sin el uso de ecuaciones de bucle independientes, presenta dos inconvenientes: sistemas de referencia arbitrarios deben ser introducidos, y todas las fórmulas implican traslaciones y rotaciones de forma simultánea. Esta tesis se aparta de este enfoque estándar expresando el problema de posición original como un sistema de restricciones basadas en distancias, en lugar de directamente calcular posiciones cartesianas. Estas restricciones son posteriormente resueltas con procedimientos analíticos y numéricos adaptados a sus particularidades. Con el propósito de desarrollar los conceptos básicos y la teoría del enfoque propuesto, esta tesis se centra en el estudio de las cadenas cinemáticas planas más fundamentales, a saber, estructuras de Baranov, cadenas cinemáticas de Assur, y cadenas cinemáticas de Grübler. Los resultados obtenidos han demostrado que las técnicas desarrolladas son herramientas prometedoras para el análisis de posición de cadenas cinemáticas y problemas relacionados. Por ejemplo, usando dichas técnicas, los polinomios característicos de la mayoría de las estructuras de Baranov catalogadas se puede obtener sin realizar eliminaciones de variables o sustituciones trigonométricas, y utilizando solo álgebra elemental. Un resultado en claro contraste con las complejas eliminaciones de variables que se requieren cuando se utilizan ecuaciones de bucle independientes. El impacto del resultado anterior es mayor porque se demuestra que el polinomio característico de una estructura de Baranov, derivado con las técnicas propuestas, contiene toda la información necesaria y suficiente para resolver el análisis de posición de las cadenas cinemáticas de Assur que resultan de la sustitución de algunas de sus articulaciones de revolución por articulaciones prismáticas. De esta forma, se concluye que los polinomios de todos los robots planares totalmente paralelos se pueden derivar directamente del polinomio característico del conocido robot 3-RPR. Adicionalmente, se presenta un procedimiento eficaz, basado en restricciones de distancias y áreas orientadas, y argumentos geométricos, para trazar curvas de acoplador de cadenas cinemáticas de Grübler. En conjunto, todas estas técnicas y resultados constituyen contribuciones a la cinemática teórica de mecanismos, la cinemática de robots, y la geometría plana de distancias. Barcelona 13

Distance-based formulations for the position analysis of kinematic chains

Tesis presentada por Nicolás Rojas a través del programa de doctorado "Automàtica, Robòtica i Visió" y realizada en el Institut de Robòtica i Informàtica Industrial, CSIC-UPC.This thesis addresses the kinematic analysis of mechanisms, in particular, the position analysis of kinematic chains, or linkages, that is, mechanisms with rigid bodies (links) interconnected by kinematic pairs (joints). This problem, of completely geometrical nature, consists in finding the feasible assembly modes that a kinematic chain can adopt. An assembly mode is a possible relative transformation between the links of a kinematic chain. When an assignment of positions and orientations is made for all links with respect to a given reference frame, an assembly mode is called a configuration. The methods reported in the literature for solving the position analysis of kinematic chains can be classified as graphical, analytical, or numerical. The graphical approaches are mostly geometrical and designed to solve particular problems. The analytical and numerical methods deal, in general, with kinematic chains of any topology and translate the original geometric problem into a system of kinematic analysis of all the Assur kinematic chains resulting from replacing some of its revolute joints by slider joints. Thus, it is concluded that the polynomials of all fully-parallel planar robots can be derived directly from that of the widely known 3-RPR robot. In addition to these results, this thesis also presents an efficient procedure, based on distance and oriented area constraints, and geometrical arguments, to trace coupler curves of pin-jointed Gr¨ubler kinematic chains. All these techniques and results together are contributions to theoretical kinematics of mechanisms, robot kinematics, and distance plane geometry. equations that defines the location of each link based, mainly, on independent loop equations. In the analytical approaches, the system of kinematic equations is reduced to a polynomial, known as the characteristic polynomial of the linkage, using different elimination methods —e.g., Gr¨obner bases or resultant techniques. In the numerical approaches, the system of kinematic equations is solved using, for instance, polynomial continuation or interval-based procedures. In any case, the use of independent loop equations to solve the position analysis of kinematic chains, almost a standard in kinematics of mechanisms, has seldom been questioned despite the resulting system of kinematic equations becomes quite involved even for simple linkages. Moreover, stating the position analysis of kinematic chains directly in terms of poses, with or without using independent loop equations, introduces two major disadvantages: arbitrary reference frames has to be included, and all formulas involve translations and rotations simultaneously. This thesis departs from this standard approach by, instead of directly computing Cartesian locations, expressing the original position problem as a system of distance-based constraints that are then solved using analytical and numerical procedures adapted to their particularities.In favor of developing the basics and theory of the proposed approach, this thesis focuses on the study of the most fundamental planar kinematic chains, namely, Baranov trusses, Assur kinematic chains, and pin-jointed Gr¨ubler kinematic chains. The results obtained have shown that the novel developed techniques are promising tools for the position analysis of kinematic chains and related problems. For example, using these techniques, the characteristic polynomials of most of the cataloged Baranov trusses can be obtained without relying on variable eliminations or trigonometric substitutions and using no other tools than elementary algebra. An outcome in clear contrast with the complex variable eliminations require when independent loop equations are used to tackle the problem. The impact of the above result is actually greater because it is shown that the characteristic polynomial of a Baranov truss, derived using the proposed distance-based techniques, contains all the necessary and sufficient information for solving the positionMy doctoral studies and the research reported in this thesis have been partially developed under the activities of: The Catalonian Reference Network in Advanced Production Technologies (XaRTAP), and have been partially supported by: The Colombian Ministry of Communications and Colfuturo through the Information and Communications Technology (ICT) National Plan of Colombia,.Peer Reviewe

Position analysis based on multi-affine formulations

Aplicat embargament des de la data de defensa fins el 31/5/2022The position analysis problem is a fundamental issue that underlies many problems in Robotics such as the inverse kinematics of serial robots, the forward kinematics of parallel robots, the coordinated manipulation of objects, the generation of valid grasps, the constraint-based object positioning, the simultaneous localization and map building, and the analysis of complex deployable structures. It also arises in other fields, such as in computer aided design, when the location of objects in a design is given in terms of geometric constrains, or in the conformational analysis of biomolecules. The ubiquity of this problem, has motivated an intense quest for methods able of tackling it. Up to now, efficient algorithms for the general problem have remained elusive and they are only available for particular cases. Moreover, the complexity of the problem has typically led to methods difficult to be implemented. Position analysis can be decomposed into two equally important steps: obtaining a set of closure equations, and solving them. This thesis deals with both of them to obtain a general, simple, and yet efficient solution method that we call the trapezoid method. The first step is addressed relying on dual quaternions. Although it has not been properly highlighted in the past, the use of dual quaternions permits expressing the closure condition of a kinematic loop involving only lower pairs as a system of multi-affine equations. In this thesis, this property is leveraged to introduce an interval-based method specially tailored for solving multi-affine systems. The proposed method is objectively simpler (in the sense that it is easier to understand and to implement) than previous methods based on general techniques such as interval Newton methods, conversions to Bernstein basis, or linear relaxations. Moreover, it relies on two simple operations, namely, linear interpolations and projections on coordinate planes, which can be executed with a high performance. The result is a method that accurately and efficiently bounds the valid solutions of the problem at hand. To further improve the accuracy, we propose the use of redundant, multi affine equations that are derived from the minimal set of equations describing the problem. To improve the efficiency, we introduce a variable elimination methodology that preserves the multi-affinity of the system of equations. The generality and the performance of the proposed trapezoid method are extensively evaluated on different kind of mechanisms, including spherical mechanisms, generic 6R and 7R loops, over-constrained systems, and multi-loop mechanisms. The proposed method is, in all cases, significantly faster than state of the art alternatives.El problema de l'anàlisi de posició és un tema fonamental que subjau a molts problemes de la robòtica, com ara la cinemàtica inversa de robots sèrie, la cinemàtica directa de robots paral·lels, la manipulació coordinada d'objectes, la generació de prensions vàlides amb mans robòtiques, el posicionament d'objectes basat en restriccions, la localització i la creació de mapes de forma simultània, i l'anàlisi d'estructures desplegables complexes. També sorgeix en altres camps, com ara en el disseny assistit per ordinador, quan la ubicació dels objectes en un disseny es dóna en termes de restriccions geomètriques o en l'anàlisi conformacional de biomolècules. La omnipresència d'aquest problema ha motivat una intensa recerca de mètodes capaços d'afrontar-lo. Fins al moment, els algoritmes eficients per al problema general han estat esquius i només estan disponibles per a casos particulars. A més, la complexitat del problema normalment ha conduït a mètodes difícils d'implementar. L'anàlisi de posició es pot descompondre en dos passos igualment importants: l'obtenció d'un sistema d'equacions de tancament i la resolució d'aquest sistema. Aquesta tesi tracta de tots dos passos per tal d'obtenir un mètode de solució general, senzill i alhora eficient que anomenem el mètode del trapezoide. El primer pas s'aborda utilitzant quaternions duals. Tot i que no ha estat suficientment destacat en el passat, l'ús de quaternions duals permet expressar la condició de tancament d'un bucle cinemàtic que impliqui només parells inferiors com a un sistema d'equacions multi-afins. En aquesta tesi s'aprofita aquesta propietat per introduir un mètode especialment dissenyat per resoldre sistemes multi-afins. El mètode proposat és objectivament més senzill (en el sentit que és més fàcil d'entendre i d'implementar) que els mètodes anteriors que utilitzen tècniques generals com ara els mètodes de Newton basats en intervals, les conversions a la base de Bernstein o les relaxacions lineals. A més, el mètode es basa en dues operacions simples, a saber, les interpolacions lineals i les projeccions en plans de coordenades, que es poden executar de forma molt eficient. El resultat és un mètode que acota amb precisió i eficiència les solucions vàlides del problema. Per millorar encara més la precisió, proposem l'ús d'equacions multi-afins redundants derivades del conjunt mínim d'equacions que descriuen el problema. Per altra banda, per millorar l'eficiència, introduïm un metodologia d'eliminació de variables que preserva la multi-afinitat del sistema d'equacions. La generalitat i el rendiment del mètode del trapezoide s'avalua extensivament en diferents tipus de mecanismes, inclosos els mecanismes esfèrics, bucles 6R i 7R genèrics, sistemes sobre-restringits i mecanismes de múltiples bucles. El mètode proposat és, en tots els casos, significativament més ràpid que els mètodes alternatius descrits en la literatura fins al moment.Postprint (published version

The nonsolvability by radicals of generic 3-connected planar Laman graphs.

We show that planar embeddable -connected Laman graphs are generically non-soluble. A Laman graph represents a configuration of points on the Euclidean plane with just enough distance specifications between them to ensure rigidity. Formally, a Laman graph is a maximally independent graph, that is, one that satisfies the vertex-edge count together with a corresponding inequality for each subgraph. The following main theorem of the paper resolves a conjecture of Owen (1991) in the planar case. Let be a maximally independent -connected planar graph, with more than 3 vertices, together with a realisable assignment of generic distances for the edges which includes a normalised unit length (base) edge. Then, for any solution configuration for these distances on a plane, with the base edge vertices placed at rational points, not all coordinates of the vertices lie in a radical extension of the distance field