Modelica.Mechanics.MultiBody.Frames.TransformationMatrices

Information

Package Frames.TransformationMatrices contains type definitions and functions to transform rotational frame quantities using transformation matrices.

Content

In the table below an example is given for every function definition. The used variables have the following declaration:

   Orientation T, T1, T2, T_rel, T_inv;
   Real[3]     v1, v2, w1, w2, n_x, n_y, n_z, e, e_x, res_ori, phi;
   Real[6]     res_equal;
   Real        L, angle;

Extends from Modelica.Icons.Library (Icon for library).

Package Content

Name	Description
Orientation	Orientation type defining rotation from a frame 1 into a frame 2 with a transformation matrix
der_Orientation	New type defining the first time derivative of Orientation
orientationConstraint	Return residues of orientation constraints (shall be zero)
angularVelocity1	Return angular velocity resolved in frame 1 from orientation object and its derivative
angularVelocity2	Return angular velocity resolved in frame 2 from orientation object and its derivative
resolve1	Transform vector from frame 2 to frame 1
resolve2	Transform vector from frame 1 to frame 2
multipleResolve1	Transform several vectors from frame 2 to frame 1
multipleResolve2	Transform several vectors from frame 1 to frame 2
resolveDyade1	Transform second order tensor from frame 2 to frame 1
resolveDyade2	Transform second order tensor from frame 1 to frame 2
nullRotation	Return orientation object that does not rotate a frame
inverseRotation	Return inverse orientation object
relativeRotation	Return relative orientation object
absoluteRotation	Return absolute orientation object from another absolute and a relative orientation object
planarRotation	Return orientation object of a planar rotation
planarRotationAngle	Return angle of a planar rotation, given the rotation axis and the representations of a vector in frame 1 and frame 2
axisRotation	Return rotation object to rotate around one frame axis
axesRotations	Return rotation object to rotate in sequence around 3 axes
axesRotationsAngles	Return the 3 angles to rotate in sequence around 3 axes to construct the given orientation object
smallRotation	Return rotation angles valid for a small rotation and optionally residues that should be zero
from_nxy	Return orientation object from n_x and n_y vectors
from_nxz	Return orientation object from n_x and n_z vectors
from_T	Return orientation object R from transformation matrix T
from_T_inv	Return orientation object R from inverse transformation matrix T_inv
from_Q	Return orientation object T from quaternion orientation object Q
to_T	Return transformation matrix T from orientation object R
to_T_inv	Return inverse transformation matrix T_inv from orientation object R
to_Q	Return quaternion orientation object Q from orientation object T
to_vector	Map rotation object into vector
to_exy	Map rotation object into e_x and e_y vectors of frame 2, resolved in frame 1

Types and constants

  type Orientation 
  "Orientation type defining rotation from a frame 1 into a frame 2 with a transformation matrix"

    extends Internal.TransformationMatrix;

    encapsulated function equalityConstraint 
    "Return the constraint residues to express that two frames have the same orientation"

      import Modelica;
      import Modelica.Mechanics.MultiBody.Frames.TransformationMatrices;
      extends Modelica.Icons.Function;
      input TransformationMatrices.Orientation T1 
      "Orientation object to rotate frame 0 into frame 1";
      input TransformationMatrices.Orientation T2 
      "Orientation object to rotate frame 0 into frame 2";
      output Real residue[3] 
      "The rotation angles around x-, y-, and z-axis of frame 1 to rotate frame 1 into frame 2 for a small rotation (should be zero)";
    algorithm 
      residue := {cross(T1[1, :], T1[2, :])*T2[2, :],-cross(T1[1, :], T1[2, :])
        *T2[1, :],T1[2, :]*T2[1, :]};
    end equalityConstraint;
  end Orientation;

  type der_Orientation = Real[3, 3] (each unit="1/s") 
  "New type defining the first time derivative of Orientation";

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.orientationConstraint

Information

Inputs

Type	Name	Default	Description
Orientation	T		Orientation object to rotate frame 1 into frame 2

Outputs

Type	Name	Description
Real	residue[6]	Residues of constraints between elements of orientation object (shall be zero)

Modelica definition

function orientationConstraint 
  "Return residues of orientation constraints (shall be zero)"
  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
  output Real residue[6] 
    "Residues of constraints between elements of orientation object (shall be zero)";
algorithm 
  residue := {T[:, 1]*T[:, 1] - 1,T[:, 2]*T[:, 2] - 1,T[:, 3]*T[:, 3] - 1,T[
    :, 1]*T[:, 2],T[:, 1]*T[:, 3],T[:, 2]*T[:, 3]};
end orientationConstraint;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.angularVelocity1

Information

Inputs

Type	Name	Default	Description
Orientation	T		Orientation object to rotate frame 1 into frame 2
der_Orientation	der_T		Derivative of T [1/s]

Outputs

Type	Name	Description
AngularVelocity	w[3]	Angular velocity of frame 2 with respect to frame 1 resolved in frame 1 [rad/s]

Modelica definition

function angularVelocity1 
  "Return angular velocity resolved in frame 1 from orientation object and its derivative"

  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
  input der_Orientation der_T "Derivative of T";
  output Modelica.SIunits.AngularVelocity w[3] 
    "Angular velocity of frame 2 with respect to frame 1 resolved in frame 1";
