A fast branch-and-prune algorithm for the position analysis of spherical mechanisms

The final publication is available at link.springer.comDifferent branch-and-prune schemes can be found in the literature for numerically solving the position analysis of spherical mechanisms. For the prune operation, they all rely on the propagation of motion intervals. They differ in the way the problem is algebraically formulated. This paper exploits the fact that spherical kinematic loop equations can be formulated as sets of 3 multi-affine polynomials. Multi-affinity has an important impact on how the propagation of motion intervals can be performed because a multi-affine polynomial is uniquely determined by its values at the vertices of a closed hyperbox defined in its domain.Peer ReviewedPostprint (author's final draft

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

Distance geometry in active structures

The final publication is available at link.springer.comDistance constraints are an emerging formulation that offers intuitive geometrical interpretation of otherwise complex problems. The formulation can be applied in problems such as position and singularity analysis and path planning of mechanisms and structures. This paper reviews the recent advances in distance geometry, providing a unified view of these apparently disparate problems. This survey reviews algebraic and numerical techniques, and is, to the best of our knowledge, the first attempt to summarize the different approaches relating to distance-based formulations.Peer ReviewedPostprint (author's final draft

A linear relaxation technique for the position analysis of multiloop linkages

This paper presents a new method to isolate all configurations that a multiloop linkage can adopt. The problem is tackled by means of formulation and resolution techniques that fit particularly well together. The adopted formulation yields a system of simple equations (only containing linear, bilinear, and quadratic monomials, and trivial trigonometric terms for the helical pair only) whose structure is later exploited by a branch-and-prune method based on linear relaxations. The method is general, as it can be applied to linkages with single or multiple loops with arbitrary topology, involving lower pairs of any kind, and complete, as all possible solutions get accurately bounded, irrespective of whether the linkage is rigid or mobile.Peer ReviewedPostprint (published version

A linear relaxation technique for the position analysis of multi-loop linkages

This report presents a new method able to isolate all configurations that a multi-loop linkage can adopt. We tackle the problem by providing formulation and resolution techniques that fit particularly well together. The adopted formulation yields a system of simple equations (only containing linear and bilinear terms, and trivial trigonometric functions for the helical pair exclusively) whose special structure is later exploited by a branch-and-prune method based on linear relaxations. The method is general, as it can be applied to linkages with single or multiple loops with arbitrary topology, involving lower pairs of any kind, and complete, as all possible solutions get accurately bounded, irrespectively of whether the linkage is rigid or mobile

Industrial Robotics

This book covers a wide range of topics relating to advanced industrial robotics, sensors and automation technologies. Although being highly technical and complex in nature, the papers presented in this book represent some of the latest cutting edge technologies and advancements in industrial robotics technology. This book covers topics such as networking, properties of manipulators, forward and inverse robot arm kinematics, motion path-planning, machine vision and many other practical topics too numerous to list here. The authors and editor of this book wish to inspire people, especially young ones, to get involved with robotic and mechatronic engineering technology and to develop new and exciting practical applications, perhaps using the ideas and concepts presented herein

Polynomial continuation in the design of deployable structures

Polynomial continuation, a branch of numerical continuation, has been applied to several primary problems in kinematic geometry. The objective of the research presented in this document was to explore the possible extensions of the application of polynomial continuation, especially in the field of deployable structure design. The power of polynomial continuation as a design tool lies in its ability to find all solutions of a system of polynomial equations (even positive dimensional solution sets). A linkage design problem posed in polynomial form can be made to yield every possible feasible outcome, many of which may never otherwise have been found. Methods of polynomial continuation based design are illustrated here by way of various examples. In particular, the types of deployable structures which form planar rings, or frames, in their deployed configurations are used as design cases. Polynomial continuation is shown to be a powerful component of an equation-based design process. A polyhedral homotopy method, particularly suited to solving problems in kinematics, was synthesised from several researchers’ published continuation techniques, and augmented with modern, freely available mathematical computing algorithms. Special adaptations were made in the areas of level-k subface identification, lifting value balancing, and path-following. Techniques of forming closure/compatibility equations by direct use of symmetry, or by use of transfer matrices to enforce loop closure, were developed as appropriate for each example. The geometry of a plane symmetric (rectangular) 6R foldable frame was examined and classified in terms of Denavit-Hartenberg Parameters. Its design parameters were then grouped into feasible and non-feasible regions, before continuation was used as a design tool; generating the design parameters required to build a foldable frame which meets certain configurational specifications. iv Two further deployable ring/frame classes were then used as design cases: (a) rings which form (planar) regular polygons when deployed, and (b) rings which are doubly plane symmetric and planar when deployed. The governing equations used in the continuation design process are based on symmetry compatibility and transfer matrices respectively. Finally, the 6, 7 and 8-link versions of N-loops were subjected to a witness set analysis, illustrating the way in which continuation can reveal the nature of the mobility of an unknown linkage. Key features of the results are that polynomial continuation was able to provide complete sets of feasible options to a number of practical design problems, and also to reveal the nature of the mobility of a real overconstrained linkage

Proceedings of the 3rd Annual Conference on Aerospace Computational Control, volume 1

Conference topics included definition of tool requirements, advanced multibody component representation descriptions, model reduction, parallel computation, real time simulation, control design and analysis software, user interface issues, testing and verification, and applications to spacecraft, robotics, and aircraft

A New Approach to Dynamic Modeling of Continuum Robots

ABSTRACT In this thesis, a new approach for developing practically realizable dynamic models for continuum robots is proposed. Based on the new dynamic models developed, a novel technique for analyzing the capabilities of continuum manipulators to be employed in various real world applications has also been proposed and developed. A section of a continuum arm is modeled using lumped model elements (masses, springs and dampers). It is shown that this model, although an approximation to a continuum structure, can be used to conveniently analyze the dynamics of the arm with suitable tradeoff in accuracy of modeling. This relatively simple model is more plausible to implement in an actual real-time controller when compared to other techniques of modeling continuum arms. Principles of Lagrangian dynamics are used to derive the expressions for the generalized forces in the system. The force exerted by McKibben actuators at different pressure level - length pairs is characterized and is incorporated into this dynamic model. The constraints introduced in the analytical model conform to the physical and operational limitations of the Octarm VI continuum robot manipulator. The model is validated by comparing the results of numerical simulation with the physical measurements of a continuum arm prototype built using McKibben actuators. Based on the new lumped parameter dynamic model developed for continuum robots, a technique for deducing measures of manipulability, forces and impacts that can be sustained or imparted by the tip of a continuum robot has been developed. These measures are represented in the form of ellipsoids whose volume and orientation gives information about the various functional capabilities (end effector velocities, forces and impacts) of the arm at a particular configuration. The above mentioned ellipsoids are exemplified for different configurations of the continuum section arm and their physical significances are analyzed. The new techniques proposed and methodologies adopted in this thesis supported by experimental results represent a significant contribution to the field of continuum robots