Finite-Time Adaptive Fuzzy Control for Unmodeled Dynamical Systems with Actuator Faults

: This article concentrates upon the issue of ﬁnite-time tracking control for a category of nonlinear systems in pure-feedback form with actuator faults and unmodeled dynamics, where the loss of effectiveness and bias fault are considered. Meanwhile, the function approximation method utilizing fuzzy logic systems and dynamic surface control approach with ﬁrst-order ﬁlter are implemented to model the unknown nonlinear terms induced from the proposed controller procedure and tackle the “explosion of complexity” issue of the classic backstepping method. The use of the maximal norm of the weight vector estimation method and adaptive approach reduces the computation load induced by fuzzy logic systems. Within the framework of backstepping control, a ﬁnite-time adaptive fuzzy fault-tolerant control protocol is derived to guarantee the boundedness of all signals and tracking error of the controlled system within a ﬁnite-time. Simulation studies are offered to show the validity of the derived theoretical results of the ﬁnite-time control protocol.


Introduction
The backstepping-based control has undergone considerable development in its application to various types of systems and some significant results have been established [1][2][3][4].However, when the nonlinear systems contain unknown functions, the backstepping-based control schemes are not feasible.Unfortunately, the assumption that the nonlinear system under consideration is totally known is quite restrictive for a variety of engineering systems.To relax this assumption, the function approximation method with neural networks (NNs) or fuzzy logic systems (FLSs) has been broadly employed to deal with the model uncertainty functions due to their great approximation ability [5][6][7].Fruitful adaptive backstepping NNs or adaptive backstepping FLSs control protocols have been proposed and have been widely applied to engineering systems, such as unmanned aerial vehicles, autonomous underwater vehicles, satellite clusters, sensor networks, and so on [8][9][10][11].Note the fact that the applicability of traditional adaptive NNs/FLSs backstepping methods requires recursive differentiation on virtual control inputs at every step.This can induce an explosion of complexity issues, which may intensify the computational requirements or even reduce the control performance.The dynamic surface control approach is an effective way to resolve this drawback [12].Recently, numerous studies have focused on leveraging the dynamic surface control approach to design adaptive controllers for nonlinear uncertain systems [13,14].
On the other hand, in real-world industrial systems, various types of faults may occur, such as process failures, actuator faults, sensor failures, and communication failures, which can adversely affect the performance of the controlled systems, and in severe cases, result in instability [6].With the aim of guaranteeing safe and reliable operations, studying fault-tolerant schemes is crucial.Therefore, researchers have developed control schemes that can take into account the presence of actuator faults and adapt to them [6,15,16].By using the adaptive approach and command filter method, a tracking control strategy is given for a kind of switched systems subject to unmeasurable states and actuator fault in [6].Based on the reinforcement learning algorithm, a fault-tolerant adaptive tracking controller is derived for discrete-time multiagent systems in [15].In [16], an adaptive distributed fault-tolerant controller is derived for nonlinear multiagent systems, where the hybrid faults are considered.The proposed adaptive adjustable parameter method can improve the accuracy of the fault information value estimation by utilizing the output signal, which has been widely used in the fault-tolerant control research field.Further, to handle the nonaffine nonlinear faults, in [17], a prescribed performance fault-tolerant control strategy is developed utilizing the excellent approximation capabilities of FLSs.It is should be noted that the fault-tolerant controllers mentioned earlier can only ensure the controlled systems are asymptotically stable.
The majority of the current research focuses on infinite-time tracking control, which involves ensuring that the states of controlled systems can reach a specified reference signal as the convergence time tends to infinity.In industrial applications, it is necessary for the system to reach the desired signal within a finite time to achieve ideal robustness and performance.Therefore, the finite-time approach was used to design the tracking control schemes to attain high-speed convergence [13,[18][19][20].In comparison with asymptotic control methods, the finite-time control approaches not only provide better disturbancerejection ability, higher tracking precision, and faster convergence rate but also ensure that the control aim is achievable within finite-time, rendering them more significant [21].Thus, extensive research has been conducted by scholars on finite-time control methods for complicated industrial systems, such as aircraft, nuclear power stations, and highperformance automobiles [3,[22][23][24][25].Nonetheless, there is little research focusing on the issue of unmodeled dynamics resides.The issue of unmodeled dynamics is present in virtually all real-world systems due to measurement noise, external disturbances, and modeling inaccuracies.The presence of these factors often leads to the degradation of system performance and instability.Therefore, investigating the issue of unmodeled dynamics is highly critical, and numerous significant works have been given in [26][27][28].Despite the considerable works reported, there is still an essential issue that requires to be tackled in finite-time tracking control for nonlinear systems with actuator faults and unknown functions, which will make the proposed control more challenging and complicated.Furthermore, when the unmodeled dynamics are incorporated, the control design becomes more difficult.
Motivated by the statements mentioned above, this article addresses the fault-tolerant finite-time issue for unmodeled dynamical systems with unknown functions.The superiority of the results shown in this article are given as follows: (1) As compared with recent results [6,15,16] on fault-tolerant control, which only emphasizes that the controlled systems are asymptotically stable, in this article, a new finite-time control scheme is derived for unmodeled dynamical nonlinear systems to guarantee finite-time tracking with bounded tracking error.(2) Different from the finite-time controllers in [29,30], the impact of the unmodeled dynamical and actuator faults is considered in this paper.By utilizing the FLSs and adaptive approach, the challenge regarding the presence of unmodeled dynamical and actuator faults is resolved, thus the control performance is not affected by the unmodeled dynamical and the fault-tolerant property is guaranteed.(3) To prevent the issue of "explosion of complexity" that is often associated with traditional backstepping methods, the controller design utilizes dynamic surface control technology featuring a first-order filter.In addition, by the maximal norm of the weight vector estimation method, only two adaptive parameters are required to derive the fuzzy control protocol for the unmodeled dynamical systems, which greatly reduce the computational load.
The rest of this article is outlined as follows.The problem statement and preliminaries are presented in Section 2. In Section 3, the adaptive fault-tolerant finite-time fuzzy controller design and the stability analysis are shown.In Section 4, simulation examples are shown.In Section 5, concluding remarks are provided.
Notations: R m×n denotes the set of m × n real matrices.C p means a function with p continuous derivative.• denotes the Euclidean norm.sig a (•) = sign(•)| • | a , where sign(•) refers to the sign function.

System Description
In this paper, we consider the following strict-feedback uncertain nonlinear systems where x = [x 1 , . . ., x n ] T ∈ R n , u ∈ R, y ∈ R, are the plant state vector, control input, and output of the system, respectively.x m = [x 1 , . . ., x m ] T ∈ R m , z ∈ R is the unmeasured state.q(•) and f i (•) are unknown Lipschitz continuous functions.∆ i (•) ∈ R, i = 1, . . ., n is the nonlinear dynamic disturbance which is unknown Lipschitz continuous function.
For practical engineering, the actuator faults are a common occurrence, which can be modeled as where h(t) is time-varying unknown efficiency factor, which satisfies 0 < h ≤ h(t) ≤ 1 with h is the lower bound of h(t).u r (t) is bias fault, which can be described as the bounded time-varying functions.u r (t) satisfies |u r (t)| ≤ u max r .Control objective: Given the desired signal y d for systems (1) with unmodeled dynamical and actuator faults, derive a finite-time adaptive fuzzy fault-tolerant control protocol such that the tracking error y − y d converges to a small region within finite-time, and all the closed-loop signals are SGPFS.Lemma 1 ([31]).If ı 1 > 0, ı 2 > 0, and  > 0 , we have where ι > 0 is a constant.

Definition 1 ([35]
).A C 1 function V is said to be an ISpS (input-to-state practically stable)-Lyapunov function for system ẋ = f (x, u) if there exist functions ψ 1 , ψ 2 of class K ∞ such that there exist two constants c > 0, d 0 ≥ 0 and a class K ∞ -function Υ such that where Equation (10) holds with d 0 = 0, the function V is referred to as an ISS (input-to-state stable)-Lyapunov function.

Assumption 3 ([35]
).The ż = q(z, x) has an ISpS Lyapunov function V z (z) in the sense of Definition 1, there exists two constants c > 0, d 0 ≥ 0 and three class K ∞ -functions ψ 1 , ψ 2 , and Υ such that a function V z (z) such that The dynamical signal is constructed as follows where Lemma 5 ([28]).According to (12) and Assumption 3, we have for all t ≥ 0, where B(t) is a non-negative function and B(t) = 0 for t ≥ T 0 with T 0 = T 0 ( c, κ 0 , z 0 ) being finite time.Moreover, we have where ).

Fuzzy-Logic Systems
The FLSs in this paper are designed using the following IF-THEN rules: 15)   where x = [x 1 , . . ., x n ] T ∈ R n and y ∈ R refer to the FLSs input and output, respectively, F l i and G l are the fuzzy sets associate with the membership functions µ F l i (x i ) and µ G l (y), respectively.g is the number of rules.
Then, the FLSs can be modeled as where Λ l = max y∈R µ G l (y), and the fuzzy basis functions can be modeled by Denote Lemma 6 ([36]).Assuming f (x) is a continuous function defined on a compact set A, then for any given positive constant ε > 0, it is possible to construct FLSs that satisfy the following inequality:

