Stewart Gough platforms with linear singularity surface

Similar documents
Review and Recent Results on Stewart Gough Platforms with Self-motions

Self-motions of TSSM manipulators with two parallel rotary axes

Summer School: Mathematical Methods in Robotics

Alternative interpretation of the Plücker quadric s ambient space and its application

The Manifold of Planes that Intersect Four Straight Lines in Points of a Circle

Singularity-Invariant Leg Substitutions in Pentapods

The Manifold of Planes that Intersect Four Straight Lines in Points of a Circle

Design and Optimization of the Thigh for an Exoskeleton based on Parallel Mechanism

Algebraic Geometry of Segmentation and Tracking

LECTURE 13, THURSDAY APRIL 1, 2004

Moveability and Collision Analysis for Fully-Parallel Manipulators

LEVEL-SET METHOD FOR WORKSPACE ANALYSIS OF SERIAL MANIPULATORS

Shape Control of Cubic H-Bézier Curve by Moving Control Point

CS-9645 Introduction to Computer Vision Techniques Winter 2019

Singularity Loci of Planar Parallel Manipulators with Revolute Joints

Some algebraic geometry problems arising in the field of mechanism theory. J-P. Merlet INRIA, BP Sophia Antipolis Cedex France

On the number of distinct directions of planes determined by n points in R 3

Connected Components of Underlying Graphs of Halving Lines

Interpretations and Models. Chapter Axiomatic Systems and Incidence Geometry

90 C. R. WYLIE, JR. [February,

Geometric approximation of curves and singularities of secant maps Ghosh, Sunayana

Simplified Voronoi diagrams for motion planning of quadratically-solvable Gough-Stewart platforms

Changing Assembly Modes without Passing Parallel Singularities in Non-Cuspidal 3-RPR Planar Parallel Robots

Projective spaces and Bézout s theorem

Chapter 2. Splitting Operation and n-connected Matroids. 2.1 Introduction

Generalized Stewart Platforms and their Direct Kinematics 1)

Multiple View Geometry in Computer Vision

Kinematics of the Stewart Platform (Reality Check 1: page 67)

spline structure and become polynomials on cells without collinear edges. Results of this kind follow from the intrinsic supersmoothness of bivariate

Transformations and Isometries

A Reduction of Conway s Thrackle Conjecture

Lecture 15: The subspace topology, Closed sets

We have set up our axioms to deal with the geometry of space but have not yet developed these ideas much. Let s redress that imbalance.

MAT 3271: Selected Solutions to the Assignment 6

Open Research Online The Open University s repository of research publications and other research outputs

arxiv: v2 [math.dg] 16 Oct 2014

Translations. Geometric Image Transformations. Two-Dimensional Geometric Transforms. Groups and Composition

Optimal Design of a 6-DOF 4-4 Parallel Manipulator with Uncoupled Singularities

TENTH WORLD CONGRESS ON THE THEORY OF MACHINE AND MECHANISMS Oulu, Finland, June 20-24, 1999 Finding Innitesimal Motions of Objects in Assemblies Usin

EXTREME POINTS AND AFFINE EQUIVALENCE

Unlabeled equivalence for matroids representable over finite fields

Technische Universität München Zentrum Mathematik

Camera Calibration Using Line Correspondences

On the Dimension of the Bivariate Spline Space S 1 3( )

MOTION OF A LINE SEGMENT WHOSE ENDPOINT PATHS HAVE EQUAL ARC LENGTH. Anton GFRERRER 1 1 University of Technology, Graz, Austria

Technische Universität München Zentrum Mathematik

Optimizations and Lagrange Multiplier Method

Introduction to Graph Theory

SIMULATION ENVIRONMENT PROPOSAL, ANALYSIS AND CONTROL OF A STEWART PLATFORM MANIPULATOR

1. Introduction 1 2. Mathematical Representation of Robots

Introduction to Modern Control Systems

3/12/2009 Advanced Topics in Robotics and Mechanism Synthesis Term Projects

ADDITION LAW ON ELLIPTIC CURVES

A Transformation Based on the Cubic Parabola y = x 3

