 Review
 Open Access
 Published:
A Survey of Mathematical Tools in Topology and Performance Integrated Modeling and Design of Robotic Mechanism
Chinese Journal of Mechanical Engineering volume 33, Article number: 62 (2020)
Abstract
Topology and performance are the two main topics dealt in the development of robotic mechanisms. However, it is still a challenge to connect them by integrating the modeling and design process of both parts in a unified frame. As the properties associated with topology and performance, finite motion and instantaneous motion of the robot play key roles in the procedure. On the purpose of providing a fundamental preparation for integrated modeling and design, this paper carries out a review on the existing unified mathematic frameworks for motion description and computation, involving matrix Lie group and Lie algebra, dual quaternion and pure dual quaternion, finite screw and instantaneous screw. Besides the application in robotics, the review of the work from these mathematicians concentrates on the description, composition and intersection operations of the finite and instantaneous motions, especially on the exponentialdifferential maps which connect the two sides. Furthermore, an indepth discussion is worked out by investigating the algebraical relationship among these methods and their further progress in integrated robotic development. The presented review offers insightful investigation to the motion description and computation, and therefore would help designers to choose appropriate mathematical tool in the integrated design and modeling and design of mechanisms and robots.
Introduction
Mechanism, serving as the execution unit, is one of the essential subsystems of robot. The development of robot meeting the requirements from application scenarios depends largely on the analysis and design of robotic mechanism, which focus on topology and performance [1, 2]. Topology denotes the mechanical structure of the robotic mechanism. Topology analysis and design, also named as type synthesis, arrange the limbs and joints according to the demands on mechanism mobility, including number, sequence, type and axis (or direction) [3, 4]. Performance describes the output motion or/and force of the robotic mechanism. Performance analysis studies the kinematic, stiffness or dynamic mappings between joint space and operated space [5, 6], and performance design searches for the optimal parameters to guide the prototyping based on the task requirements [7, 8]. Conventionally, type synthesis, performance analysis and design of robotic mechanism are carried out in sequence [9]. This development procedure is to firstly invent the topological structures, select one type, build the performance models, and finally implement the optimal design. In this process, however, the type synthesis and performance design were separately implemented. The disconnection between topology and performance models leads to: (1) the difficulty in choosing particular topological structure as the performance features are usually regarded as the selecting criteria, and (2) the failure in concerning mechanism types in the optimal design since different topological structures behave differently. Therefore, it has long been a desire to unify the topology and performance analysis and design of robotic mechanisms.
Motion is the property considered in every stage of the development procedure, which is divided into two categories: finite and instantaneous motions [10, 11]. When a robotic mechanism moves along a continuous path, finite motion describes the total movement of the mechanism with respect to the initial pose [10], and instantaneous motion evaluates the velocity (acceleration, jerk, etc.) of the mechanism at current pose [11]. Literature review shows that type synthesis starts from predefined mobility described either by motion pattern based on finite motion computations [12, 13] or by constraint analysis based on instantaneous motion properties. Kinematic, stiffness and dynamic performance of the robotic mechanism relates directly to the displacement, velocity and acceleration mappings, which are analyzed either at finite motion or instantaneous motion level. It indicates that the finite and instantaneous motion description and computation are the fundamental preparation for the development of robotic mechanism. Hence, a unified mathematical framework for the finite and instantaneous motions is essential for the integrated topology and performance analysis and design.
The unified mathematical framework involves the analytical description, algebraic computation and mapping relations of the finite and instantaneous motions. The computations include mainly composition and intersection of motions. Composition is the operation for the accumulation of motions that can be the successive motions of a rigid body or the resulted motion by several rigid bodies connected by joints. For instance, the finite/instantaneous motion of a serial mechanism is calculated by the composition of finite/instantaneous motions of joints [14]. Intersection is to obtain the common part of different motions. Such operation is applied in the occasion like the finite motion of parallel mechanism whose calculation is performed by the intersection of finite motions of limbs [15]. Specially, the mapping relation of the finite and instantaneous motions is of vital importance because it is the main reason for the disconnection between topology synthesis and performance analysis of robotic mechanisms. So far, there are three mathematical tools that have been applied to the descriptions, computations and mappings of finite and instantaneous motions, i.e. matrix Lie group and Lie algebra [16], dual quaternion and pure dual quaternion [17], finite screw and instantaneous screw [18].
In the matrix Lie group, a special Euclidean group consisting of a rotation matrix and a translation vector is denoted by SE(3), whose element is rewritten into a homogenous matrix. The linear transformation can be implemented in a homogenous form, resulting in describing any finite motion by an element of the matrix representation of SE(3) [16]. By exploring the computation rules, matrix Lie group was introduced to the mobility analysis [19,20,21] and type synthesis of mechanism [22,23,24,25,26,27]. The matrix form of Lie algebra se(3) was employed to describe instantaneous motion of mechanisms. There exists an exponential map between matrix representations of SE(3) and se(3) [28].
Dual quaternion is the extension of quaternion from real number to dual number. The composition and intersection operations are investigated, allowing the dual quaternion being used in displacement modeling of mechanism [29]. Pure dual quaternion, the dual vector, describes instantaneous motion, which was adopted to the kinematics [30] and dynamics [31]. There is an exponential map between the dual quaternion and pure dual quaternion [32].
Finite screw is proposed to describe the finite motion of rigid body in the framework of screw theory [33]. A screw triangle product [34] was defined to accomplish the composition, and the algebraic method [35] to perform the intersection of finite motions was investigated, which are employed in the type synthesis of mechanism [36]. Instantaneous screw was described as the twist of rigid body in the beginning [34]. Twist and wrench, known as the infinitesimal displacement and external force, are widely applied to the kinematic [37, 38], stiffness [39, 40], dynamic analysis and design [41,42,43] of mechanisms. It has been rigorously proved that a differential map exists in the finite and instantaneous screws.
Although these three mathematical tools have been applied at different stages of mechanism development, their capabilities in unifying the topology and performance analysis and design have not been realized. Aiming at helping designers find out effective methods in implementing integrated analysis and design so as to meet different requirements, this paper provides a comprehensive review on the mathematical tools for this topic. The paper is organized as follows. In Section 2, motions in integrated topology and performance modeling and design is discussed. Section 3 to 5 introduce the matrix Lie group and Lie algebra, dual quaternion and pure dual quaternion, finite screw and instantaneous screw, respectively, including history of development, description, computations and mapping relations of finite and instantaneous motions. A comparison of the three mathematic frameworks is illustrated from the view of algebraic structures in Section 6 following with the applications of unified mathematic tools in integrated topology and performance modeling and design. The conclusions are drawn in Section 7.
Relationship between Development of Robotic Mechanism and Motions
It is a longterm challenge to unify the topology and performance modeling and design in the development of robotic mechanism. To address this problem, an integrated mathematical framework should be prepared, for which the relationship between topology/performance and motions is firstly analyzed.
Topology, considered as the skeleton of a robot, includes the numbers and types of kinematic limbs as well as the adjacency and incidence among kinematic joints [44]. One particular topology corresponds to a motion pattern of the robot. Hence, type synthesis is to obtain all the possible topologies according to the expected motion pattern. The description of expected motion patterns can be classified into two formats [45, 46]. One takes the finite motion form, which expresses the displacement of the robot from the initial pose to another. Referred to the summary of the generalized procedure of type synthesis by Gao [47], the available limbs are generated by the composition and intersection operations of finite motions. The other methods begin with the instantaneous motion description. Instantaneous motion is the infinitesimal motion of the robot at the given moment. Composition operation of instantaneous motions is the basis to get the available limbs and assembly conditions in the type synthesis of robotic mechanisms. Therefore, the topology model is related with the description and calculation of finite or instantaneous motion.
Performance determines the behavior of robots in practical application. Denoted by finite and instantaneous motions, the performances of a robot can be categorized by displacement, velocity and acceleration. The displacement model of the robotic mechanism is sometimes interpreted as forward or inverse kinematics, which focuses on the mapping between the displacements of actuations and the pose of the endeffector [48]. The displacement model is constructed and calculated by the finite motions. For example, the displacement model of a serial mechanism is built by the composition of finite motions of each kinematic joint. In the case of parallel mechanisms, both composition and intersection operations of the finite motions are involved. With the displacement model, the reachable workspace of the robot can also be analyzed. The next level of performance, i.e., the velocity of robotic mechanism, is described and calculated by instantaneous motion, because both instantaneous motion and velocity denote the infinitesimal motion at given pose. The velocity and force mapping between joint space and operated space lay the foundation of the kinematic performance analysis of serial and parallel mechanisms, which are carried out by the composition and intersection of instantaneous motions of joints and limbs. Regarding the static deformation as the perturbation of displacement, stiffness can be classified as the performance at velocity level. The stiffness modeling and analysis also rely on the composition and intersection of instantaneous motions. Finally, the performance at acceleration level refers to the dynamics, in which the velocity, acceleration and forces of the robotic mechanisms are involved. Since acceleration model is obtained by the firstorder of velocity model, the performance at acceleration level are analyzed by instantaneous motions. In summary, the performance model is formulated by the description and calculation of finite or instantaneous motion.
From the above analysis, it is concluded that the topology and performance of robotic mechanisms are completely reflected by finite and instantaneous motions. Therefore, the kernel of the integrated modeling lies in the algebraic derivation between finite and instantaneous motions. Because of intrinsic connections between displacement and velocity, finite and instantaneous motions could be connected by differential and integral mappings. In this manner, if the finite motion of a continuous path is known, the instantaneous motion at the given pose could be derived, and vice versa. The composition and intersection operations of the resultant finite and instantaneous motions can also be connected, which is beneficial for implementing the integrated topology and performance modeling and design of robotic mechanism. However, these mappings cannot be performed when topology and performance models are established by different mathematical tools. Consequently, a unified mathematic framework for finite and instantaneous motions is essential for the integrated modeling.
As illustrated in Figure 1, the description, computation and mapping of finite and instantaneous motions involving in integrated modeling should be covered in a unified mathematic framework. Till now, there are three mathematical tools that have been applied, including matrix Lie group and Lie algebra, dual quaternion and pure dual quaternion, finite screw and instantaneous screw. To provide an algebraic foundation of integrated modeling and design, these unified mathematic tools are reviewed in terms of the topics in the following sections, respectively.
Matrix Lie Group and Lie Algebra Based Method
Among the three methods applied in topology and performance integrated modeling and design of robotic mechanisms, i.e., matrix Lie group and Lie algebra based method, dual quaternion and pure dual quaternion based method, finite screw and instantaneous screw based method, the matrix based method is introduced in this section. At first, the developments on the applications of matrix Lie group and Lie algebra in robotic mechanisms are reviewed in detail, which is followed by the introductions on their expressions and computations. Based upon these, the exponential and differential mappings between them are illustrated.
Matrix Lie Group and Lie Algebra
When rotation and translation are respectively described by linear transformation and translation vector, each 6dimensional finite motion in 3dimensional space is thus represented as a pair of 3dimensional orthogonal matrix and vector. In this way, the entire set of finite motions forms a Lie group under motion composition, which is called the special Euclidean group (SE(3)). Correspondingly, when 3dimensional skewsymmetric matrix and vector are used to respectively describe angular and linear velocities, the entire set of 6dimensional instantaneous motions constituted by the pairs of velocities form the Lie algebra se(3) of SE(3).
The matrix Lie group and Lie algebra are originated from the Erlangen program proposed by Klein [16] in the late 19th century, from then, the pairs in SE(3) and se(3) are rewritten into homogenous matrices. Both finite motion and instantaneous motion can be expressed in homogenous forms, resulting in that any finite motion is described by an element in the matrix representation of SE(3), and that any instantaneous motion is described by an element in the matrix representation of se(3).
It was Hervé [19] who introduced the matrix Lie group into mobility analysis of mechanisms. In the 1980s and 1990s, he had been investigating description and calculation of mechanism displacement by the subgroups of SE(3) [20, 49, 50]. The application of matrix Lie group in geometry and kinematics of mechanisms was discussed. On this basis, Hervé and Sparacino [51] employed matrix Lie group to the type synthesis (structure synthesis) of parallel mechanisms. This work was later developed by Li and Hervé [7, 8, 10, 26, 52], Lee and Hervé [53,54,55,56]. Owing to their efforts, a systematic type synthesis method by matrix Lie group was proposed. Specially, Li introduced the submanifolds of SE(3) as the extension of subgroups to describe the displacements of parallel mechanisms and their limbs. Many novel parallel mechanisms were invented, including five degreeoffreedom (DoF) parallel mechanisms that could not be synthesized due to the lack of 5dimensional subgroups of SE(3). Besides applying matrix Lie group to type synthesis, Fanghella and Galletti [57, 58] discussed the approximate computation algorithms of matrix Lie group. Composition of two subgroups was computed by their minimum envelope group, while the intersection of two subgroups was performed by searching for the maximum common group. All possible cases of subgroup composition and intersection were listed. This computation method is different from the analytical algorithms in BakerCampbellHausdorff formula [59, 60] and is easier to be directly applied. Meng [61] also engaged in giving the clear intersection algorithms of subgroups. They obtained the intersection of Lie subgroups by solving the intersection of the corresponding Lie subalgebras. In their work, the matrix form of Lie algebra se(3) was employed to describe instantaneous motion of mechanisms. The similar method was employed by Wu [62,63,64] in type synthesis of quotient mechanisms, and by Liu [65] in type synthesis of mechanisms with adjointinvariant submanifolds of SE (3). All these contributions lead to the topology modeling by using matrix Lie group and its subsets. In 1983, Brockett [28, 66] established the framework of matrix Lie group and Lie algebra for mechanism modeling and analysis. By investigating the exponential mapping between matrix representations of SE(3) and se(3), he set up the connection between finite and instantaneous motions of mechanisms. His work was further extended by Li [67,68,69], Park [70,71,72], Chen [73,74,75], Chen [76,77,78] and their colleagues, leading to an integrated framework for kinematics, dynamics, calibration, and control of mechanisms.
Matrix Lie Group and Its Computations
As introduced in Section 2.1, the matrix representation of SE(3) is the entire set of homogeneous matrices that describe all the linear transformations in the Euclidean space. This matrix Lie group can be used to describe all the finite motions of a rigid body or a mechanism. Hence, the finite motion description based upon matrix Lie group can be expressed as,
where SO(3) denotes the special orthogonal group consisting of the orthogonal matrices that describe rotations, \( {\mathbb{R}}^{3} \) denotes the 3dimensional vector space, \( \varvec{R} \) is an arbitrary element in SO(3) which represents the rotation matrix about the Chasles’ axis, \( \varvec{t} \) is the translation vector along that axis. \( \varvec{R} \) and \( \varvec{t} \) involve the Chasles’ axis \( \left( {\begin{array}{*{20}c} {\varvec{s}_{f}^{\text{T}} } & {\left( {\varvec{r}_{f} \times \varvec{s}_{f} } \right)^{\text{T}} } \\ \end{array} } \right)^{\text{T}} \) together with the corresponding rotational angle \( \theta \) and translational distance \( t \). The expressions of \( \varvec{R} \) and \( \varvec{t} \) can be referred to Ref. [28], as
where \( \varvec{E}_{3} \) is a threeorder unit matrix, \( \tilde{\varvec{s}}_{f} \) is the skewsymmetric matrix that denotes the cross product of \( \varvec{s}_{f} \). \( \varvec{r}_{f} \) expresses the position vector of the Chasles’ axis.
When the matrix Lie group theory is applied in topology modeling and analysis of robotic mechanisms, the finite motion generated by each 1DoF joint can be described by a 1dimensional subgroup of SE(3). Following this manner, the motion of each limb is the composition of all its joints’ motions, and the mechanism motion is the intersection of the limbs’ motions.
The composition of matrix Lie subgroups is performed by matrix multiplication. This is because any Lie subgroup can be regarded as the composition of several 1dimensional subgroups. Hence, the composition of finite motions can be expressed by the multiplication of a sequence of 1DoF finite motions as,
where \( \varvec{M}_{k} \) (\( k = 1,2, \ldots ,\;n \)) denotes the 1dimensional subgroup that describes the kth finite motion in the sequence.
Consider that the elements in each 1dimensional subgroup can be expressed by exponential expressions, \( \varvec{M}_{k} \) can be obtained as
where \( \tilde{\varvec{\xi }}_{f,k} \) is the homogenous matrix that represents the Chasles’ axis that corresponds to \( \varvec{M}_{k} \) and a pitch, as
The denotations of the symbols in Eq. (6) can be referred to those in Eqs. (2) and (3).
Taking the exponential form, Eq. (4) can be rewritten as,
In order to obtain the expansion form of Eq. (7), the BakerCampbellHausdorff formula is employed. The composition of two 1DoF finite motions could be performed as,
where
Herein, \( \left[ {\theta_{k + 1} \tilde{\varvec{\xi }}_{f,k + 1} ,\theta_{k} \tilde{\varvec{\xi }}_{f,k} } \right] = \theta_{k} \theta_{k + 1} \left( {\tilde{\varvec{\xi }}_{f,k + 1} \tilde{\varvec{\xi }}_{f,k}  \tilde{\varvec{\xi }}_{f,k} \tilde{\varvec{\xi }}_{f,k + 1} } \right) \) is defined as the Lie bracket. It is found that algebraic computation becomes more complicated and difficult because of higher order items, especially for the cases of more than two motions.
Intersection of finite motions is the maximum common subgroup or submanifold contained in all motions. By using the property of the exponential expression in Eq. (5), Meng [20] partly solved this problem by mapping the intersection of the Lie subgroups to Lie algebra level. Till now, intersection of finite motions by matrix Lie subgroups and the composited manifolds (the product of several Lie subgroups) is mainly based upon specific principles, such as the cases given by Fanghella and Galletti [16, 17]. However, these operations are difficult to implement in an analytical manner and be applied for all the motion patterns. There is no generic intersection algorithm for matrix Lie subgroups and the composited manifolds yet.
Matrix Lie Algebra and Its Computations
As the counterpart of matrix Lie group SE(3), its matrix Lie algebra se(3) is employed to describe the instantaneous motions of robotic mechanisms, as
where ω and ν are angular and linear velocities in 3dimensional vector forms.
Any element in se(3) can be rewritten into vector form as
where \( {\varvec{\xi}}_{t} \) is the normalized unit velocity, ω is its amplitude, and p_{t} denotes the pitch. \( \varvec{r}_{t} \) expresses the position of the Mozzi’s axis.
When the matrix Lie algebra theory is applied in performance modeling and analysis of robotic mechanisms, 1dimensional subspace of se(3) is employed to describe the instantaneous motion generated by 1DoF joint. In this way, the composition of the motions of all joints in a limb leads to the limb motion, and the intersection of all the limbs’ motions results in the mechanism motion.
As is well known, se(3) is a 6dimensional vector space. The composition of matrix Lie subspaces is performed by linear addition as,
where ‘\( \oplus \)’ denotes the combination operation of linear vector spaces. The intersection of several subspaces can be obtained through linear computations, as
where T_{1}, T_{2}, …, T_{n} denote n subspaces of se(3). The computations shown in Eqs. (12) and (13) are easy to be conducted because they both fall in the area of linear algebra.
Mappings between Matrix Lie Group and Lie Algebra
According to the physical principle, finite motion (displacement) is the integral of instantaneous motion (velocity), and velocity is the differential of displacement. When the displacement and velocity are described by matrix Lie group and Lie algebra, a differentialexponential mapping can be formulated between them as follows,
The interpretations on the above two equations are given as follows:

(1)
The differential of \( \varvec{g} \) at θ = 0 is \( \omega \tilde{\varvec{\xi }}_{f} \). As the Chasles’ axis is coincident with the axis of the velocity when θ = 0, the differential of \( \varvec{g} \) at θ = 0 is an element of se(3). This is because se(3) is the tangent space of SE(3) at the identity element (the unit matrix).

(2)
The exponential of \( \omega \tilde{\varvec{\xi }}_{t} \) with respect to the time results in \( \varvec{g} \), which means that the exponential of any elements in se(3) with respect to the time leads to the elements in SE(3).
The differentialexponential mapping between matrix Lie group SE(3) and Lie algebra se(3) leads to the following 1DoF case, as
and multiDoF cases, as
Dual Quaternion and Pure Dual Quaternion Based Method
The review of dual quaternion and pure dual quaternion based method is provided in this section. Firstly, the application of this method in topology and performance modeling and design of robotic mechanisms is traced. Secondly, the basic formats together with their composition and intersection operations are discussed. Finally, the exponential/Cayley differential maps between finite and instantaneous motions are constructed in the form of quaternionic algebras.
Dual Quaternion and Pure Dual Quaternion
As the representations of SE(3) and se(3), respectively, dual quaternion and pure dual quaternion are applied to describe the transformation from one pose to another and the velocity at any instant. Dual quaternion utilizes eight parameters by presenting a scalar with the cosine of half the dual angle [17] and further six numbers by integrating the direction and position of the motion axis with the sine of half the dual angel. Herein, dual angle integrated the rotational angle and linear displacement by dual operator. Pure dual quaternion is also called dual vector, which includes six elements and is defined by means of the unit axis and amplitude of instantaneous motion.
The dual quaternion and pure dual quaternion based method can be traced back to EulerRodrigues’ parameters and EulerRodrigues’ formula [79] in the 18th century. Hamilton [80] and Rodrigues [81] did some pioneering work in this field. Based on that, Clifford [82] transformed rotation about an axis into translation parallel to the axis and proposed the concept of “biquaternion” in the investigation of geometry and algebra. Biquaternion was then applied to motion description and termed as dual quaternion [17].
It was pointed out the dual quaternion is the extension of quaternion from real number to dual number. According to the “transference principle” [83, 84], the algorithms for quaternions can be applied to the algorithms for dual quaternions. In this way, the composition of two dual quaternions could be computed by quaternion multiplication [85], i.e., EulerRodrigues’ formula with dual angles. As for the intersection algorithms, Sun [86] employed analytical derivations to deal with the intersection of the sets of dual quaternions. Mechanism analysis by dual quaternion was implemented by McAulay [87] for the first time who utilized dual quaternion to describe rigid body displacement. Later on, dual quaternion was used in the kinematics of mechanisms from a geometrical prospective by Refs. [88, 89] and Blaschke [90]. Kong studied the method for motion mode analysis of singleloop and closedloop spatial mechanisms by formulating a set of kinematic loop equations based on dual quaternions [91, 92]. It was proved in ref. [93] that dual quaternions facilitate to avoid singularities in the analysis of finite motion. Besides robotic kinematics, joint stiffness identification and deformation compensation algorithms for serial robots were constructed [94]. Apart from the applications of dual quaternion in finite motion description, pure dual quaternion (dual vector) was adopted to describe instantaneous motion. For instance, Yang and Freudenstein [29, 95] combined both dual quaternion and pure dual quaternion to analyze the displacement and velocity of a spatial fourlink mechanism. Similar researches on the mechanism kinematic analysis by dual quaternions can be found in [30, 96, 97]. For the mechanism design, McCarthy et al. [98, 99] formulated forward and inverse kinematic equations of spatial serial chains and proposed a semianalytical design method. These kinematic equations are obtained by the exponential map between pure dual quaternion and dual quaternion. Selig [32] built the dynamic model of mechanisms using quaternions [31]. In his research, the Cayley map in dual quaternion theory was constructed concerning that the entire set of dual quaternions is a double cover of SE(3). The intrinsic connections between quaternion exponential map and EulerRodrigues’ formula were deeply investigated by Dai [100], relating dual quaternions with other representations of SE(3). Taking advantages of these mappings, the integrated method was also used in calibration algorithms [101, 102], path planning and control strategies [103, 104]. Motivated by the arithmetic operations of dual quaternions, Cohen developed the concept of hyper dual quaternion currently, which was applied for the displacement and velocity modeling of serial mechanisms [105].
Dual quaternion and its computations
The dual quaternion is the extension of quaternion from real number to dual number. Rotation axis and rotational angle in quaternion can be replaced with dual axis and dual angle. Thus, the 1DoF finite motion is described by dual quaternion as
where \( \hat{\theta } = \theta + \varepsilon t \) denotes the dual angle. It has the cosine and sine functions as
where \( \varepsilon \) is the dual unit and \( \varepsilon^{2} = 0 \). \( \left( {} \right)^{ \wedge } \) in this paper denotes a vector in pure dual quaternion form. \( \varvec{L}_{f}^{ \wedge } \) is the pure dual quaternion form of the Plücker coordinates of the Chasles’ axis, which can be denoted as \( \varvec{L}_{f}^{ \wedge } = \varvec{s}_{f}^{ \wedge } + \varepsilon \varvec{r}_{f}^{ \wedge } \times \varvec{s}_{f}^{ \wedge } \). Herein, \( \varvec{s}_{f}^{ \wedge } \) and \( \varvec{r}_{f}^{ \wedge } \) are the unit direction dual vector and position dual vector of the Chasles’ axis.
where \( s_{f,u} \) and \( r_{f,u} \)\( \left( {u = 1,2,3} \right) \) are scalar coefficients of Plücker coordinates. \( \varvec{i} \), \( \varvec{j} \), \( \varvec{k} \) are plural units with the properties,
For a serial mechanism or limbs in parallel mechanism, the finite motion generated by all 1DoF joints can be solved by the composition operation, which can be rewritten utilizing quaternion multiplication [80, 81],
It is noted that the motion of moving platform in a parallel mechanism and that generated by each limb is in equilibrium. Therefore, having the analytical resultant motion of limbs at hand, the finite motion of the moving platform can be obtained by the intersection operation as,
Thanks to the expression and quaternion multiplication defined in Eqs. (20), (21), the finite motion of each limb could be determined by formulating equations as Eq. (24).
Pure Dual Quaternion and Its Computations
The velocity of the rigid body at any instant is specified by a dual vector, which connects two 3D vectors by dual operator. In this way, the format of pure dual quaternion is introduced here
where \( \varvec{L}_{t}^{ \wedge } = \varvec{s}_{t}^{ \wedge } + \varepsilon \varvec{r}_{t}^{ \wedge } \times \varvec{s}_{t}^{ \wedge } \) is the pure dual quaternion form of the Plücker coordinates of the Mozzi’s axis. Herein, \( \varvec{s}_{t}^{ \wedge } \), \( \varvec{r}_{t}^{ \wedge } \) are the unit direction dual vector and position dual vector of the Mozzi’s axis.
where \( s_{t,u} \) and \( r_{t,u} \)\( \left( {u = 1,2,3} \right) \) are scalar coefficients of Plücker coordinates.
The pure dual quaternions are Lie algebra elements with both welldefined addition and multiplication. Thus, when pure dual quaternion is applied in the performance modeling and design of robotic mechanisms, the composition and intersection operations can be performed as linear algebra, referring to Eq. (12) and Eq. (13), respectively.
Mappings between Dual Quaternion and Pure Dual Quaternion
Similar to matrix Lie group and Lie algebra, the exponential map and Cayley map exist from pure dual quaternion to dual quaternion, which are given by,
In the modeling process of robots, exponential map facilitates to connect the velocity and the possible displacements allowed by the joint. It would be convenient to formulate the topology or kinematic models of serial mechanisms or openloop limbs by taking the axes and motion variables of joints in an analytical manner. Cayley map is always used in numerical methods since it does not need so many trigonometric function calls and will avoid cost consuming. For multiDoF, the maps could be expanded as
When the topology/displacement models are obtained at first, differential mapping between dual quaternion and pure dual quaternion would help to get the velocities. It could be executed by taking differentiations of dual quaternion \( \varvec{D} \) with respect to time.
It indicates that the time derivative of \( \varvec{D} \) at the initial pose is exactly the corresponding pure dual quaternion \( \varvec{L}_{t}^{ \wedge } \) at the instant \( \hat{\theta } = 0 \). This rule is also proved in the multiDoF cases,
Finite Screw and Instantaneous Screw Based Method
In this section, integrated screw theory based method is presented beginning with the progress achieved in topology and performance modeling and design of robotic mechanisms. Then the description and computation of motions by finite and instantaneous screws are introduced. After that, the differential mapping between them is formulated.
Finite Srew and Instantaneous Screw
According to Chasles’s theorem [10], a general rigidbody displacement could be described as a rotation about a line followed by a translation in the same direction as the rotation axis. Such a line is specified by the finite motion axis, a rotation angle, and a pitch. Motivated by this point, finite screw is invented to describe the finite motion in a 6D quasivector format. Meanwhile, instantaneous motion could be expressed by the line in linear subspace, representing instantaneous motion axis with angular and linear velocities. Instantaneous screw was proposed based on spatial vectors with the definition of pitch. By this means, finite and instantaneous motions are depicted in the view of geometry by finite and instantaneous screws.
The finite screw and instantaneous screw based method origins from screw theory proposed in the 19th century. In the beginning, Chasles [10] proposed the concept of twist motion of a rigid body. It was further developed by Poinsot and Plücker [11], in which screw coordinates of infinitesimal displacement and external force were involved. They were named as twist and wrench, respectively. The reciprocal property of twist and wrench was later explored by Ball [106] and Klein [107, 108].
In the book “A treatise on the theory of screws” [109], Ball discussed kinematics and dynamics of an arbitrary rigid body by screw theory. It laid a solid foundation for the mechanism analysis by Hunt [110] who proposed the screw based kinematic and dynamic modeling method for serial, parallel and closedloop mechanisms. Following Hunt’s work, substantial researches were carried out for the mechanism analysis and design based on instantaneous screw, such as type synthesis [3, 45, 111], statics and kinetics [112, 113], performance evaluation and optimization [114, 115]. Besides the applications of instantaneous screw, finite screw, termed by Dimentberg [116], was proposed to describe the finite motion of rigid body. On this track, the format of finite screw, including the pitch and amplitude, was intensively studied by Parkin [117, 118], Hunt [119], Dai [33] and Huang [120,121,122]. Other than description of finite screw, the computation was another difficult problem. To this end, Roth [123] defined screw triangle product to accomplish finite screw composition with the aid of EulerRodrigues’ formula. This definition had been widely accepted. From then on, many scholars focused on finding out concise algorithm for the screw triangle product [124,125,126,127,128,129]. Through the linear combination of two original screws, their translational parts and the screw along their common perpendicular, Huang [130] simplified the screw triangle product. However, the nonlinear intersection of finite screws was analyzed in linear subspaces [131], which leads to inappropriate results. In terms of the finite screw intersection, Sun [18, 35, 36] presented an algebraic method. For the first time, Dai [34] formulated the mapping between finite and instantaneous screws, and defined correlations among screw theory, matrix Lie group and quaternions [132]. Based on the contribution of Dai, Sun [18, 133] expanded the differential mapping to the analysis of spatial mechanisms. For the applications of finite screw to mechanism analysis, Huang [120,121,122] built the forward kinematic equations of some serial mechanisms. Sun and his colleagues [133,134,135,136] proposed a generic method to formulate motion equations for different types of mechanisms. Finite motion based type synthesis and instantaneous motion based kinematic analysis of parallel mechanisms are integrated by a consistent algebraic manner in their method.
Finite Screw and Its Computations
Finite motion description by screw directly reflect the Chasles’ axis together with the angular and linear displacements. The 1DoF finite motion could be parameterized as finite screw in 6dimensional quasivector form as
where \( \varvec{s}_{f} \), \( \varvec{r}_{f} \), \( \theta \), \( t \) have the same meanings as given in Eqs. (2), (3).
Composition operation of finite screws could be performed by screw triangle product signed as “\( \vartriangle \)”. The composition of two 1dimensional finite screws results in a linear combination of the two original screws, their translational parts and the screw along their common perpendicular. In this way, the analytical expression of the composited motion can be easily obtained in an approximately linear manner, which simplifies the nonlinear composition of finite motions
where \( \varvec{S}_{f,1} {\vartriangle }\varvec{S}_{f,2} = \frac{1}{{1  \tan \frac{{\theta_{1} }}{2}\tan \frac{{\theta_{2} }}{2}\varvec{s}_{f,2}^{\text{T}} \varvec{s}_{f,1} }}\left( \begin{aligned} \varvec{S}_{f,1} + \varvec{S}_{f,2}  \frac{1}{2}\varvec{S}_{fc,12} \hfill \\  \varvec{S}_{fp,1}  \varvec{S}_{fp,2} \hfill \\ \end{aligned} \right), \)\( \varvec{S}_{f,i} = 2\tan \frac{{\theta_{i} }}{2}\left( {\begin{array}{*{20}c} {\varvec{s}_{f,i} } \\ {\varvec{r}_{f,i} \times \varvec{s}_{f,i} } \\ \end{array} } \right) + t_{i} \left( {\begin{array}{*{20}c} {\mathbf{0}} \\ {\varvec{s}_{f,i} } \\ \end{array} } \right), \quad i = 1,2,\)
Similar to the intersection algorithm of dual quaternions, the intersection of finite screws is achieved through formulating the simultaneous equations and solving the common range of the finite screw expressions
Instantaneous Screw and Its Computations
Instantaneous motion description by screw directly reflect the Mozzi’s axis together with the amplitude of velocity. The instantaneous motion of rigid body could be parameterized as instantaneous screw in 6D vector form as
where \( \varvec{s}_{t} \), \( \varvec{r}_{t} \), \( \omega \) and p have the same meanings as given in Eq. (11).
For robotic mechanism, the velocity of moving platform relative to the fixed platform forms a screw system, which is composed by a set of 1DoF screws. In the process of performance modeling and design of robots, screw system plays an important role in mobility analysis and Jacobian formulation. For serial mechanisms, screw system could be measured as the combination of the instantaneous screws producing by each kinematic joint. When mechanisms with parallel structures, intersection operation of the screw systems generated by a series of connected chains is carried out. Due to the work of Rico and Duffy [137,138,139], screw systems were classified and proved to be subspaces, sometimes even subalgebras of the Lie algebra se(3) of the Euclidean group SE (3). Therefore, the combination and intersection operation could be written as the form in Eq. (12) and Eq. (13), respectively.
Mappings between Finite and Instantaneous Screws
As far as we know, the exponential map does not exist between instantaneous screw and finite screw. That is because finite screw describes the displacement in a Gibson form, which break the linear transformation format of finite motion description of matrix Li Group and dual quaternion.
In spite of the lack of exponential map, differential map between displacement and velocity can be performed directly by taking differentiations of finite screw \( \varvec{S}_{f} \) with respect to time. For 1DoF or multiDoF finite screw \( \varvec{S}_{f} \), the corresponding instantaneous screw system would be formulated as
Discussions
After respectively reviewing the three mathematical tools applied in topology and performance modeling and analysis of robotic mechanisms, further discussions on comparisons among them and their applications will be given in this section.
Comparisons among the Three Methods
Based upon Sections 3–5, it can be seen that the instantaneous screws, matrix Lie algebra, and pure dual quaternions for instantaneous motion description are all linear vector spaces, and their algebraic structures are isomorphic to each other. Thus, only the mathematical tools for finite motion description will be compared here. The differences among matrix Lie group, dual quaternions, and finite screws rise from their different algebraic structures. In order to discuss the differences of these three mathematical tools in describing rigid body finite motion, we firstly look into their algebraic structures and the relationships among them and SE(3).
Any transformation matrix in the matrix Lie group can be represented by a 4 × 4 real matrix, a 6 × 6 real matrix, or a 3 × 3 dual matrix etc. Because these three representations are isomorphic with each other, we take 4 × 4 real matrix representation as an example in Section 3. The entire set of each kind of these matrices has the same inner closure and associative properties with SE(3). Hence, the matrix Lie group forms a homomorphism of SE(3). Furthermore, it is an isomorphism of SE(3), since there exists a bijective mapping between them. The matrix Lie group is also a representation of SE(3). This is because the matrix operations play as linear transformations acting on the 6dimensional vector space. Dual quaternions have similar features. Half part of the entire set of dual quaternions with positive rotational angles is also an isomorphism and a representation of SE(3). Thus, the entire set of dual quaternion is a double cover of SE(3). The transformation matrices in matrix Lie group can be composited by multiplication with linear transformation formats. The same operation can be performed by dual quaternions.
Different from transformation matrix and dual quaternion, finite screw is invented to break the linear transformation format of finite motion description, which can be regarded as a general form of Gibbs vector. Finite screw does not act on any vector space, and cannot transform any coordinate of geometric point or line. It is a mathematical tool purely for finite motion description, and it can express the basic elements of Chasles’ motion in a straightforward manner. The composition algorithm of finite screws, i.e., screw triangle product, maintains the screw format, which directly leads to the expressions of basic elements of the resultant Chasles’ motion. Although the entire set of finite screws under screw triangle product has the same inner closure and associative properties with SE(3), it is not a representation of SE(3). In other words, it only forms a isomorphism of SE(3).
Any element of SE(3) is a combination of rotation matrix and translation vector. It is a homogeneous transformation of the coordinates of points. In this way, all representations of SE(3) cannot break the inherent linear transformation formats. Hence, only finite screw with screw triangle product can express and composite finite motions in a nonredundant and direct manner.
All the three methods reviewed in Sections 3–5 could be used to describe and compute all situations of finite motions. To further investigate the relationships among them, we rewrite the element in dual quaternion in the following way,
Compare the above equation and Eq. (1)–(3) with finite screw in Eq. (32). It is noted that the information of a finite motion, i.e., the Chasles’ axis and the corresponding rotational angle and translational distance, is involved in the 3 × 3 rotation matrix and 3 × 1 translation vector in, and is not easy to be extracted. Hence, for elements in matrix Lie group, at least 12 items are needed to describe the 6dimensional finite motion. For dual quaternion, 8 items are needed, and the dual vector in \( \varvec{D} \) covers all the finite motion characteristics while the dual scalar is redundant. Finite screw contains the whole finite motion characteristics in the 6dimensional quasivector form. Thus, it is nonredundant. Motion descriptions by finite screw are more concise. On this basis, the composition of two finite motions could be obtained by three cross product computations and their linear combination. The redundancy of matrix Lie group and dual quaternions results in more operations in the process of computing the composition and intersection of finite motions. In the whole, finite and instantaneous screw based method has the most concise formats to describe mechanism motions, and provides the most explicit algorithms for the computation.
Future Works on Applications of the Three Methods
From the discussion in previous sections, three unified mathematical tools are proved to have the abilities of description, computation and mapping of finite and instantaneous motions. With the aid of the unified mathematical frameworks, the integrated topology and performance modeling and design can be studied, which is meaningful but still rarely investigated in the current researches. Therefore, the next problem is how to apply the above mathematical tools to the integrated modeling and design. Since both the topology and performances are considered, the integrated modeling and design process can be interpreted as (1) finding out all possible topologies having the same desired mobility, (2) formulating the performances of every topological structure, and (3) searching for the optimal topology and performances. Having the above unified mathematical tools, type synthesis and performance modeling can be carried out in the same mathematical framework, as shown in Figure 2. For instance, type synthesis can be implemented by the finite motion based methods. By the mapping between finite and instantaneous motions, the performance model would be done by instantaneous motion based methods. Hence, both the topological and performance parameters can be defined in the optimal design.
The detail integrated modeling and design process might be conducted as follows. First of all, the expected motion is described in a finite motion format based on matrix Lie group, dual quaternion or finite screw. By taking the advantages of intersection and composition operations, the available limbs and mechanisms would be generated. More details are referred to [35, 51, 86]. Because the type synthesis is implemented in an algebraic manner, the parameterized topology models are obtained. Then, the finite motion based topology model is directly applied as the displacement model relative to the initial pose. In order to construct the performance models with topology parameters, the differential mapping between matrix Lie group and Lie algebra, dual quaternion and pure dual quaternion, finite screw and instantaneous screw are utilized. In this way, the velocity model of 1DoF kinematic joint, multiDoF limbs and endeffector could be obtained in the forms of Lie algebra, pure dual quaternion and instantaneous screw, respectively. With the velocity model available at hand, the velocity/force features, stiffness performance can be further analyzed. By the firstorder derivation of velocity, accelerations would be further formulated, with which the dynamic model is obtained. Up to this point, the integrated modeling for topology, kinematic, stiffness and dynamic is captured. Finally, both topological and dimensional parameters can be taken as design variables in optimal design, resulting in optimized topological structure with its dimensions.
Besides the methodology of integrated topology and performance modeling and design, another possible application of the reviewed mathematical tools is the automatic software development. It could be seen that every step of the integrated modeling and design is performed by algebraic expressions and computations, which facilitates this procedure to be realized in automatic manner using computer programming languages. By applying computation software like Matlab and Maple, composition, intersection and mapping algorithms of finite and instantaneous motions based on the three unified mathematic tools could be compiled as modularized programs. In this way, for given motion pattern, type synthesis can be automatically implemented to obtain all the feasible robotic mechanisms. The topology models are regarded as the displacement models. Then performance models in terms of velocity and acceleration can be directly constructed and analyzed by taking the first and secondorder derivation of its displacement model. The automatic software in the future work will improve the efficiency of integrated robot design and make the methods to be easily applied by the mechanical engineers without studying the mathematical knowledge.
Conclusions
Topology and performance of mechanism are the main focuses in the development of robotic mechanism. It has long been a desire to carry out the integrated analysis and design as topology and performance are mutually affected each other. A unified mathematical framework is the fundamental preparation. Three mathematical tools, i.e., Lie group and Lie algebra, dual quaternion and pure dual quaternion, finite screw and instantaneous screw, are comprehensively reviewed. The history, finite motion, instantaneous motion and the mapping relation of each mathematical tool are introduced, in which the description, computation and intersection of two types of motions are given. A discussion on the three mathematical tools is also presented. This paper aims at providing a reference on the mathematical tools in topology and performance integrated analysis and design, and helps reader select the appropriate method when implementing the analysis and design of robotic mechanisms.
References
 [1]