algorithm 
  /* The angular velocity w of frame 2 with respect to frame 1 resolved in frame 1,
     is defined as:
        w = vec( der(transpose(T))*T );
     where
                   |   0 -w3  w2 |
         skew(w) = |  w3   0 -w1 | and w = vec(skew(w))
                   | -w2  w1   0 |
     i.e.
         W = der(transpose(T))*T)
         w = {W(3,2), -W(3,1), W(2,1)}
     Therefore, only 3 values of W need to be computed:
             | der(T[:,1]) |
         W = | der(T[:,2]) | * | T[:,1], T[:,2], T[:,3] |
             | der(T[:,3]) |
             |  W(3,2) |   |  der(T[:,3])*T[:,2] |
         w = | -W(3,1) | = | -der(T[:,3])*T[:,1] |
             |  W(2,1) |   |  der(T[:,2])*T[:,1] |
  */
  w := {der_T[:, 3]*T[:, 2],-der_T[:, 3]*T[:, 1],der_T[:, 2]*T[:, 1]};
end angularVelocity1;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.angularVelocity2

Information

Inputs

Type	Name	Default	Description
Orientation	T		Orientation object to rotate frame 1 into frame 2
der_Orientation	der_T		Derivative of T [1/s]

Outputs

Type	Name	Description
AngularVelocity	w[3]	Angular velocity of frame 2 with respect to frame 1 resolved in frame 2 [rad/s]

Modelica definition

function angularVelocity2 
  "Return angular velocity resolved in frame 2 from orientation object and its derivative"

  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
  input der_Orientation der_T "Derivative of T";
  output Modelica.SIunits.AngularVelocity w[3] 
    "Angular velocity of frame 2 with respect to frame 1 resolved in frame 2";
algorithm 
  /* The angular velocity w of frame 2 with respect to frame 1 resolved in frame 2,
     is defined as:
        w = vec(T*der(transpose(T)));
     where
                   |   0 -w3  w2 |
         skew(w) = |  w3   0 -w1 | and w = vec(skew(w))
                   | -w2  w1   0 |
     i.e.
         W = T*der(transpose(T))
         w = {W(3,2), -W(3,1), W(2,1)}
     Therefore, only 3 values of W need to be computed:
             | T[1,:] |
         W = | T[2,:] | * | der(T[1,:]), der(T[2,:]), der(T[3,:]) |
             | T[3,:] |
             |  W(3,2) |   |  T[3,:]*der(T[2,:]) |
         w = | -W(3,1) | = | -T[3,:]*der(T[1,:]) |
             |  W(2,1) |   |  T[2,:]*der(T[1,:]) |
  */
  w := {T[3, :]*der_T[2, :],-T[3, :]*der_T[1, :],T[2, :]*der_T[1, :]};
end angularVelocity2;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.resolve1

Information

Inputs

Type	Name	Default	Description
Orientation	T		Orientation object to rotate frame 1 into frame 2
Real	v2[3]		Vector in frame 2

Outputs

Type	Name	Description
Real	v1[3]	Vector in frame 1

Modelica definition

function resolve1 "Transform vector from frame 2 to frame 1"
  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
  input Real v2[3] "Vector in frame 2";
  output Real v1[3] "Vector in frame 1";
algorithm 
  v1 := transpose(T)*v2;
end resolve1;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.resolve2

Information

Inputs

Type	Name	Default	Description
Orientation	T		Orientation object to rotate frame 1 into frame 2
Real	v1[3]		Vector in frame 1

Outputs

Type	Name	Description
Real	v2[3]	Vector in frame 2

Modelica definition

function resolve2 "Transform vector from frame 1 to frame 2"
  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
  input Real v1[3] "Vector in frame 1";
  output Real v2[3] "Vector in frame 2";
algorithm 
  v2 := T*v1;
end resolve2;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.multipleResolve1

Information

Inputs

Type	Name	Default	Description
Orientation	T		Orientation object to rotate frame 1 into frame 2
Real	v2[3, :]		Vectors in frame 2

Outputs

Type	Name	Description
Real	v1[3, size(v2, 2)]	Vectors in frame 1

Modelica definition

function multipleResolve1 
  "Transform several vectors from frame 2 to frame 1"

  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
  input Real v2[3, :] "Vectors in frame 2";
  output Real v1[3, size(v2, 2)] "Vectors in frame 1";
algorithm 
  v1 := transpose(T)*v2;
end multipleResolve1;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.multipleResolve2

Information

Inputs

Type	Name	Default	Description
Orientation	T		Orientation object to rotate frame 1 into frame 2
Real	v1[3, :]		Vectors in frame 1

Outputs

Type	Name	Description
Real	v2[3, size(v1, 2)]	Vectors in frame 2

Modelica definition

function multipleResolve2 
  "Transform several vectors from frame 1 to frame 2"

  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
  input Real v1[3, :] "Vectors in frame 1";
  output Real v2[3, size(v1, 2)] "Vectors in frame 2";
algorithm 
  v2 := T*v1;
end multipleResolve2;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.resolveDyade1

Information

Inputs

Type	Name	Default	Description
Orientation	T		Orientation object to rotate frame 1 into frame 2
Real	D2[3, 3]		Second order tensor resolved in frame 2