Math 777 Graph Theory, Spring, 2006 Lecture Note 1 Planar graphs Week 1 Weak 2

Mechanism and Robot Kinematics, Part I: Algebraic Foundations

Which n-venn diagrams can be drawn with convex k-gons?

Table of Contents. Chapter 1. Modeling and Identification of Serial Robots... 1 Wisama KHALIL and Etienne DOMBRE

THE Stewart Gough platform (SP), originated from the

On median graphs and median grid graphs

Using Redundancy in Serial Planar Mechanisms to Improve Output-Space Tracking Accuracy

Triple lines on curves

Envelopes Computational Theory and Applications

K 4,4 e Has No Finite Planar Cover

Auto-calibration. Computer Vision II CSE 252B

Prof. Fanny Ficuciello Robotics for Bioengineering Visual Servoing

On the Relationships between Zero Forcing Numbers and Certain Graph Coverings

Surfaces with rational chord length parameterization

Chapter 15 Introduction to Linear Programming

Spline Curves. Spline Curves. Prof. Dr. Hans Hagen Algorithmic Geometry WS 2013/2014 1

GRAPHS WITH 1-FACTORS

Graphical Singularity Analysis of Planar Parallel Manipulators

THE COMPUTER MODELLING OF GLUING FLAT IMAGES ALGORITHMS. Alekseí Yu. Chekunov. 1. Introduction

STANLEY S SIMPLICIAL POSET CONJECTURE, AFTER M. MASUDA

Chapter 6. Curves and Surfaces. 6.1 Graphs as Surfaces

FOUR EDGE-INDEPENDENT SPANNING TREES 1

Robot Vision: Projective Geometry

A DH-parameter based condition for 3R orthogonal manipulators to have 4 distinct inverse kinematic solutions

Geometric Approach For Inverse Kinematics Solution: 3-PSU Parallel Kinematic Manipulator

Triangle Graphs and Simple Trapezoid Graphs

2 Solution of Homework

SUBDIVISION ALGORITHMS FOR MOTION DESIGN BASED ON HOMOLOGOUS POINTS

Camera Calibration from the Quasi-affine Invariance of Two Parallel Circles

DISTANCE CONSTRAINTS SOLVED GEOMETRICALLY

The end of affine cameras

Rigid Dynamics Solution Methodology for 3-PSU Parallel Kinematic Manipulators

Linear Systems of Conics

Isoparametric Curve of Quadratic F-Bézier Curve

CREPANT RESOLUTIONS OF GORENSTEIN TORIC SINGULARITIES AND UPPER BOUND THEOREM. Dimitrios I. Dais

Test 1, Spring 2013 ( Solutions): Provided by Jeff Collins and Anil Patel. 1. Axioms for a finite AFFINE plane of order n.

KINEMATIC IDENTIFICATION OF PARALLEL MECHANISMS BY A DIVIDE AND CONQUER STRATEGY

RATIONAL CURVES ON SMOOTH CUBIC HYPERSURFACES. Contents 1. Introduction 1 2. The proof of Theorem References 9

On the Epipolar Geometry of the Crossed-Slits Projection

to be known. Let i be the leg lengths (the distance between A i and B i ), X a 6-dimensional vector dening the pose of the end-eector: the three rst c

Special Quartics with Triple Points

Convex Optimization - Chapter 1-2. Xiangru Lian August 28, 2015

Kinematics and synthesis of cams-coupled parallel robots

A geometric non-existence proof of an extremal additive code

2.1 Angles, Lines and Parallels & 2.2 Congruent Triangles and Pasch s Axiom

THE COMPUTER MODELLING OF GLUING FLAT IMAGES ALGORITHMS. Alekseí Yu. Chekunov. 1. Introduction

Transcription:

Stewart Gough platforms with linear singularity surface Georg Nawratil Institute of Discrete Mathematics and Geometry Differential Geometry and Geometric Structures 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery

Table of contents [1] Introduction [2] Review and related work [3] Planar SG platforms [4] Non-planar SG platforms [5] Main theorem [6] Conclusion [7] References 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 1

