Basilio Bona ROBOTICA 03CFIOR 1

Similar documents
Kinematics and kinematic functions

Kinematics and kinematic functions

ROBOTICS 01PEEQW. Basilio Bona DAUIN Politecnico di Torino

The motions of the celt on a horizontal plane with viscous friction

Robotics I. April 11, The kinematics of a 3R spatial robot is specified by the Denavit-Hartenberg parameters in Tab. 1.

Trajectory planning in Cartesian space

Chapter 2. First Order Scalar Equations

From Particles to Rigid Bodies

Lecture 2-1 Kinematics in One Dimension Displacement, Velocity and Acceleration Everything in the world is moving. Nothing stays still.

Solutions from Chapter 9.1 and 9.2

Let us start with a two dimensional case. We consider a vector ( x,

Hamilton- J acobi Equation: Explicit Formulas In this lecture we try to apply the method of characteristics to the Hamilton-Jacobi equation: u t

Math Week 14 April 16-20: sections first order systems of linear differential equations; 7.4 mass-spring systems.

Physics 235 Chapter 2. Chapter 2 Newtonian Mechanics Single Particle

EXPLICIT TIME INTEGRATORS FOR NONLINEAR DYNAMICS DERIVED FROM THE MIDPOINT RULE

2. Nonlinear Conservation Law Equations

Elements of Computer Graphics

THE 2-BODY PROBLEM. FIGURE 1. A pair of ellipses sharing a common focus. (c,b) c+a ROBERT J. VANDERBEI

Announcements: Warm-up Exercise:

Math Final Exam Solutions

10. State Space Methods

Two Coupled Oscillators / Normal Modes

3, so θ = arccos

Non-uniform circular motion *

System of Linear Differential Equations

8. Basic RL and RC Circuits

Some Basic Information about M-S-D Systems

KINEMATICS IN ONE DIMENSION

Traveling Waves. Chapter Introduction

Matlab and Python programming: how to get started

!!"#"$%&#'()!"#&'(*%)+,&',-)./0)1-*23)

t is a basis for the solution space to this system, then the matrix having these solutions as columns, t x 1 t, x 2 t,... x n t x 2 t...

Comparison between the Discrete and Continuous Time Models

Continuous Time. Time-Domain System Analysis. Impulse Response. Impulse Response. Impulse Response. Impulse Response. ( t) + b 0.

Chapter 3 Boundary Value Problem

Chapter 6. Systems of First Order Linear Differential Equations

Week 1 Lecture 2 Problems 2, 5. What if something oscillates with no obvious spring? What is ω? (problem set problem)

Ordinary Differential Equations

EXERCISES FOR SECTION 1.5

WEEK-3 Recitation PHYS 131. of the projectile s velocity remains constant throughout the motion, since the acceleration a x

15. Vector Valued Functions

Lecture 20: Riccati Equations and Least Squares Feedback Control

HOMEWORK # 2: MATH 211, SPRING Note: This is the last solution set where I will describe the MATLAB I used to make my pictures.

ODEs II, Lecture 1: Homogeneous Linear Systems - I. Mike Raugh 1. March 8, 2004

Distance Between Two Ellipses in 3D

Class Meeting # 10: Introduction to the Wave Equation

ME 391 Mechanical Engineering Analysis

Lab #2: Kinematics in 1-Dimension

( ) ( ) if t = t. It must satisfy the identity. So, bulkiness of the unit impulse (hyper)function is equal to 1. The defining characteristic is

Structural Dynamics and Earthquake Engineering

Ordinary dierential equations

23.2. Representing Periodic Functions by Fourier Series. Introduction. Prerequisites. Learning Outcomes

Phys 221 Fall Chapter 2. Motion in One Dimension. 2014, 2005 A. Dzyubenko Brooks/Cole

Solutions of Sample Problems for Third In-Class Exam Math 246, Spring 2011, Professor David Levermore

1. VELOCITY AND ACCELERATION

Differential Equations

R t. C t P t. + u t. C t = αp t + βr t + v t. + β + w t

Section 3.5 Nonhomogeneous Equations; Method of Undetermined Coefficients

Finite Element Analysis of Structures

Kinematics Vocabulary. Kinematics and One Dimensional Motion. Position. Coordinate System in One Dimension. Kinema means movement 8.

Starting from a familiar curve

Inventory Analysis and Management. Multi-Period Stochastic Models: Optimality of (s, S) Policy for K-Convex Objective Functions

An introduction to the theory of SDDP algorithm

Final Spring 2007

The Contradiction within Equations of Motion with Constant Acceleration

Concourse Math Spring 2012 Worked Examples: Matrix Methods for Solving Systems of 1st Order Linear Differential Equations

dt = C exp (3 ln t 4 ). t 4 W = C exp ( ln(4 t) 3) = C(4 t) 3.

where the coordinate X (t) describes the system motion. X has its origin at the system static equilibrium position (SEP).

STATE-SPACE MODELLING. A mass balance across the tank gives:

SMT 2014 Calculus Test Solutions February 15, 2014 = 3 5 = 15.

Electrical and current self-induction

2.3 SCHRÖDINGER AND HEISENBERG REPRESENTATIONS

Simulation-Solving Dynamic Models ABE 5646 Week 2, Spring 2010

Welcome Back to Physics 215!

Math 334 Fall 2011 Homework 11 Solutions

IB Physics Kinematics Worksheet

3.1.3 INTRODUCTION TO DYNAMIC OPTIMIZATION: DISCRETE TIME PROBLEMS. A. The Hamiltonian and First-Order Conditions in a Finite Time Horizon

Module 2 F c i k c s la l w a s o s f dif di fusi s o i n

In this chapter the model of free motion under gravity is extended to objects projected at an angle. When you have completed it, you should

An Introduction to Malliavin calculus and its applications

Estimation of Poses with Particle Filters

ECE 2100 Circuit Analysis

Notes on Kalman Filtering

Lecture 4 Kinetics of a particle Part 3: Impulse and Momentum

Single and Double Pendulum Models

DIFFERENTIAL GEOMETRY HW 5

SUMMARY. CS380: Introduction to Computer Graphics Quaternions Chapter 7. Min H. Kim KAIST School of Computing 18/04/06.

SUPPLEMENTARY INFORMATION

After the completion of this section the student. Theory of Linear Systems of ODEs. Autonomous Systems. Review Questions and Exercises

Guest Lectures for Dr. MacFarlane s EE3350 Part Deux

LAPLACE TRANSFORM AND TRANSFER FUNCTION

A NOTE ON THE STRUCTURE OF BILATTICES. A. Avron. School of Mathematical Sciences. Sackler Faculty of Exact Sciences. Tel Aviv University

INTEGRAL EQUATION FOR THE TRANSITION DENSITY OF THE MULTIDIMENSIONAL MARKOV RANDOM FLIGHT

Linear Response Theory: The connection between QFT and experiments

Chapter Q1. We need to understand Classical wave first. 3/28/2004 H133 Spring

4.1.1 Mindlin plates: Bending theory and variational formulation

EE 315 Notes. Gürdal Arslan CLASS 1. (Sections ) What is a signal?

CHAPTER 12 DIRECT CURRENT CIRCUITS

BEng (Hons) Telecommunications. Examinations for / Semester 2

k 1 k 2 x (1) x 2 = k 1 x 1 = k 2 k 1 +k 2 x (2) x k series x (3) k 2 x 2 = k 1 k 2 = k 1+k 2 = 1 k k 2 k series

Transcription:

Indusrial Robos Kinemaics 1

Kinemaics and kinemaic funcions Kinemaics deals wih he sudy of four funcions (called kinemaic funcions or KFs) ha mahemaically ransform join variables ino caresian variables and vice versa 1. Direc Posiion KF: from join space variables o ask space pose 2. Inverse Posiion KF: from ask space pose o join space variables 3. Direc Velociy KF: from join space velociies o ask space velociies 4. InverseVelociyKF: fromaskspace space velociiesojoino space velociies 2

Kinemaic funcions Posiions and velociies of wha? I can be he posiion or velociy of any poin of he robo, bu, usually, is he TCP posiion and velociy TCP R P BASE R 0? Wha is he relaion beween hese wo RF? 3

Kinemaic funcions The firs sep for defining KFs is o fix a reference frame on each robo arm In general, o move from a RF o he following one, i is necessary o define 6 parameers (hree ranslaions of he RF origin + hree angles of he RF roaion) A number of convenions were inroduced o reduce he number of parameers and o find a common way o describe he relaive posiion of reference frames Denavi Harenberg convenions (1955) were he firs o be inroduced and are widely used in indusry (wih some minor modificaions) 4

How o define he robo reference frames? A RF is posiioned on each link/arm, using he so called Denavi Harenberg (DH) convenions The convenion defines dfi only 4 DOF beween wo successive RF, insead of he usual 6 Joins can be prismaic (P) or roaional (R); he convenion is always valid 2 parameers are associaed o a ranslaion, 2 parameers are associaed o a roaion Three ou of four parameers depend only on he robo geomery and herefore are consan in ime One depends on he relaive moion beween wo successive links, and herefore is a funcion of ime. We call his he i h join variable q () i 5

DH convenion 1 Assume a conneced mulibody sysem wih n rigid links The links may no be necessarily symmeric Each link is conneced o wo joins, one upsream (oward he base), one downsream (oward he TCP) We wan o locae a RF on his arm link Upsream join Downsream join 6

DH convenion 2 Join 5 Join 4 Link 3 Join 6 Join 3 Link 2 Wris Link 1 Join 2 Shoulder b = i g = i arm/link join Link 0 = base Join 1 7

DH convenion 3 We use he erm moion axis o include boh revolue and prismaic axes Moion axis g i Moion axis bi g i + 1 b i+1 + 1 g Moion axis g i + 2 bi 1 b i+ 2 Base We have his sequence b g b g b g b 0 1 1 2 2 3 N TCP 8

DH convenion 4 9

DH convenion 5 Moion axis Moion axis Moion axis 10

DH convenion 6 Moion axis Moion axis Moion axis 11

DH convenion 7 Moion axis Moion axis Moion axis 12

DH convenion 8 Moion axis Moion axis Moion axis 13

DH convenion 9 Moion axis Moion axis Moion axis 14

DH convenion 10 Moion axis Moion axis Moion axis 15

DH rules 1 16

DH rules 2 17

DH rules 3 18

DH parameers DH parameers define he ransformaion Ri 1 Ri Depending on he join ype g i Prismaic join q () i Roaion join d ( ) q () θ ( ) Join variables i θ, a, α = fixed d, a, α = i i i i i i fissi Geomerical parameers calibraion i i 19

DH homogeneous roo ranslaion marix R T T R T 0 1 = T ( R, ) = T T i i cos θ sin θ cos α sin θ sin α a cos θ i i i i i i i sin θ cos θ cos α cos θ sin α a sin θ 1 i i i i i i i = 0 sinα cosα d i i i 0 0 0 1 T T ( I, d ) T ( R, 0) T( I, at ) ( R, 0) i 1 = i k, θ i, α 20

From he exbook of Spong... Mark W. Spong, Seh Huchinson, and M. Vidyasagar Robo Modeling and Conrol John Wiley & Sons, 2006 21

From he exbook of Spong... 22

From he exbook of Spong... 23

From he exbook of Spong... 24

From he exbook of Spong... 25

Exercise The PUMA robo 2 4 2 1 3 From above 5 6 1 3 2 3 4 5 6 1 4 5 6 Laeral view 26

A procedure o compue he KFs 1 1. Selec and idenify links and joins 2. Se all RFs using he DH convenions 3. Define he consan geomerical parameers 4. Dfi Define he variable ibl join parameers 5. Compue he homogeneous ransformaion beween he base RF and he TCP RF 6. Exrac he direc posiion KF from he homogeneous ransformaion 7. Compueheinverse he posiion KF 8. Inverse velociy KF: analyical or geomerical approach 9. Inverse velociy KF: kinemaic i singulariy i problem 27

A procedure o compue he KFs 2 1. Selec and idenify links and joins 2. Se all RFs using DH convenions 3. Dfi Define consan geomerical parameers q () 4 q () 5 q () 2 q () 6 q () 1 R P TCP BASE R 0 0 T P 0 0 0 T () q = R R () q () q P P P T 0 1 28

Join and caresian variables Join variables Task/caresian variables/pose q 1() x 1() q2() x 2() q3() x 3() q() = q4() p() = α1() q5() α 2() q6() α3() posiion orienaion Direc KF Inverse KF 1 p() = f ( q () ) q() = f ( p() ) 29

Direc posiion KF 1 q1() p1() q 2() p2() q ( ()) 3() p3() x q q() = ( ()) = = p q q 4() p4() q ( ()) 5() p5() α q q6() p6() posiion orienaion 0 0 0 0 1 2 3 4 5 6 P P P 1 ( q1) 2 ( q2) 3 ( q3) 4 ( q4) 5 ( q5) 6 ( q6) R T = T T T T T T T P = 1 0 T orienaion posiion 0 0 0 0 R = R ( q () ) = ( q () ) P P P P 30

Direc posiion KF 2 T 0 P 0 0 RP P = 0 T 1 Direc caresian posiion KF: easy x x 1 1 x 0 2 P 2 x 3 3 Direc caresian orienaion KF: no so easy o compue, bu no difficul We will solve he problem in he following slides 31

Direc posiion KF 3 ( () ) α( q() ) Rq We wan o compue angles from he roaion marix. Bu i is imporan o decide which represenaion o use α ( q() )? Euler angles RPY angles Quaernions Axis angle represenaion 32

Inverse posiion KF 1 q () 1 q () ( ) 2 () x q q () 3 pq ( ( )) = = q( ) q () α ( ) 4 () q q () 5 This KF is imporan, since conrol acion are applied o he join moors, while he user wans o work wih q () 6 caresian posiions and orienaions q () 3 q () 1 q () 2 ( () ) x q α( q() ) 33

Inverse posiion KF 2 1. The problem is complex and here is no clear recipe o solve i 2. If a spherical wris is presen, hen a soluion is guaraneed, bu we mus find i... 3. There are several possibiliies Use brue force or previous soluions found for similar chains Use inverse velociy KF Usesymbolicmanipulaion symbolic manipulaion programs (compuer algebra sysems as Mahemaica, Maple, Maxima,, Lisp) Ieraively compue an approximaed numerical expression for he nonlinear equaion (Newon mehod or ohers) ( ) 1 ( ) { 1 q() f ( p() ) } q f p 1 () = () q() f p() = 0 min () () 34

Direc velociy KF 1 Linear and angular direc velociy KF Non redundan robo wih 6 DOF q () p () 1 1 q () p () 2 2 (), () x q q q () p () 3 3 q () = () q () p = p () = 4 4 (), () q q q () p () 5 5 q () p () 6 6 ( ) Linear velociy ( (), () ) vq q = (), () ω q q α ( ) ( ) Angular velociy 35

Direc velociy KF 2 A bi brief review of mahemaical i noaions i General rule d pq (()) d d ( () ) x q d = d ( () ) α q d d d f ( q () ) = f ( q (),, q (),, q () ) i i 1 j n d d f i f i f i = q () + + q () + + q () 1 j n q q q 1 j n 36

Direc velociy KF 3 q () 1 d f f f ( ()) i i i f q () T q = ( () ) () i = j fi J q q d q q q 1 j n q () n f f f 1 1 1 q q q 1 j n q () 1 JACOBIAN d ( ) f f f i i i f q() = q () ( () ) () j d = q q q J q q 1 j n q () n f f f m m m q q q 1 j n 37

Furher noes on he Jacobians Velociykinemaics is characerizedby Jacobians There are wo ypes of Jacobians: Geomerical Jacobian Analyical ljacobian J g J a ( ) p () = J q() q () also called Task Jacobian The firs one is relaed o Geomerical Velociies v p x = = ω J q g The second one is relaed o Analyical Velociies p x = = α α J q a 38

Geomerical and Analyical velociies Wha is he difference beween hese wo angular velociies? On he conrary, linear velociies do no have his problem: analyical and geomerical velociies are he same vecor, ha can be inegraed o give he caresian posiion 39

Furher noes on he Jacobians Moreover i is imporan o remember ha in general no vecor u () exiss ha is he inegral of ω()? u() ω() The exac relaion beween he wo quaniies is: ω () = θ () u () + sin θ() u () + 1 cos θ() S u() u () While i is possible o inegrae p p () ( ) ( ) ( ( τ ) ( ) p ( τ)dτ = dτ ( τ) = ( ) α α x x 40

Furher noes on he Jacobians The geomerical Jacobian is adoped every ime a clear physical inerpreaion of he roaion velociy is needed The analyical Jacobian is adoped every ime i is necessary o rea differenial quaniies in he ask space Then, if one wans o implemen recursive formula for he join posiion q ( ) = q ( ) + q ( ) Δ k+ 1 k k he can use or q q J q v Δ 1 ( ) = ( ) + ( ( )) ( ) k + 1 k g k p k q q J q p Δ 1 ( ) = ( ) + ( ( )) ( ) k+ 1 k a k k 41

Furher noes on he Jacobians 42

Geomeric Jacobian 1 The geomeric Jacobian can be consruced aking ino accoun he following seps a) Every link has a reference frame defined according o DH convenions R i R i b) The posiion ii of he origin ii of is given by: g i g i + 1 R i 1 b i i 1 ri 1, i R i x i 1 x i R 0 x = x + R r = x + r 0 i 1 i i 1 i 1 i 1, i i 1 i 1, i 43