Outputs

Type	Name	Description
Real	D1[3, 3]	Second order tensor resolved in frame 1

Modelica definition

function resolveDyade1 
  "Transform second order tensor from frame 2 to frame 1"
  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
  input Real D2[3, 3] "Second order tensor resolved in frame 2";
  output Real D1[3, 3] "Second order tensor resolved in frame 1";
algorithm 
  D1 := transpose(T)*D2*T;
end resolveDyade1;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.resolveDyade2

Information

Inputs

Type	Name	Default	Description
Orientation	T		Orientation object to rotate frame 1 into frame 2
Real	D1[3, 3]		Second order tensor resolved in frame 1

Outputs

Type	Name	Description
Real	D2[3, 3]	Second order tensor resolved in frame 2

Modelica definition

function resolveDyade2 
  "Transform second order tensor from frame 1 to frame 2"
  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
  input Real D1[3, 3] "Second order tensor resolved in frame 1";
  output Real D2[3, 3] "Second order tensor resolved in frame 2";
algorithm 
  D2 := T*D1*transpose(T);
end resolveDyade2;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.nullRotation

Information

Outputs

Type	Name	Description
Orientation	T	Orientation object such that frame 1 and frame 2 are identical

Modelica definition

function nullRotation 
  "Return orientation object that does not rotate a frame"
  extends Modelica.Icons.Function;
  output TransformationMatrices.Orientation T 
    "Orientation object such that frame 1 and frame 2 are identical";
algorithm 
  T := identity(3);
end nullRotation;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.inverseRotation

Information

Inputs

Type	Name	Default	Description
Orientation	T		Orientation object to rotate frame 1 into frame 2

Outputs

Type	Name	Description
Orientation	T_inv	Orientation object to rotate frame 2 into frame 1

Modelica definition

function inverseRotation "Return inverse orientation object"
  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
  output TransformationMatrices.Orientation T_inv 
    "Orientation object to rotate frame 2 into frame 1";
algorithm 
  T_inv := transpose(T);
end inverseRotation;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.relativeRotation

Information

Inputs

Type	Name	Default	Description
Orientation	T1		Orientation object to rotate frame 0 into frame 1
Orientation	T2		Orientation object to rotate frame 0 into frame 2

Outputs

Type	Name	Description
Orientation	T_rel	Orientation object to rotate frame 1 into frame 2

Modelica definition

function relativeRotation "Return relative orientation object"
  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T1 
    "Orientation object to rotate frame 0 into frame 1";
  input TransformationMatrices.Orientation T2 
    "Orientation object to rotate frame 0 into frame 2";
  output TransformationMatrices.Orientation T_rel 
    "Orientation object to rotate frame 1 into frame 2";
algorithm 
  T_rel := T2*transpose(T1);
end relativeRotation;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.absoluteRotation

Information

Inputs

Type	Name	Default	Description
Orientation	T1		Orientation object to rotate frame 0 into frame 1
Orientation	T_rel		Orientation object to rotate frame 1 into frame 2

Outputs

Type	Name	Description
Orientation	T2	Orientation object to rotate frame 0 into frame 2

Modelica definition

function absoluteRotation 
  "Return absolute orientation object from another absolute and a relative orientation object"

  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T1 
    "Orientation object to rotate frame 0 into frame 1";
  input TransformationMatrices.Orientation T_rel 
    "Orientation object to rotate frame 1 into frame 2";
  output TransformationMatrices.Orientation T2 
    "Orientation object to rotate frame 0 into frame 2";
algorithm 
  T2 := T_rel*T1;
end absoluteRotation;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.planarRotation

Information

Inputs

Type	Name	Default	Description
Real	e[3]		Normalized axis of rotation (must have length=1) [1]
Angle	angle		Rotation angle to rotate frame 1 into frame 2 along axis e [rad]

Outputs

Type	Name	Description
Orientation	T	Orientation object to rotate frame 1 into frame 2

Modelica definition

function planarRotation 
  "Return orientation object of a planar rotation"
  import Modelica.Math;
  extends Modelica.Icons.Function;
  input Real e[3](each final unit="1") 
    "Normalized axis of rotation (must have length=1)";
  input Modelica.SIunits.Angle angle 
    "Rotation angle to rotate frame 1 into frame 2 along axis e";
  output TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
algorithm 
  T := [e]*transpose([e]) + (identity(3) - [e]*transpose([e]))*Math.cos(
    angle) - skew(e)*Math.sin(angle);
end planarRotation;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.planarRotationAngle

Information

A call to this function of the form

    Real[3]                e, v1, v2;
    Modelica.SIunits.Angle angle;
  equation
    angle = planarRotationAngle(e, v1, v2);

computes the rotation angle "angle" of a planar rotation along unit vector e, rotating frame 1 into frame 2, given the coordinate representations of a vector "v" in frame 1 (v1) and in frame 2 (v2). Therefore, the result of this function fulfills the following equation:

    v2 = resolve2(planarRotation(e,angle), v1)

The rotation angle is returned in the range

    -p <= angle <= p

This function makes the following assumptions on the input arguments

• Vector e has length 1, i.e., length(e) = 1
• Vector "v" is not parallel to e, i.e., length(cross(e,v1)) ≠ 0