J Angeles. Fundamentals of robotic mechanical systems: Theory, methods, and algorithms. 4th ed. New York: Springer, 2014.
 [2]
J P Merlet. Parallel robots. Netherlands: Springer, 2006.
 [3]
X W Kong, C M Gosselin. Type synthesis of parallel mechanisms. Berlin: Springer, 2007.
 [4]
T L Yang, A X Liu, Q Jin, et al. Position and orientation characteristic equation for topological design of robot mechanisms. ASME Journal of Mechanical Design, 2019, 131(2): 021001102100117.
 [5]
M Sokolova, G Lapalme. A systematic analysis of performance measures for classification tasks. Information Processing & Management, 2009, 45(4): 427437.
 [6]
H N Huynh, A Hamed, R Edouard, et al. Modelling the dynamics of industrial robots for milling operations. Robotics and ComputerIntegrated Manufacturing, 2020, 61, https://doi.org/10.1016/j.rcim.2019.101852.
 [7]
V Muralidharan, A Bose, K Chatra, S Bandyopadhyay. Methods for dimensional design of parallel manipulators for optimal dynamic performance over a given safe working zone. Mechanism and Machine Theory, 2019, 147: 103721.
 [8]
Z Gao, D Zhang Performance analysis, mapping and multiobjective optimization of a hybrid robotic machine tool. IEEE Transact on Industrial Electronics, 2015, 62(1): 423433.
 [9]
