This optimization problem can be decomposed
into the trajectory optimization problem and an un-
derlying path-tracking subproblem.
3 PATH FOLLOWING
In a minimum-time path tracking optimization prob-
lem, the path following constraint can be imposed as
an equality constraint (10). Other approaches assume
a known joint space parametrization to be known,
e.g. (Pham, 2014). Alternatively, an inverse kine-
matics mapping f
−1
: W 7→ V
n
can be applied to ob-
tain joint quantities from workspace quantities. As
mentioned in Section 2.1, no closed-form solution
to the inverse kinematics problem exists for kine-
matically redundant manipulators. However, there
are other approaches such as joint space decompo-
sition (Wampler, 1987; Ma and Watanabe, 2004)
or Jacobian-based numeric methods (Whitney, 1969;
Li´egeois, 1977).
3.1 Path Following and Inverse
Kinematics
In order to resolve the path following requirement us-
ing inverse kinematics, divide-and-conquer as well
as unite-and-conquer methods can be applied. Joint
space decomposition can be used as a divide-and-
conquer type approach. Therein, a manipulator’s
structure has to be explicitly separated into two or
more parts. Then the inverse kinematics problem
can be solved based on a loop closure condition.
Joint space decomposition makes direct use of kine-
matic redundancy as operations are performed on
joint level. The choice of decomposition may not be
straight-forward and thus a result of an superseding
integer program. The inverse kinematics solution can
be performed analytically only in cases with suitable
geometry but not in general. Also, the enforcement
of the aforementioned loop closure condition is non-
trivial.
In unite-and-conquer methods such as differen-
tial inverse kinematics, firstly introduced in (Whit-
ney, 1969), a least-squares solution (w.r.t. an end-
effector error quantity) yields all joint quantities at
once. However, this family of methods needs to
be augmented in order to exploit kinematical redun-
dancy. In this paper, the latter type of inverse kine-
matics methods is used.
The derivations of differential inverse kinematics
schemes below are well-known but reproduced here
as an introduction to and a motivation for the main
contribution of this paper presented in Section 4.
The most simple case is first-order differential in-
verse kinematics,
˙
r
E
= J(q)
˙
q, (13)
wherein J =
∂
˙
r
E
∂
˙
q
∈ R
m×n
denotes the forward kine-
matics Jacobian, a non-square, wide matrix. Thus it
is not invertible, but an approximate solution for the
joint velocities
˙
q can be computed minimizing the er-
ror in the least-squares sense, i.e.
˙
q = J
+
˙
r
E,d
(14)
wherein J
+
= J
⊤
JJ
⊤
−1
denotes the right
Moore-Penrose pseudoinverse. Alternatively,
the dynamically consistent pseudoinverse
J
+
M
= M
−1
J
⊤
JM
−1
J
⊤
−1
can be used (Khatib,
1988). Compared to (13), for (14) the index d was
added to the end-effector velocity as it is now a given,
desired quantity. For computing the matrix inverse
of
JJ
⊤
in singular configurations, a regularization
term can be introduced, i.e. J
+
= J
⊤
JJ
⊤
+ κI
−1
with a small κ > 0. In general, non-singular config-
urations the nullspace of J has dimension n − m > 0,
i.e. the manipulator is capable of internal motion
that does not affect the end-effector motion. This
property can be exploited using an inverse kinematics
scheme (Li´egeois, 1977) that is augmented to pursue
additional goals. Scalar performance measures w
such as kinematic manipulability (Yoshikawa, 1985b)
or dynamic (Yoshikawa, 1985a) manipulability can
be maximized by adding a velocity term to (14).
This velocity points in the direction of v =
∂w
∂q
and is
projected into the nullspace of the Jacobian, i.e.
˙
q = J
+
˙
r
E,d
+ Nv (15)
with the nullspace projector N = (I− JJ
+
). I denotes
the identity matrix of appropriate size. Substituting
(15) in (13) shows that no end-effector motion re-
sults from the additional term. Pose-dependent per-
formance measures such as kinematic or dynamic ma-
nipulability suffer from the fact that they only rep-
resent a local, instantaneous property. As a result,
they can hardly be exploited in the course of an super-
seding trajectory optimization problem minimizing a
global property such as a trajectory time.
Similar inverse kinematics approaches can be set
up for higher time derivatives simply by deriving (13)
w.r.t. time and isolating the highest time derivative
of the joint positions q, e.g. an acceleration-level ap-
proach yields
¨
q = J
+
¨
r
E,d
−
˙
J
˙
q
+ Nv (16)
wherein v can again represent a performance measure
gradient projected into the Jacobian nullspace.