2.1. Lower Limb Exoskeleton System and Kinematic Model
The lower-limb exoskeleton forms a tightly coupled human–machine system with the wearer during motion. Under normal walking conditions, human joint movements primarily occur within the sagittal plane, with relatively minor motion in the coronal and transverse planes. Based on these characteristics, a two-dimensional rigid-body dynamic model is established within the sagittal plane. Each exoskeleton component and its corresponding human body segment are treated as tightly bound equivalent rigid units with no relative motion between them, and the assistive effect of the exoskeleton is simplified as a unidirectional ideal torque input at each joint. The equivalent geometric length of each segment is assumed equal to the anatomical length of the corresponding human limb segment, and each segment is modelled as a uniform rigid rod with its centre of mass located at the geometric midpoint. Under these assumptions, the human–machine coupled system is represented as a seven-bar open-chain serial mechanism within the sagittal plane. Segment 1 represents the trunk; segments 2–4 correspond to the left thigh, left shank, and left foot; and segments 5–7 correspond to the right thigh, right shank, and right foot.
Coordinate systems are established following the Denavit–Hartenberg (D-H) method. An inertial reference frame {W} is fixed to the ground, with a floating base frame {0} defined at the pelvis reference point. Pelvic translation in the horizontal and vertical directions is described by x
0 and y
0, respectively. Each segment coordinate system {i} (i = 1, 2, …, 7) is established with the proximal joint as its origin, the
Z-axis perpendicular to the sagittal plane pointing outward, and the
X-axis aligned with the segment’s longitudinal axis pointing distally. The coordinate system definitions are illustrated in
Figure 2, and the corresponding D-H parameters are listed in
Table 1. In
Figure 2, different colors are used to distinguish coordinate systems for clarity: red indicates the inertial frame {W} and pelvic frame {0}, blue denotes the trunk coordinate system {1}, and orange and green represent the left and right lower-limb kinematic chains ({2–4} and {5–7}), respectively. The conventions adopted are: θ
1 = θ
body, θ
2 = θ
l_hip, θ
3 = θ
l_knee, θ
4 = θ
l_ankle, θ
5 = θ
r_hip, θ
6 = θ
r_knee, and θ
7 = θ
r_ankle. The parameters l
l_thigh = L
T, l
l_shank = L
S, and l
l_foot = L
F denote the left thigh, shank, and foot lengths, while l
r_thigh = R
T, l
r_shank = R
S, and l
r_foot = R
F denote the right thigh, shank, and foot lengths.
Since all joint axes are parallel to the Z
W axis, the standard D-H transformation matrix reduces to a pure planar rotation-plus-translation form. The homogeneous transformation matrix from frame {i − 1} to frame {i} is simplified as follows:
The transformation matrix of the pelvic base frame {0} relative to the world inertial frame {W} is determined by the translational coordinates x
0 and y
0:
By sequentially substituting the geometric parameters a
i−1 into the general transformation matrix, the specific local transformation matrices for the left lower limb joints can be explicitly derived. Specifically, for the hip, knee, and ankle joints, the matrices are:
The global position and orientation of each segment are then obtained through successive matrix multiplication. For instance, the transformation matrices for the left knee and left ankle relative to the world frame are derived recursively as
and
. The right leg chain follows an identical recursive procedure. Under the uniform rigid rod assumption, letting l
i denote the generic geometric length of segment i (e.g., l
2 = L
T, l
3 = L
S, etc.), its centre of mass in the world frame can be uniformly expressed as follows:
2.2. Lower Limb Exoskeleton Dynamic Model
2.2.1. Generalised Coordinates and Kinematic Jacobian
Building upon the kinematic model, the dynamic equations of the human–machine coupled system are formulated using the Lagrange method based on Jacobian matrices. Initially, the system configuration is described by a vector containing the seven joint angles and the two pelvic translation components:
Since the control objective of this study focuses on the six active lower-limb joints, the trunk rotation angle θ1 is treated as a passive degree of freedom and is assumed to remain fixed at the vertical posture (θ1 = 90°). No active drive torque is applied to θ1, x0, or y0. This assumption reduces the control dimensionality while strictly preserving the dynamic coupling effects of pelvic translation on lower-limb joint dynamics.
To formulate the kinetic energy, the absolute linear and angular velocities of each segment’s centre of mass must be mapped from the joint velocity vector
. Differentiating the position vector
with respect to time yields the linear velocity:
where
is the linear velocity Jacobian matrix of segment i. Due to the serial open-chain topology, only the generalised coordinates corresponding to joints upstream of segment i contribute non-zero columns to
.
Similarly, for planar motion, the absolute angular velocity of segment i about the sagittal normal axis is the algebraic sum of all preceding joint angular velocities. This relationship is written compactly as , where is the angular velocity Jacobian. For example, the angular velocity Jacobian of the left shank (segment 3) is explicitly given by . Notably, pelvic translations (x0, y0) do not generate rotational motion; hence, the final two elements of every are strictly zero.
2.2.2. System Energies and Dynamic Equations
The kinetic energy of any segment i (i = 1, 2, …, 7) is the sum of its translational and rotational kinetic energies:
where m
i is the total equivalent mass of segment i, and
is the moment of inertia about the centre of mass. Summing the kinetic energy across all seven segments yields the total system kinetic energy
. Here, the symmetric and positive definite generalised mass matrix
is defined as follows:
The gravitational potential energy of the system is the sum of the potential energies of all segments, formulated as
, where
and
is the vertical coordinate of the respective centre of mass.
By constructing the Lagrangian
and applying Lagrange’s equations to each degree of freedom, the system dynamics can be derived. To unify the subscript notation and facilitate the final matrix formulation, the translational coordinates are redefined as angular-style indices by defining θ
8 = x
0 and θ
9 = y
0. The generalised coordinate vector can then be rewritten as
. Substituting
into the standard Euler-Lagrange equation yields the final matrix-form dynamic equation:
The Coriolis and centrifugal force matrix
is derived using the Christoffel symbols of the first kind associated with the mass matrix, which quantify how changes in system configuration alter the effective inertia:
The gravity vector
captures the configuration-dependent gravitational loads, with its elements given by the following:
The generalised force vector
comprises the actuation torques provided to the joints.
An essential mathematical property of this Lagrangian formulation is that the matrix
is skew-symmetric. This property plays a pivotal role in designing the Lyapunov function and proving the asymptotic stability of the computed torque method presented in
Section 2.3.4. The explicit element-wise expressions of
,
, and
are provided in the
Appendix A. The MATLAB implementation of the dynamic equations (M, C, and G matrices) is provided as
Supplementary Materials.
2.3. Control System Design
The core task of the exoskeleton control system is to drive the system to track the desired gait trajectory. Let the desired trajectory be q
d(t), and the actual trajectory be q(t). The tracking error is defined as
, and its time derivative is
. The three control strategies presented below are formulated within the standard model-based control framework for robotic manipulators [
15], and are adapted here for the 9-DOF lower-limb exoskeleton dynamic model established in
Section 2.2.
To quantitatively analyse the impact of dynamic modelling accuracy on control performance, three control strategies exhibiting a progressive relationship in their utilisation of the dynamic model are designed: Proportional–Derivative (PD) control, which relies entirely on position and velocity feedback without any dynamic model; PD control with Gravity Compensation (PD + G), which incorporates compensation for the gravitational term G(q) on top of PD control, partially utilising dynamic model information; and the Computed Torque Method (CT), which fully utilises the dynamic model for nonlinear compensation. By comparing the tracking accuracy and energy consumption of these three methods, the accuracy and practical value of the 9-DOF dynamic model established herein can be verified.
It should be noted that in the 9-DOF model of this paper, the actively controlled joints are the bilateral hips, knees, and ankles, comprising six joints in total. The trunk rotation angle and pelvic translation (θ1, x0, y0) serve as passive degrees of freedom, to which no active control torques are applied.
2.3.1. PD Control
PD control is a prevalent feedback control strategy governed by the following control law:
where K
p and K
d denote the position gain matrix and velocity gain matrix, respectively, both being positive definite diagonal matrices.
PD control features a simple structure and ease of implementation but does not account for the system’s dynamic characteristics. In the presence of gravity and inertial coupling, PD control generates steady-state error and exhibits degraded tracking performance during rapid motions.
2.3.2. PD Control with Gravity Compensation
To mitigate steady-state error induced by gravity, a gravity compensation term is incorporated into the PD control, hereafter referred to as PD + G:
The gravity compensation term G (q) counteracts the system’s gravitational influence, effectively reducing steady-state error caused by gravity. However, this approach still neglects the effects of inertial forces and Coriolis forces, limiting its performance during high-speed motion.
2.3.3. Computed Torque Method
The Computed Torque Method (CT) is a control approach based on a precise dynamic model. By compensating for system nonlinearities, it transforms the nonlinear dynamic system into a linearised control problem, thereby achieving higher-precision trajectory tracking.
The control law is designed as follows:
Here,
,
, and
respectively denote the mass matrix, Coriolis/centrifugal force vector, and gravity vector derived in Equation (9);
and
are the desired joint acceleration and velocity. Substituting the above into the dynamic Equation (9) yields the closed-loop error dynamics:
This constitutes a linear time-invariant system. Selecting Kp and Kd such that all roots of the characteristic equation s2 + Kds + Kp = 0 possess negative real parts ensures that the tracking error e converges asymptotically to zero.
To achieve critically damped response characteristics while accommodating the dynamic differences between joints, differentiated control gain parameters are specified for different joints. The gain selection satisfies the condition
, with specific values given in
Table 2.
The three control strategies were selected for comparative analysis based on the following rationale: the three methods form a progressive relationship in their utilisation of the dynamic model. PD control relies entirely on position and velocity feedback without any dynamic model, representing the most fundamental feedback control concept; PD with gravity compensation introduces compensation for the gravity term G(q) on top of PD control, partially utilising dynamic model information; and the computed torque method fully utilises the dynamic model—comprising the mass matrix M, the Coriolis/centrifugal force term C, and the gravity term G—for nonlinear compensation. By comparing the control performance of these three methods, the influence of dynamic modelling accuracy on trajectory tracking control can be quantitatively analysed, thereby validating the accuracy and practical value of the 9-DOF dynamic model constructed herein.
2.3.4. Stability Analysis
To analyse the stability of the computed torque (CT) controller, consider the closed-loop error dynamics obtained by substituting the control law in Equation (14) into the system dynamics in Equation (9). Under the assumption of exact model compensation and perfect state feedback, the closed-loop tracking error system can be written as Equation (15), where e = qd − q is the tracking error, is the tracking error derivative, and Kp and Kd are positive definite gain matrices.
To prove the asymptotic stability of the equilibrium point (e, ė) = (0, 0), consider the following Lyapunov candidate function:
Since K
p is positive definite, V(e, ė) is positive definite. Taking the time derivative of V along the trajectories of the closed-loop system yields
Substituting Equation (15) into Equation (17) gives the following:
Because Kd is positive definite, holds only when ė = 0. Combining this condition with the closed-loop error dynamics in Equation (15) further implies e = 0. Therefore, the only invariant set is (e, ė) = (0, 0). According to Lyapunov stability theory and LaSalle’s invariance principle, the equilibrium point of the closed-loop error system is asymptotically stable.
This result indicates that, under ideal model-matching conditions, the computed torque controller can guarantee asymptotic convergence of the joint tracking error to zero.