The function does not check the above assumptions. If these assumptions are violated, a wrong result will be returned and/or a division by zero will occur.

Extends from Modelica.Icons.Function (Icon for a function).

Inputs

Type	Name	Default	Description
Real	e[3]		Normalized axis of rotation to rotate frame 1 around e into frame 2 (must have length=1) [1]
Real	v1[3]		A vector v resolved in frame 1 (shall not be parallel to e)
Real	v2[3]		Vector v resolved in frame 2, i.e., v2 = resolve2(planarRotation(e,angle),v1)

Outputs

Type	Name	Description
Angle	angle	Rotation angle to rotate frame 1 into frame 2 along axis e in the range: -pi <= angle <= pi [rad]

Modelica definition

function planarRotationAngle 
  "Return angle of a planar rotation, given the rotation axis and the representations of a vector in frame 1 and frame 2"

  extends Modelica.Icons.Function;
  input Real e[3](each final unit="1") 
    "Normalized axis of rotation to rotate frame 1 around e into frame 2 (must have length=1)";
  input Real v1[3] 
    "A vector v resolved in frame 1 (shall not be parallel to e)";
  input Real v2[3] 
    "Vector v resolved in frame 2, i.e., v2 = resolve2(planarRotation(e,angle),v1)";
  output Modelica.SIunits.Angle angle 
    "Rotation angle to rotate frame 1 into frame 2 along axis e in the range: -pi <= angle <= pi";
algorithm 
  /* Vector v is resolved in frame 1 and frame 2 according to:
        (1)  v2 = (e*transpose(e) + (identity(3) - e*transpose(e))*cos(angle) - skew(e)*sin(angle))*v1;
                = e*(e*v1) + (v1 - e*(e*v1))*cos(angle) - cross(e,v1)*sin(angle)
       Equation (1) is multiplied with "v1" resulting in (note: e*e = 1)
            v1*v2 = (e*v1)*(e*v2) + (v1*v1 - (e*v1)*(e*v1))*cos(angle)
       and therefore:
        (2) cos(angle) = ( v1*v2 - (e*v1)*(e*v2)) / (v1*v1 - (e*v1)*(e*v1))
       Similiarly, equation (1) is multiplied with cross(e,v1), i.e., a
       a vector that is orthogonal to e and to v1:
              cross(e,v1)*v2 = - cross(e,v1)*cross(e,v1)*sin(angle)
       and therefore:
          (3) sin(angle) = -cross(e,v1)*v2/(cross(e,v1)*cross(e,v1));
       We have e*e=1; Therefore:
          (4) v1*v1 - (e*v1)*(e*v1) = |v1|^2 - (|v1|*cos(e,v1))^2
       and
          (5) cross(e,v1)*cross(e,v1) = (|v1|*sin(e,v1))^2
                                      = |v1|^2*(1 - cos(e,v1)^2)
                                      = |v1|^2 - (|v1|*cos(e,v1))^2
       The denominators of (2) and (3) are identical, according to (4) and (5).
       Furthermore, the denominators are always positive according to (5).
       Therefore, in the equation "angle = atan2(sin(angle), cos(angle))" the
       denominators of sin(angle) and cos(angle) can be removed,
       resulting in:
          angle = atan2(-cross(e,v1)*v2, v1*v2 - (e*v1)*(e*v2));
    */
  angle := Modelica.Math.atan2(-cross(e, v1)*v2, v1*v2 - (e*v1)*(e*v2));
end planarRotationAngle;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.axisRotation

Information

Inputs

Type	Name	Default	Description
Integer	axis		Rotate around 'axis' of frame 1
Angle	angle		Rotation angle to rotate frame 1 into frame 2 along 'axis' of frame 1 [rad]

Outputs

Type	Name	Description
Orientation	T	Orientation object to rotate frame 1 into frame 2

Modelica definition

function axisRotation 
  "Return rotation object to rotate around one frame axis"
  import Modelica.Math.*;
  extends Modelica.Icons.Function;
  input Integer axis(min=1, max=3) "Rotate around 'axis' of frame 1";
  input Modelica.SIunits.Angle angle 
    "Rotation angle to rotate frame 1 into frame 2 along 'axis' of frame 1";
  output TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
algorithm 
  T := if axis == 1 then [1, 0, 0; 0, cos(angle), sin(angle); 0, -sin(angle),
     cos(angle)] else if axis == 2 then [cos(angle), 0, -sin(angle); 0, 1,
    0; sin(angle), 0, cos(angle)] else [cos(angle), sin(angle), 0; -sin(
    angle), cos(angle), 0; 0, 0, 1];
end axisRotation;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.axesRotations

Information

Inputs

Type	Name	Default	Description
Integer	sequence[3]	{1,2,3}	Sequence of rotations from frame 1 to frame 2 along axis sequence[i]
Angle	angles[3]	{0,0,0}	Rotation angles around the axes defined in 'sequence' [rad]

Outputs

Type	Name	Description
Orientation	T	Orientation object to rotate frame 1 into frame 2

Modelica definition

function axesRotations 
  "Return rotation object to rotate in sequence around 3 axes"
  extends Modelica.Icons.Function;
  input Integer sequence[3](
    min={1,1,1},
    max={3,3,3}) = {1,2,3} 
    "Sequence of rotations from frame 1 to frame 2 along axis sequence[i]";
  input Modelica.SIunits.Angle angles[3]={0,0,0} 
    "Rotation angles around the axes defined in 'sequence'";
  output TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
