Robust control for a tracked mobile robot based on a finite-time convergence zeroing neural network

Abstract

A zeroing neural network activated by nonlinear functions is employed to control tracked mobile robot to track desired trajectory. A new fractional exponential activation function is designed in the paper, and the implicit derivative dynamic model of the tracked mobile robot is presented, termed finite-time convergence zeroing neural network. The proposed model is analyzed based on the Lyapunov stability theory, and the upper bound of the convergence time is given. In addition, the robustness of finite-time convergence zeroing neural network model is investigated under different error disturbances. Numerical experiments of tracking an 8-shaped trajectory are conducted successfully, validating the proposed model for the trajectory tracking problem of tracked mobile robots. Comparative results validate the effectiveness and superiority of the proposed model for the kinematical resolution of tracked mobile robot even in a disturbance environment.

1. Introduction

At present, robots are being widely used in marine exploration (Fang et al., 2022; Wang et al., 2022), industrial manufacturing (Šegota et al., 2021; Truong et al., 2021), military applications (Bistron and Piotrowski, 2021; Rawat et al., 2021), and other fields. Tracked mobile robots (TMRs) show their wide adaptability and traffic ability to complex terrain (Gu et al., 2021). The demand for their motion autonomy and intelligence is increasing. Therefore, the control issue of trajectory tracking has been a research hotspot.

However, a TMR is a typical nonlinear system, and its model parameters change with its motion. In addition, the model is vulnerable to various interferences. The superposition of many factors poses a great challenge to the control algorithm. Therefore, a feasible solution with outstanding convergence performance as well as robustness to handle the nonlinear time-varying control issue of the TMR is imperative in practice. Numerous methodologies and techniques for addressing the tracking control issues of robot systems have been extensively studied and reported, including backstepping control (Ji et al., 2002; Gao et al., 2022; Sabiha et al., 2022), sliding mode control (Ahmed et al., 2021; Yin et al., 2021), fuzzy control (Lara-Molina and Dumur, 2021; Li et al., 2022), and neural network (Ding et al., 2018; Jin and Qiu, 2022).

Among various kinds of solutions, neural network approaches have shown huge advantages in terms of parallelism and easy implementation by hardware (Chen and Zhang, 2018). As a powerful approach for solving time-varying problems, the conventional zeroing neural network (CZNN) proposed in Zhang et al. (2002) has been thoroughly investigated in recent years (Miao et al., 2015; Xiao et al., 2017; Gerontitis et al., 2022; Sun et al., 2022; Zhang and Zheng, 2022). Ma et al. (2021) proposed a new ZNN model to solve the bound-constrained time-varying nonlinear equation, which has been applied to the mobile robot manipulator. Chen et al. proposed a multi-constrained ZNN. The application on the mobile manipulator for nonlinear optimization control demonstrated its physical effectiveness (Chen et al., 2021). Although CZNN can converge to the analytical solution with time, the convergence time is infinite in theory, which is impossible in reality. For an actual situation, the convergence time should be as short as possible. Moreover, CZNN is sensitive to noise and other disturbances. However, the system is susceptible to external disturbances and possible internal disturbances.

Many efforts have been made to address the shortcomings of CZNN. Hu et al. (2020) developed a noise tolerance ZNN model, which successfully tracked the desired path of the mobile manipulator with high accuracy under perturbation. Chen and Zhang (2018) proposed a robust ZNN model for solving the inverse kinematics problem of mobile robot manipulators . Luo et al. proposed a new hyperbolic tangent varying-parameter ZNN. Furthermore, trajectory tracking tasks of the mobile robot substantiate the outstanding convergence of hyperbolic tangent variant-parameter robust ZNN (HTVPR-ZNN) schemes (Luo et al., 2022). Chen et al. (2020) proposed a ZNN model with a super twisting algorithm that realized finite-time convergence and anti-disturbance, proving its effectiveness and superiority in the tracking control of the mobile robot manipulator. Lin et al. utilized a new design formula of noise resistance and finite-time convergence to establish a new ZNN. Compared with CZNN, the presented model was nonsensitive to various types of external disturbances (Xiao et al., 2019). Yan et al. (2019) proposed several improved ZNN models that allow nonconvex activation functions and have accelerated finite-time convergence.

However, the models and approaches reviewed above might potentially not be time-efficient and simultaneously robust for direct applications to a tracking control problem of TMR due to the requirement of timeliness as well as the influence of the disturbance environment. Moreover, it is worth pointing out that the robustness and finite convergence of ZNN models are related to the design of appropriate activation functions. The sign-bi-power function mentioned above endows ZNN with finite-time convergence, but it also contains a sign function, which may lead to singularity and discontinuity. Additionally, the performance under disturbance has not been not fully studied. Therefore, it is necessary to design a new activation function to obtain anti-interference and outstanding convergence.

Under the framework of the ZNN, a finite-time convergence ZNN, termed FCZNN, is proposed in this study. First, a new fractional evolution formula is designed to accelerate the convergence speed and enhance its robustness, which can converge to the desired trajectory within a finite-time under four common disturbances. To better demonstrate the contribution of this study, some existing models are introduced for comparison to highlight the main differences, and the corresponding comparison results are presented in Section 4.

The rest of this paper is organized into four sections. Section 2 presents a novel tracking control method based on FCZNN models for TMR. Section 3 validates the finite convergence and other properties. Section 4 illustrates the corresponding simulation results of the proposed method and presents some existing models for comparison. Section 5 concludes the entire paper.

Before ending this section, the main contributions of this study are summarized as follows:

• A new fractional exponential activation function is proposed in this study and investigated to solve the trajectory tracking issue. Compared with the tunable activation function, the singularity and sign function can be effectively avoided by reasonably selecting the design parameters.

• The finite-time convergence and robustness of the proposed FCZNN are validated theoretically based on the Lyapunov stability theory.

