This study outlines the formulation and implementation of two control schemes derived from the characterization of fuzzy models associated with the actuators of a parallel robotic mechanism. The following sections detail the analytical representations of both the forward and inverse kinematics underpinning the manipulator’s structure.
3.1. Rehabilitation System
Figure 1 illustrates the four-bar parallel mechanism integrated into the rehabilitation robotic system, whose mechanical system design and development process are detailed in [
15], this figure shows the actuators corresponding to joints
and
, as well as the links that form the parallelogram-type mechanism, which are depicted in the wireframe diagram of
Figure 2 and used for the kinematic computation.
The four-bar rehabilitation robot integrates two independent actuators. The lower unit modulates the planar displacement of the mechanical links along the x- and y-axes, while the upper actuator governs the trajectory and orientation of the end-effector to achieve the prescribed therapeutic posture.
In terms of transmission architecture, the motors are decoupled from the linkage structure through the use of precision bearings and flexible couplings. This configuration preserves concentric alignment and minimizes the transmission of shear loads to the motor shaft, thereby extending operational lifespan and improving mechanical reliability.
The selected motors operate at a nominal voltage of 24 V DC, drawing a current of 10.4 A and achieving a rotational velocity of 120 rpm. Each motor is outfitted with an integrated gearbox rated to deliver a torque output of 20 Nm, supporting robust actuation under rehabilitation constraints.
To regulate actuator motion, the Takagi–Sugeno fuzzy model introduced in
Section 4.1 is employed for dynamic representation of both motors. This modeling approach enables the design of intelligent position controllers. Kinematic formulations developed in the subsequent sections underpin this control framework, ensuring accurate estimation of joint parameters and task-space coordinates.
The mathematical models employed in this study are grounded in the theoretical frameworks established by [
16,
17,
18], which provide a rigorous foundation for analyzing parallel robotic mechanisms.
For the direct kinematic model, the analysis was carried out based on the geometric conception of
Figure 2 and
Figure 3. The
Figure 2 shows the structure in the
plane with the placement of coordinate frames according to the Denavit–Hartenberg algorithm. Likewise,
Figure 3 presents the distances along the
z axis of the rehabilitation robot, which were used to construct the D–H parameter
Table 2. It is important to mention that joints
and
are coupled in the base coordinate system, as shown in
Figure 1.
The Denavit–Hartenberg (D–H) parameters are listed in
Table 2.
Based on the table shown, the equations that represent the position of the end-effector are as follows:
This mathematical model was analyzed as a hybrid model, as it corresponds to a parallelogram-type mechanism with a closed kinematic chain. In this way, by treating it as a hybrid model, two possible trajectories are generated toward the end-effector; however, the joint angles are considered according to the configuration of the parallelogram rather than as a conventional planar representation. Likewise, it is considered that the origin coordinate system contains two joints, which are shown in
Figure 1, corresponding to the render of the rehabilitation robot.
To obtain the inverse kinematic model, which will help calculate the joint coordinates, an analysis was performed using triangle relationships, supported by
Figure 4.
The link acts as the crank that generates planar motion through joint ; link is the second crank, responsible for adjusting the end-effector position via the pair , actuated through joint ; and is the closing link of the parallelogram. In an ideal parallelogram, the lengths satisfy and , which ensures the parallelism of opposite sides of the loop. Moreover, points A, B, C, and D are used as vertices to construct the triangle relations.
The magnitude of the vector
is given by:
Based on the diagram and geometric analysis, the following equations are shown, to determine the rotation angles of the actuators when tracking trajectories.
The angle
represents the orientation of the vector
with respect to the coordinate system. It is calculated using trigonometric relations:
3.6. Fuzzy Identification of Actuators
Proper and accurate parametric identification of the system is essential for the design and tuning of model-based control laws, as it enables effective manipulation of the system. To carry out parametric identification, the system is regarded as a gray box, where an input is applied and a corresponding output is observed.
Figure 6 illustrates, in block format, the identification process of a dynamic system as presented in this paper.
System identification is approached by minimizing the error signal, which is obtained by comparing the actual output
with the estimated output
of the model, as shown in
Figure 7.
When modeling linear systems, that is, those with a single input and a single output (SISO), the ARX (autoregressive with exogenous input) model methodology is one of the simplest ways to represent them [
22,
23]. Its structure can be observed in Equation (
25).
where
denotes the output of the system,
the input signal, and
the modeling error. The coefficients
and
define the system’s dynamic characteristics, with
and
representing the orders of the autoregressive and input polynomials, respectively. The parameter
indicates the time delay in the system’s response.
Most nonlinear dynamic systems with input
and output
can be represented in discrete time using the NARX (Nonlinear AutoRegressive model with eXogenous input) framework [
24,
25,
26]. This structure is formalized in Equation (
26).
where
is the predicted output at time instant (
) and
is a nonlinear function that models the system and depends on the regressor vector
.
The regressor matrix
is defined by Equation (
27).
3.7. Fuzzy Identification
Linear identification is useful for analyzing actuator behavior; however, when parametric variations occur—including uncertainties or internal changes such as temperature, friction, and moment of inertia—these models become unsuitable for model-based control applications.
To address this limitation, more refined approaches are required to capture actuator or system behavior, giving rise to “multi-model” methodologies. Modeling nonlinear dynamic systems poses a significant challenge.
Conventional methods based on differential equations may be inadequate when dealing with high uncertainty or when precise mathematical modeling is difficult. In such cases, fuzzy inference systems offer an effective alternative by encoding expert knowledge through IF–THEN rules, without requiring explicit equations to define system dynamics. Nevertheless, determining appropriate membership functions and tuning fuzzy system parameters remains a complex task. To mitigate this issue, the Adaptive Neuro-Fuzzy Inference System (ANFIS) was developed. This technique merges the learning capabilities of artificial neural networks with the interpretability of fuzzy logic, enabling the autonomous generation of accurate models from input–output data, without prior knowledge of the system’s internal dynamics [
27].
3.11. Fuzzy Control
Linear control systems have been extensively utilized in conventional applications; however, their performance deteriorates when applied to complex environments. In the presence of parametric variations, such controllers may fail to maintain system stability.
To mitigate this issue, various nonlinear control laws have been proposed, formulated through either mathematical modeling or heuristic techniques.
Within this framework, fuzzy control presents a viable alternative. Unlike traditional methods based on rigid mathematical formulations, fuzzy control enables the incorporation of operator experience into dynamic and nonlinear systems. This methodology is particularly beneficial in contexts characterized by uncertainty and variability, where conventional techniques prove inadequate. The structure of fuzzy controllers is detailed below [
30].
In
Figure 9, the basic structure of a fuzzy system is shown.
In the fuzzifier stage, numerical inputs are transformed into fuzzy values using membership functions, these map the input variables through linguistic terms such as low, medium, or high, allowing classification of the system state for control modeling purposes. Each membership function assigns a degree of membership within the interval to each input variable.
The inference mechanism employs a set of fuzzy IF–THEN rules derived from expert knowledge. These rules are combined to generate a fuzzy output.
The defuzzifier then converts the fuzzy output into a crisp numerical value. While outputs are typically derived through membership functions, in Takagi–Sugeno models—as implemented in this work—the output is defined as a linear function.
To enhance actuator performance and control of the parallelogram robot, the following fuzzy controllers were implemented.
3.12. Fuzzy PDC
Parallel Distributed Compensation (PDC) is a model-based methodology for designing fuzzy controllers. This approach initially represents nonlinear systems through Takagi–Sugeno (T–S) fuzzy models, where each control rule corresponds directly to a rule in the T–S fuzzy structure.
Fuzzy control rules incorporate linear controllers in the consequent part, permitting the integration of any compatible control technique. In this case, a state feedback control strategy is employed. PDC control offers notable robustness under collaborative operation, as it adjusts controller weights based on the model’s state. The control architecture is outlined below [
31,
32,
33,
34,
35].
A diagram illustrating the PDC (Parallel Distributed Compensation) controller is presented in
Figure 10.
The control rules for the fuzzy system are formalized in Equation (
28).
The global fuzzy controller is expressed as in Equation (
29).
where
represents the state feedback gains associated with the consequents, and
represents the normalized firing strengths of the fuzzy rules. The normalized firing strengths are given by Equation (
30).
where
represents the activation degree of rule
i, with
.
Similarly, the normalized activation degrees satisfy the convex sum property, as shown in Equation (
31).
The system dynamics at the next time step is represented as in Equation (
32).
As previously mentioned, for linear controls derived from the consequents of the T–S fuzzy model, the Ackermann methodology was employed. This approach enables the modification of the system’s dynamic behavior through pole placement. The procedure is outlined below [
36,
37].
Recall that the discrete-time state-space representation is given by Equation (
33).
The Ackermann formula for determining the state feedback gain matrix
is given by Equation (
34).
where
refers to the controllability matrix and is expressed as in Equation (
35).
The polynomial denotes the characteristic equation implied by the desired pole configuration, evaluated on the companion matrix F, which encodes these poles. To compute the gain matrices for each actuator, the optimal poles associated with each consequent were tuned using the Grey Wolf Optimizer (GWO) metaheuristic.
In our setting, each candidate solution encodes two discrete-time poles per fuzzy consequent (8 rules in total). For the shared-gain experiment, this yields a 16-dimensional vector
. These bounds ensure that all discrete-time closed-loop poles satisfy
(inside the unit circle), the necessary and sufficient condition for asymptotic stability in linear time-invariant discrete systems. The lower bound (
) avoids near-zero poles that can induce overly aggressive control effort and numerical ill-conditioning in the Ackermann computation, whereas the upper bound (
) keeps poles away from the unit circle, preventing marginal stability and excessively slow responses [
37].
From
, a state-feedback gain
is computed for each rule via the Ackermann method, and the overall PDC law is by Equation (
29).
For joint
, the tracking RMSE is by Equation (
39).
The decision vector
stacks the two discrete-time poles for each fuzzy rule; from
, the gains
are computed via Ackermann and used in Equation (
29). The sampling time
, the horizon
N, and the reference trajectory are identical across all runs for a fair comparison.
We use the
classical GWO with search bounds fixed to
. The algorithm updates positions under the standard encircling and hunting equations; we report the number of agents (
S), maximum iterations (
T), and seeds/hardware in the results section for reproducibility [
38,
39,
40].
The classical GWO is inspired by the leadership hierarchy and hunting behavior of grey wolves. It models a pack’s social structure by ranking candidate solutions as alpha, beta, delta, and omega. The best solutions (alpha, beta, delta) guide the rest during the search, mimicking encircling and hunting. Each agent updates its position under the influence of the top three leaders, gradually moving toward promising regions of the search space. This balances exploration and exploitation, enabling effective global search while refining local solutions.
Figure 11 provides the flowchart of the classical GWO and summarizes its iterative position-update scheme based on this social behavior.