algorithm 
  T := absoluteRotation(absoluteRotation(axisRotation(sequence[1], angles[1]),
     axisRotation(sequence[2], angles[2])), axisRotation(sequence[3],
    angles[3]));
end axesRotations;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.axesRotationsAngles

Information

A call to this function of the form

    TransformationMatrices.Orientation     T;
    parameter Integer      sequence[3] = {1,2,3};
    Modelica.SIunits.Angle angles[3];
  equation
    angle = axesRotationAngles(T, sequence);

computes the rotation angles "angles[1:3]" to rotate frame 1 into frame 2 along axes sequence[1:3], given the orientation object T from frame 1 to frame 2. Therefore, the result of this function fulfills the following equation:

    T = axesRotation(sequence, angles)

The rotation angles are returned in the range

    -p <= angles[i] <= p

There are two solutions for "angles[1]" in this range. Via the third argument guessAngle1 (default = 0) the returned solution is selected such that |angles[1] - guessAngle1| is minimal. The orientation object T may be in a singular configuration, i.e., there is an infinite number of angle values leading to the same T. The returned solution is selected by setting angles[1] = guessAngle1. Then angles[2] and angles[3] can be uniquely determined in the above range.

Note, that input argument sequence has the restriction that only values 1,2,3 can be used and that sequence[1] ≠ sequence[2] and sequence[2] ≠ sequence[3]. Often used values are:

  sequence = {1,2,3}  // Cardan angle sequence
           = {3,1,3}  // Euler angle sequence
           = {3,2,1}  // Tait-Bryan angle sequence

Extends from Modelica.Icons.Function (Icon for a function).

Inputs

Type	Name	Default	Description
Orientation	T		Orientation object to rotate frame 1 into frame 2
Integer	sequence[3]	{1,2,3}	Sequence of rotations from frame 1 to frame 2 along axis sequence[i]
Angle	guessAngle1	0	Select angles[1] such that |angles[1] - guessAngle1| is a minimum [rad]

Outputs

Type	Name	Description
Angle	angles[3]	Rotation angles around the axes defined in 'sequence' such that T=TransformationMatrices.axesRotation(sequence,angles); -pi < angles[i] <= pi [rad]

Modelica definition

function axesRotationsAngles 
  "Return the 3 angles to rotate in sequence around 3 axes to construct the given orientation object"

  import SI = Modelica.SIunits;

  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
  input Integer sequence[3](
    min={1,1,1},
    max={3,3,3}) = {1,2,3} 
    "Sequence of rotations from frame 1 to frame 2 along axis sequence[i]";
  input SI.Angle guessAngle1=0 
    "Select angles[1] such that |angles[1] - guessAngle1| is a minimum";
  output SI.Angle angles[3] 
    "Rotation angles around the axes defined in 'sequence' such that T=TransformationMatrices.axesRotation(sequence,angles); -pi < angles[i] <= pi";
protected 
  Real e1_1[3](each final unit="1") "First rotation axis, resolved in frame 1";
  Real e2_1a[3](each final unit="1") 
    "Second rotation axis, resolved in frame 1a";
  Real e3_1[3](each final unit="1") "Third rotation axis, resolved in frame 1";
  Real e3_2[3](each final unit="1") "Third rotation axis, resolved in frame 2";
  Real A "Coefficient A in the equation A*cos(angles[1])+B*sin(angles[1]) = 0";
  Real B "Coefficient B in the equation A*cos(angles[1])+B*sin(angles[1]) = 0";
  SI.Angle angle_1a "Solution 1 for angles[1]";
  SI.Angle angle_1b "Solution 2 for angles[1]";
  TransformationMatrices.Orientation T_1a 
    "Orientation object to rotate frame 1 into frame 1a";