[1] Singular configurations of SGPs The geometry of a Stewart Gough Platform (SGP) is given by the six base anchor points M i := (A i, B i, C i ) T in the fixed space Σ 0 and by the six platform anchor points m i := (a i, b i, c i ) T in the moving space Σ. Σ m i Theorem Merlet [1992] A SGP is singular iff the carrier lines L i of L i the six legs belong to a linear line complex. Σ 0 M i Σ 0 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 2

[1] Analytical condition Plücker coordinates of L i can be written as (l i, l i ) := (R m i + t HM i,m i l i ) with R := (r ij ) = e2 0 + e 2 1 e 2 2 e 2 3 2(e 1 e 2 + e 0 e 3 ) 2(e 1 e 3 e 0 e 2 ) 2(e 1 e 2 e 0 e 3 ) e 2 0 e 2 1 + e 2 2 e 2 3 2(e 2 e 3 + e 0 e 1 ), 2(e 1 e 3 + e 0 e 2 ) 2(e 2 e 3 e 0 e 1 ) e 2 0 e 2 1 e 2 2 + e 2 3 t := (t 1,t 2, t 3 ) T and the homogenizing factor H := e 2 0 + e 2 1 + e 2 2 + e 2 3. L i belong to a linear line complex Q := det(q) = 0 with Q := b l1 l 1...... l 6 b l6 Notation: We denote the coefficients of t i 1t j 2 tk 3 of Q by Q ijk. 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 3

[1] Motivation For designer, it is desirable to have a graphical representation of the singularity set of SGPs, because it simplifies the identification of the singular loci within the given workspace. But only the visualization of the singularity surface in 3-dim subspaces make sense. Usually one fixes the orientational part = Singularity surface is cubic in t 1,t 2, t 3. The drawback of cubic surfaces is that they can have very complicated shapes (see figure). = We look for SGPs with a simple singularity surface for any orientation of the platform. 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 4

[2] Review and related work The best, one can think of, are SGPs with a cylindrical singularity surface: The manipulators singularity set is for any orientation of the platform a cylindrical surface with rulings parallel to a given fixed direction p in the space of translations. M 5 M 3 M 1 M 5 m 1 m 2 m 5 m 2 m 1 m 5 m 6 M 6 M 1M2 m 6 m 3 m 4 M 3 M 4 m 3 M 6 M 4 M 2 m 4 Projection direction is p. 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 5

[2] Review and related work Unfortunately, the set of SGPs with a cylindrical singularity surface has only a very limited variety as there are only two such manipulator designs (cf.nawratil [2009]). Karger [2006] suggested SGPs with a quadratic singularity surface. They have following advantages: all types of quadrics have well known and rather simple shapes, it is easier to obtain closed form information about singular positions, the computations of singularity free zones for a fixed orientation reduces to the minimization of a quadratic function under a quadratic constraint. m 5 m 6 m 1 m m 3 2 m 4 M 5 M 6 M 1 M2 M 3 M 4 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 6

[2] Review and related work Theorem Nawratil [2010] A non-architecturally singular SGP possesses a non-cubic (i.e. linear or quadratic) singularity surface if and only if rk(m) < 5 holds with M = 1 a 1 b 1 c 1 A 1 B 1 C 1........ 1 a 6 b 6 c 6 A 6 B 6 C 6 This theorem has the following geometric interpretation: Theorem Nawratil [2010] A non-architecturally singular SGP possesses a non-cubic singularity surface iff there exists a affine correspondence between the platform and the base or the SGP has a planar platform and base with rk(m) = 4. 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 7

[3] Planar SG platforms Theorem A non-architecturally singular SG platform with planar platform and base possesses a linear singularity surface if and only if there exists a affinity between corresponding anchor points. Karger [2006] demonstrated that SGPs with affine equivalent platform and base possess this property. The proof that no other exists, splits up into two cases: Proof: No four anchor points are collinear W.l.o.g. we can choose coordinate systems such that A 1 = B 1 = B 2 = a 1 = b 1 = b 2 = 0 and c i = C i = 0 for i = 1,...,6 hold. Moreover due to Karger [2003] a 2 A 2 B 3 B 4 B 5 (a 3 a 4 )(b 3 b 4 )coll(m 3,m 4,m 5 ) 0 holds, where coll(x, y, z) = 0 denotes the collinearity condition of the points x,y, z. 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 8

