Singularity & Redundancy#
The Jacobian of a manipulator defines a linear mapping
between joint velocity \(\dot{\boldsymbol{q}}\) and the end-effector velocity \(\boldsymbol{v}_{e}=\left[\begin{array}{ll}\dot{\boldsymbol{p}}_{e}^{T} & \boldsymbol{\omega}_{e}^{T}\end{array}\right]^{T}\). Jacobian is a function of the configuration \(\boldsymbol{q}\); those configurations at which \(\boldsymbol{J}\) is rank-deficient are termed kinematic Singularities. Why we need to pay attention to kinematic Singularities?
(a) Singularities represent configurations at which mobility of the manipulator is reduced
(b) When the manipulator is at a singularity, infinite solutions to IK may exist.
(c) Near a singularity, small velocities in the operational space may cause large velocities in the joint space.
Singularity Decoupling#
Computation of kinematic singularities via the Jacobian determinant may be tedious and of no easy solution for complex structures of manipulators. For manipulators having a spherical wrist, it is possible to split the problem of singularity computation into two separate problems: (1) computation of arm singularities resulting from the first 3 or more links, and (2) computation of wrist singularities resulting from the wrist joints.
Consider a \(6\)-DoF manipulator, where the outer 3 joints are all revolute (e.g., a spherical wrist), as shown for the Stanford Manipulator.
![../_images/Stanford_manipulator.jpg](../_images/Stanford_manipulator.jpg)
Fig. 54 Stanford manipulator#
The Jacobian can be partitioned into \((2 \times 2)\) block matrix
with
By conducting row operations on the above Jacobian Matrix \(\boldsymbol{J}\) (note that row operations maintain the matrix rank), we have obtained
Thus,
Thus, singularity decoupling is achieved: \(\operatorname{det}\left(\boldsymbol{\bar{J}}_{11}\right)=0\) and \(\operatorname{det}\left(\boldsymbol{\bar{J}}_{22}\right)=0\) are to determine the arm singularities and wrist singularities, respectively.
Wrist Singularities#
![../_images/spherical_wrist_singularity.jpg](../_images/spherical_wrist_singularity.jpg)
Fig. 55 Spherical wrist at a singularity#
Wrist singularities can be determined by inspecting the block \(\boldsymbol{\bar{J}}_{22}\). In fact, the wrist is at a singular configuration whenever the unit vectors \(\boldsymbol{z}_{3}, \boldsymbol{z}_{4}, \boldsymbol{z}_{5}\) are linearly dependent. The wrist kinematic structure reveals that a singularity occurs when \(\boldsymbol{z}_{3}\) and \(\boldsymbol{z}_{5}\) are aligned, i.e., whenever
The loss of mobility is that the wrist is not allowed to rotate about the axis orthogonal to \(\boldsymbol{z}_{4}\) and \(\boldsymbol{z}_{3}\).
Arm Singularities#
Arm singularities are characteristic of a specific manipulator. To illustrate, consider the anthropomorphic arm.
![../_images/elbow_singularity.jpg](../_images/elbow_singularity.jpg)
Fig. 56 Anthropomorphic arm at an elbow singularity#
![../_images/shoulder_singularity.jpg](../_images/shoulder_singularity.jpg)
Fig. 57 Anthropomorphic arm at a shoulder singularity#
The determinant of its Jacobian for the linear velocity part is
The determinant vanishes if \(s_{3}=0\) or \(\left(a_{2} c_{2}+a_{3} c_{23}\right)=\) 0.
The case \(s_{3}=0\) means that
meaning that the elbow is outstretched or retracted, and is termed elbow singularity. In this singularity, the loss of motion will be the linear motion along the direction of the third link (i.e., the direction perpendicular to \(\boldsymbol{z}_2\) and \(\boldsymbol{z}_0\).
The case \(\left(a_{2} c_{2}+a_{3} c_{23}\right)=0\) means the wrist point lies on axis \(z_{0}\), i.e.,
which is termed shoulder singularity. In this singularity, motions starting from the singular configuration that take the wrist along the \(z_{1}\) direction are not allowed.
Analysis of Redundancy#
The Jacobian describes the linear mapping from the joint velocity space to the end-effector velocity space,
where \(\boldsymbol{v}_{e}\) is meant to be the \((r \times 1)\) vector of end-effector velocity of concern for the specific task; \(\dot{\boldsymbol{q}}\) is the \((n \times 1)\) vector of joint velocities; and \(\boldsymbol{J}\) is the corresponding \((r \times n)\) Jacobian that can be extracted from the geometric Jacobian. If \(r<n\), the manipulator is kinematically redundant and there exist \((n-r)\) redundant DOFs.
![../_images/joint_to_operation.jpg](../_images/joint_to_operation.jpg)
Fig. 58 Mapping between the joint velocity space and the end-effector velocity space#
The range space of \(\boldsymbol{J}\) is the subspace \(\mathcal{R}(\boldsymbol{J})\subseteq \mathbb{R}^r\) of the end-effector velocities that can be generated by the joint velocities, given manipulator posture \(\boldsymbol{q}\).
The null space of \(\boldsymbol{J}\) is the subspace \(\mathcal{N}(\boldsymbol{J})\subseteq \mathbb{R}^n\) of the joint velocities that do not produce any end-effector velocity, given manipulator posture \(\boldsymbol{q}\).
If the Jacobian has full rank, one has
and the range of \(\boldsymbol{J}\) spans the entire space \(\mathbb{R}^{r}\). Instead, if the Jacobian degenerates at a singularity, the dimension of the range space decreases while the dimension of the null space increases, since the following relation holds:
independently of the rank of the matrix \(\boldsymbol{J}\)
If \(\mathcal{N}(\boldsymbol{J}) \neq \emptyset\), let \(\boldsymbol{P}\) is a projection \((n \times n)\) matrix so that
the joint velocity vector with arbitrary \(\dot{\boldsymbol{q}}_{0}\)
is a solution to \(\boldsymbol{v}_{e}=\boldsymbol{J}(\boldsymbol{q}) \dot{\boldsymbol{q}}\). Here, with \(\dot{\boldsymbol{q}}^*\) a particular solution to \(\boldsymbol{v}_{e}=\boldsymbol{J}(\boldsymbol{q}) \dot{\boldsymbol{q}}\).
This result is of fundamental importance for redundancy resolution; it points out the possibility of choosing the vector of arbitrary joint velocities \(\dot{\boldsymbol{q}}_{0}\) so as to exploit advantageously the redundant DOFs.