X J Liu, J S Wang. Parallel mechanism: type, kinematics, and optimal design. Berlin: Springer, 2014.
 [10]
M Chasles. Note on the general properties of the system of two similar body between them and in any manner places in space; and on the finished moving or infinitely petis of free solid body. Bull Math Ferussac, 1830, 14: 321326.
 [11]
J Plücker. On a new geometry of space. Philosophical Transactions,1865, 155: 725791.
 [12]
T L Yang, A X Liu, Q Jin, et al. Position and orientation characteristic equation for topological design of robot mechanisms. ASME Journal of Mechanical Design, 2009, 131(2): 021001102100117.
 [13]
F Gao, J L Yang, Q J Ge. Type synthesis of parallel mechanisms having the second class GF sets and two dimensional rotations. ASME Journal of Mechanism and Robotics, 2011, 3(1): 011003 (8 pages).
 [14]
Z Fu, W Yang, Z Yang. Solution of inverse kinematics for 6R robot manipulators with offset wrist based on geometric algebra. ASME Journal of Mechanism and Robotics, 2015, 5(3): 310081310087.
 [15]
Q Jin, T L Yang. Theory for topology synthesis of parallel manipulators and its application to threedimensiontranslation parallel manipulators. ASME Journal of Mechanical Design, 2004, 126(4): 625639.
 [16]