Geomeric Jacobian 2 Derivaion wr ime gives x = x + R r + ω R r 0 i 1 0 i 1 i i 1 i 1 i 1, i i 1 i 1 i 1, i = x + v + ω r i 1 i 1, i i 1 i 1, i Linear velociy of R wr R Angular velociy of R i i 1 i 1 Remember: R = S( ω) R = ω R 44

Geomeric Jacobian 3 If we derive he composiion of wo roaions, we have: R = R R R R R R R 0 0 i 1 i i 1 i 0 0 i 1 0 i 1 = + i i 1 i i 1 i 0 i 1 0 i 1 = S( ω ) R R + R S( ω ) R i 1 i 1 i i 1 i 1, i i 0 i 1 0 0 i 1 = S ( ω ) R R + S ( R ω ) R R i 1 i 1 i i 1 i 1, i i 1 i = ( ) + ( ) S ω S R ω R 0 0 i 1 i 1 i 1, i i Hence: 0 ω = ω +R ω i i 1 i 1 i 1, i angular velociy of RF i in RF 0 angular velociy of RF i wr RF i 1 in RF i 1 angular velociy of RF i 1 in RF 0 45

Geomeric Jacobian 4 To compue he Geomeric Jacobian, one can decompose he Jacobian marix as: LINEAR JACOBIAN q 1 q x L,1 L,2 L, n 2 3 ( ) J J J = = = v J q q, J J R g,, L i Ai ω J J J A,1 A,2 An, ANGULAR JACOBIAN q n J indicaes how q conribues o he linear velociy of he TCP J Li, A,1 i n n d x x = q = J q, dq i L i i i= 1 i i= 1 indicaes how q conribues o he angular velociy of he TCP i n = = 46 n ω ω J q i 1, i Ai, i i= 1 i= 1