[3] Planar SG platforms We can apply the elementary matrix manipulations of Karger [2003] to Q = (l 6, l 6 ) = (v 1,v 2, v 3,0, w 3, w 2 ) with v i = r i1 K 1 + r i2 K 2, w j = r j1 K 3 + r j2 K 4, K 1 := A,B,Ba,Bb,a X 2 y 2 X 2 y 2 K 2 := A,B,Ba,Bb,b and X = X 3 K 3 := A,B,Ba,Bb,Aa., y = y 3., Xy = X 3 y 3.. K 4 := A,B,Ba,Bb,Ab X 6 y 6 X 6 y 6 Eqs. (12) and (13) of Nawratil [2008] imply K 1 = K 2 = 0. Then we consider: Q 200 = a 2 A 2 r 13 (r 31 K 3 + r 32 K 4 )F[24], Q 020 = A 2 r 23 (r 31 K 3 + r 32 K 4 )G[48]. K 3 = K 4 = 0: architecture singularity, F = G = 0: SGP is affinely related. 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 9

[3] Planar SG platforms Proof: Four anchor points are collinear W.l.o.g. we can set A 1 = B 1 = B 2 = B 3 = B 4 = a 1 = b 1 = b 2 = 0. We compute all non-architecturally singular SGPs with 4 collinear anchor points and rk(m) = 4: a) b 3 = b 4 = 0 and b 5 = b 6 B 5 /B 6, b) A 4 = b 4(a 2 A 3 a 3 A 2 )+a 4 b 3 A 2 a 2 b 3 and A 5 = a 2b 3 A 6 B 5 +A 2 B 6 (a 5 b 3 a 3 b 5 ) A 2 B 5 (a 6 b 3 a 3 b 6 )+a 2 A 3 (b 5 B 6 b 6 B 5 ) a 2 b 3 B 6. In both cases the Q ijk s with i + j + k = 2 cannot vanish w.c. (cf. paper). Remark 1. In this case we only end up with contradictions as the legs through the 4 collinear anchor points always belong to a regulus if the SGP is affinely related. 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 10

[4] Non-planar SG platforms Lemma 1. A non-planar SGP with a linear singularity surface has to have 3 collinear points. Proof: Karger [2003] proved in Theorem 1 that a non-planar architecturally singular SGP has to have 3 collinear points. He only used coefficients of Q ijk with i + j + k > 1 for the proof of this theorem and therefore Lemma 1 is valid. Lemma 2. A non-planar SGP with a linear singularity surface has to have 4 collinear points. Proof: Karger [2003] proved in Theorem 2 that a non-planar architecturally singular SGP has to have 4 collinear points. In his proof he only used in one case the coefficients of Q 100 = 0 otherwise coefficients of Q ijk with i + j + k > 1. In the presented paper it is shown that also in this exceptional case the contradiction can be concluded from coefficients of Q ijk with i + j + k > 1. 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 11

[4] Non-planar SG platforms Theorem There do not exist non-planar SGPs with a linear singularity surface. W.l.o.g. can choose coordinate systems in the platform and base such that A 1 = B 1 = B 2 = a 1 = b 1 = b 2 = C 1 = C 2 = C 3 = c 1 = c 2 = c 3 = 0 hold. W.l.o.g. we can assume that M 1, M 2, M 3,M 4 are not coplanar, i.e. A 2 B 3 C 4 0. Moreover we know that there exists a affinity κ between corresponding anchor points. κ is given by M i m i for i = 1,...,4. Due to Lemma 2 there also exist 4 collinear anchor points. If these 4 points are base anchor points then SGP is architecturally singular (cf. remark 1). Therefore κ has to be a singular affinity with 4 collinear platform anchor points. 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 12

