1. Introduction
Singularity configurations are particular poses of the moving platform, for which the mechanisms lose some Degrees Of Freedom (DOFs), or gains extra DOFs. As a result, the resistance of the moving platform towards forces in certain directions becomes very weak. Singular or near-singular poses have to be avoided due to the unpredictable behavior of the moving platform. It is well known that singularities of parallel mechanisms can be characterized as Type 1 and Type 2 singularities. A moving platform will encounter Type 1 singularity at the workspace boundaries, hence it does not expose serious problems in practical applications. On the other hand, Type 2 singularities occur commonly inside the workspace and interfere with mechanism motion. For this reason, Type 2 singularity is still a challenging topic since it has huge impacts on kinematics, dynamics, and even controls. For parallel mechanisms with multiple operation modes, as in [
1,
2], Type 2 singularities can be classified into two different types [
3,
4,
5], i.e., actuation singularity and constraint singularity. The singular configuration in which the actuators cannot control the velocity of the moving platform within the workspace is called actuation singularity in [
6]. The constraint singularities inherently exist due to the mechanism structures [
7,
8].
Over the last few years, many studies dealing with singularity analysis have been conducted, e.g., singularity analysis based on velocity operators [
9,
10], the theory of reciprocal screws [
11,
12,
13], Grassmann–Cayley algebra [
14,
15], the algebraic approach [
16,
17], or numerical methods [
18]. When parallel mechanisms are subjected to singularities, their performance in terms of motion transmission, and stiffness degeneracy consequently reduces their payload capacity. Hence, it is also necessary to investigate singularities from a dynamic point of view.
Lagrange energy formulation [
19,
20], Newton–Euler equations [
21], the principle of virtual work [
22,
23], and modular modeling methodology [
24] are used to deduce the dynamic modeling of parallel mechanisms. Dynamic and electro-mechanical models were developed in [
25] to estimate the energy consumption of actuators when executing a task. A new optimization algorithm named the multiobjective golden eagle optimizer was proposed in [
26] to find optimum manipulator designs performing at lower power consumption. Energy consumption can also be affected by singularities.
Redundant actuators and sensors were employed in [
27,
28] to detect the stability of motion generation in the vicinity of singularities. These solutions were expensive because additional actuators were installed and one has to deal with a complicated control scheme for actuator redundancies. Later studies revealed interesting results concerning path planning for passing through singularities. Motion-planning technique was presented in [
29] to avoid failure modes such as singularities. Monte Carlo simulation and neural network metamodels were used to determine optimal trajectories. An optimization algorithm was applied in [
30] to find a set of robot postures along the path that yields the highest dexterity, hence singularities can be avoided. A control scheme was carefully designed in [
31] based on chosen artificial potential functions such that the dynamic properties of manipulators were modified upon following a given path. This enables singularities to be removed from the trajectory.
By considering singularities and different payloads of 3-DOF planar manipulators, trajectory generation was introduced in [
32]. By taking into account Type 2 singularities, path planning for both rigid and flexible five-bar linkages was analyzed in [
33,
34,
35]. Force discontinuity can be avoided by computing the consistency condition, namely the reciprocal product between the uncontrollable motion and the wrench matrix. The numerical results were verified by conducting some experiments in [
36]. The consistency condition alone, however, was not sufficient for the inverse dynamics near singularities to be finite; therefore, a new criterion was added in [
37], namely the vanishing conditions of the time derivative of the consistency condition. By respecting this, robot robustness in terms of uncertainties and control errors leading up to singularity can be improved. In addition to the consistency condition, the indeterminate form was defined to be the second condition in [
38].
Both conditions have been tried with traditional parallel mechanisms but have not been applied to metamorphic parallel mechanisms with various configurations and different motion types and needing unified singularity crossing solutions. They are sufficient for only one configuration but not for other configurations showing discontinued forces/torques when passing through singularities, as found in this work. Therefore, the third condition is used in this paper, namely the second indeterminate form. The 3-(rR)PS metamorphic parallel mechanism studied in this paper possesses three configurations with distinct motion types. As a consequence, the singularity conditions of each configuration are different, which demands particular treatment when passing through the singularity. Thus, all three conditions should be achieved, which leads to the 11th-degree polynomial trajectory. This will be the unified solution to construct the dynamic model of three configurations of 3-(rR)PS metamorphic parallel mechanism when crossing the singularities. Adding the third condition and formulating the 11th-degree trajectory gives additional constraints to the inverse dynamics, which become a computational burden to the system. The paper is organized as follows: mechanism configurations and coordinate systems are presented in
Section 2.
Section 3 provides kinematic analysis.
Section 4 defines the dynamic model for crossing singularities, and
Section 5 demonstrates the results and ADAMS simulation.
2. Mechanism Configurations and Coordinate Systems
The 3-(rR)PS metamorphic parallel mechanism is depicted in
Figure 1 and
Figure 2. The (rR), P and S stand for (rR) metamorphic joint, prismatic joint, and spherical joint. The (rR) metamorphic joint consists of two orthogonal revolute joints: the first R-joint performs discrete rotation to alter the direction of R-joint and the R-joint rotates continuously. The geometric description and kinematic problems of the 3-(rR)PS manipulator have been discussed in more detail in [
39]. The base and moving platform are equilateral triangles whose vertices are, respectively, denoted by points
and
of position vectors
and
,
. They are connected by three identical (rR)PS kinematic chains, whose prismatic joint is actuated of length
. The circumradius of the base and moving platform are, respectively, defined by
a and
b. The origins of the base and moving platform are, respectively, denoted by points
O and
P.
This mechanism is named metamorphic since it can reconfigure its mobility through an (rR) metamorphic joint [
40]. The (rR) metamorphic joint is basically a universal joint that is composed of two perpendicular revolute joints. Their axes are denoted by
and
. The first axis
can be independently rotated with an angle
that allows the mechanism to be in different configurations. The second axis
moves continuously which contributes to the 3-DOF motions performed by the moving platform. Based on the discrete reconfiguration of
, three configurations have been defined in [
39] and their dynamics will be analyzed in this paper, namely:
- -
Configuration I:
- -
Configuration II:
- -
Configuration III:
is defined by an angle
as shown in
Figure 1. This angle is a design parameter that will impact the mechanism motion if
is set to be
. However, if
, the mechanism motion is not affected by
.
At Configuration I,
is null, which makes the axes
to intersect at point
Q. The fixed coordinate system
and moving coordinate system
are, respectively, located at specific heights
h and
from the geometric center of the base and moving platform, as shown in
Figure 1.
At Configuration II, the first revolute joint of axis
is altered with a value
. Thus, the second revolute axes
do not intersect and they become skewed. The coordinate system used in this configuration is the same as Configuration I, as shown in
Figure 1.
At Configuration III, the axis
is rotated about
. It makes the axes of the second revolute joint
be coplanar. The design parameter
does not have any influence on the mechanism motion, hence
will not be used. The fixed coordinate system
and moving coordinate system
are established, respectively, at the geometric center of the base and moving platform, as shown in
Figure 2. The expressions of unit vectors
and position vectors
of each configuration are given in [
39].
4. Dynamic Models for Crossing Singularities
The dynamic models used in this paper are based on the Lagrangian formulation, which can be written as follows:
where
A and
B are Jacobian matrices derived from Equation (
7),
is the Lagrange multiplier, and
L denotes the Lagrangian function. The Lagrangian function is defined as the difference between total kinetic energy (
K) and potential energy (
U) of the legs and moving platform, as:
The height is described as a distance from any desired points to origin
O. Frictions and elasticity of the system are omitted; therefore, the potential energy of this mechanism can be described as follows:
where
,
,
are the vertical distances of moving platform center of mass
P,
and
, respectively. The kinetic energy can be derived as follows:
For a prescribed trajectory
passing through a singularity, the determinant of Jacobian
is null. Then, input forces exerted by the actuators to the system become numerically infinite. Consequently, the mechanism is not able to continue the task along the prescribed trajectory and is locked in such a singular position. By taking dot-product of both sides of Equation (
10b) with the null space vector
n, the consistency condition of the dynamic model is derived as follows:
It shows that the wrench
and Jacobian
A should be reciprocal to the uncontrollable motion
n in the presence of the singularity. Equation (
14) is the first condition to fulfil for the mechanism to pass through singularity based on [
33,
34]. However, this condition is not sufficient to guarantee the input forces to be finite when the determinant of
A is null.
At singular configuration, Jacobian
A is not invertible because its determinant is null. Consequently, the input forces of parallel mechanisms tend towards infinity and cannot be determined. Based on [
32,
38], this singularity can be removed by imposing the indeterminate form into our dynamic models, then L’H
pital’s rule can be applied. L’H
pital’s rule allows us to use basic calculus to solve the singularity. L’H
pital’s rule implies that the limit of an indeterminate function is equal to the limit of the derivatives of those functions. Let
and
be continuous functions on an interval consisting of
, such that two indeterminate forms are obtained as follows:
- 1.
is type if
- 2.
is type if
Let the Lagrange multiplier
from Equation (
10b) be written in terms of time
t, as follows:
The inverse of Jacobian
can be represented as a multiplication of adjoint of
by the inverse of determinant
, as follows:
In what follows, the numerator and denominator of
will be denoted by
and
, respectively. Then, the limit can be applied as the time
t approaches singularity time
, as:
when
, the denominator is null, i.e.,
and Equation (
17) becomes indefinite. Such a limit can be deduced by applying L’H
pital’s rule if and only if one of the indeterminate forms is satisfied, namely
and
are both equal to zero or infinity. The indeterminate form of type
at
is used in this paper because by imposing both numerator and denominator zero, the magnitude of velocity, acceleration, and jerk at singularity can be computed. Hence, Equation (
17) can be represented as:
Since is always true, then will be zero if one of the following statements holds:
- 1.
- 2.
Equation (
18) becomes the second condition to achieve in order for the mechanism to pass through the singularity. As the indeterminate form is now fulfilled, the first time derivative of L’H
pital’s rule can be applied, as:
In this paper, the third condition is proposed by imposing
to be an indeterminate form of type
, such that:
therefore, the second time derivative of L’H
pital’s rule should be computed, as follows:
The first, second, and third conditions defined in Equations (
14), (
18) and (
20), respectively, will introduce not only velocity and acceleration but also jerk in the system. Hence, their magnitudes should be carefully planned in the neighborhood of singularity. The next crucial task is to generate a trajectory that ensures the mechanism satisfies all three conditions, such that the mechanism is able to effortlessly pass through the singularity. By establishing the positions, velocities, accelerations, and jerks at the initial, final, and singular configurations, the 11th-degree polynomial is used for trajectory planning because they provide smooth and continuous efforts
.
5. Results and Discussions
Based on [
33,
34], the mechanism can pass through singularities by respecting only one condition written in Equation (
14). The uncontrollable motion defined by the null space
n should be reciprocal to the wrench
. It indicates that the wrench
in the given singular position should be orthogonal to the gained motion
n. This condition is not sufficient to allow the mechanism to pass through the singularity without infinite forces/torques. Thus, a second condition proposed in [
38] should be also fulfilled, namely the indeterminate form where the product of adjoint
A and the wrench
should vanish as in Equation (
18). This vanishing condition can be solved using L’H
pital’s rule. The third condition is employed in this paper, namely the second indeterminate form as in Equation (
20). All three conditions are the unified solution for Configurations I, II, and III. The detailed computational results will be confirmed by the ADAMS simulations.
Table 1 describes the values of design parameters applied for executing the computation in Maple software. These values are also implemented to create the CAD model in Fusion360 used for running the ADAMS simulation. The ADAMS multibody model is shown in
Figure 4. The computer used in this work has the following technical specifications: Processor core-i7 gen 12, VGA GeForce GTX 1650 super, RAM 32 GB, SSD 512 GB. In the following analysis, the numerical results and ADAMS simulations may show slight differences due to several factors, i.e., the technique of the initial position of the robot is defined during the simulation, and the robot CAD model is generated from different software which may consequently affect the coordinate location in ADAMS.
5.1. Configuration I:
The motion performed by Configuration I is a 3-DOF rotational motion which is not about a fixed point or a fixed axis. This motion is described by the output variables
. For a given value of
, the geometric center of moving platform will be displaced by
as expressed by the transformation matrix
in Equation (
22). The design parameter
also has a great influence on the motion which eventually reshapes the mechanism workspace.
where
where
are polynomial coefficients in terms of output variables
. Its mathematical expressions are quite lengthy and will not be shown in this paper.
After performing the coordinate transformation using matrix
, the inverse kinematics can be obtained by applying Equation (
22), as:
. These equations are derived with respect to time to compute direct-inverse Jacobians. The singularity curves/surfaces are then determined by computing the zero set of the determinant of Jacobian
A.
Let
be assigned by
, thus the revolute joints
are orthogonal. Based on [
39], its workspace is bounded by a tetrahedron. Therefore, the singularity surface is plotted inside its tetrahedron as shown in
Figure 5.
A path is generated to be followed by the moving platform such that it crosses a point in the singularity surface in
Figure 5. Let this path be defined by a single parameter
, thus the moving platform undergoes 1-DOF motion parametrized by
the other two output variables as:
. The Jacobians
A and
B become:
A projection plane
is created to better visualize the motion path and singularity curve inside the tetrahedron, as shown in
Figure 6a. On this projection plane, the singularity curve crossed by the motion path at
is depicted in
Figure 6b. The inverse dynamics during a given task are computed and the motor force distribution is depicted in
Figure 7. The motor force of the first leg is finite but the forces of the other two legs are infinite at
. The actuator joint displacements, velocities, and accelerations are, respectively, shown in
Figure 8a,
Figure 9a and
Figure 10a. Those graphs are discontinued as the mechanism reaches singularities.
At the singularity, Jacobian
A becomes rank-deficient by one and the gained motion can be obtained by computing the null space. This gained motion is an infinitesimal rotation, as follows:
By respecting the first, second, and third conditions in Equations (
14), (
18) and (
20), respectively; velocity, acceleration, and jerk can be enumerated. Let the motion duration last for 2 s and the singularity occur at
t = 1 s. Then, the boundary conditions during the initial (
), singular (
) and final (
) positions can be determined, as follows:
then the 11th-degree polynomial trajectory to be followed by the moving platform can be generated, as follows:
The 11th-degree trajectory defined in Equation (
26) crosses the singularity at
, as shown in
Figure 11a. Upon fulfilling the first, second, and third conditions, the actuator displacements, velocities, accelerations, and forces are finite as, respectively, shown in
Figure 8b,
Figure 9b,
Figure 10b and
Figure 11b, meaning that the moving platform can swiftly pass through singularity. The singularity curve in the orientation workspace and inverse dynamics of
are solved too for comparisons, as shown in
Figure 12. More effort is required by the motors when
. The ADAMS simulation has been used to corroborate the results of dynamic analysis. The Mean Absolute Errors between the numerical results and the ADAMS simulation are 0.211, 0.518, and 0.891 for, respectively, the 1st, 2nd, and 3rd leg.
5.2. Configuration II:
In Configuration II, the revolute axes
are skewed since the design parameter
is no longer 0. The motion performed by the moving platform is a 3-DOF rotational motion not about a fixed axis or a fixed point. The output variables of this motion are
. The motion seems identical to the one belonging to Configuration I. However, the displacement of the geometric center defined by
in matrix
gives an entirely different motion. The workspace of Configuration II is a distorted tetrahedron which has been thoroughly discussed in [
39].
where
where
are polynomial coefficients in terms of the output variables
. Its mathematical expressions are quite lengthy and will not be shown in this paper. Transformation matrix
is useful to formulate the inverse kinematics and to compute the moving-platform velocities. By performing time derivative to the inverse kinematics, the direct-inverse Jacobians can be obtained. The determinant of the direct Jacobian
A is computed and its zero sets correspond to the singularities.
Let two architectures be defined, namely:
and
. The moving platform is subjected to a 1-DOF motion characterized by the output variable
, and the other output variables are set to be
. Jacobian
A for each architecture can be computed and its zero sets are illustrated in the orientation workspace as shown in
Figure 13 and
Figure 14.
The motion path is generated in each architecture such that it passes through singularity at
. The moving platform following this path begins at
and terminates at
. All velocities, accelerations, and jerks at the beginning and end of the path are null. Let the whole path be completed in 1 s and the singularity occurs at
s. The velocity, acceleration, and jerk at the singularity position are determined by fulfilling the first, second, and third conditions in Equations (
14), (
18) and (
20). All those values become the boundary conditions for generating the 11th-degree polynomial trajectory, as follows:
and the trajectories are:
The input forces when the moving platform tracing the 11th-degree trajectory are computed and the results are illustrated in
Figure 15. The motor forces discontinuities at singularity can be discarded. The moving platform is now able to smoothly pass through singularity with finite input forces. The ADAMS simulation is performed to verify the approach as shown by the dashed line. The Mean Absolute Errors between the numerical results and the ADAMS simulation are 0.546, 1.073, and 1.657 for, respectively, the first, second and third leg.
5.3. Configuration III:
Configuration III performs a 3-DOF motion that belongs to the well-known 3-RPS parallel mechanism proposed by Hunt [
41]. This motion is characterized by output variables
. It shows that the moving platform can perform pure translation along the
z axis and two rotational motions, as written in Equation (
32). This motion is driven by the input variables
.
The direct-inverse Jacobians are determined by employing Equation (
7) to the inverse kinematics equations
g. The determinant of Jacobian
A is computed, and a single equation in terms of Cartesian coordinates
is found, as follows:
Due to space limits, the polynomial equation
is written partially and its zero set is plotted in Cartesian space in
Figure 16a.
Let the moving platform undergo a 1-DOF motion parametrized by a single parameter
and the other output variables
are assigned with specific values. Thus, the direct-inverse Jacobians of this motion are given, as follows:
The path of this motion crosses a point in the singularity surface in
Figure 16 at
. The illustration of the motion path crossing the singularity curve is depicted in
Figure 17a. Without respecting the first and second conditions, the motor forces will go unbound in the vicinity of singularity before
s, as depicted in
Figure 17a. Likewise, the simulation results by ADAMS stop before the singularity because the needs of motor torques leading up to singularity are too high and too sudden. The ADAMS simulation depict it as discontinued forces even before 1 s.
For the mechanism to be able to pass through the singularity, the first, second, and third conditions should be fulfilled. Hence, the boundary conditions are as follows:
By taking into account these boundary conditions, the 11th-degree polynomial trajectory is generated, as follows:
The results of numerical simulation with the 11th-degree polynomial trajectory written in Equation (
36) are plotted in
Figure 17b. It shows that the input forces are finite and there are no discontinuities when passing through the singularity at
s. These results have been confirmed by the ADAMS simulation as shown by the dashed lines. The Mean Absolute Errors between the numerical results and the ADAMS simulation are 0.106, 0.381, and 0.373 for, respectively, the first, second and third leg.