• Simulation experiments are conducted to present the verification and superiority of the FCZNN when compared with some existing models. Additionally, the validity of the theoretical analysis is confirmed based on the corresponding results.

2. Preliminaries

Since the actual situation is complicated, it is difficult to reflect it fully. Appropriate simplification is necessary. First, the main application scenario of our TMR is in a structured environment, such as indoors or on roads, and it can be analyzed on a two-dimensional plane. Furthermore, the difference in grounding pressure and the mass distribution of the TMR affect the kinematic model of the TMR. To simplify the kinematics model, some assumptions are declared for the TMR:

Assumption 1. The TMR moves on the flat terrain with even tracking grounding pressure.

Assumption 2. The centroid of the TMR is located at the center of the robot.

In the global XOY coordinate system, the schematic diagram of the motion of the TMR is presented in Figure 1. Some notations mentioned in Figure 1 are listed in Table 1.

FIGURE 1

Figure 1. Schematic diagram of the motion of the TMR.

TABLE 1

Table 1. Notations in Figure 1.

First, we introduce a model-free tracking control method for the TMR relying only on user-defined input and sensory output without knowing any information about the model parameters of the TMR. The kinematics model of the TMR is depicted as

q.(t)=J(θ)u(t) (1) q.(t)=J(θ)u(t) (1)

where q(t) = [x, y, θ]^T is the generalized coordinates of the TMR, q.(t) q.(t) is the time-derivative of q(t) , u(t) = [v, ω]^T is the control input vector, and J(θ) = [cos θ, 0; sin θ, 0; 0, 1] is the full-rank velocity transformation matrix. To obtain the solution of the matrix equation, the FCZNN model is presented to solve this kind of a robot trajectory control issue.

A time-varying desired path equation q_d(t) is offered for tracking using the TMR,

qd.(t)=J(θd)ud(t) (2) qd.(t)=J(θd)ud(t) (2)

where q.d(t) q.d(t) denotes the time derivate of q_d(t), J(θ_d) = [cos θ_d, 0; sin θ_d, 0; 0, 1] is the desired full-rank velocity transformation matrix, and ud(t)=[vd,ωd]T ud(t)=[vd,ωd]T is the desired control input vector. The mapping relation in real time t is expressed as q(t) → q_d(t) . The mapping at the velocity level is shown as q.(t)→q.d(t) q.(t)→q.d(t)

The following error function is defined in the global coordinate system:

qe(t)=q(t)−qd(t) (3) qe(t)=q(t)-qd(t) (3)

The error is generally defined in the coordinate system of then TMR; then, one has

e(t)=Tqe(t) (4) e(t)=Tqe(t) (4)

where e(t)=[ex,ey,eθ]T e(t)=[ex,ey,eθ]T and T = [cos, sin θ, 0; sin θ, − cos θ, 0; 0, 0, 1] is the coordinate transformation matrix, which converts the tracking error defined under the inertial coordinate system to the body coordinate system.

In view of the design rules of the ZNN, the following formula is given:

de(t)dt=−ΓΦ(e(t)) (5) de(t)dt=-ΓΦ(e(t)) (5)

where Φ(e(t)) denotes an activation function vector with various type, linear type, power type, etc. Theoretically, any monotonically increasing odd function can be the activation function candidate. Γ is a positive-definite matrix for scaling the convergence rate of the solve process. Based on the related derivate theory, Γ should be set as large as possible within the tolerance limit of the hardware. For ease of discussion, Γ is set as a diagonal matrix with the same element, that is, Γ = γI, where I is the identity matrix. Additionally, Γ is a constant scalar-valued parameter matrix. Then,

e.(t)=−γΦ(e(t)) (6) e.(t)=-γΦ(e(t)) (6)

where γ is the parameter that adjusts the convergence rate.

Moreover from (13), one promtly has

e.(t)=T.qe(t)+Tqe.(t) (7) e.(t)=T.qe(t)+Tqe.(t) (7)

3. Model design and theoretical analysis

In this section, a finite-time and robust unified framework synthesized by adopting a new activation function is proposed. The relative theorems and proofs about the corresponding features, namely, of finite-time convergence, global stability, and robustness in the disturbance environment, are explored to demonstrate the effectiveness of the proposed FCZNN model.

Considering (1), (6), and (7), one can obtain

T(J(θ)u(t)−q.d(t))+T.(q(t)−qd(t))=−γΦ(e(t)) (8) T(J(θ)u(t)-q.d(t))+T.(q(t)-qd(t))=-γΦ(e(t)) (8)

Evidently, the neural dynamics Equation (8) makes full use of the pose information and its derivate of the TMR, which contributes to solving the trajectory tracking control problem.

To demonstrate the anti-interference performance of the proposed FCZNN, some theorems about robustness are investigated in this section. Generally, the synthesized error caused by the disturbances is inevitable for any electronic system and neural dynamics. The synthesized error caused by hardware implementation off-set errors can be treated as dynamic non-disappearing noise in linear or sine form. The one caused by the instantaneous decline of power sources or other external disturbances can be regarded as dynamic disappearing noise in exponential form. Then, the implicit dynamic Equation (8) with the synthesized error is reformulated

T(J(θ)u(t)−q.d(t))+T.(q(t)−qd(t))=−γΦ(e(t))+W(t) (9) T(J(θ)u(t)-q.d(t))+T.(q(t)-qd(t))=-γΦ(e(t))+W(t) (9)

where W(t) ∈ R³ denotes the synthesized error (could be constant or time-varying) with each entry w_i(t) ≤ w for i = 1, 2, 3, where w ≥ 0 is an unknown constant.

3.1. Design of the FCZNN

As mentioned before, the choice of error evolution formula has a crucial influence on the characteristics of the system. Inspired by Xiao et al. (2017), a new fractional exponential activation function is proposed for constructing the error evolution formula.