Main Results
In this section, a finite-time adaptive fuzzy fault-tolerant control protocol for unmodeled dynamical nonlinear systems will be proposed by utilizing the dynamic surface technique with first-order filter and backstepping method.

Finite-Time Adaptive Fuzzy Fault-Tolerant Control Protocol
Prior to designing the controller, a sequence of function transformations is described through the following steps where α i−1 is the virtual control.α i,L denotes the output of the first-order filter, which is defined as where σ i is a positive constant.
Remark 1.The backstepping technique, which involves repeated differentiation of the virtual control signal α i−1 , is widely recognized as a potential cause of the "explosion of complexity".To address the "explosion of complexity" issue, the approach adopted is the utilization of the dynamic surface control technique, which incorporates a first-order filter (21).This filter is applied to α i−1 to produce the filtered signal α i,L , which is free from the explosion of complexity.This filtered signal is then utilized to the design of the control scheme.As a result, the occurrence of repeated differentiation can be efficiently avoided.The new function transformation e i = x i − α i,L is defined by using the first-order filter to derive the finite-time tracking control protocol.
Remark 2. This article adopts a first-order low-filter to avoid the algebraic error.However, this approach can cause a filtering error.This study is conducted without taking unexpected filtering errors into consideration.This undesirable error may degrade the control performance.According to [37], approaches to control based on a filtering-error compensation mechanism need to be explored in future.
Step 1: The time derivative of ė1 yields Define the Lyapunov function candidate as Then, its time derivative is Invoking ( 22), e 1 ė1 is calculated as Then, we have In light of Young's inequality, we have Based on Assumption 2, the term e 1 ∆ i,1 (z, x, t) satisfies According to Lemma 2, we have where the terms ˆ 11 (x 1 , e 1 ) and τ11 is defined as For the term |e 1 | 12 (|z|), we have with (32) Substituting ( 27)-( 31) into (26), we have + e 1 ˆ 11 (x 1 , e 1 ) + τ11 + e 1 ˆ 12 (e 1 , κ) where Based on Lemma 6, the FLSs are applied to approximate χ 1 (X 1 ) as follows As ε 1 is bounded, there exists a constant ς1 that is positive, such that Then, we have Then, the virtual controller α 1 is defined as where sgn ), > 0 is a positive constant.Substituting (37)-(39) into (36), we have Applying the fact that ϕ T 1 (•)ϕ 1 (•) ≤ 1, we have Similar to (41), one has From ( 41) and (42), we have Since η2 = ξ2 + s 2 where ξ2 = − η 2 σ 2 , s 2 = − α1 .From [38], we know η 2 is a continuous function.Based on Lemma 3, one obtains where is a nonzero constant.Furthermore, one has where σ 2 and are positive constants satisfying Step i: The time derivative of ėi yields Then, we have Based on Assumption 2, the term e 1 ∆ i,1 (z, x, t) satisfies According to Lemma 2, we have where the terms ˆ i1 (x i , e i ) and τi1 is defined as For the term |e i | i2 (|z|), one obtains with In light of Young's inequality, we have Define the Lyapunov function candidate as Then, its time derivative is where Based on Lemma 6, the FLSs are applied to model χ i (X i ) as follows As ε i is bounded, there exists a constant ςi that is positive, such that It follows from ( 57) and (58) that Then, the virtual controller α i is defined as where Similar to (64), one has Invoking ( 64) and ( 65), one has Since ηi+1 = ξi+1 + s i+1 where ξi+1 = − , s i+1 = − αi .According to [38], we know η i+1 is a continuous function.From Lemma 3, one attains where is a nonzero constant.Furthermore, one has where σ i+1 and are positive constants satisfying 1 67) and (68), we have Step n: The time derivative of ėn yields Based on Assumption 2, the term e n ∆ n (z, x, t) satisfies According to Lemma 2, we have where the terms ˆ n1 (x n , e n ) and τn1 is defined as For the term |e n | n2 (|z|), one obtains Choose the Lyapunov function candidate as Then, its time derivative is θn θn Based on Lemma 6, the FLSs are applied to model χ n (X n ) as follows Because of the boundedness of u r , θ * n , and ε n , there exist positive constants θn and ςn that satisfy Then, the actual control protocol u is constructed as where sgn Applying the fact that ϕ T n (•)ϕ n (•) ≤ 1, we have Similar to (85), one has From ( 85) and (86), we have Remark 3.For any Y d > 0 and A > 0, Γ := (y d , ẏd , ÿd ) : are compact in R 3 and R 4i , respectively.Thus, Γ × Γ i is compact in R 3+4i .Therefore, s i+1 has the maximum si+1 ≥ 0.

