1. Introduction
An electro-optical tracking system (ETS) is a piece of complex and high-precision servo tracking equipment integrating optical, mechanical, and electronic technology. It has the characteristics of a fast response speed, a low tracking error, and strong disturbance resistance [
1]. These devices are mainly used for real-time tracking and measurements of moving targets, and are widely employed in the fields of target observation, laser communication, quantum communication, aviation, aerospace, automated production, and other fields [
2,
3]. In the aerospace field, they are used for spacecraft guidance, positioning, attitude control, etc. [
4]. In the field of automated production for automated processing, they are used for machine vision [
5], target tracking and pointing, motion target trajectory measurements [
6], etc. In the medical field, they are used for target tracking in surgical robots, etc.
For this type of system, some scholars have proposed PID control, sliding mode control, adaptive control, and neural network control methods, among others. These control methods have effectively improved the tracking performance of ETS control from different aspects. PID control is a simple and effective control method that meets the steady-state and dynamic performance requirements of a system by adjusting three parameters: the proportional, the integral, and the derivative. However, for electro-optical tracking systems with nonlinearity and uncertainty, the performance of PID control may be limited [
7]. Sliding mode control uses a sliding surface and switching logic to achieve the desired system performance, exhibiting strong robustness and adaptability. However, it may suffer from chattering issues [
8]. Fuzzy control is a control method based on fuzzy logic, capable of handling uncertainty and nonlinear problems. Yet, in high-dimensional and complex electro-optical tracking systems, the design of fuzzy rules may become complex and time-consuming [
9]. Neural network control is an artificial-intelligence-based control method suitable for highly nonlinear and uncertain systems. However, training neural networks requires substantial amounts of data and time, and there may be some delay in real-time applications [
10].
Furthermore, an electro-optical tracking system is limited by the sensor frequency and the performance of the driving mechanism, which leads to the problems of a low tracking accuracy and slow error convergence. To address this problem, backstepping control techniques [
11,
12,
13] have been developed rapidly in recent years. Backstepping control is not only characterized by an ease of design and implementation but also by the ability to measure the state of the system in real time and adjust the inputs according to the difference between the target output and the actual output, thus achieving highly accurate tracking. It can also effectively suppress the instability of the system and thus ensure its stability. A backstepping design allows the control scalar functions and controllers to be systematic, structured, and jitter-free, making them widely available [
14,
15].
The backstepping control method suffers from the “complexity explosion” problem [
16,
17], which leads to a complex solution process and slow convergence.
In the process of backstepping control design, the quality of the position feedback signal, the speed feedback signal, etc., is key to improving the control accuracy, and it is largely influenced by signal filtering and signal differentiation. According to the position signal, the traditional differentiation method can calculate a series of differential signals such as the velocity and acceleration. There are multiple successive differentials in backstepping control, which can easily lead to the problem of a “complexity explosion” [
16,
17]. The traditional differentiation process can reduce the accuracy of the signal differentiation estimation when it is affected by signal noise, and, in turn, the control effect of the backstepping controller is affected.
To avoid a “complexity explosion” and to suppress signal noise, past studies usually used filters and various signal processing methods to preprocess the signal, such as dynamic surface control (DSC) [
18,
19,
20,
21] and command filtering (CF) control [
22,
23,
24]. The main feature of DSC is the introduction of a first-order filter in the backstepping design process to replace the differential operator in each virtual controller design step; however, the DSC scheme does not consider the impact of filtering errors on the control system [
25]. To solve this problem, researchers proposed a command-filtered [
23,
24,
26] backstepping control method by introducing virtual input second-order filtering in each step of the conventional backstepping design process to replace the conventional differential process and by using an error compensation mechanism to overcome the shortcomings of DSC. However, the transient performance of the filtered signal of the conventional command filter in this scheme is poor and the performance of its differential process decreases when the frequency of the input signal increases.
To solve these problems, different tracking differentiators have been used to improve the transient performance of the filtered signal and the differentiation performance at higher frequencies [
27,
28,
29,
30,
31,
32,
33,
34]. These differentiators can complete the process of tracking and differentiating a real-time signal without relying on the controlled object model, and they use an integration process instead of the differentiation process used in the traditional numerical differentiation method [
35] to avoid a “complexity explosion” while performing signal filtering. With in-depth research on tracking differentiator technology in recent years, various types of improved tracking differentiators, such as Linear Tracking Differentiators (LTDs) [
27], High-Speed Tracking Differentiators (HSTDs) [
28], a New Simple Linear Tracking Differentiator (T-D) [
29], and High-Gain Tracking Differentiators (HGTDs) [
30], have been gradually developed to improve the dynamic performance of differentiators. However, the tracking function of these tracking differentiators is not able to simultaneously consider the rapidity and stability of signal convergence, which may cause the rapidity or stability of signal convergence to deteriorate when adjusting the convergence trend near the equilibrium point.
When a tracking differentiator has a relatively fast convergence speed, the speed of the change in state quantities near the equilibrium point increases simultaneously, which leads to convergence chattering and other problems, resulting in a decrease in the tracking accuracy of the differentiator. In this regard, Arctangent Tracking Differentiators (ATDs) in the form of an inverse tangent using an inverse tangent function [
31], Modified Tracking Differentiators (MTDs) designed using a nonlinear odd-exponential continuous function that is stable at only one equilibrium point [
32], New Nonlinear–Linear Tracking Differentiators (NTDs) using hyperbolic tangent (Tanh) functions [
33], and Hyperbolic-Sine-Based Tracking Differentiators (HNTDs) [
34] using hyperbolic sinusoidal functions have been proposed, which are based on a common improvement strategy: introducing both nonlinear and linear links into the differentiator design. Linear and nonlinear links exhibit different degrees of action when the state is far from or close to the equilibrium point, ensuring the rapidity and stability of differentiator convergence. However, the structural form of a tracking differentiator designed in this way is relatively complex, with more parameters, and the functions have the problem of a faster gradient disappearance, and so a more accurate approximate differentiation process may not be achieved.
In summary, in high-order electro-optical tracking systems characterized by nonlinearity and uncertainty, the performance of PID control may be limited [
7], sliding mode control may encounter significant chattering issues [
8], fuzzy control requires the design of complex fuzzy rules [
9], and neural network control demands substantial additional data and time for training [
10]. Therefore, the decision has been made to adopt backstepping control, which can circumvent these issues and provide effective control for an electro-optical tracking system. When solving the complexity explosion present in backstepping control, the existing dynamic surface will introduce filtering errors and reduce the tracking accuracy [
21]; the transient performance of the filtered signal of the existing command filter is poor [
24]; and existing tracking differentiators have a complex structure and more parameters and the gradient of the function they use disappears faster, so it is not possible to realise an approximate differentiation process with the proposed accuracy [
34]. Thus, this paper proposes a linear–nonlinear tracking differentiator based on the Softsign excitation function (SL-NTD) for an electro-optical tracking system. The results show that the proposed control design ensures that all signals are in a bounded set and the tracking error converges to the desired neighborhood of the origin. Compared to all existing technology, the innovations and main contributions of the proposed control scheme can be summarized as follows:
A linear–nonlinear tracking differentiator is designed using the Softsign excitation function for the first time. Compared to the dynamic surface used in Liang and Qiu’s work, the method proposed in this paper does not introduce filtering errors [
21]; compared to the command filter used in Han and Yu’s work, the method in this paper can simultaneously take into account the speed and stability of signal convergence [
24]; and compared to the tracking differentiator used in Fan and Jing’s work, the method in this paper has fewer parameters, the disappearance of the gradient is slowed down, and thus differentiation can be approximated more accurately [
34].
This paper proposes introducing a Softsign tracking differentiator in each step of backstepping control for the first time, using an approximation of the output of the tracking differentiator instead of the traditional differentiation process in virtual control, which solves the problem of the “complexity explosion” in backstepping control.
The number of parameters in the whole backstepping control process is significantly reduced, improving parameter tuning in the scheme. Finally, the feasibility and superiority of the backstepping control method of the linear–nonlinear tracking differentiator based on the Softsign excitation function are verified via simulations and experiments.
The remainder of the paper is structured as follows.
Section 2 presents the problem description and introduces the research objectives and methodology of the paper.
Section 3 describes the backstepping control design process and the proof of its stability for a linear–nonlinear tracking differentiator based on the Softsign excitation function.
Section 4 presents a specific control object example and compares the proposed method with other methods in simulations and experiments to solve the “complexity explosion” problem. The effectiveness and superiority of the proposed design method are verified in simulations and experiments.
Section 5 provides the conclusions of the paper.
2. Problem Description
Consider the following electro-optical tracking system that can be expressed as:
In Equation (
1),
is the state quantity, and it is measurable,
u is the control rate, and
y is the output.
The ultimate goal of this paper is to make the class of ETSs achieve high-accuracy trajectory tracking, where the root mean square error can be used as a reference for adjustment and measurements, as shown in Equation (
2) below:
where
is the input standard trajectory and
is the output actual trajectory. In order to improve the trajectory tracking accuracy, it is necessary to reduce the error between the actual trajectory and the standard trajectory; therefore, in this paper, a new backstepping controller is designed that achieves high-precision tracking while ensuring system stability by measuring the system state in real time, adjusting the input according to the difference between the target output and the actual output, and using the state feedback information of the system to offset the effects of perturbation.
The backstepping control method used in this paper is a commonly used control method [
11,
12], the basic idea of which is decomposing a complex system into subsystems that do not exceed the order of the system. As shown in Equation (
1) above, the system can be divided into n subsystems, and then a Lyapunov function
and an intermediate virtual control quantity
can be designed, respectively, for each subsystem
. In each subsystem,
is virtual control, and appropriate virtual feedback
, where
, allows the previous state of the system to reach asymptotic stability and then “back up” the entire system until the entire controller design is completed. In this process, it is necessary to differentiate the virtual control quantity
used in each step, and after simplification, this is equivalent to multiple successive differentiations of the first virtual control quantity
. This can lead to the phenomenon of a “complexity explosion”. To solve the problem of the “complexity explosion”, this paper uses a Softsign tracking differentiator to replace the traditional differential derivation process.
3. SL-NTD-Based Backstepping Controller Design
3.1. Description of the Softsign Tracking Differentiator
In this paper, we propose a linear–nonlinear tracking differentiator based on the Softsign excitation function. This section focuses on the introduction of the Softsign excitation function; an image of the function is shown in
Figure 1, and the mathematical equation is of the form shown in Equation (
3):
where
x is the independent variable of the Softsign excitation function, and the value of
converges to 1 when the value of
x is positive infinity and to −1 when the value of
x is negative infinity.
The input value of the Softsign function is small and its output value in the interval close to 0 presents non-linear characteristics, so it can eliminate or alleviate the problem of jittering to a certain extent.
The magnitude of the Softsign function and the coefficients of the independent variables can be extended to obtain the function , and changing the values of m and n can change the magnitude of the Softsign function and the rate of change. Changing the magnitude of m changes the range of function values; when n decreases to nearly 0, the output of the function will tend to be linear and the slope will decrease as well. This indicates that as n decreases, the function f becomes more linear, smoother, and more saturated. This characteristic can alleviate or even eliminate the impact of jitter and can also reduce the risk of overfitting in many cases, making the output more stable.
In addition, it can be seen from
Figure 1 that the Softsign function has properties such as smoothness and continuity, and the saturation interval is small, giving it a slower decreasing derivative, which also indicates that it can learn more efficiently and can better solve the problem of gradient disappearance. Thus, it is suitable and convenient for use in the design of tracking differentiators.
In order to design a linear–nonlinear tracking differentiator based on the Softsign excitation function, the following theorem/lemma and related proofs need to be given first.
Theorem 1. There is the following system: If the parameters a and b in the above system are greater than 0, then the system is uniformly asymptotically stable at the origin . This means that for any initial condition, the system state will converge to the origin as time tends to infinity and the rate of convergence is consistent for all initial conditions.
Remark 1. When there exist systems of the form described above, whose parameters are all greater than 0, then the system is uniformly asymptotically stable at the origin .
Proof. First, construct the Lyapunov function:
Theorem 1 gives
and
when
, and
when
. Then, from the median integral theorem, we have
where
; thus, it is obtained that
.
When
and
, then
and
; therefore, we obtain
. Take the derivative of the Lyapunov function:
Since Theorem 1 gives , it can be obtained that and . It follows that if and only if near (0.0). Therefore, according to Lyapunov’s second theorem, the system of Theorem 1 is asymptotically stable and so Theorem 1 is valid. □
Lemma 1. Due to the nature of the Softsign function, the system can be divided into two action phases when it comes to the specific role:
When , the system is far away from the equilibrium position, . This has a major role in driving system (4), described by: When , the system is far away from the equilibrium position, . This has a major role in driving system (4), described by:
Remark 2. The tracking differentiator constructed from the Softsign excitation function can be divided into two action phases in the specific role, which are also each asymptotically stable and allow the system state to always converge quickly and steadily. The change in state is shown in Figure 2, where the origin (0,0) is the equilibrium point. Proof. From Theorem 1 and Theorem 2 in [
28] it is easy to prove that Equations (
8) and (
9) are also asymptotically stable and enable the fast and stable convergence of the system state.
Therefore, a nonlinear–linear tracking differentiator based on the Softsign excitation function, referred to as SN-LTD, is designed. The control block diagram is shown in
Figure 3, and the mathematical model is shown in Equation (
10). □
Theorem 2. For the following system:where is the input signal, and are variables, and is the input signal after filtering, is the extracted differential signal, and a and b are parameters greater than 0. The solution of this tracking differentiator system satisfies at . According to Theorem 1 and Lemma 1, it is easy to prove that Theorem 2 holds.
Through the derivation of the formula for the Softsign-based tracking differentiator, it can be found that the output of the Softsign function tends to be 1 when the difference between and is large, and at this time, the output of the Softsign-based tracking differentiator mainly depends on the difference between and . The method can effectively track the changes in the system. At the same time, the Softsign-based tracking differentiator can better overcome the differential explosion problem because the Softsign function has the ability to effectively filter out noise in edge detection. Also, the range of output signals of the Softsign-based tracking differentiator is wide, effectively avoiding the output saturation problem. This means that the Softsign-based tracking differentiator has better adaptability in dealing with nonlinear systems.
Theorem 3. The theoretical analysis of the Softsign-based tracking differentiator is compared with an ordinary linear tracking differentiator, and the results show that the Softsign-based tracking differentiator has a faster convergence speed and smaller errors. The theoretical analysis process is as follows:
The state space equation for the linear tracking differentiator used for the comparison is:where is the input signal, and are the variables, and , , and ε are parameters greater than 0, where , , , and and in Equation (4). Define the Lyapunov function as
, and for a linear tracking differentiator, calculate the derivative of the Lyapunov function as:
For the Softsign-based tracking differentiator, the derivative of the Lyapunov function is calculated as:
A comparison shows that and the Softsign-based tracking differentiator has faster convergence and more minor errors according to the Lyapunov stability theorem. Similarly, it can be proven that the Softsign-based tracking differentiator has more advantages over other differentiators.
Remark 3. Compared to the command filters mentioned in the literature [23,24], the use of a Softsign-based tracking differentiator, which uses the input to obtain and , improves not only the transient performance of the filtered signal but also the differentiation performance at higher frequencies. Remark 4. Compared with various types of tracking differentiators mentioned in the literature [27,28,29,30,31,32,33,34], the use of the Softsign-based tracking differentiator, which uses the input to obtain and , simplifies the structure of the tracking differentiator and reduces the number of parameters while taking into account the rapidity and stability of signal convergence, better solving the “complexity explosion” problem. 3.2. Design of Backstepping Control Based on the Softsign Tracking Differentiator
Consider the following nth-order single-input and single-output electro-optical tracking system:
where
is the state quantity,
u is the control rate, the input is
, and the output is
. In addition,
is the virtual input quantity and also the expected value of the state quantity.
Design the control rate according to the conventional backstepping control design idea. In each subsystem, is virtual control, and appropriate virtual feedback , where , makes the previous state of the system reach asymptotic stability, but the solution of the system generally does not satisfy . For this reason, error variables are introduced in the hope that some asymptotic properties between and the virtual feedback can be achieved through the action of control, and thus the asymptotic stability of the whole system can be achieved.
The derivative of the virtual control quantity designed in the following is substituted by the differential signal extracted by a linear–nonlinear tracking differentiator based on the Softsign excitation function which is provided to the backstepping controller.
Assume that the n tracking errors are:
Dividing the nth-order system into n first-order subsystems, n Lyapunov functions are defined in turn:
Then, design the backstepping control process from top to bottom in turn. The design process needs to ensure that , which ensures system stability.
Differentiate the n Lyapunov functions in turn, as follows:
Subsystem 1: In order for the system to be stable,
, i.e., negative definite. At this point, the above requirement can be satisfied as long as
tends to
, so that the following is obtained:
At this point, set
as the tracking object of
, and because the system itself
, we can get:
Subsystem 2: In order for the system to be stable,
, i.e., negative definite. At this point, the above requirement can be satisfied as long as
converges to
, so that the following is obtained:
At this point, set
as the tracking object of
, and because the system itself
, we can get:
……
Subsystem n: Here, to ensure system stability, it is necessary that , i.e., negative definite.
As
, where
, we can obtain:
Solving the equation
yields:
The final control rate is then obtained:
Because the errors are exponentially asymptotically stable, and thus so is the control rate designed above, the original nonlinear system is guaranteed to be exponentially asymptotically stable.
To sum up, the design block diagram of the proposed control strategy is summarized in
Figure 4.
Remark 5. The modified tracking differentiator SL-NTD in Figure 4 is used to generate alternative differential signals. In fact, to facilitate the implementation process and reduce the number of control parameters in the developed control strategy, all SL-NTDs can implemented with the same structure. Remark 6. The convenience of the Softsign tracking differentiator-based backstepping control method proposed in this paper is that the traditional backstepping design process can still be used, and when the differentiation step is encountered, the differentiation extracted by the Softsign tracking differentiator is used instead, without breaking the traditional design steps. The tracking differentiator and backstepping control are independent of each other and can be used separately, which is more convenient.
3.3. Proof of Stability
Lemma 2. The second method of Lyapunov (direct method).
Stability theorem: For a continuous nonlinear system, if one can construct a scalar function with continuous first-order partial derivatives with respect to x, and an attraction region is present around the origin of the state space such that all nonzero states satisfy the following conditions.
Then, the original system equilibrium state is asymptotically stable in the region.
Proof. The nth-order system is divided into n first-order systems using n Lyapunov functions to maintain stability, as shown in Equations (
16)–(
18), where there are n-3 more equations between Equations (
17) and (
18). Looking at Equations (
16)–(
18), we can see that
are all constant and greater than or equal to zero.
Deriving the above n equations separately, after introducing the virtual control quantity, we obtain Equations (
22), (
24) and (
26), where there are n-3 equations between Equations (
24) and (
26). Observe that in Equation (
22), since
is defined to be a constant greater than zero, it is guaranteed that
is constantly less than or equal to zero. Observe that in Equation (
24), since
and
are defined as constants greater than zero, it is guaranteed that
is constantly less than or equal to zero. Similarly, the n-3 equations between Equations (
24) and (
26) also prove that
are constantly less than or equal to zero. Substituting the control rate obtained from Equation (
29) into the solved Equation (
18), we can obtain Equation (
26), since
and
are defined as constants greater than zero, so we can guarantee that
is constantly less than or equal to zero.
Summing up the above conclusions, the following equations can be obtained:
According to Lyapunov’s stability theory, the controller is asymptotically stable at the origin, which ensures the stability of the whole system. Lemma 2 is proven. □
3.4. Parameter Selection Guidelines
The parameters involved in the design of the backstepping control of the optoelectronic tracking system based on the Softsign linear–nonlinear tracking differentiator include the parameters a and b of the improved tracking differentiator and the parameters , and of the backstepping control. These parameters need to be considered in the design of the backstepping control to improve the tracking performance of SL-NTDBSC so that the differential signal generated by the Softsign linear–nonlinear tracking differentiator will not cause the “complexity explosion” problem during the whole process and meet the stability requirements. The differential signals generated by the Softsign linear–nonlinear tracking differentiator should be considered in the backstepping control design so that the whole backstepping process will not have the problem of a “complexity explosion” and satisfy the stability requirements. To make the differential signal generated by Softsign linear–nonlinear tracking differentiator closer to the real differential signal and ensure that is does not have the “complexity explosion” problem after multiple differentiations, the tracking differentiator should be designed to combine the fast signal convergence and stability. The parameter tuning guidelines are summarized as follows.
Firstly, when designing SL-NTDBSC, it is necessary to ensure that the adjusted parameters can ensure the stability of the system. According to Theorem 2 and Lemma 2, it can be obtained that the system is stable on the premise of , , , and .
Then, to meet the requirements related to the response speed and overshoot, the following must be considered. In the Softsign linear–nonlinear tracking differentiator, adjusting a and b can affect the convergence speed of the system, adjusting a too much will result in a large overshoot, increasing b can speed up the response time of the system, and a too small value of b will reduce the convergence speed of the system, and vice versa will lead to system instability. Increasing can speed up the system’s response in backstepping control, but a too large may lead to system instability. Similarly, adjusting and can affect the system’s overshoot, and suitable values of and can reduce the amount of overshoot.
Finally, the parameters involved above are adjusted appropriately to optimize their quality, and the control parameters are configured as
and
(verified in the experiments in
Section 4). Note that the parameter selection in this method is based on an empirical approach.
6. Conclusions
To address the problems caused by electro-optical tracking systems with uncertainties, this paper employs backstepping control. However, traditional backstepping control is susceptible to the “complexity explosion” issue. Therefore, this paper introduces, for the first time, a backstepping control design based on a Softsign linear–nonlinear tracking differentiator. A novel tracking differentiator is designed using the Softsign function, enhancing the differentiation effect and providing some filtering capabilities. Simulation and experimental results confirm the effectiveness and superiority of this control method. The approach proposed in this paper overcomes the “complexity explosion” issue associated with traditional backstepping control by using a Softsign linear–nonlinear tracking differentiator to approximate the traditional differentiation process. After two consecutive differentiations, the overshoot peak is only of that of traditional differentiation, significantly reducing the likelihood of a complexity explosion. Moreover, this method reduces the number of parameters, simplifies parameter adjustment, and simultaneously balances signal convergence speed and stability, thereby improving the trajectory tracking performance of backstepping control. According to the ITAE index, over the frequency range of 0.1 Hz to 2.0 Hz, the tracking performance of this approach is improved by 65.88% compared to traditional backstepping control, 50.96% compared to command-filter-based backstepping control, and 35.46% compared to NTD-based backstepping control. Additionally, stability design using Lyapunov theory ensures the stability of this method, and it also guarantees the boundedness of system signals.
However, as the application scenarios of electro-optical tracking systems evolve, there will be an increased demand for control methods to have improved tracking precision characteristics and disturbance rejection capabilities. To meet the practical needs of electro-optical tracking systems, the next phase of research will focus on optimizing the method presented in this paper to further address the issue of the reduced disturbance rejection performance in multiple scenarios. Furthermore, forthcoming work will also consider the parameter adjustment problem in backstepping control, aiming to make parameter tuning more accurate and straightforward. In summary, the method proposed in this paper holds significant value for electro-optical tracking systems, and future research efforts will strive to enhance its performance and applicability in various real-world scenarios.