algorithm 
  /* The rotation object T is constructed by:
     (1) Rotating frame 1 along axis e1 (= axis sequence[1]) with angles[1]
         arriving at frame 1a.
     (2) Rotating frame 1a along axis e2 (= axis sequence[2]) with angles[2]
         arriving at frame 1b.
     (3) Rotating frame 1b along axis e3 (= axis sequence[3]) with angles[3]
         arriving at frame 2.
     The goal is to determine angles[1:3]. This is performed in the following way:
     1. e2 and e3 are perpendicular to each other, i.e., e2*e3 = 0;
        Both vectors are resolved in frame 1 (T_ij is transformation matrix
        from frame j to frame i; e1_1*e2_1a = 0, since the vectors are
        perpendicular to each other):
           e3_1 = T_12*e3_2
                = T[sequence[3],:];
           e2_1 = T_11a*e2_1a
                = ( e1_1*transpose(e1_1) + (identity(3) - e1_1*transpose(e1_1))*cos(angles[1])
                    + skew(e1_1)*sin(angles[1]) )*e2_1a
                = e2_1a*cos(angles[1]) + cross(e1_1, e2_1a)*sin(angles[1]);
        From this follows finally an equation for angles[1]
           e2_1*e3_1 = 0
                     = (e2_1a*cos(angles[1]) + cross(e1_1, e2_1a)*sin(angles[1]))*e3_1
                     = (e2_1a*e3_1)*cos(angles[1]) + cross(e1_1, e2_1a)*e3_1*sin(angles[1])
                     = A*cos(angles[1]) + B*sin(angles[1])
                       with A = e2_1a*e3_1, B = cross(e1_1, e2_1a)*e3_1
        This equation has two solutions in the range -pi < angles[1] <= pi:
           sin(angles[1]) =  k*A/sqrt(A*A + B*B)
           cos(angles[1]) = -k*B/sqrt(A*A + B*B)
                        k = +/-1
           tan(angles[1]) = k*A/(-k*B)
        that is:
           angles[1] = atan2(k*A, -k*B)
        If A and B are both zero at the same time, there is a singular configuration
        resulting in an infinite number of solutions for angles[1] (every value
        is possible).
     2. angles[2] is determined with function TransformationMatrices.planarRotationAngle.
        This function requires to provide e_3 in frame 1a and in frame 1b:
          e3_1a = TransformationMatrices.resolve2(planarRotation(e1_1,angles[1]), e3_1);
          e3_1b = e3_2
     3. angles[3] is determined with function TransformationMatrices.planarRotationAngle.
        This function requires to provide e_2 in frame 1b and in frame 2:
          e2_1b = e2_1a
          e2_2  = TransformationMatrices.resolve2( T, TransformationMatrices.resolve1(planarRotation(e1_1,angles[1]), e2_1a));
  */
  assert(sequence[1] <> sequence[2] and sequence[2] <> sequence[3],
    "input argument 'sequence[1:3]' is not valid");
  e1_1 := if sequence[1] == 1 then {1,0,0} else if sequence[1] == 2 then {0,
    1,0} else {0,0,1};
  e2_1a := if sequence[2] == 1 then {1,0,0} else if sequence[2] == 2 then {
    0,1,0} else {0,0,1};
  e3_1 := T[sequence[3], :];
  e3_2 := if sequence[3] == 1 then {1,0,0} else if sequence[3] == 2 then {0,
    1,0} else {0,0,1};

  A := e2_1a*e3_1;
  B := cross(e1_1, e2_1a)*e3_1;
  if abs(A) <= 1.e-12 and abs(B) <= 1.e-12 then
    angles[1] := guessAngle1;
  else
    angle_1a := Modelica.Math.atan2(A, -B);
    angle_1b := Modelica.Math.atan2(-A, B);
    angles[1] := if abs(angle_1a - guessAngle1) <= abs(angle_1b -
      guessAngle1) then angle_1a else angle_1b;
  end if;
  T_1a := planarRotation(e1_1, angles[1]);
  angles[2] := TransformationMatrices.planarRotationAngle(e2_1a,
    TransformationMatrices.resolve2(T_1a, e3_1), e3_2);
  angles[3] := TransformationMatrices.planarRotationAngle(e3_2, e2_1a,
    TransformationMatrices.resolve2(T, TransformationMatrices.resolve1(T_1a,
     e2_1a)));

end axesRotationsAngles;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.smallRotation

Information

Inputs

Type	Name	Default	Description
Orientation	T		Orientation object to rotate frame 1 into frame 2
Boolean	withResidues	false	= false/true, if 'angles'/'angles and residues' are returned in phi

Outputs

Type	Name	Description
Angle	phi[if withResidues then 6 else 3]	The rotation angles around x-, y-, and z-axis of frame 1 to rotate frame 1 into frame 2 for a small rotation + optionally 3 residues that should be zero [rad]

Modelica definition

function smallRotation 
  "Return rotation angles valid for a small rotation and optionally residues that should be zero"

  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
  input Boolean withResidues=false 
    "= false/true, if 'angles'/'angles and residues' are returned in phi";
  output Modelica.SIunits.Angle phi[if withResidues then 6 else 3] 
    "The rotation angles around x-, y-, and z-axis of frame 1 to rotate frame 1 into frame 2 for a small rotation + optionally 3 residues that should be zero";
algorithm 
  /* Planar rotation:
       Trel = [e]*transpose([e]) + (identity(3) - [e]*transpose([e]))*cos(angle) - skew(e)*sin(angle)
            = identity(3) - skew(e)*angle, for small angles
            = identity(3) - skew(e*angle)
               define phi = e*angle, then
       Trel = [1,      phi3,   -phi2;
               -phi3,     1,    phi1;
                phi2, -phi1,       1 ];
  */
  phi := if withResidues then {T[2, 3],-T[1, 3],T[1, 2],T[1, 1] - 1,T[2, 2]
     - 1,T[1, 1]*T[2, 2] - T[2, 1]*T[1, 2] - 1} else {T[2, 3],-T[1, 3],T[1,
     2]};
end smallRotation;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.from_nxy

Information

It is assumed that the two input vectors n_x and n_y are resolved in frame 1 and are directed along the x and y axis of frame 2 (i.e., n_x and n_y are orthogonal to each other) The function returns the orientation object T to rotate from frame 1 to frame 2.

The function is robust in the sense that it returns always an orientation object T, even if n_y is not orthogonal to n_x. This is performed in the following way:

If n_x and n_y are not orthogonal to each other, first a unit vector e_y is determined that is orthogonal to n_x and is lying in the plane spanned by n_x and n_y. If n_x and n_y are parallel or nearly parallel to each other, a vector e_y is selected arbitrarily such that e_x and e_y are orthogonal to each other.

Extends from Modelica.Icons.Function (Icon for a function).

Inputs

Type	Name	Default	Description
Real	n_x[3]		Vector in direction of x-axis of frame 2, resolved in frame 1 [1]
Real	n_y[3]		Vector in direction of y-axis of frame 2, resolved in frame 1 [1]

Outputs

Type	Name	Description
Orientation	T	Orientation object to rotate frame 1 into frame 2

Modelica definition

function from_nxy 
  "Return orientation object from n_x and n_y vectors"
  extends Modelica.Icons.Function;
  input Real n_x[3](each final unit="1") 
    "Vector in direction of x-axis of frame 2, resolved in frame 1";
  input Real n_y[3](each final unit="1") 
    "Vector in direction of y-axis of frame 2, resolved in frame 1";
  output TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
protected 
  Real abs_n_x=sqrt(n_x*n_x);
  Real e_x[3](each final unit="1")=if abs_n_x < 1.e-10 then {1,0,0} else n_x/abs_n_x;
  Real n_z_aux[3](each final unit="1")=cross(e_x, n_y);
  Real n_y_aux[3](each final unit="1")=if n_z_aux*n_z_aux > 1.0e-6 then n_y else (if abs(e_x[1])
       > 1.0e-6 then {0,1,0} else {1,0,0});
  Real e_z_aux[3](each final unit="1")=cross(e_x, n_y_aux);
  Real e_z[3](each final unit="1")=e_z_aux/sqrt(e_z_aux*e_z_aux);
algorithm 
  T := {e_x,cross(e_z, e_x),e_z};
end from_nxy;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.from_nxz

Information

It is assumed that the two input vectors n_x and n_z are resolved in frame 1 and are directed along the x and z axis of frame 2 (i.e., n_x and n_z are orthogonal to each other) The function returns the orientation object T to rotate from frame 1 to frame 2.

The function is robust in the sense that it returns always an orientation object T, even if n_z is not orthogonal to n_x. This is performed in the following way:

If n_x and n_z are not orthogonal to each other, first a unit vector e_z is determined that is orthogonal to n_x and is lying in the plane spanned by n_x and n_z. If n_x and n_z are parallel or nearly parallel to each other, a vector e_z is selected arbitrarily such that n_x and e_z are orthogonal to each other.

Extends from Modelica.Icons.Function (Icon for a function).

Inputs

Type	Name	Default	Description
Real	n_x[3]		Vector in direction of x-axis of frame 2, resolved in frame 1 [1]
Real	n_z[3]		Vector in direction of z-axis of frame 2, resolved in frame 1 [1]

Outputs

Type	Name	Description
Orientation	T	Orientation object to rotate frame 1 into frame 2

Modelica definition

function from_nxz 
  "Return orientation object from n_x and n_z vectors"
  extends Modelica.Icons.Function;
  input Real n_x[3](each final unit="1") 
    "Vector in direction of x-axis of frame 2, resolved in frame 1";
  input Real n_z[3](each final unit="1") 
    "Vector in direction of z-axis of frame 2, resolved in frame 1";
  output TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
protected 
  Real abs_n_x=sqrt(n_x*n_x);
  Real e_x[3](each final unit="1")=if abs_n_x < 1.e-10 then {1,0,0} else n_x/abs_n_x;
  Real n_y_aux[3](each final unit="1")=cross(n_z, e_x);
  Real n_z_aux[3](each final unit="1")=if n_y_aux*n_y_aux > 1.0e-6 then n_z else (if abs(e_x[1])
       > 1.0e-6 then {0,0,1} else {1,0,0});
  Real e_y_aux[3](each final unit="1")=cross(n_z_aux, e_x);
  Real e_y[3](each final unit="1")=e_y_aux/sqrt(e_y_aux*e_y_aux);
algorithm 
  T := {e_x,e_y,cross(e_x, e_y)};
end from_nxz;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.from_T

Information

Inputs

Type	Name	Default	Description
Real	T[3, 3]		Transformation matrix to transform vector from frame 1 to frame 2 (v2=T*v1)

Outputs

Type	Name	Description
Orientation	R	Orientation object to rotate frame 1 into frame 2

Modelica definition

function from_T 
  "Return orientation object R from transformation matrix T"
  extends Modelica.Icons.Function;
  input Real T[3, 3] 
    "Transformation matrix to transform vector from frame 1 to frame 2 (v2=T*v1)";
  output TransformationMatrices.Orientation R 
    "Orientation object to rotate frame 1 into frame 2";
algorithm 
  R := T;
end from_T;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.from_T_inv

Information

Inputs

Type	Name	Default	Description
Real	T_inv[3, 3]		Inverse transformation matrix to transform vector from frame 2 to frame 1 (v1=T_inv*v2)

Outputs

Type	Name	Description
Orientation	R	Orientation object to rotate frame 1 into frame 2

Modelica definition

