Adaptive Robust Actuator Fault Accommodation for a Class of Uncertain Nonlinear Systems with Unknown Control Gains

An adaptive robust fault tolerant control approach is proposed for a class of uncertain nonlinear systems with unknown signs of high-frequency gain and unmeasured states. In the recursive design, neural networks are employed to approximate the unknown nonlinear functions, K-filters are designed to estimate the unmeasured states, and a dynamical signal andNussbaum gain functions are introduced to handle the unknown sign of the virtual control direction. By incorporating the switching function σ algorithm, the adaptive backstepping scheme developed in this paper does not require the real value of the actuator failure. It is mathematically proved that the proposed adaptive robust fault tolerant control approach can guarantee that all the signals of the closed-loop system are bounded, and the output converges to a small neighborhood of the origin. The effectiveness of the proposed approach is illustrated by the simulation examples.


Introduction
In complex systems like chemical plants, nuclear reactors, and flight control systems, reliability is as important as performance.Conventional feedback design [1] for such complex systems may result in unacceptable degradation in performance or even instability in the event such as actuators, sensors, and processors that may undergo abrupt failures individually or simultaneously during operation.The adverse effects due to the failures require being compensated to enhance the reliability and safety of the system.The research on accommodating such failures and maintaining acceptable system performance is particularly important.System faults are typically characterized by critical changes in the system parameters and changes in the inherent dynamical structure of the system.Hence, effective fault diagnosis and accommodation (FDA) have become an important area of research [2][3][4].
In this work, we focus on the problem of actuator failure accommodation.Various approaches to FDA using analytical redundancy have been reported during the last three decades.Generally speaking, the control methods can be clarified into the following types: fault detection and diagnosis designs [5][6][7]; linear matrix inequality techniques [8,9]; adaptive approaches [10,11]; and so forth.Among these design methods, adaptive mechanisms [12][13][14][15][16] have been employed, and adaptive control has been a promising approach to deal with such failures.In adaptive control systems, controllers were designed with the aid of adaptation mechanisms to handle large uncertain structural and parametric variation caused by failures.In [17], a novel attempt was made to compensate for the actuator failures in linear time-invariant systems by using adaptive state feedback.However, all states were assumed to be available for this proposed scheme.As noted in [18], in practice, state variables were often immeasurable for many practical nonlinear systems.In such cases, an adaptive output-feedback control scheme should be developed.In [19], an adaptive output-feedback controller was synthesized.Furthermore, nonlinear systems with actuator failures were investigated.In [20], adaptive state feedback failure compensation schemes were proposed for nonlinear systems in the parametric strict-feedback form.However, nonlinear behaviors [10,[21][22][23] and modeling uncertainties complicate the development of high-performance closedloop controllers.A robust adaptive state feedback failure compensation method considering modeling uncertainties was proposed in [12,24,25].Apparently, such techniques were not well suited to suppress the undesirable transients when facing a sudden change in system parameters due to unknown actuator faults.In [26,27], a robust modelbased fault detection scheme was developed by using adaptive robust strategy to deal with parametric uncertainties and bounded uncertainty nonlinearities.
Recently, the problem of adaptive control of systems with the unknown sign of high frequency gain has also received much attention.How to weaken the high frequency gain sign assumptions is an important issue.The Nussbaum-type function was originally proposed by [28] for dealing with unknown sign of high frequency gain.This method was then generalized to higher order linear systems by [29].For a class of time-varying parameter high-order uncertain nonlinear systems, a robust adaptive output-feedback control method was proposed in [30][31][32][33] for the unknown control gain direction and unpredictable state.However, the proposed approaches were only focused on the so-called nonlinear strict-feedback systems, in which the nonlinear uncertainties were known or can be linearly parameterized.In [34], an adaptive neural network backstepping control scheme has been developed, an adaptive neural network backstepping control scheme for a given class of nonlinear systems, and neural network systems were used to approximate the unknown nonlinear functions, and the stability of the closedloop system was given based on iterative Lyapunov design.This result has been extended by [35] to a class of the nonlinear time-delay systems in the strict-feedback form.However, there is little work using this method to deal with unknown actuator failures and unknown control gain simultaneously.
In this paper, we propose an adaptive robust approach for actuator fault-tolerant control (ARFTC) of a class of uncertain nonlinear systems.Moreover, compared with [10,12,24], a parameterisable time-varying actuator failure model is investigated.The technique here is a combination of adaptive backstepping [36] and switching function  algorithm based ARFTC proposed in [27] and differs significantly from the techniques presented in [19] which relies on backstepping based direct adaptive control.Specifically, ARFTC uses robust filter structures to attenuate the effect of model uncertainties, and adaptation is used only as a means to reduce the extent of parametric uncertainties.However, neither adaptive control nor robust control based fault-tolerant designs can address the issues associated with actuator faults.In the present work, we claim that an adaptive robust fault-tolerant control scheme integrates adaptive and robust control design techniques.In order to show the superior performance of the proposed scheme, comparative studies are performed using simulation examples.
Assumption 1 (see [27]).System (1) is such that the desired control objective can be fulfilled with up to  − 1 stuck actuators, the remaining actuators can still achieve a desired control objective when implemented with the knowledge of the plant parameters and failure parameters.
Thus, the actuator failure mode is defined as [26] where ]  (),  = 1, 2, . . .,  are applied control signals from a feedback control design, and where   is the unknown instant of failure, ū  is an unknown constant value at which the actuator gets stuck, and   ∈ [(  ) min , 1] represents actuator loss in efficiency.
The control target is that all the closed-loop signals remain bounded, while the plant output () asymptotically tracks a prescribed signal   () despite the presence of unknown actuator failures, unknown plant parameters, and unknown control gain signs.The reference signal   () and its derivatives are known and bounded.