Srucure of he Jacobian LINEAR JACOBIAN ANGULAR JACOBIAN 47

Srucure of he Jacobian If he robo is non redundan, he Jacobian marix is square If he robo is redundan, d he Jacobian marix is recangular 48

Geomeric Jacobian 5 J If he join is prismaic q = k d = Li, i i 1 i Li, i 1 ω = 0 J = 0 i 1, i Ai, If he join is revolue J R J q = ω r = ( k r ) θ Li, i i 1, i i 1, p i 1 i 1, p i ω = k θ i 1, i i 1 i J = k r k J R i 1 x i 1 1 R 0 Li, i 1 i 1, p = k Ai, i 1 x TCP r i 1,TCP R TCP All vecors are expresses in R 0 r is he vecor ha represens x x in R ( ) i 1, TCP TCP i 1 0 49

Geomeric Jacobian 5 In conclusions, in a geomerical Jacobian, is elemens can be compued as follows: Prismaic Revolue J J Li, Ai, k 0 i 1 k r k i 1 i 1, p i 1 50

Analyical Jacobian 1 Analyical Jacobian is compued deriving he expression of he TCP pose p (()) p (()) q q 1 1 p d ( ( )) 1 q q q xq 1 n 1 d p = = = d ( ( )) α q p (()) (()) 6 d p q p q q 6 6 n q q 1 n J (()) q a 51