[4] Non-planar SG platforms W.l.o.g. we can assume that the planar platform lies in the xy-plane; i.e. c 4 = 0. Moreover we can assume that 3 anchor points from m 1,...,m 4 are not collinear. W.l.o.g. we can assume that these anchor points are m 1, m 2, m 4, i.e. a 2 b 4 0. Now we are left with the following 3 possibilities: a. m i, m j, m 5, m 6 collinear b. m i, m j,m 3,m k collinear with i, j {1, 2, 4}, i j and k {5,6}. c. m i,m 3,m 5,m 6 collinear A detailed case study (see presented paper) shows that these 3 cases only yield contradictions. Therefore the theorem is proven. 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 13

[5] Main theorem Main theorem on SGPs with a linear singularity surface A SGP has a linear singularity surface iff the platform and base are planar and affine equivalent and neither the base nor platform anchor points lie on a conic section. Proof: There exists a regular affinity κ between corresponding anchor points. W.l.o.g. we can choose coordinate systems in the platform and the base such that A 1 = B 1 = B 2 = a 1 = b 1 = b 2 = 0 and c i = C i = 0 for i = 1,...,6 hold. Moreover we can assume that the anchor points M 1,M 2, M 3 are not collinear. Therefore κ is determined by M i m i for i = 1,2, 3 = Q = a 2 b 3 HW 1 W 2 W 3 : W 1 [48]= 0 Six base points lie on a conic (architecture singularity). W 2 [12] is independent of t i and cannot vanish for all poses of the platform. W 3 [32] is linear in t i and cannot vanish for all poses of the platform. 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 14

[5] Remarks Remark 2. Karger [2002] showed that planar SGPs with affinely equivalent platform and base have selfmotions only if they are architecturally singular. Such SGPs only have translatory self-motions (cf. figures from Karger [2001]). Remark 3. The radius of the largest singularity free sphere in the space of translations (for a fixed orientation) can be given explicitly (via the Hessian normal form of the plane W 3 = 0) for all SGPs with a linear singularity surface. 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 15

[6] Conclusion Based on the set of SGPs with a non-cubic singularity surface (cf. Nawratil [2010]) we determined all SGPs with a linear singularity surface. Main theorem on SGPs with a linear singularity surface A SGP has a linear singularity surface iff the platform and base are planar and affine equivalent and neither the base nor platform anchor points lie on a conic section. As a side product of this main theorem and the results of Nawratil [2010] we can also characterize all SGPs with a quadratic singularity surface: Corollary A non-architecturally singular SGP has a quadratic singularity surface if and only if the manipulator is planar and rk(m) = 4 holds or if the manipulator is non-planar and there is a (regular or singular) affinity between corresponding anchor points. 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 16

[7] References Karger A. [2001] Singularities and self-motions of equiform platforms, Mechanism and Machine Theory 36 (7) 801 815. Karger A. [2002] Singularities and self-motions of a special type of platforms, Advances in Robot Kinematics: Theory and Applications (J. Lenarcic, F. Thomas eds.), 155 164. Karger A. [2003] Architecture singular planar parallel manipulators, Mechanism and Machine Theory 38 (11) 1149 1164. Karger A. [2006] Stewart-Gough platforms with simple singularity surface, Advances in Robot Kinematics: Mechanisms and Motion (J. Lenarcic, B. Roth eds.), 247 254. Merlet J.-P. [1992] Singular Configurations of Parallel Manipulators and Grassmann Geometry, International Journal of Robotics Research 8 (5) 45 56. Nawratil G. [2008] Results on planar parallel manipulators with cylindrical singularity surface, Advances in Robot Kinematics: Analysis and Design (J. Lenarcic, P. Wenger eds.), 321 330. Nawratil G. [2009] All planar parallel manipulators with cylindrical singularity surface, Mechanism and Machine Theory 44 (12) 2179 2186. Nawratil G. [2010] Stewart Gough platforms with non-cubic singularity surface, Technical Report No. 204, Geometry Preprint Series, Vienna University of Technology. 19th IEEE International Workshop on Robotics in Alpe-Adria-Danube Region, Budapest June 23-25 2010, Hungery 17