Φ(x)=κ1fp/p1(x,t)+κ2f(x,t)+κ3fp1/p(x,t) (10) Φ(x)=κ1fp/p1(x,t)+κ2f(x,t)+κ3fp1/p(x,t) (10)

where f(x, t) is the set of increasing odd functions and design parameters p and p₁ denote positive odd integer with p > p₁, κ₁ > 0, κ₂ > 0 , κ₃ > 0. Evidently, three terms of the activation function are odd functions the sum of the three terms is still a monotonically increasing odd function. For analysis, we define f(x, t) = x. Then, the error evolution formula is given as

de(t)dt=−γ(κ1ep/p1(t)+κ2e(t)+κ3ep1/p(t)) (11) de(t)dt=-γ(κ1ep/p1(t)+κ2e(t)+κ3ep1/p(t)) (11)

where γ is defined as before. The Equation (9) can be reformulated as

u(t)=J†(θ)T−1[−γΦ(e(t))−T.(q(t)−qd(t))+Tq.d(t)+W(t)] (12) u(t)=J†(θ)T-1[-γΦ(e(t))-T.(q(t)-qd(t))+Tq.d(t)+W(t)] (12)

where J^†(t) denotes the pseudo inverse of J(t).

The detailed algorithm description about the FCZNN model for the TMR tracking control issue is presented in Algorithm 1. The block diagram presented in Figure 2 demonstrates the principle of the control strategy.

ALGORITHM 1

Algorithm 1. Tracking control of the TMR via the FCZNN.

FIGURE 2

Figure 2. Block diagram of the FCZNN model with the possible disturbances for W(t) handling tracking control issue of the TMR.

To illustrate the details of the proposed model, the ith (i = 1, 2, 3) neuron of the FCZNN is given below.

q.i=−γϕ(ei)+wi−∑3j=1(T.ijej+Tijq.dj) (13) q.i=-γϕ(ei)+wi-∑j=13(T.ijej+Tijq.dj) (13)

where q.i q.i , q.dj q.dj denote the ith element of q. q. , q.d q.d , respectively, and T. T. _ij, T_ij are the (i, j)th element of T. T. and T.

Based on (13), the neural topology structure of the proposed FCZNN model is presented in Figure 3.

FIGURE 3

Figure 3. Neural topology of the proposed FCZNN model.

3.2. Convergence analysis

3.2.1. Global stability analysis

Theorem 1. If a monotonically increasing odd function Φ(·) is taken as the activation function, the output will globally converge to the desired trajectory q_d(t) of the model (9) with a random generated initial state q(0).

Proof: To prove the global convergence of the model (9), the following Lyapunov function candidate is presented as

L(t)=||e(t)||222=eT(t)e(t)2 (14) L(t)=||e(t)||222=eT(t)e(t)2 (14)

where ||·||₂ denotes the two norm of a vector. Considering (6), the derivate of the above function is

L.(t)=eT(t)e(t)dt =−γeT(t)Φ(e(t)) =−γ∑i=1meiϕ(ei(t)) (15) L.(t)=eT(t)e(t)dt =-γeT(t)Φ(e(t)) =-γ∑i=1meiϕ(ei(t)) (15)

where e_i(t) is the ith element of e(t), ϕ(e_i(t)) is the ith element of Φ(e(t)), and m = 3 represents the number of model subsystems. Since the activation function is an odd function, the following relationship exists:

ei(t)ϕ(ei(t))={>0, if ei(t)≠0=0, if ei(t)=0. (16) ei(t)ϕ(ei(t))={>0, if ei(t)≠0=0, if ei(t)=0. (16)

According to the Lyapunov stability theory, the system is asymptotically stable at moment t with L.(t)<0 L.(t)<0 guaranteed. Considering (16), we have

L.(t)=−γ∑i=1meiϕ(ei(t))={=0 if ei(t)=0<0, if ei(t)≠0, t∈[0, +∞) (17) L.(t)=−γ∑i=1meiϕ(ei(t))={=0 if ei(t)=0<0, if ei(t)≠0, t∈[0, +∞) (17)

□

Equation (17) demonstrates that L.(t) L.(t) is negative finite. Based on the Lyapunov stability theory, the system will gradually stabilize with time, the error equation will converge to 0, and the corresponding input will converge to the analytical solution. The proof of global convergence is thus completed.

Theorem 1 indicates that the system residual error converges to 0, which means that the TMR can track the desired position with time. The evolution formula proposed in this study demonstrates that the tracking task of a desired path can converge in the finite time. Next, the finite-time convergence of the FCZNN is proved below.

3.2.2. Finite-time convergence analysis

Theorem 2. Considering the novel activation function (10) for the error function e(t), e(t) can converge to 0 in finite time T_f. T_f satisfies the following inequality:

Tf≤⎧⎩⎨⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪12γκ2((p+p1)2p1−1)ln⎛⎝κ1+κ2κ2L(0)1−p+p12p1+κ1⎞⎠+ln(1+κ2κ3L(0)1−(p+p1)2p)2γκ2((p+p1)2p−1),L(t)≥1ln(1+κ2κ3L(0)1−(p+p1)2p)2γκ2((p+p1)2p−1),L(t)<1 (18) Tf≤{12γκ2((p+p1)2p1−1)ln(κ1+κ2κ2L(0)1−p+p12p1+κ1)+ln(1+κ2κ3L(0)1−(p+p1)2p)2γκ2((p+p1)2p−1),L(t)≥1ln(1+κ2κ3L(0)1−(p+p1)2p)2γκ2((p+p1)2p−1),L(t)<1 (18)

Proof: Firstly, the maximum initial value element of the error function is depicted as e+(0)=maxi=1,2,3{|ei(0)|} e+(0)=maxi=1,2,3{|ei(0)|} . The following relationship holds true: −|e+(t)|≤|ei(t)|≤|e+(t)| -|e+(t)|≤|ei(t)|≤|e+(t)| for t ≥ 0 and i = 1, 2, 3 , which reveals that e_i(t) converges to 0 when e⁺(t) is equivalent to 0. Moreover, e. e. ⁺(t) = - γ Φ (e⁺(t)).

L.(t)=2e.+(t)e+(t) =−2γΦ(e+(t))e+(t) =−2γ(κ1L(t)(p+p1)/2p1+κ2L(t)+κ3L(t)(p1+p)/2p) (19) L.(t)=2e.+(t)e+(t) =-2γΦ(e+(t))e+(t) =-2γ(κ1L(t)(p+p1)/2p1+κ2L(t)+κ3L(t)(p1+p)/2p) (19)

For simplicity, we define 2γκ₁ = β₁ , 2γκ₂ = β₂ , 2γκ₃ = β₃ , a = (p + p₁)/2p₁ , and b = (p + p₁)/2p. In view of the precondition, a > 1 , 0 < b < 1 . Then, L.(t)=−(β1La(t)+β2L(t)+β3Lb(t)) L.(t)=-(β1La(t)+β2L(t)+β3Lb(t)) .

Inequality (18) is proved below. The following two situations exist:

CASE I: When L(t) ≥ 1,

L.(t)≤−β1La(t)−β2L(t) (20) L.(t)≤-β1La(t)-β2L(t) (20)

Inequality (20) can be transformed as

dL(t)β3La(t)+β2L(t)≤−dt (21) dL(t)β3La(t)+β2L(t)≤-dt (21)

Integrating both sides of (21) from 0 to t, we can obtain

L(t)= ⎧⎩⎨≤exp(−β2t)(L1−a(0)+β1β2−β1β2exp((1−a)β2t))11−a,if 0≤t<t1=1, if t=t1 (22) L(t)= {≤exp(−β2t)(L1−a(0)+β1β2−β1β2exp((1−a)β2t))11−a,if 0≤t<t1=1, if t=t1 (22)

where t₁ denotes the convergence time to 0 for L1−a(0)=maxi=1,2,3{e1−ai(0)}. L1−a(0)=maxi=1,2,3{ei1−a(0)}.

Let L(t) = 1 ,

t1=1(a−1)β2ln β1+β2β2L1−a(0)+β1. (23) t1=1(a-1)β2ln β1+β2β2L1-a(0)+β1. (23)

CASE II: When L(t) ≤ 1,

L.(t)≤−(β2L(t)+β3Lb(t)). (24) L.(t)≤-(β2L(t)+β3Lb(t)). (24)

Inequality (24) can be converted to

dL2(t)β2L2(t)+β3Lb2(t)≤−dt. (25) dL2(t)β2L2(t)+β3L2b(t)≤-dt. (25)

Integrating the above differential inequality from 0 to t, we have

L(t)= ⎧⎩⎨≤exp(−β2t)(L1−b(0)+β3β2−β3β2exp((1−b)β2t))11−b,if 0≤t<t2=0, if t=t2. (26) L(t)= {≤exp(−β2t)(L1−b(0)+β3β2−β3β2exp((1−b)β2t))11−b,if 0≤t<t2=0, if t=t2. (26)

Similarly, t₂ satisfies the following equality:

t2=ln (1+β2β3L1−b(0))β2(1−b). (27) t2=ln (1+β2β3L1-b(0))β2(1-b). (27)

where t₂ denotes the convergence time to 0 for L(t) ≤ 1 , and Lb(0)=maxi=1,2,3{ebi(0)}. Lb(0)=maxi=1,2,3{eib(0)}.

In summary, the upper bound of convergence time T_f satisfies

Tf≤⎧⎩⎨⎪⎪⎪⎪⎪⎪⎪⎪1(a−1)β2ln(β1+β2β2L1−a(0)+β1)+ln(1+β2β3L1−b(0))β2(1−b),L(t)≥1ln(1+β2β3L1−b(0))β2(1−b), L(t)<1. (28) Tf≤{1(a−1)β2ln(β1+β2β2L1−a(0)+β1)+ln(1+β2β3L1−b(0))β2(1−b),L(t)≥1ln(1+β2β3L1−b(0))β2(1−b), L(t)<1. (28)

Note that (28) can be rewritten in the form of (18). The proof is thus completed. □

3.3. Robustness analysis

The CZNN has been proven to converge to the desired result in the disturbance-free case. However, in the practical situation, the disturbance cannot be avoided. The tracking error may arise in the presence of the disturbance. In this section, the steady-state error is given base on the Lyapunov theory.

Theorem 3. Consider tracking control issue (1) of the TMR. Suppose that an FCZNN model is polluted by the additive bounded error w_i(t) with w_i(t) ≤ w (constant or time-varying disturbance), where w is positive constant, starting from the arbitrary initial position q(0), the steady-state tracking error of the FCZNN model (9) yields the following equality:

limt→+∞∥e(t)∥2<m−−√(wγκ3)p1 /p. (29) limt→+∞‖e(t)‖2<m(wγκ3)p1 /p. (29)

where all the parameters in the inequality have been defined before.

Proof: Provided that the additive disturbances exist in the FCZNN model, its ith dynamical subsystem corresponding to the error function in the FCZNN model is given by

e.i(t)=−γϕ(ei(t))+wi (30) e.i(t)=-γϕ(ei(t))+wi (30)

Similar to Theorem 1, a Lyapunov function is defined first to address the global convergence of the proposed FCZNN model.

L(t)=pp+p1ei(t)p1+pp (31) L(t)=pp+p1ei(t)p1+pp (31)

Obviously, L(t) is an even function, L(t) ≥ 0 . Taking derivation for L(t) , we have

L˙(t)=ei(t)p1/pe.i(t) =[−γ(κ1ei(t)p/p1+κ2ei(t)+κ3ei(t)p1/p)+wi]ei(t)p1/p =−γ κ3(ei(t)p1/p−wi2γκ3)2+wi24γκ3−(γκ1ei(t)(p2+p12)/pp1+γκ2ei(t)(p+p1)/p) (32) L˙(t)=ei(t)p1/pe.i(t) =[−γ(κ1ei(t)p/p1+κ2ei(t)+κ3ei(t)p1/p)+wi]ei(t)p1/p =−γ κ3(ei(t)p1/p−wi2γκ3)2+wi24γκ3−(γκ1ei(t)(p2+p12)/pp1+γκ2ei(t)(p+p1)/p) (32)

Suppose that ei(t)≥(w/γκ3)p/q ei(t)≥(w/γκ3)p/q , the first two terms hold −γκ3(ei(t)q/p−wi2γκ3)2+wi24γκ3<0 -γκ3(ei(t)q/p-wi2γκ3)2+wi24γκ3<0 .

Based on this, we obtain the following analysis about Equation (32). There are two situations.

1) If solution error ei(t)≥(w/γκ3)p/q ei(t)≥(w/γκ3)p/q holds true, one can readily obtain that L.(t)<0 L.(t)<0 . In the sense of the Lyapunov theory, the system becomes stable gradually with time.

2) If solution error ei(t)<(w/γκ3)p/p1 ei(t)<(w/γκ3)p/p1 holds true, the sign of L.(t) L.(t) might be positive or negative. Even in the worst-case scenario, we consider L.(t)>0 L.(t)>0 , which indicates that e_i(t) will increase; (wi/γκ3)p/p1 (wi/γκ3)p/p1 does not exceed the upper bound (w/γκ3)p/p1 (w/γκ3)p/p1 for L.(t)<0 L.(t)<0 when ei(t)≥(wi/γκ3)p/p1 ei(t)≥(wi/γκ3)p/p1 .

Recalling that ∥∥e(t)∥∥2=∑mi=1e2i(t)−−−−−−−−−√ ‖e(t)‖2=∑i=1mei2(t) , one can readily draw the conclusion that limt→+∞∥e(t)∥2<m−−√(wγκ3)p1/p. limt→+∞‖e(t)‖2<m(wγκ3)p1/p. The proof is thus completed. □

It is worth pointing out that Theorem 2 presents that the steady-state solution error can be arbitrarily small by increasing or reducing the fractional value.

Theorem 4. In the case of ei(t)≥(wi/γκ3)p/p1 ei(t)≥(wi/γκ3)p/p1 , starting from any initial value q(0) , the actual trajectory q(t) tracks the desired position q_d(t) in finite time T_f for the FCZNN model (9) with constant noises. T_f satisfies the following equality:

Tf≤1(a−1)β2ln β1+β2β2L1−a(0)+β1 (33) Tf≤1(a-1)β2ln β1+β2β2L1-a(0)+β1 (33)

where the parameter in (33) is predefined in Theorem 2.

Proof: A Lyapunov function L(t) = (e⁺(t))² is defined; the derivate of L(t) is demonstrated

L˙(t)=2e˙+(t)e+(t) =2(−γΦ(e+(t))+wi)e+(t) =(−2γκ1L(t)(p+p1)/2p1−2γκ2L(t)−2γκ3L(t)(p1+p) 2p+2wie+(t)) (34) L˙(t)=2e˙+(t)e+(t) =2(−γΦ(e+(t))+wi)e+(t) =(−2γκ1L(t)(p+p1)/2p1−2γκ2L(t)−2γκ3L(t)(p1+p) 2p+2wie+(t)) (34)

Then, L.(t) L.(t) is rewritten as L.(t)=−(β1La(t)+β2L(t)+β3Lb(t))+2wie+(t) L.(t)=-(β1La(t)+β2L(t)+β3Lb(t))+2wie+(t) Considering Theorem 3, if ei(t)≥(w/γκ3)p/p1 ei(t)≥(w/γκ3)p/p1 holds true (i.e., wi≤β3e+(t)p1/p/2 wi≤β3e+(t)p1/p/2 ), one can have

2wie+(t)≤β3e+(t)(p+p1)/p =β3L(t)(p+p1)/2p (35) 2wie+(t)≤β3e+(t)(p+p1)/p =β3L(t)(p+p1)/2p (35)

Then, (34) is reformulated as

L˙(t)=−(β1La(t)+β2L(t)+β3Lb(t)+we+(t)) ≤(−β1La(t)−β2L(t)−β3Lb(t)+β3Lb(t)) =−β1La(t)−β2L(t) (36) L˙(t)=−(β1La(t)+β2L(t)+β3Lb(t)+we+(t)) ≤(−β1La(t)−β2L(t)−β3Lb(t)+β3Lb(t)) =−β1La(t)−β2L(t) (36)

□

Based on the discussion in Theorem 2, T_f satisfies (33). Then, the proof is completed.

4. Numerical experiments

The numerical experiments are conducted in this section to demonstrate the finite-time convergence and robustness of the FCZNN model with disturbance considered. The CZNN is adopted for comparison.

During the initialization of the algorithm, the initial position vector is set to be q(0) = q_d(0) + Δo . The vector Δo is the off-set between an actual position and the desired position in the Cartesian space. Δo = (0, 1, 0) is set in the simulation. The predefined design parameter is set to be γ = 10, and we keep κ_i = 10 for i = 1, 2, 3. Moreover, p and p₁ are set to be 9 and 3 separately. In the application, the TMR is applied to track an eight-shaped path. The reference trajectory for TMR is given by

{xd=h1sin(h2t),yd=h1sin(h3t),t∈[0,T] (37) {xd=h1sin(h2t),yd=h1sin(h3t),t∈[0,T] (37)

where [h₁, h₂, h₃] = [10, 0.01, 0.05]. Then, we have

Remark 1. The scope of eight-shaped reference trajectory can be adjusted by changing the value of h₁, that is, (x_d, y_d) ⊂ {(x_d, y_d)|−h₁ ≤ x_d ≤ h₁, −h₁ ≤ y_d ≤ h₁}.

⎧⎩⎨⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪x˙d=h1h2cos(h2t), y˙d=h1h3cos(h3t),x¨d=−h1h22sin(h3t), y¨d=−h1h23sin(h3t),vd=x˙2d+y˙2d,−−−−−−−√θd=arctan 2(x˙d,y˙d). (38) {x˙d=h1h2cos(h2t), y˙d=h1h3cos(h3t),x¨d=−h1h22sin(h3t), y¨d=−h1h32sin(h3t),vd=x˙d2+y˙d2,θd=arctan 2(x˙d,y˙d). (38)

The path-tracking task duration is set to be 150s as the initialization. Meanwhile, the general tracking error is expressed as the two norm of the error vector.

∥∥E∥∥2=(x−xd)2+(y−yd)2+(θ−θd)2−−−−−−−−−−−−−−−−−−−−−−−−−−−√. (39) ‖E‖2=(x-xd)2+(y-yd)2+(θ-θd)2. (39)

4.1. Finite-time convergence validation without disturbance

The simulative results of the FCZNN without disturbance are shown in Figure 4. Figure 4 presents the tracking performance for the TMR to track the eight-shaped path, which shows that the actual trajectory moves toward the desired trajectory and demonstrates the tracking error during the tracking task, validating the finite-time convergence with global stability. The tracking error decreases directly from the maximum value, which indicates that the error is related to the setting of the initial position because the error of the robot in the initial position is the maximum, consistent with the theoretical analysis.

FIGURE 4

Figure 4. The tracking performance of the FCZNN without disturbance.

4.2. Robustness verification

In general, disturbances are unavoidable for any electronic system and neural dynamics, mainly including internal and external disturbances. Internal disturbances are caused by hardware implementation off-set errors, which can be viewed as dynamic disturbances in linear or sinusoidal form. External disturbances are caused by instantaneous changes in power or external shock among other reasons, which can be regarded as the disturbance that disappears exponentially.

The disturbances considered in this study are shown in Table 2, including four different common disturbances.

TABLE 2

Table 2. The disturbances forms.

Th motion results of the TMR tracking an eight-shaped path synthesized by the FCZNN model are shown in Figures 5–8. Figure 5 shows that under constant value perturbations, the FCZNN model still has an excellent effect on the tracking error of the trajectory, indicating that it has a better suppression effect on constant value perturbations. Figures 6, 7 present that under linear or sine-form perturbations, there is still room for improvement in the suppression of the FCZNN model. Figure 7 illustrates that perturbations in the exponential decay form have a larger impact on the system at the moment they occur, unlike linear and sinusoidal perturbations.

FIGURE 5

Figure 5. The tracking performance of the FCZNN model with disturbance wi = 1 .

FIGURE 6

Figure 6. The tracking performance of FCZNN with disturbance wi = 0.01 ∗ t .

FIGURE 7

Figure 7. The tracking performance of the FCZNN model with disturbance wi = sin(t) .

FIGURE 8

Figure 8. The tracking performance of the FCZNN model with disturbance wi = exp(−t) .

Combing in the above figures, in the disturbance environment, the FCZNN model can still guarantee finite-time convergence. That is, in a disturbance environment, the TMR can still track the desired trajectory. Certainly, the convergence time is longer than that in Figure 4. The previous analysis illustrates that the tracking effect can be further enhanced by changing the parameters. In addition, we notice that the convergence time in the case of constant interference is longer than that in the case of time-varying disturbance. The upper limit of the time-varying disturbance is 1, and the time-varying disturbance is 0 at the beginning of the numerical experiment. Hence, the FCZNN model can track the desired trajectory faster.

4.3. Comparison with existing models

To verify the efficacy and superiority of the FCZNN model, comprehensive comparisons with existing neural network models are presented in this section, including the CZNN (Miao et al., 2015; Xiao et al., 2017) and integration-enhanced ZNN (IZNN) (Chen and Zhang, 2018; Xiao et al., 2019). Moreover, the classical backstepping control Hao et al. (2017) is introduced for comparison as well. Figures 9–12 show the comparison results of various models with different disturbances. Clearly, all four methods are able to complete the task of trajectory tracking, but the quality differs considerably.

FIGURE 9

Figure 9. Simulated motion results with wi = 1.

FIGURE 10

Figure 10. Simulated motion results with wi = 0.01t.

For solving the inverse kinematics problem of the mobile robot, the CZNN model with the disturbances can be depicted as the following dynamic equation:

A(t)u(t)−q.d(t)=−γe(t)+W(t) (40) A(t)u(t)-q.d(t)=-γe(t)+W(t) (40)

The convergence feature of the CZNN model without disturbance has been investigated broadly and is neglected in this study. Without loss of generality, parameters γ and κ_i for i = 1, 2, 3 are kept the same.

The blue line in Figures 9–12 demonstrates the tracking performance of the CZNN model and its tracking error, showing that this model is sensitive to disturbances, especially the three time-varying disturbances. Figure 9 shows that the maximum tracking error of this model is much higher than that of the FCZNN and IZNN models. Generally, the tracking error of the CZNN model does not converge to be 0 during the entire tracking duration. Therefore, the CZNN model is not suitable for application in the disturbance environment.

The IZNN model has been presented and investigated as an alternative for solving the inverse kinematics problem of mobile robot manipulators; this model with disturbances can be depicted as the following dynamic equation:

A(t)u(t)−q.d(t)=−γe(t)−λ∫Φe(t)dt+W(t) (41) A(t)u(t)-q.d(t)=-γe(t)-λ∫Φe(t)dt+W(t) (41)

Readily, the simulation results present that the performance of the IZNN model is enhanced compared to that of the CZNN model. Figures 9–11 present that the IZNN model is nonsensitive to constant and exponential decay disturbances, but it cannot deal with sine or linear disturbances effectively. It does not meet our requirements.

FIGURE 11

Figure 11. Simulated motion results with wi = sin(t).

Backstepping control is the classical method for solving the inverse kinematics problem of the mobile robot. However, the simulation results present its failure in achieving satisfactory results in an interference environment. Specifically, its tracking trajectory is not smooth, not to mention its tracking error. Details about backstepping control will, therefore, not be discussed in the paper.

Figures 9–12 illustrate that the proposed FCZNN model exhibits anti-disturbance performance with four common forms of disturbances suppressed for solving the inverse kinematics problem of the TMR compared with the existing two models and backstepping control. In addition, comparisons with other models or methods with the corresponding results shown in Figure 9 substantiate the robust property and finite convergence of the proposed FCZNN model, which are absent in both the CZNN and IZNN models.

FIGURE 12

Figure 12. Simulated motion results with wi = exp(−t).

Based on the above simulation results and analysis, we can draw the conclusion that the proposed FCZNN model has excellent and inherent noise and disturbance canceling ability accompanied by finite-time convergence, which enables it to be more suitable for practical applications of the TMR with noises and disturbances.

5. Conclusion

An FCZNN model was proposed in this study as a solution to the TMR tracking control . Different from the CZNN model, a new activation function was incorporated with the FCZNN model. Some theorems of finite-time convergence and strong robustness were mathematically validated. Simulation experiments were conducted to verify the superiority and effectiveness of the proposed FCZNN model in comparison with the CZNN, IZNN, and backstepping control. Furthermore, the application to TMR kinetic control presented its practical significance.

Future work lies in extending the kinematic analysis by considering multiple physical constraints and developing a complete experimental environment equipped with the real TMR for practical application of the FCZNN model. The extension of the FCZNN model to other similar mechanisms is an interesting, open, and challenging future direction for this research. Moreover, developing ZNN models that consider obstacle avoidance and saturation constraints to enable the TMR with active obstacle avoidance or developing novel saturation-allowed activation functions to adapt to practical requirements is an interesting research direction.

Data availability statement

The original contributions presented in the study are included in the article/supplementary material, further inquiries can be directed to the corresponding author.

Author contributions

YC and BL: data curation and validation. YC, BL, and JP: conceptualization and formal analysis. YC: methodology, software, and writing—original draft. JP: supervision. All authors have read and agreed to the published version of the manuscript.

Conflict of interest

The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.

Publisher's note

All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article, or claim that may be made by its manufacturer, is not guaranteed or endorsed by the publisher.

References

Ahmed, S., Wang, H., and Tian, Y. (2021). Adaptive fractional high-order terminal sliding mode control for nonlinear robotic manipulator under alternating loads. Asian J. Control 23, 1900–1910. doi: 10.1002/asjc.2354

Bistron, M., and Piotrowski, Z. (2021). Artificial intelligence applications in military systems and their influence on sense of security of citizens. Electronics 10, 871. doi: 10.3390/electronics10070871

Chen, D., Cao, X., and Li, S. (2021). A multi-constrained zeroing neural network for time-dependent nonlinear optimization with application to mobile robot tracking control. Neurocomputing 460, 331–344. doi: 10.1016/j.neucom.2021.06.089

Chen, D., Li, S., and Wu, Q. (2020). A novel supertwisting zeroing neural network with application to mobile robot manipulators. IEEE Trans. Neural Netw. Learn. Syst. 32, 1776–1787. doi: 10.1109/TNNLS.2020.2991088

Chen, D., and Zhang, Y. (2018). Robust zeroing neural-dynamics and its time-varying disturbances suppression model applied to mobile robot manipulators. IEEE Trans. Neural Netw. Learn. Syst. 29, 4385–4397. doi: 10.1109/TNNLS.2017.2764529

Ding, L., Li, S., Gao, H., Chen, C., and Deng, Z. (2018). Adaptive partial reinforcement learning neural network-based tracking control for wheeled mobile robotic systems. IEEE Trans. Syst. Man Cybern. Sys. 50, 2512–2523. doi: 10.1109/TSMC.2018.2819191

Fang, Y., Huang, Z., Pu, J., and Zhang, J. (2022). Auv position tracking and trajectory control based on fast-deployed deep reinforcement learning method. Ocean Eng. 245, 110452. doi: 10.1016/j.oceaneng.2021.110452

Gao, M.-M., Jin, X.-Z., and Ding, L.-J. (2022). Robust adaptive backstepping intsm control for robotic manipulators based on elm. Neural Comput. Appl. 34, 5029–5039. doi: 10.1007/s00521-021-05824-y

Gerontitis, D., Behera, R., Tzekis, P., and Stanimirović, P. (2022). A family of varying-parameter finite-time zeroing neural networks for solving time-varying sylvester equation and its application. J. Comput. Appl. Math. 403, 113826. doi: 10.1016/j.cam.2021.113826

Gu, Q., Bai, G., Meng, Y., Wang, G., Zhang, J., Zhou, L., et al. (2021). Efficient path tracking control for autonomous driving of tracked emergency rescue robot under 6G network. Wirel. Commun. Mob. Comput. 2021, 1–9. doi: 10.1155/2021/5593033

Hao, Y., Wang, J., Chepinskiy, S. A., Krasnov, A. J., and Liu, S. (2017). “Backstepping based trajectory tracking control for a four-wheel mobile robot with differential-drive steering,” in 2017 36th Chinese Control Conference (CCC) (Dalian: IEEE), 918–4923. doi: 10.23919/ChiCC.2017.8028131

Hu, Z., Li, K., Li, K., Li, J., and Xiao, L. (2020). Zeroing neural network with comprehensive performance and its applications to time-varying lyapunov equation and perturbed robotic tracking. Neurocomputing 418, 79–90. doi: 10.1016/j.neucom.2020.08.037

Ji, M., Sun, Z., Wang, J., and Chen, Q. (2002). “Robust backstepping control of tracked mobile robot,” in Mobile Robots XVI, volume 4573 (Bellingham, WA: SPIE), 235–243. doi: 10.1117/12.457448

Jin, J., and Qiu, L. (2022). A robust fast convergence zeroing neural network and its applications to dynamic sylvester equation solving and robot trajectory tracking. J. Franklin Inst. 359, 3183–3209. doi: 10.1016/j.jfranklin.2022.02.022

Lara-Molina, F. A., and Dumur, D. (2021). A fuzzy approach for the kinematic reliability assessment of robotic manipulators. Robotica 39, 2095–2109. doi: 10.1017/S0263574721000187

Li, J., Wang, J., Peng, H., Hu, Y., and Su, H. (2022). Fuzzy-torque approximation-enhanced sliding mode control for lateral stability of mobile robot. IEEE Trans. Syst. Man Cybern. Syst. 52, 2491–2500. doi: 10.1109/TSMC.2021.3050616

Luo, J., Yang, H., Yuan, L., Chen, H., and Wang, X. (2022). Hyperbolic tangent variant-parameter robust znn schemes for solving time-varying control equations and tracking of mobile robot. Neurocomputing 510, 218–232. doi: 10.1016/j.neucom.2022.08.066

Ma, Z., Yu, S., Han, Y., and Guo, D. (2021). Zeroing neural network for bound-constrained time-varying nonlinear equation solving and its application to mobile robot manipulators. Neural Comput. Appl. 33, 14231–14245. doi: 10.1007/s00521-021-06068-6

Miao, P., Shen, Y., Huang, Y., and Wang, Y.-W. (2015). Solving time-varying quadratic programs based on finite-time zhang neural networks and their application to robot tracking. Neural Comput. Appl. 26, 693–703. doi: 10.1007/s00521-014-1744-4

Rawat, R., Rajawat, A. S., Mahor, V., Shaw, R. N., and Ghosh, A. (2021). “Surveillance robot in cyber intelligence for vulnerability detection,” in Machine Learning for Robotics Applications, eds M. Bianchini, M. Simic, A. Ghosh, and R. N. Shaw (Singapore: Springer), 107–123. doi: 10.1007/978-981-16-0598-7_9

Sabiha, A. D., Kamel, M. A., Said, E., and Hussein, W. M. (2022). Ros-based trajectory tracking control for autonomous tracked vehicle using optimized backstepping and sliding mode control. Rob. Auton. Syst. 152, 104058. doi: 10.1016/j.robot.2022.104058

Šegota, S. B., Andelić, N., Mrzljak, V., Lorencin, I., Kuric, I., Car, Z., et al. (2021). Utilization of multilayer perceptron for determining the inverse kinematics of an industrial robotic manipulator. Int. J. Adv. Robot. Syst. 18, 1729881420925283. doi: 10.1177/1729881420925283

Sun, Z., Wang, G., Jin, L., Cheng, C., Zhang, B., Yu, J., et al. (2022). Noise-suppressing zeroing neural network for online solving time-varying matrix square roots problems: a control-theoretic approach. Expert Syst. Appl. 192, 116272. doi: 10.1016/j.eswa.2021.116272

Truong, T. N., Vo, A. T., and Kang, H.-J. (2021). A backstepping global fast terminal sliding mode control for trajectory tracking control of industrial robotic manipulators. IEEE Access 9, 31921–31931. doi: 10.1109/ACCESS.2021.3060115

Wang, Y., Huang, S., Wang, Z., Hu, R., Feng, M., Du, P., et al. (2022). Design and experimental results of passive iusbl for small auv navigation. Ocean Eng. 248, 110812. doi: 10.1016/j.oceaneng.2022.110812

Xiao, L., Dai, J., Jin, L., Li, W., Li, S., Hou, J., et al. (2019). A noise-enduring and finite-time zeroing neural network for equality-constrained time-varying nonlinear optimization. IEEE Trans. Syst. Man Cybern. Syst. 51, 4729–4740. doi: 10.1109/TSMC.2019.2944152

Xiao, L., Liao, B., Li, S., Zhang, Z., Ding, L., Jin, L., et al. (2017). Design and analysis of ftznn applied to the real-time solution of a nonstationary lyapunov equation and tracking control of a wheeled mobile manipulator. IEEE Trans. Ind. Inform. 14, 98–105. doi: 10.1109/TII.2017.2717020

Yan, X., Liu, M., Jin, L., Li, S., Hu, B., Zhang, X., et al. (2019). New zeroing neural network models for solving nonstationary sylvester equation with verifications on mobile manipulators. IEEE Trans. Ind. Inform. 15, 5011–5022. doi: 10.1109/TII.2019.2899428

Yin, X., Pan, L., and Cai, S. (2021). Robust adaptive fuzzy sliding mode trajectory tracking control for serial robotic manipulators. Robot. Comput. Integr. Manuf. 72, 101884. doi: 10.1016/j.rcim.2019.101884

Zhang, M., and Zheng, B. (2022). Accelerating noise-tolerant zeroing neural network with fixed-time convergence to solve the time-varying sylvester equation. Automatica 135, 109998. doi: 10.1016/j.automatica.2021.109998

Zhang, Y., Jiang, D., and Wang, J. (2002). A recurrent neural network for solving sylvester equation with time-varying coefficients. IEEE Trans. Neural Netw. 13, 1053–1063. doi: 10.1109/TNN.2002.1031938