Stability Analysis
The results obtained in this paper are presented as follows.
Proof.According to the relationship ςi = ςi − ςi and θi = θi − θi , the following inequalities hold Thus, (87) can be described by where , we have Similar to (91), one has Invoking ( 91) and (92), we have where c = min{2 β−1 , σ}.According Lemma 4, the (94) means that the resulting system is SGPFS.For t ≥ T * , one has and the settling time where 0 < υ ≤ 1.It means that the signals e i , θi , ςi , and s i+1 are bounded.Due to the virtual control α i being a function of e i , θi , ςi , and η i+1 , we know that α i is continuous and bounded.Furthermore, it can be proven that z, ∆ i and κ are bounded.
Then, we have That is, the tracking error converges to a small neighborhood of the origin within finite-time.
Remark 4. Theorem 1 provides a novel control scheme for uncertain nonlinear systems with actuator faults and unmodeled dynamics.Different from existing results in the literature [6,15,16], our approach ensures finite-time convergence of the closed-loop system.To prevent the issue of "explosion of complexity", the dynamic surface control technology featuring a first-order filter is used.Moreover, unlike the recent work on finite-time controllers in [29,30], which addressed nonlinear systems with limited discussions on system uncertainties, the proposed adaptive control scheme of this article is able to handle nonlinear systems with known nonlinear functions and unmodeled dynamics, in the actuator faults case.
The algorithm of the derived finite-time tracking control protocol is presented in Algorithm 1.
Algorithm 1 Algorithm to Derived Finite-time Tracking Control Protocol.Input: The parameters * i1 , * i2 , β, and h in actual controller (81) and virtual control laws (37), (60); the parameters λ i1 , λ i2 , θi (0), and ςi (0) in adaptive laws (38), (39), (61), (62), (82), and (83); the parameters σ i in first-order filter (21) , the fuzzy membership functions ϕ i in (34), (57), and (78).Output: The adaptive finite-time fuzzy controller (81).Begin: 1: Step 1: Formulate the membership functions and establish the fuzzy basis functions.2: Step 2: Select suitable design parameters and formulate adaptation laws (38), (39), (61), (62), (82), and (83), first-order filter (21), and intermediate virtual control (37) and (60).3: Step 3: Choose suitable designed parameters and formulate actual control protocol (81).4: Step 4: Determine the convergence time of the resulting system.5: Step 5: Prove the tracking error is bounded in finite-time.end Remark 5.The problem investigated is new in the sense that this article represents the few attempts to cope with the finite-time tracking control problem for a class of unmodeled dynamical systems with actuator faults and unknown functions.Furthermore, especially, the systems under consideration are comprehensive to cover unknown nonlinear function actuator faults and unmodeled dynamics, hence reflecting the reality more closely and making the design of the controller more challenging and complicated.Based on Lemma 6, we can easily prove that the FLSs possess the capability of universal approximation.Due to this unique ability, the FLSs have been utilized to a great extent in handling the uncertainties of nonlinear control systems.Thus, the unknown nonlinear term χ i (•) in this article is approximated by FLSs.Therefore, the obstacle caused by uncertainties χ i (•) of nonlinear control systems can be dealt with by the combination of the FLSs, and adaptation laws (38), (39), (61), (62), (82), and (83).Moreover, a finite-time fault-tolerant fuzzy tracking control protocol with adaptation laws is derived in this article, which can guarantee that all signals in the resulting system and tracking error are bounded within finite-time.
For two cases, the simulation results are given in Figures 1-10.The response curves of the states x 1 , y d and x 2 are shown in Figures 1 and 2 for case 1, respectively.The curve of tracking error is shown in Figure 3.It can be seen that the output y can track the reference signal y d within 10 s for case 1.The curve of control signal is given in Figure 4.The curve of adaptive laws are given in Figure 5.For case 2, the simulation results are given in Figures 6-10.The response curves of the states x 1 , y d and x 2 are given in Figures 6 and 7 for case 2, respectively.It can be seen that the output y can track the reference signal y d within 11 s for case 2. The curve of tracking error is given in Figure 8.The curve of control signal is given in Figure 9.The curve of adaptive laws are given in Figure 10.Accordingly, the simulation results are given in Figures 1-10, where it can be seen that the feasibility of the developed finite-time control strategy in handling unmodeled dynamics and actuator fault problems.Furthermore, the good tracking performance can be ensured within finite-time under the derived adaptive finite-time fuzzy control protocol for the two cases.Case 2. The parameters are chosen as λ 21 = 0.002, λ 22 = 0.02, β = 0.3, y d = 0.2sin(0.5t),ς2 (0) = 0.01, θ2 (0) = 0.01, = 0.1, σ 2 = 0.5, [x 1 (0), x 2 (0), z(0), κ(0)] = −0.1,0, 0] T , h(t) = 0.9 + 0.01cos(0.02t),and u r (t) = 0.1 + 0.02sin(0.01t).

Conclusions
This article examines the issue of adaptive finite-time fuzzy control for nonlinear systems with unmodeled dynamics and actuator faults.The unknown nonlinear terms which are induced during the designer process are modeled by FLSs.The dynamic surface control approach is utilized to design the control scheme to overcome the issue of complexity explosion associated with traditional backstepping.A fuzzy finite-time control scheme has been derived for uncertain nonlinear systems using a finite-time control approach and adaptive backstepping method.Under the derived finite-time control protocol, the resulting system is SGPFS and the tracking error is bounded within finite-time.Moreover, by using the maximal norm of the weight vector estimation method, the communication load was greatly decreased.Illustrative examples have been offered to validate the feasibility of the derived control scheme.Future investigations include considering the fixed-time tracking control for unmodeled dynamical systems under actuator saturation.

Figure 6 .
Figure 6.The curves of the state x 1 and y d in case 2.

2 Figure 7 .
Figure 7.The curve of the state x 2 in case 2.

Figure 10 .
Figure 10.The curves of adaptive laws θ2 and ς2 in case 2.