F A Klein. Comparative review of recent researches in geometry. Mathematische Annalen, 1893, 43: 63100.
 [17]
I M Yaglom. Complex numbers in geometry. New York: Academic, 1968.
 [18]
T Sun, S F Yang, T Huang, et al. A way of relating instantaneous and finite screws based on the screw triangle product. Mechanism and Machine Theory, 2017, 108: 7582.
 [19]
J M Hervé. Analyse structurelle des mécanismes par groupe des déplacements. Mechanism and Machine Theory, 1978, 13: 437450.
 [20]
J M Hervé. Intrinsic formulation of problems of geometry and kinematics of mechanisms. Mechanism and Machine Theory, 1982, 17: 179184.
 [21]
Y J Wang, B Belzile, J Angeles, et al. Kinematic analysis and optimum design of a novel 2PUR2RPU parallel robot. Mechanism and Machine Theory, 2019, 139: 407423.
 [22]
X D Jin, Y F Fang, D Zhang. Design of a class of generalized parallel mechanisms with large rotational angles and integrated endeffectors. Mechanism and Machine Theory, 2019, 134: 117134.
 [23]
L Q Li, Y F Fang, L Wang. Design of a family of multiDOF drive systems for fewer limb parallel mechanisms. Mechanism and Machine Theory, 2020, 148: 103802.
 [24]