Analyical Jacobian 2 The firs hree lines of he analyical Jacobian are equal o he same lines of he geomeric Jacobian The las hree lines are usually differen from he same lines of he geomeric Jacobian These can be compued only when he angle represenaion has been chosen: here we consider only Euler and RPY angles A ransformaion marix relaes he analyical and geomeric velociies, and he wo Jacobians ω = T( ( α ) α I 0 J ( q) = ( ) g a ( ) J q 0 T α 52

Relaions beween Jacobians Euler angles α = { φθψ,, } RPY angles α = { θ, θ, θ } x y z 0 cosϕ sinϕsinθ T( α) = 0 sinϕ cosϕsinθ 1 0 cosθ cos θ cos θ sin θ 0 y z z T ( α ) == cos θ sin θ cos θ 0 y z z sin θ 0 1 y The values of α ha zeros he marix T(α) deerminan correspond o a orienaion represenaion singulariy This means ha here are (geomerical) angular velociies ha canno be expressed by 53

Inverse velociy KF 1 When he Jacobian is a square full rank marix, he inverse velociy kinemaic funcion is simply obained as: ( ) q J q p 1 () = () () When he Jacobian is a recangular full rank marix (i.e., when he roboic arm is redundan, bu no singular), he inverse velociy kinemaic funcion has infinie soluions, bu he (righ) pseudo inverse can be used o compue one of hem ( ) q () = J + q() p () def + T T 1 J = J ( JJ ) 54

Inverse velociy KF 2 If he iniial join vecor q(0) ) is known, inverse velociy can be used o solve he inverse posiion kinemaics as an inegral = + τ τ = + Δ 0 k+ 1 k k q ( ) q (0) q ( )d q ( ) q ( ) q ( ) Coninuous ime Discree ime 55