Nussbaum Function Properties.
To deal with the unknown control gain signs, we introduce the knowledge of Nussbaum-type gain.A smooth function () :  →  is called Nussbaum-type gain if it has the following properties [29] lim For instance,  2 cos() and  2 sin() belong to this class of functions.In this paper, an even Nussbaum-type function  2 cos() is used.

Neural Networks (NNs).
NNs have been widely used in modeling and control of nonlinear systems due to their good capabilities of nonlinear function approximation, learning, and fault tolerance [34].The following radial basis function NNs (RBFNNs) are used to approximate the continuous function   () :  → : where the input  ∈ ; the weight vector with the NN node number ; the vector of smooth basis functions Φ  being chosen as the commonly used Gaussian functions Φ  = exp(−( − c  ) 2 /( 2  )),  = 1, 2, . . ., , where c  = [ 1 , . . .,   ]  is the center of the receptive field and   is the width of the Gaussian function.It has been proven in [34] that networks (7) can approximate any smooth functions over a compact set  ∈  to accuracy as where W *  is ideal constant weights, and the approximation error   () satisfies |  ()| ≤   with constant   > 0.
The ideal weight vector W *  is defined as the value of W  2) and the chosen actuation scheme, we can rewrite the control inputs as follows: where   = 1 corresponds to stuck actuator, and   = 0,   ∈ [(  ) min , 1] represents efficiency loss of the actuator.In accordance with this, we rewrite the system as follows: where  1 denotes the first coordinate vector in where  = 0, 1, . . ., ,  = 1, 2, . . ., .It can be deduced from Assumption 3 that |Δ(, )| ≤   +   <   , where   is an unknown bounded constant.Note that   is the unknown measure of actuator effectiveness after faults and  , is the unknown measure of the fault magnitude which needs to be compensated.
Due to the special structure of A, the order of K-filters can be reduced by using the following two filters: and the following algebraic equations: The estimated state can be written as Let x = x − x be the estimation error.Then, the state estimation error dynamic is given by Noting that the change of coordinates x =  − L −1 x with  a positive design parameter ( 18) is transformed into where  = diag{0, 1, . . .,  − 1}.Since A − qc  is Hurwitz, there is a symmetric positive definite matrix P satisfying P(A − qc  ) + (A − qc  )  P = −I.Let the quadratic Lyapunov function   = x  P x , whose derivative is computed as Note that  ≥ 1.Then there is a nonnegative smooth function  1 () such that L −1 F()L ≤  1 (), from which it follows that From Young's inequality, we have Since P is a symmetric positive definite matrix, by choosing a sufficiently large , we can obtain which together with (14) implies that Mathematical Problems in Engineering 5 where  1 ,  2 are positive constants.From ( 21) and ( 24), ( 18) can be rewritten as By choosing  and () to satisfy  ≤ (1−2 −2 )/(2 2 ), () ≥ 2‖‖ 1 ()/ 1 ≥ 0, we arrive at 3.2.Parameter Estimate.Let θ denote the estimate of  and θ =  − θ denote the estimation error.The extent of parametric uncertainties satisfy where  1 is a positive design parameter.
It is well known that parameter estimation algorithms suffer from parameter drift in presence of disturbances, resulting in system states growing unboundedly.We use the switching function  algorithm [36] to deal with this problem.The update law used here has the following form: where  10 is a positive design parameter, and  1 is an arbitrary adaptation function.Consider The mapping guarantees that the following properties are always satisfied: 3.3.Controller Design.Furthermore, system (13) can be represented as The derivative of the output  is given by where the regressor  and truncated regressor  0 are defined as [26] In this section, we present the adaptive output-feedback control design using the backstepping technique.Define the following error coordinates:  1 =  −   and   = V , −  −1 ,  = 2, 3, . . ., , where  −1 is the stabilizing functions to be designed.
Step 1. Differentiating  1 with respect to time , we obtain The problem of the unknown sign of the virtual direction is sloved by the Nussbaum-type functions   .Choose the tuning functions and parameter adaptation law as where () is Nussbaum gain; ψ is an estimate of   with the estimation error ψ =   − ψ ;  1 is a positive constant.Using the inequality where  is a positive design parameter and substituting (35) and ( 36) into (34) yield where Define the quadratic function From Young's inequality, we obtain
Step 2. The time derivative of  2 along with ( 31) is Define the function   (2 ≤  ≤ ) as Define  3 = ] ,3 −  2 and  2 is chosen as ) . ( The time derivative of  2 along with (41)-( 43) is Consider the Lyapunov function candidate as The time derivative of  2 along with (42) is Step i (3 ≤  ≤ −1).The time derivative of   along with ( 31) is Choose stabilizing function   as Consider the Lyapunov function candidate as The time derivative of   along with (47) and ( 48) is Define   = V , − −1 and the time derivative of   along with (31) is Finally, the actual control signal designed as Choose the tuning functions and parameter adaptation law as To prepare for the stability analysis, a candidate Lyapunov function for the closed-loop system is chosen as The time derivative of   along with (50) and ( 51) is where Multiplying (55) by exp( 0 ) yields and integrating (55) over [0, ], we have Next, at time ,  1 actuator failures occur, which results in an abrupt change of , owing to the change of values of these parameters is finite.Moreover, from ( 28) and ( 30 From ( 58) and (59), we have According to Lemma 4, we have   (), () and ∫  0   () k  bound on [0, ).Therefore,   (), . . .,   , () are bound on [0, ) for all  > 0, and all signals in the closedloop system are bounded on [0, ) for all  > 0. According to the discussion in [37], we see that the above conclusion is true for  = +∞.Thus, we know that   ,   are semiglobally uniformly ultimately bounded, we also have inequalities (61) as well as Choosing appropriate positive matrix Γ such that  min (Γ) > 0. Furthermore, in order to achieve the tracking error convergent to a small neighborhood around zero, the parameters   ,   and Γ should be chosen appropriately to make   as small as desired.In this sense, we have guaranteed transient response.This result of transient response of the system is a direct consequence of the underlying robust filter structure of the ARFTC controller.

Application Example
To demonstrate the effectiveness of the proposed approach, we consider the following nonlinear system: where 2 Φ 2 ().Note that the same reduced order model was used by Tang et al. [19] and thus will provide a platform to compare the robust adaptive control (RAC) based fault-tolerant control (FTC) with the adaptive robust fault-tolerant control (ARFTC) schemes.
Case 1 (no failures occur).The simulation results are shown in Figures 1 and 2 for   = sin(0.5).In the first set of simulations (see Figure 1), all unstructured modeling errors and disturbances are assumed to be zero; that is, Δ  = 0 for  = 1, 2. The initial conditions  = [0 1]  .The simulation parameters are as follows:  Case 2. Actuator faults occur and the actual control signal is given by Failure parameters are chosen to be ū 1 = 6,  11 = 2,  11 () = 0.5 sin().
The reference command is chosen as   () = sin(0.5).Details of RAC based FTC can be obtained from [19].Additionally, the controller parameters were chosen such that the control input profiles would be comparable for both schemes.Two cases are considered in order to illustrate the effectiveness of the proposed scheme.
In the first set of simulations, Δ = 0 for  = 1, 2. Then, from Figures 1 and 2, we conclude that the presented control scheme can work effectively for nonlinear systems without failures in actuators.Furthermore, from Figure 3, both the systems perform well initially and have similar control input profiles.With the actuator failure, which causes a bigger jump in the parameter value, the tracking error stays close to zero in ARFTC based scheme but deviates significantly in the RAC based scheme.This can be explained as follows.The design of the robust component of the ARFTC control law has already incorporated such jumps in parameter values, and hence, it is better suited to handle the parametric uncertainties introduced due to actuator failures.
The second set of simulations (see Figure 4) is performed where disturbances were introduced to test the performance of the two schemes in presence of unknown bounded uncertainties.We set Δ 1 = 0.5 sin(3) and Δ 2 = 0.3 sin(5).The parametric uncertainty and unstructured uncertainty bounds are incorporated in the design of the baseline robust controller in ARFTC, resulting in guaranteeing desired transient response and acceptable steady-state tracking error.The performance of the RAC based scheme deteriorates significantly in presence of unstructured modeling uncertainties, which are inherent in any realistic system model.Therefore, the achievable performance using the proposed scheme is superior to that of RAC based schemes.

Conclusions
In this paper, an adaptive actuator failure compensation scheme based on the robust fault-tolerant control approach has been proposed.A linearly parameterized model with unknown parameters and actuator failure parameters has been established.The Nussbaum gain approach has been exploited to relax the assumption on the control gain signs.The control scheme introduced switching  algorithms to ensure that the estimation of time-varying parameters is bounded.The designed controller does not require precise information of failures, thereby improving the engineering application value.Finally, simulation studies have shown that the proposed adaptive robust control law is effective.

Figure 1 :
Figure 1: Plant output and reference signal.

Figure 3 :
Figure 3: Tracking error and control signals for ARFTC versus RAC based fault-tolerant schemes.

Figure 4 :
Figure 4: Tracking error and control signals for ARFTC versus RAC based fault-tolerant schemes in presence of disturbances.