3.1. Robust Adhesion Observer
The adhesion between the wheels and rails can be estimated using an observer, with the extended state observer being one of the most commonly used methods. Dividing both sides of (3) by
and
, and then rewriting the wheel motion equation gives
Therefore, the extended state observer can be designed as
where
is the observed value of the wheel speed
, and
is the observed value of
.The functions
and
are the design functions of the observer, where
and
are the design parameters of the observer.
By defining
,
, and
, then substituting Equations (16) and (17) into Equation (18) while considering
, we obtain the error differential equations:
Traditional extended state observers assume and design and to make the observer error gradually converge to zero, thus observing the system’s state. However, from Equation (20), it can be seen that even if the extended state observer makes , there still exists an observation error in the observer. This indicates that the dynamic observation accuracy of the traditional extended state observer requires improvement. Inaccurate torque estimation can impact the performance of subsequent control strategies. Therefore, it is crucial to design a torque observer that accounts for changes in torque.
Referring to the design flow of the fixed-time robust differentiator, a robust adhesion observer is designed in this section. Under the assumption
, the design of
and
in (17) and (18) is given by Equations (21) and (22). Thus, a robust adhesion observer is constructed:
where
is a constant and
> 0. In (21) and (22), the terms
and
act to accelerate the convergence speed when the observer has a relatively large observation error.
Theorem 1. If and , where L is a positive constant, and if the conditions ,, and > 0, the observer can observe the torque within a finite time.
Proof. Let , and define the Lyapunov function , where P is a positive definite symmetric matrix. □
From
, the following expression can be derived:
Combining Equations (19) and (20), the expression becomes
where
,
, and
.
According to , where L is a positive constant, it follows that .
Letting
, the expression becomes
From the analysis above, by deriving and processing
, the following result is obtained:
According to Lemma 3.2 from Gahinet and Apkarian (1994) [
15] on H-infinity control and Theorem 2.4.3 from Shen Tielong (1996) [
16] on the Neutralization Theorem in H-infinity control theory and applications, it follows that
.
If
A is a stable matrix, i.e.,
,
. The linear matrix inequality Equation (26) has a positive definite symmetric solution
P:
where
ε is a small positive number. Substituting (26) into Equation (25), the following is obtained:
where
is the maximum eigenvalue of matrix
P. According to the above equation, the Lyapunov function
is negative, meaning the observation error can converge to zero within a finite time. The Lyapunov function
has an initial value
at time 0. By integrating both sides of Equation (27), the following expression is obtained:
Thus, when = 0, the observation error will converge to zero within . By observing , the torque and its derivative can be calculated. There is no observation error if does not exist.
3.2. Proactive Anti-Diversion Strategies
For a specific train route, the wheel–rail adhesion state can be categorized into five typical conditions, ranging from good to poor. The adhesion characteristics between the wheel and rail under these varying conditions at a fixed speed are illustrated in
Figure 3.
Based on the basic theory of adhesion discussed in
Section 2.1, it is understood that when the braking force applied to the wheels of a train does not exceed the maximum traction force provided by the adhesion between the wheels and rails, the wheel–rail system operates on the left side of the peak adhesion point, preventing wheelset slip. Therefore, when the train is operating under specific track conditions, the maximum traction force that the rail surface can provide under slightly poorer adhesion conditions can be selected as the control force output to avoid wheel slip. For example, in the case of road condition 3 shown in
Figure 3, the controller output is limited by the maximum traction force corresponding to the optimal adhesion point of road condition 4, thereby preventing wheelset slip under the poorer adhesion conditions of road condition 3.
Considering factors such as axle load and environmental elements affecting torque, the actual wheel torque characteristics will inevitably fall within a specific torque characteristic range. For example, the shaded area in
Figure 3. In this section, the torque observer is used to obtain the actual wheel torque coefficient
. By selecting
as the typical road condition that is most similar to the current road condition, the train is actively prevented from slipping by selecting the typical road condition that is a little bit poorer as the output of the train’s maximum traction force limiting controller, where
represents the typical condition torque coefficient, and
represents the typical condition number from 1 to 5. The researched typical conditions are represented by a 10-segment axis, so comparing the actual torque characteristics to this typical condition will yield a maximum vehicle adhesion force of
.
is the maximum observed torque coefficient for this condition.
Through the torque characteristic model, the maximum adhesion force can be obtained. The adopted O-Polach torque characteristic model cannot directly calculate the eigenvalue to obtain the maximum torque coefficient , so the calculation of the maximum vehicle adhesion force needs to be continuously approximated to approach the eigenvalue information expressed by the analytical formula. Therefore, this section adopts the approximation method to obtain the maximum torque coefficient for the typical condition closest to the actual observed value and calculates the maximum vehicle adhesion force.
During the implementation process, sensor data (such as wheel speed, traction force sensors, etc.) is used to monitor the adhesion between the wheels and the track, providing real-time feedback to the controller. When insufficient adhesion is detected, the controller immediately adjusts the traction output and limits it to the maximum value determined by the current track conditions. In this way, the controller can quickly respond to external disturbances, ensuring stable operation of the train under low adhesion conditions.
The specific active control strategy can be designed as follows (see
Figure 4):
3.3. Higher-Order Sliding Mode-Based Active Anti-Slip Controller
Traditional sliding mode control often results in large oscillations, which can undermine the stability of the entire vehicle system. To address this issue, higher-order sliding mode theory is introduced. The higher-order sliding mode controller can be designed as follows:
In the above equations,
and
are determined by the adaptive laws in Equations (30) and (31):
To maintain consistent controller speed,
generally assumes a larger value. Based on the analysis in
Section 3.2, limiting the controller output to be lower than the maximum adhesion force can prevent wheel slipping and enhance vehicle operational safety. Consequently, the maximum adhesion force derived from the active anti-slip control strategy in
Section 3.2 is used to cap the controller output, thereby achieving active anti-slip control. Compared to traditional vehicle controllers, this approach minimizes the impact of wheel torque variations on the controller’s output. The actual controller output is
is defined as
, where
is the vehicle adhesion characteristic given by Equation (33)
represents the control limit derived from the active anti-slip strategy in
Section 3.2.
Additionally, the higher-order sliding mode control law incorporates an integral term and includes a parametric adaptive law in integral form. When the anti-slip control strategy and traction characteristics impose limits on the controller output, the convergence of the sliding mode variables may be compromised. As a result, the adaptive and integral components of the control law may increase, potentially affecting the stability of the controller. To address this issue, this section combines the saturation compensation control law with the higher-order sliding mode train controller, ensuring system stability when the controller output is constrained. The train saturation compensation law is designed as follows:
Specifically, the main function of the saturation compensation control law is to prevent the controller output from exceeding the maximum available traction force, thereby avoiding wheel slip. When the train operates under low adhesion conditions, traditional control strategies may lead to outputs exceeding the system’s physical limits, causing instability or slip. The saturation compensation control law corrects the control output in real time to ensure it does not exceed these physical limits.
With the inclusion of the saturation compensation control law, the train sliding mode variables are redefined as follows:
By integrating Equations (29)–(35), the active anti-slip control law can be formulated as
To maintain consistent controller speed,
generally assumes a larger value. Based on the analysis in
Section 3.2, limiting the controller output to be lower than the maximum adhesion force can prevent wheel slipping and enhance vehicle operational safety. Consequently, the maximum adhesion force derived from the active anti-slip control strategy in
Section 3.2 is used to cap the controller output, thereby achieving active anti-slip control. Compared to traditional vehicle controllers, this approach minimizes the impact of wheel torque variations on the controller’s output.
The system is stabilized under the control law in Equations (36)–(38), and the sliding mode variable
will converge within a small range defined by
. If
, the displacement and vehicle speed tracking errors will converge. If
, the following condition is satisfied:
Theorem 2. The position and speed tracking errors and will still converge. The train will then track up the target velocity–displacement curve. Furthermore, the designed controller is capable of providing the maximum vehicle adhesion force, thereby preventing wheel slipping.
Proof. Taking the derivative of the sliding mode variable
and combining the control laws (36)–(39) and the vehicle model (15), the following is obtained:
From Equation (41), the following can be obtained:
where
. □
The Lyapunov function is chosen as , where . To facilitate proving the adaptive law, the controller stability is chosen as .
When
,
and
. Combining this with (42), the result is
where
and
, with
. The purpose of reducing
in the above equation is to lower
, preventing the integral term from becoming excessively high and adversely affecting control performance.
(1) The stability of the controller when
is analyzed as follows:
Since
, and when
Therefore,
. Furthermore, according to
Equation (44) can be simplified as
where
.
By substituting the expressions for
,
,
simplifies to
By Shur’s complementary lemma,
is a negative definite matrix when the following conditions are satisfied:
Therefore, if satisfies the condition of Equation (49), then , ensuring the system’s stability, and the sliding mode variable will converge to zero. When is not satisfied, the adaptive law for will increase, ensuring .
(2) The following analysis demonstrates that when
and
, the controllers remain stable. Define the Lyapunov function as
where
and
are the target values of
and
, respectively. Satisfying the convergence condition of (49), let
and
. The derivation of Equation (50) gives:
where
. Let
and
be
when
and
take
and
. Then, Equation (51) reduces to
Since
,
, it is possible to calculate:
By substituting Equation (53) and the adaptive law (37) into Equation (52), the following result is obtained:
Since is negatively determined, , and the sliding mode variable converges to the range , ensuring the controller’s stability. By combining the analyses of (1) and (2), the sliding mode variable will converge to the set range under the action of the designed train control law.
The convergence of the displacement and speed tracking errors and is discussed as follows:
- (1)
Unrestricted controller output
According to the saturation compensation law (34), will converge to 0. For , it follows that converges to a very small neighborhood of the origin, implying that will also converge to a small neighborhood of the origin. As a result, and eventually converge to very small values, enabling the train to track the target velocity–displacement curve.
- (2)
Controller Output Constrained
When the train controller output is limited and , if (40) is satisfied, , meaning will eventually converge to zero. Since and are almost zero when the controller output is constrained, will converge to a small value , ensuring sufficient dynamic performance of the saturation compensation law. Eventually, and converge to very small values, allowing the train to track the target velocity–displacement curve.