Singulariy 1 A square marix is inverible if ( ) de J q () 0 When ( ) de J q () = 0 S a singulariy exiss a q () S This is called a singular/singulariy configuraion 56

Singulariy 2 For an ariculaed/anhropomorphic robo hree singulariy condiions exis A. compleely exended or folded arm B. wris cener on he verical C. wris singulariy When join coordinaes approach singulariy he join velociies become very large for small caresian velociies 1 1 1 q = J ( qp ) = Jp Jp dej ε 57

Singulariy 3 A. Exended arm The velociies span a dim 2 space (he plane) The velociies span a dim 1 space (he angen line) i.e., singulariy 58

Singulariy 4 B. Wris cener on he verical hese velociies canno be obained wih infiniesimal join roaions 59

Singulariy 5 C. Wris singulariy Singulariy condiion Two axes are aligned 60

Euler Angles (wris) singulariy 3 angles Le us sar from he symbolic marix cc scs cs scc ss φ ψ φ θ ψ φ ψ φ θ ψ φ θ sc + ccs ss + ccc cs φ ψ φ θ ψ φ ψ φ θ ψ φ θ ss cs c ψ θ ψ θ θ cos( φ + ψ ) sin( φ + ψ ) Observe ha if = 1 θ = 0 c θ we have cc ss cs sc 0 φ ψ φ ψ φ ψ φ ψ sc cs cc ss 0 + φ ψ φ ψ φ ψ φ ψ 0 0 1 1 angle only 61

Singulariy In pracice, when he joins are near a singulariy configuraion, he ask space velociy may become excessively large, alhough he joins are no exacly in singulariy Near singulariy condiions i is no possible o follow a geomeric pah and a he same ime a given velociy profile; fl i is necessary o reduce he caresian velociy and follow he pah, or o follow he velociy profile, bu follow an approximaed pah In exac singulariy condiions, nohing can be done so avoid singulariy 62

Conclusions Kinemaic funcions can be compued once he DH convenions are used Inverse posiion KF is complex Direc velociy KF has he problem of angular velociies: analyical vs geomeric Jacobians Inverse velociy can be compued apar from singulariy poins Avoid singulariy i 63