Q C Li, Z Huang, J M Herve. Type synthesis of 3R2T 5DOF parallel mechanisms using the Lie group of displacements. IEEE Transactions on Robotics and Automation, 2004, 20: 173180.
 [25]
Q C Li, J M Herve. Structural shakiness of nonoverconstrained translational parallel mechanisms with identical limbs. IEEE Transactions on Robotics, 2009, 25: 158164.
 [26]
Q C Li, J M Herve. Parallel mechanisms with bifurcation of Schoenflies motion. IEEE Transactions on Robotics, 2009, 25: 2536.
 [27]
Q C Li, J M Herve. 1T2R parallel mechanisms without parasitic motion. IEEE Transactions on Robotics, 2010, 26: 401410.
 [28]
R W Brockett. Robotic manipulators and the product of exponential formula. In: Mathematical theory of networks and systems. Berlin: Springer, 1984: 120129.
 [29]
A T Yang, F Freudenstein. Application of dual number quaternion algebra to the analysis of spatial mechanisms. Journal of Applied Mechanics, 1964, 86: 300308.
 [30]
J Angeles. The application on dual algebra to kinematic analysis. In: Computational methods in mechanical systems, (NATO ASI Series), J Angeles, E Zakhariev, eds. Berlin: Springer, 1998.
 [31]
J M Selig, E Bayro. Rigid body dynamics using Clifford algebra. Advances in Applied Clifford Algebras, 2010, 20: 141154.
 [32]
J M Selig. Exponential and Cayley maps for dual quaternions. Advances in Applied Clifford Algebras, 2010, 20: 923936.
 [33]
J S Dai, N Holland, D R Kerr. Finite twist mapping and its application to planar serial manipulators with revolute joints. Proceedings of the IMechE Part C: Journal of Mechanical Engineering Science, 1995, 209, 263271.
 [34]
J S Dai. Geometrical foundations and screw algebra for mechanisms and robotics. Beijing: Higher Education Press, 2014. (Translated from J S Dai. Screw Algebra and Kinematic Approaches for Mechanisms and Robotics. London: Springer, 2016.)
 [35]
S F Yang, T Sun, T Huang, et al. A finite screw approach to type synthesis of threeDOF translational parallel mechanisms. Mechanism and Machine Theory, 2016, 104: 405419.
 [36]
S F Yang, T Sun, T Huang. Type synthesis of parallel mechanisms having 3T1R motion with variable rotational axis. Mechanism and Machine Theory, 2017, 109: 220230.
 [37]
L T Schreiber, C Gosselin. Schonflies motion PARAllel robot (SPARA), a Kinematically Redundant Parallel Robot with Unlimited Rotation Capabilities. IEEE/ASME Transactions on Mechatronics, 2019, 24(5): 22732281.
 [38]
M Schappler, S Tappe, T Ortmaier. Modeling parallel robot kinematics for 3T2R and 3T3R tasks using reciprocal sets of Euler angles. Robotics, 2019, 8(3): 68. https://doi.org/10.3390/robotics8030068.
 [39]
W A Cao, H Ding. A method for stiffness modeling of 3R2T overconstrained parallel robotic mechanisms based on screw theory and strain energy. Precision Engineering, 2018, 51: 1029.
 [40]
Y Shneor, V T Portman. Stiffness of 5axis machines with serial, parallel, and hybrid kinematics: evaluation and comparison. CIRP Annals Manufacturing Technology, 2010, 59: 409412.
 [41]
J Wu, X L Chen, L P Wang. Design and dynamics of a novel solar tracker with parallel mechanism. IEEE/ASME Transactions on Mechatronics, 2016, 21(1): 8897.
 [42]
P J Shao, Z Wang, S F Yang. Dynamic modeling of a twoDoF rotational parallel robot with changeable rotational axes. Mechanism and Machine Theory, 2019, 131(1): 318335.
 [43]
J Gallardo, J M Rico, A Frisoli, et al. Dynamic of parallel manipulators by means of screw theory. Mechanism and Machine Theory, 2003, 38(11): 11131131.
 [44]
CH Kuo, J S Dai, HS Yan. Reconfiguration principles and strategies for reconfigurable mechanisms. ASME/IFToMM International Conference on Reconfigurable Mechanisms and Robots, 2009, 2224, June London, United Kingdom.
 [45]
Z Huang, Q C Li. Type synthesis of symmetrical lowermobility parallel mechanisms using the constraintsynthesis method. International Journal of Robotics Research, 2003, 22: 5979.
 [46]
T L Yang, A X Liu, H P Shen, et al. Composition principle based on singleopenchain unit for general spatial mechanisms and its applicationin conjunction with a review of development of mechanism composition principles. ASME Journal of Mechanism and Robotics, 2018, 10(5): 051005.
 [47]
X D Meng, F Gao, S F Wu, et al. Type synthesis of parallel robotic mechanisms: Framework and brief review. Mechanism and Machine Theory, 2014, 78: 177186.
 [48]
H Ye, D Wang, J Wu, Y Yue, Y Zhou. Forward and inverse kinematics of a 5DOF hybrid robot for composite material machining. Robotics and ComputerIntegrated Manufacturing, 2020, 65: 101961.
 [49]
J M Hervé. The mathematical group structure of the set of displacements. Mechanism and Machine Theory, 1994, 29: 7381.
 [50]
J M Hervé. The Lie group of rigid body displacements, a fundamental tool for mechanism design. Mechanism and Machine Theory, 1999, 34: 719730.
 [51]
