23.10.2014 Views

New metrics for rigid body motion interpolation - helix

New metrics for rigid body motion interpolation - helix

New metrics for rigid body motion interpolation - helix

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

corresponding to a chosen basis. The standard basis <strong>for</strong> so(3) is:<br />

2 3<br />

3<br />

0 0 0<br />

0 0 1<br />

6<br />

7<br />

6<br />

7<br />

L o 1 = 0 0 ,1<br />

0 0 0<br />

6<br />

4<br />

2<br />

7<br />

5 Lo 2 = 6<br />

4<br />

0 1 0<br />

,1 0 0<br />

2<br />

7<br />

5 Lo 3 = 6<br />

4<br />

0 ,1 0<br />

1 0 0<br />

0 0 0<br />

3<br />

7<br />

5<br />

(2)<br />

L o, 1 Lo and 2 Lo 3<br />

represent instantaneous rotations about the Cartesian axes x, y and z, respectively.<br />

The components of a ^! 2 se(3) in this basis are given precisely by the angular velocity vector !.<br />

The standard basis <strong>for</strong> se(3) is:<br />

2<br />

3<br />

2<br />

L 1 = 4 Lo 1<br />

0<br />

5 L2 = 4 Lo 2<br />

0<br />

5 L3 = 4 Lo 3<br />

0<br />

0 0<br />

0 0<br />

0 0<br />

L 4 =<br />

2<br />

4 0 e 1<br />

0 0<br />

3<br />

5 L 5 =<br />

2<br />

4 0 e 2<br />

0 0<br />

3<br />

3<br />

5 L 4 =<br />

2<br />

2<br />

4 0 e 3<br />

0 0<br />

3<br />

5<br />

3<br />

5<br />

(3)<br />

where<br />

e 1 =<br />

h<br />

1 0 0<br />

i T<br />

; e2 =<br />

h<br />

0 1 0<br />

i T<br />

; e3 =<br />

h<br />

0 0 1<br />

i T<br />

The twists L 4 , L 5 and L 6 represent instantaneous translations along the Cartesian axes x, y and<br />

z, respectively. The components of a twist S 2 se(3) in this basis are given precisely by the velocity<br />

vector pair, f!; vg.<br />

2.2 Left invariant vector fields<br />

A differentiable vector field is a smooth assignment of a tangent vector to each element of the<br />

manifold. At each point, a vector field defines a unique integral curve to which it is tangent [6].<br />

Formally, a vector field X is a (derivation) operator which, given a differentiable function, returns<br />

its derivative (another function) along the integral curves of X. Using the definition of a tangent<br />

(differential) map between two manifolds, it is straight<strong>for</strong>ward to prove that the action of the tangent<br />

map of the left translation with A on SE(3) at some point is simply multiplication from the left with<br />

A, at any point on the manifold.<br />

An example of a differentiable vector field, X, onSE(3) is obtained by left translation of an<br />

element S 2 se(3). The value of the vector field X at an arbitrary point A 2 SE(3) is given by:<br />

X(A) = S(A) =AS: (4)<br />

6

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!