Rational motion

In kinematics, the motion of a rigid body is defined as a continuous set of displacements. One-parameter motions can be defined as a continuous displacement of moving object with respect to a fixed frame in Euclidean three-space (E³), where the displacement depends on one parameter, mostly identified as time.

Rational motions are defined by rational functions (ratio of two polynomial functions) of time. They produce rational trajectories, and therefore they integrate well with the existing NURBS (Non-Uniform Rational B-Spline) based industry standard CAD/CAM systems. They are readily amenable to the applications of existing computer-aided geometric design (CAGD) algorithms. By combining kinematics of rigid body motions with NURBS geometry of curves and surfaces, methods have been developed for computer-aided design of rational motions.

These CAD methods for motion design find applications in animation in computer graphics (key frame interpolation), trajectory planning in robotics (taught-position interpolation), spatial navigation in virtual reality, computer-aided geometric design of motion via interactive interpolation, CNC tool path planning, and task specification in mechanism synthesis.

Background

There has been a great deal of research in applying the principles of computer-aided geometric design (CAGD) to the problem of computer-aided motion design. In recent years, it has been well established that rational Bézier and rational B-spline based curve representation schemes can be combined with dual quaternion representation ^[1] of spatial displacements to obtain rational Bézier and B-spline motions. Ge and Ravani,^[2][3] developed a new framework for geometric constructions of spatial motions by combining the concepts from kinematics and CAGD. Their work was built upon the seminal paper of Shoemake,^[4] in which he used the concept of a quaternion ^[5] for rotation interpolation. A detailed list of references on this topic can be found in ^[6] and.^[7]

Rational Bézier and B-spline motions

Let $\hat {\textbf{q}} = \textbf{q} + \varepsilon \textbf{q}^0$ denote a unit dual quaternion. A homogeneous dual quaternion may be written as a pair of quaternions, $\hat {\textbf{Q}}= \textbf{Q} + \varepsilon \textbf{Q}^0$; where $\textbf{Q} = w\textbf{q}, \textbf{Q}^0 = w\textbf{q}^0 + w^0\textbf{q}$. This is obtained by expanding $\hat {\textbf{Q}} = \hat {w} \hat {\textbf{q}}$ using dual number algebra (here, $\hat{w}=w+\varepsilon w^0$).

In terms of dual quaternions and the homogeneous coordinates of a point $\textbf{P}:(P_1, P_2, P_3, P_4)$ of the object, the transformation equation in terms of quaternions is given by (see ^[7] for details)

$\tilde {\textbf{P}} = \textbf{Q}\textbf{P}\textbf{Q}^\ast + P_4 [(\textbf{Q}^0)\textbf{Q}^\ast - \textbf{Q}(\textbf{Q}^0)^\ast],$ where $\textbf{Q}^\ast$ and $(\textbf{Q}^0)^\ast$ are conjugates of $\textbf{Q}$ and $\textbf{Q}^0$, respectively and $\tilde {\textbf{P}}$ denotes homogeneous coordinates of the point after the displacement.

Given a set of unit dual quaternions and dual weights $\hat {\textbf{q}}_i, \hat {w}_i; i = 0...n$ respectively, the following represents a rational Bézier curve in the space of dual quaternions.

$\hat{\textbf{Q}}(t) = \sum\limits_{i = 0}^n {B_i^n (t)\hat {\textbf{Q}}_i} = \sum\limits_{i = 0}^n {B_i^n (t)\hat {w}_i \hat{\textbf{q}}_i}$

where $B_i^n(t)$ are the Bernstein polynomials. The Bézier dual quaternion curve given by above equation defines a rational Bézier motion of degree $2n$.

Similarly, a B-spline dual quaternion curve, which defines a NURBS motion of degree 2p, is given by,

$\hat {\textbf{Q}}(t) = \sum\limits_{i = 0}^n {N_{i,p}(t) \hat {\textbf{Q}}_i } = \sum\limits_{i = 0}^n {N_{i,p}(t) \hat {w}_i \hat {\textbf{q}}_i }$

where $N_{i,p}(t)$ are the pth-degree B-spline basis functions.

A representation for the rational Bézier motion and rational B-spline motion in the Cartesian space can be obtained by substituting either of the above two preceding expressions for $\hat {\textbf{Q}}(t)$ in the equation for point transform. In what follows, we deal with the case of rational Bézier motion. The, the trajectory of a point undergoing rational Bézier motion is given by,

$\tilde {\textbf{P}}^{2n}(t) = [H^{2n}(t)]\textbf{P},$

$H^{2n}(t)] = \sum\limits_{k = 0}^{2n} {B_k^{2n}(t)[H_k]},$

where $[H^{2n}(t)]$ is the matrix representation of the rational Bézier motion of degree $2n$ in Cartesian space. The following matrices $[H_k ]$ (also referred to as Bézier Control Matrices) define the affine control structure of the motion:

$[H_k] = \frac{1}{C_k^{2n}} \sum\limits_{i+j=k}{C_i^n C_j^n w_i w_j [H_{ij}^\ast]},$

where $[H_{ij}^\ast] = [H_i^+][H_j^-] + [H_j^-][H_i^{0+}] - [H_i^+][H_j^{0-} ] + (\alpha_i - \alpha_j )[H_j^-][Q_i^+]$.

In the above equations, $C_i^n$ and $C_j^n$ are binomial coefficients and $\alpha_i = w_i^0/w_i, \alpha_j = w_j^0/w_j$ are the weight ratios and

$[H_j^-] = \left[ \begin{array}{rrrr} q_{j,4} & -q_{j,3} & q_{j,2} & -q_{j,1} \\ q_{j,3} & q_{j,4} & -q_{j,1} & -q_{j,2} \\ -q_{j,2} & q_{j,1} & q_{j,4} & -q_{j,3} \\ q_{j,1} & q_{j,2} & q_{j,3} & q_{j,4} \\ \end{array} \right],$

$[Q_i^+] = \left[ \begin{array}{rrrr} 0 & 0 & 0 & q_{i,1} \\ 0 & 0 & 0 & q_{i,2} \\ 0 & 0 & 0 & q_{i,3} \\ 0 & 0 & 0 & q_{i,4} \\ \end{array} \right],$

$[H_i^{0+}] = \left[ \begin{array}{rrrr} 0 & 0 & 0 & q_{i,1}^0 \\ 0 & 0 & 0 & q_{i,2}^0 \\ 0 & 0 & 0 & q_{i,3}^0 \\ 0 & 0 & 0 & q_{i,4}^0 \\ \end{array} \right],$

$[H_j^{0-}] = \left[ \begin{array}{rrrr} 0 & 0 & 0 & -q_{j,1}^0 \\ 0 & 0 & 0 & -q_{j,2}^0 \\ 0 & 0 & 0 & -q_{j,3}^0 \\ 0 & 0 & 0 & q_{j,4}^0 \\ \end{array} \right],$

$[H_i^+] = \left[ \begin{array}{rrrr} q_{i,4} & -q_{i,3} & q_{i,2} & q_{i,1} \\ q_{i,3} & q_{i,4} & -q_{i,1} & q_{i,2} \\ -q_{i,2} & q_{i,1} & q_{i,4} & q_{i,3} \\ -q_{i,1} & -q_{i,2} & -q_{i,3} & q_{i,4} \\ \end{array} \right].$

In above matrices, $(q_{i,1}, q_{i,2}, q_{i,3}, q_{i,4})$ are four components of the real part $(\textbf{q}_i)$ and $(q_{i,1}^0, q_{i,2}^0, q_{i,3}^0, q_{i,4}^0)$ are four components of the dual part$(\textbf{q}_i^0)$ of the unit dual quaternion $(\hat {\textbf{q}}_i)$.

Example

A teapot under Rational Bézier motion of degree 6 with (on the left) unit real weights ($\hat{w}_i = 1 + \epsilon 0; i = 0..3$) (on the right) non-unit real weights ($\hat{w}_i = 1 + \epsilon 0; i = 0,3$ and $\hat{w}_i = 4 + \epsilon 0; i = 1,2$); also shown are affine positions (distorted) as well as the given control positions (in blue color).

See also

• Quaternion and Dual quaternion
• NURBS
• Computer animation
• Robotics
• Robot kinematics
• Computational geometry
• CNC machining
• Mechanism design

References

1. McCarthy, J. M. (1990). MIT Press Cambridge, MA, USA. Missing or empty |title= (help)
2. Ge, Q. J.; Ravani, B. (1994). "Computer-Aided Geometric Design of Motion Interpolants". Journal of mechanical design(1990) 116 (3): 756–762. doi:10.1115/1.2919447.
3. Ge, Q. J.; Ravani, B. (1994). "Geometric Construction of Bézier Motions". Journal of mechanical design(1990) 116 (3): 749–755. doi:10.1115/1.2919446.
4. Shoemake, K. (1985). "Animating rotation with quaternion curves". Proceedings of the 12th annual conference on Computer graphics and interactive techniques: 245–254. doi:10.1145/325334.325242.
5. Bottema, O.; Roth, B. (1990). Theoretical kinematics (Theoretical kinematics). Dover Publications. ISBN 0-486-66346-9.
6. Röschel, O. (1998). "Rational motion design—a survey". Computer-Aided Design 30 (3): 169–178. doi:10.1016/S0010-4485(97)00056-0.
7. Purwar, A.; Ge, Q. J. (2005). "On the effect of dual weights in computer-aided design of rational motions". ASME Journal of Mechanical Design 127 (5): 967–972. doi:10.1115/1.1906263.

External links

• Computational Design Kinematics Lab
• Robotics and Spatial Systems Laboratory (RASSL)
• Robotics and Automation Laboratory