J M Hervé, F Sparacino. Structural synthesis of parallel robots generating spatial translation. Fifth International Conference on Advanced Robotics, Pisa, Italy, 1922 June 1991, 1991: 808813.
 [52]
Q C Li, J M Hervé, Type synthesis of 3DOF RPRequivalent parallel mechanisms. IEEE Transaction on Robotics, 2014, 30: 13331343.
 [53]
C C Lee, J M Hervé. Type synthesis of primitive Schoenfliesmotion generators. Mechanism and Machine Theory, 2009, 44: 19801997.
 [54]
C C Lee, J M Hervé. Uncoupled actuation of overconstrained 3t1r hybrid parallel manipulators. Robotica, 2009, 27: 103117.
 [55]
C C Lee, J M Hervé. Generators of the product of two Schoenflies motion groups. European Journal of Mechanics ASolid, 2010, 29: 97108.
 [56]
C C Lee, J M Hervé. Isoconstrained parallel generators of Schoenflies motion. ASME Journal of Mechanism and Robotics, 2011, 3: 021006102110610.
 [57]
P Fanghella, C Galletti. Mobility analysis of singleloop kinematic chains: an algorithmic approach based on displacement groups. Mechanism and Machine Theory, 1994, 29: 11871204.
 [58]
P Fanghella, C Galletti. Metric relations and displacement groups in mechanism and robot kinematics. ASME Journal of Mechanical Design, 1995, 117: 470478.
 [59]
F Schur. Neue Begruendung der Theorie der endlichen Transformations gruppen. Mathematische Annalen, 1890, 35: 161197.
 [60]
J E Campbell. On a law of combination of operators. Proceedings of the London Mathematical Society, 1898, 29: 1432.
 [61]
J Meng, G F Liu, Z X Li. A geometric theory for analysis and synthesis of sub6 dof parallel manipulators. IEEE Transaction on Robotics, 2007, 23: 625649.
 [62]
Y Q Wu, H Wang, Z X Li. Quotient kinematics machines: concept, analysis, and synthesis. ASME Journal of Mechanism and Robotics, 2011, 3: 041004104100411.
 [63]
Y Q Wu, M Carricato. Symmetric subspace motion generators. IEEE Transaction on Robotics, 2018, 34: 716735.
 [64]
Y Q Wu, H Löwe, M Carricato, Z X Li. Inversion symmetry of the Euclidean group: theory and application to robot kinematics. IEEE Transaction on Robotics, 2016, 32: 312326.
 [65]
G F Liu, G Y Zhang, Y S Guan et al. Geometry of adjointinvariant submanifolds of SE(3). IEEE Transaction on Robotics, 2019.
 [66]
R W Brockett. Linear feedback systems and the groups of Galois and Lie. Linear Algebra and its Applications, 1983, 50: 4560.
 [67]
Z X Li, S S Sastry. Taskoriented optimal grasping by multifingered robot hands. IEEE Transactions on Robotics and Automation, 1988, 4: 3244.
 [68]
R Murray, Z X Li, S S Sastry. A mathematical introduction to robotic manipulation. Boca Raton: CRC Press, 1994.
 [69]
Z X Li, J B Gou, Y X Chu. Geometric algorithms for workpiece localization. IEEE Transactions on Robotics and Automation, 1998, 14: 864878.
 [70]
F C Park. Computational aspects of the productofexponentials formula for robot kinematics. IEEE Transactions on Robotics and Automation, 1994, 39: 643647.
 [71]
K Okamura, F C Park. Kinematic calibration using the product of exponentials formula. Robotics, 1996, 14: 415421.
 [72]
C Han, J Kim, J Kim, F C Park. Kinematic sensitivity analysis of the 3UPU parallel mechanism. Mechanism and Machine Theory, 2002, 37: 787798.
 [73]
G L Yang, I M Chen. Kinematic calibration of modular reconfigurable robots using productofexponentials formula. Journal of Robotic System, 1997, 14: 807821.
 [74]
G L Yang, I M Chen, W Chen, et al. Kinematic design of a sixDOF parallelkinematics machine with decoupledmotion architecture. IEEE Transaction on Robotics, 2004, 20: 876887.
 [75]
Y Jin, I M Chen, G L Yang. Kinematic design of a 6DOF parallel manipulator with decoupled translation and rotation. IEEE Transaction on Robotics, 2006, 22: 545551.
 [76]
G L Chen, H Wang, Z Q Lin. Determination of the identifiable parameters in robot calibration based on the POE formula. IEEE Transaction on Robotics, 2014, 30: 10661077.
 [77]
G L Chen, H Wang, Z Q Lin, X M Lai. The principal axes decomposition of spatial stiffness matrices. IEEE Transaction on Robotics, 2015, 31: 191207.
 [78]
G L Chen, L Y Kong, Q C Li, et al. Complete, minimal and continuous error models for the kinematic calibration of parallel manipulators based on POE formula. Mechanism and Machine Theory, 2018, 121: 844856.
 [79]
J S Dai. An historical review of the theoretical development of rigid body displacements from Rodrigues parameters to the finite twist. Mechanism and Machine Theory, 2006, 41: 4152.
 [80]
W R Hamilton. Elements of quaternions. Cambridge: Cambridge University Press, 1899.
 [81]
O Rodrigues, Des lois geometriques qui reagissent les deplacements d’un systeme solide dans l’espace. Jde Mathematique Pures et Appliquees de Liouville, 1840, 5: 380440.
 [82]
W K Clifford. Preliminary sketch of biquaternions. Proc. London Math Society, 1873, 4(64/65): 381395.
 [83]
J M R Martínez, J Duffy. The principle of transference: History, statement and proof. Mechanism and Machine Theory, 1993, 28: 165177.
 [84]
D P Chevallier. On the transference principle in kinematics: its various forms and limitations. Mechanism and Machine Theory, 1996, 31: 5776.
 [85]
O P Agrawal. Hamilton operators and dualnumberquaternions in spatial kinematics. Mechanism and Machine Theory, 1987, 22: 569575.
 [86]
Y Qi, T Sun, Y M Song. Type synthesis of parallel tracking mechanism with varied axes by modeling its finite motions algebraically. ASME Journal of Mechanism and Robotics, 2017, 9: 05450410545046.
 [87]
A McAulay. Octonion: a development of Clifford’s Biquaternions. Cambridge: Cambridge University Press,1898.
 [88]
E Study. Von den bewegungen und umlegungen. Mathematische Annalen, 1891, 39: 441565.
 [89]
E Study. Die geometrie der dynamin. Leipzig, 1903: 437.
 [90]
W Blaschke. Kinematic and quaternionen. Berlin: VEB Verlag, 1960.
 [91]
X W Kong. Reconfiguration analysis of multimode singleloop spatial mechanisms using dual quaternions. ASME Journal of Mechanism and Robotics, 2017, 9(5): 051002.
 [92]
K Liu, X W Kong, J J Yu. Operation mode analysis of lowermobility parallel mechanisms based on dual quaternions. Mechanism and Machine Theory, 2019, 142: 103577.
 [93]
A S Oliveira, E R Pieri, U F Moreno, et al. A new approach to singularityfree inverse kinematics using dualquaternionic error chains in the Davies method. Robotica, 2016, 34(4): 942956.
 [94]
G Z Li, F H Zhang, Y L Fu, et al. Joint stiffness identification and deformation compensation of serial robots based on dual quaternion algebra. Applied Sciences, 2019, 9: 65.
 [95]
A T Yang. Calculus of screws. In: W R Spiller ed. Basic questions of design theory. New York: American Elsevier Publishing Company, 1974: 265281.
 [96]
G R Veldkamp. On the use of dual numbers, vectors and matrices in instantaneous spatial kinematics. Mechanism and Machine Theory, 1976, 11: 141156.
 [97]
A P Kotelnikov. Screw calculus and some applications to geometry and mechanics. Annals of the Imperial University of Kazan, 1895.
 [98]
A PerezGracia, J M McCarthy. Dual quaternion synthesis of constrained robotic systems. ASME Journal of Mechanical Design, 2004, 126: 425435.
 [99]
A PerezGracia, J M McCarthy. Kinematic synthesis of spatial serial chains using Clifford algebra exponentials. Proceedings of the Institution of Mechanical Engineers Part C Journal of Mechanical Engineering Science, 2006, 220: 953968.
 [100]
J S Dai. EulerRodrigues formula variations, quaternion conjugation and intrinsic connections. Mechanism and Machine Theory, 2015, 92: 144152.
 [101]
G Li, F Zhang, Y Fu, et al. Kinematic calibration of serial robot using dual quaternions. Industrial Robot, 2019, 46(2): 247258,
 [102]
K Daniilidis. Handeye calibration using dual quaternions. International Journal of Robotics Research, 1990, 18: 286298.
 [103]