function from_T_inv 
  "Return orientation object R from inverse transformation matrix T_inv"

  extends Modelica.Icons.Function;
  input Real T_inv[3, 3] 
    "Inverse transformation matrix to transform vector from frame 2 to frame 1 (v1=T_inv*v2)";
  output TransformationMatrices.Orientation R 
    "Orientation object to rotate frame 1 into frame 2";
algorithm 
  R := transpose(T_inv);
end from_T_inv;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.from_Q

Information

Inputs

Type	Name	Default	Description
Orientation	Q		Quaternions orientation object to rotate frame 1 into frame 2

Outputs

Type	Name	Description
Orientation	T	Orientation object to rotate frame 1 into frame 2

Modelica definition

function from_Q 
  "Return orientation object T from quaternion orientation object Q"

  extends Modelica.Icons.Function;
  input Quaternions.Orientation Q 
    "Quaternions orientation object to rotate frame 1 into frame 2";
  output TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
algorithm 
  /*
  T := (2*Q[4]*Q[4] - 1)*identity(3) + 2*([Q[1:3]]*transpose([Q[1:3]]) - Q[4]*
    skew(Q[1:3]));
*/
  T := [2*(Q[1]*Q[1] + Q[4]*Q[4]) - 1, 2*(Q[1]*Q[2] + Q[3]*Q[4]), 2*(Q[1]*Q[
    3] - Q[2]*Q[4]); 2*(Q[2]*Q[1] - Q[3]*Q[4]), 2*(Q[2]*Q[2] + Q[4]*Q[4])
     - 1, 2*(Q[2]*Q[3] + Q[1]*Q[4]); 2*(Q[3]*Q[1] + Q[2]*Q[4]), 2*(Q[3]*Q[2]
     - Q[1]*Q[4]), 2*(Q[3]*Q[3] + Q[4]*Q[4]) - 1];
end from_Q;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.to_T

Information

Inputs

Type	Name	Default	Description
Orientation	R		Orientation object to rotate frame 1 into frame 2

Outputs

Type	Name	Description
Real	T[3, 3]	Transformation matrix to transform vector from frame 1 to frame 2 (v2=T*v1)

Modelica definition

function to_T 
  "Return transformation matrix T from orientation object R"
  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation R 
    "Orientation object to rotate frame 1 into frame 2";
  output Real T[3, 3] 
    "Transformation matrix to transform vector from frame 1 to frame 2 (v2=T*v1)";
algorithm 
  T := R;
end to_T;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.to_T_inv

Information

Inputs

Type	Name	Default	Description
Orientation	R		Orientation object to rotate frame 1 into frame 2

Outputs

Type	Name	Description
Real	T_inv[3, 3]	Inverse transformation matrix to transform vector from frame 2 into frame 1 (v1=T_inv*v2)

Modelica definition

function to_T_inv 
  "Return inverse transformation matrix T_inv from orientation object R"

  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation R 
    "Orientation object to rotate frame 1 into frame 2";
  output Real T_inv[3, 3] 
    "Inverse transformation matrix to transform vector from frame 2 into frame 1 (v1=T_inv*v2)";
algorithm 
  T_inv := transpose(R);
end to_T_inv;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.to_Q

Information

Inputs

Type	Name	Default	Description
Orientation	T		Orientation object to rotate frame 1 into frame 2
Orientation	Q_guess	Quaternions.nullRotation()	Guess value for output Q (there are 2 solutions; the one closer to Q_guess is used

Outputs

Type	Name	Description
Orientation	Q	Quaternions orientation object to rotate frame 1 into frame 2

Modelica definition

function to_Q 
  "Return quaternion orientation object Q from orientation object T"

  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
  input Quaternions.Orientation Q_guess=Quaternions.nullRotation() 
    "Guess value for output Q (there are 2 solutions; the one closer to Q_guess is used";
  output Quaternions.Orientation Q 
    "Quaternions orientation object to rotate frame 1 into frame 2";
algorithm 
  Q := Quaternions.from_T(T, Q_guess);
end to_Q;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.to_vector

Information

Inputs

Type	Name	Default	Description
Orientation	T		Orientation object to rotate frame 1 into frame 2

Outputs

Type	Name	Description
Real	vec[9]	Elements of T in one vector

Modelica definition

function to_vector "Map rotation object into vector"
  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
  output Real vec[9] "Elements of T in one vector";
algorithm 
  vec := {T[1, 1],T[2, 1],T[3, 1],T[1, 2],T[2, 2],T[3, 2],T[1, 3],T[2, 3],T[
    3, 3]};
end to_vector;

Modelica.Mechanics.MultiBody.Frames.TransformationMatrices.to_exy

Information

Inputs

Type	Name	Default	Description
Orientation	T		Orientation object to rotate frame 1 into frame 2

Outputs

Type	Name	Description
Real	exy[3, 2]	= [e_x, e_y] where e_x and e_y are axes unit vectors of frame 2, resolved in frame 1

Modelica definition

function to_exy 
  "Map rotation object into e_x and e_y vectors of frame 2, resolved in frame 1"

  extends Modelica.Icons.Function;
  input TransformationMatrices.Orientation T 
    "Orientation object to rotate frame 1 into frame 2";
  output Real exy[3, 2] 
    "= [e_x, e_y] where e_x and e_y are axes unit vectors of frame 2, resolved in frame 1";
algorithm 
  exy := [T[1, :], T[2, :]];
end to_exy;