C E CeaMontufar, E A MerchánCruz, J RamírezGordillo, et al. Multiobjective GA for collision avoidance on robot manipulators based on artificial potential field. In: MartínezVillaseñor L, et al, Eds. Lecture Notes in Computer Science. Springer Nature, 2019: 687700.
 [104]
X K Wang, D P Han, C B Yu, et al. The geometric structure of unit dual quaternion with application in kinematic control. Journal of Mathematical Analysis and Applications, 2012, 389(215): 13521364.
 [105]
A Cohen, M Shoham. Hyper Dual Quaternions representation of rigid bodies kinematics. Mechanism and Machine Theory, 2020, 150: 103861.
 [106]
R S Ball. The theory of screws: a geometrical study of the kinematics, equilibrium, and small oscillations of a rigid body. The Transactions of the Royal Irish Academy, 1871, 25: 137217.
 [107]
F Klein. The general linear transformation of linear coordinates. Mathematische Annalen, 1869, 2: 366371.
 [108]
F Klein. On the theory of linear complex of first and second degree. Mathematische Annalen, 1869, 2: 198226.
 [109]
R S Ball. A treatise on the theory of screws. Cambridge: Cambridge University Press, 1900.
 [110]
K H Hunt. Kinematic geometry of mechanisms. Oxford: Oxford University Press, 1978.
 [111]
J J Yu, S Z Li, H J Su. Screw theory based methodology for the deterministic type synthesis of flexure mechanisms. Journal of Mechanism and Robotics, 2011, 3(3): 031008.
 [112]
T Sun, B B Lian, Y M Song. Stiffness analysis of a 2DoF overconstrained RPM with an articulated traveling platform. Mechanism and Machine Theory, 2016, 96: 165178.
 [113]
H T Liu, T Huang, D G Chetwynd. A method to formulate a dimensionally homogeneous Jacobian of parallel manipulators. IEEE Transaction on Robotics, 2011, 27(1): 150156.
 [114]
X J Liu, X Chen, M Nahon. Motion/force constrainability analysis of lowermobility parallel manipulators. ASME Journal of Mechanism and Robotics, 2014, 6: 03100610310069.
 [115]
Y Z Zhao, J L Wang, Y C Cao, et al. Constant motion/force transmission analysis and synthesis of a class of translational parallel mechanisms. Mechanism and Machine Theory, 2017, 108: 5774.
 [116]
F M Dimentberg. The screw calculus and its applications in mechanics. Moskau: Nauka, 1965.
 [117]
I A Parkin. Coordinate transformations of screws with applications to screw systems and finite twists. Mechanism and Machine Theory, 1990, 25: 689699.
 [118]
I A Parkin. A third conformation with the screw systems: finite twist displacements of a directed line and point. Mechanism and Machine Theory, 1992, 27: 177188.
 [119]
K H Hunt, I A Parkin. Finite displacements of points, planes, and lines via screw theory. Mechanism and Machine Theory, 1995, 30: 177192.
 [120]
C T Huang. The finite screw systems associated with a prismaticrevolute dyad and the screw displacement of a point. Mechanism and Machine Theory, 1994, 29: 11311142.
 [121]
C T Huang, B Roth. Analytic expressions for the finite screw systems. Mechanism and Machine Theory, 1994, 29: 207222.
 [122]
C T Huang. Notes on screw product operations in the formulations of successive finite displacements. ASME Journal of Mechanical Design, 1997, 119: 434439.
 [123]
B Roth. On the screw axes and other special lines associated with spatial displacements of a rigid body. Journal of Engineering for Industry, 1967, 89: 102110.
 [124]
J M McCarthy. Introduction to theoretical kinematics. Cambridge: MIT Press, 1990.
 [125]
A T Yang. Application of quaternion algebra and dual numbers to the analysis of spatial mechanisms. New York, USA: Dept. of Mechanical Engineering, Columbia University, 1963.
 [126]
L W Tsai, B Roth. Design of dyads with helical, cylindrical, spherical, revolute and prismatic joints. Mechanism and Machine Theory, 1972, 7: 85102.
 [127]
J Angeles. Spatial kinematic chains: Analysis, Synthesis, optimization. New York: SpringerVerlag, 1982.
 [128]
I A Parkin. Unifying the geometry of finite displacement screws and orthogonal matrix transformations. Mechanism and Machine Theory, 1997, 3: 975991.
 [129]
I A Parkin. Dual systems of finite displacement screws in the screw triangle. Mechanism and Machine Theory, 1997, 32: 9931003.
 [130]
C T Huang, C M Chen. The linear representation of the screw trianglea unification of finite and infinitesimal kinematics. ASME Journal of Mechanical Design, 1995, 117: 554560.
 [131]
C T Huang. The cylindroid associated with finite motions of the Bennett mechanism. ASME Journal of Mechanical Design, 1997, 119: 521524.
 [132]
J S Dai. Historical relation between mechanisms and screw theory and the development of finite displacement screws. Journal of Mechanical Engineering, 2015, 51: 1326. (in Chinese)
 [133]
T Sun, S F Yang, T Huang, J S Dai. A finite and instantaneous screw based approach for topology design and kinematic analysis of 5axis parallel kinematic machines. Chinese Journal of Mechanical Engineering, 2018, 31(2): 6675.
 [134]
T Sun, C Y Liu, B B Lian, et al. Calibration for precision kinematic control of an articulated serial robot. IEEE Transactions on Industrial Electronics, 2020, https://doi.org/10.1109/tie.2020.2994890.
 [135]
T Sun, B B Lian, S F Yang, et al. Kinematic calibration of serial and parallel robots based on finite and instantaneous screw theory. IEEE Transactions on Robotics, 2020, 36(3): 816834.
 [136]
T Sun, S F Yang, B B Lian, Finite and instantaneous screw theory in robotic mechanism. Springer: Singapore, 2020.
 [137]
J M Rico, J Duffy. Classification of screw systemsII. Threesystems. Mechanism and Machine Theory, 1992, 27(4): 471490.
 [138]
J M Rico, J Duffy. Classification of screw systemsI. One and twosystems. Mechanism and Machine Theory, 1992, 27(4): 459470.
 [139]
J M Rico, J Duffy. Orthogonal spaces and screw systems. Mechanism and Machine Theory, 1992, 27(4): 451458.
Acknowledgements
Not applicable.
Funding
Supported in part by National Key R&D Program of China (Grant No. 2018YFB1307800), National Natural Science Foundation of China (Grant Nos. 51875391, 51675366), and Tianjin Science and Technology Planning Project (Grant Nos. 18YFS DZC00010, 18YFZCSF00590).
Author information
Affiliations
Contributions
XH and SY performed the review and wrote the manuscript. BL summarized the application of the unified mathematic tools in integrated modeling. TS proposed the main idea of the article. YS helped to check and revise the manuscript. All authors read and approved the final manuscript.
Authors’ Information
Xinming Huo, born in 1990, is currently a PhD candidate at Key Laboratory of Mechanism Theory and Equipment Design of Ministry of Education, Tianjin University, China. Email: xmhuo@tju.edu.cn.
Shuofei Yang, born in 1988, is currently a research associate at Department of Industrial and Systems Engineering, The Hong Kong Polytechnic University, Kowloon, Hong Kong, China. Email: shuofei.yang@ polyu.edu.hk.
Binbin Lian, born in 1988, is currently an associated professor at Key Laboratory of Mechanism Theory and Equipment Design of Ministry of Education, Tianjin University, China. Email: lianbinbin@tju.edu.cn.
Tao Sun, born in 1983, is currently a professor and PhD candidate supervisor at Key Laboratory of Mechanism Theory and Equipment Design of Ministry of Education, Tianjin University, China. His main research interests include mechanisms and robotics, parallel kinematic robot, bioinspired robot, orthopedic surgery robot. Email: stao@tju.edu.cn.
Yimin Song, born in 1971, is currently a professor and PhD candidate supervisor at Key Laboratory of Mechanism Theory and Equipment Design of Ministry of Education, Tianjin University, China. His main research interests include mechanism and machine theory, robotic dynamics. Email: ymsong@tju.edu.cn.
Corresponding author
Ethics declarations
Competing Interests
The authors declare no competing financial interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Huo, X., Yang, S., Lian, B. et al. A Survey of Mathematical Tools in Topology and Performance Integrated Modeling and Design of Robotic Mechanism. Chin. J. Mech. Eng. 33, 62 (2020). https://doi.org/10.1186/s1003302000481z
Received:
Revised:
Accepted:
Published:
Keywords
 Robotic mechanism
 Integrated method
 Matrix Lie group
 Dual quaternion
 Finite screw