Abstract

In this article, an adaptive sliding mode fault tolerant control (FTC) is improved in the case of uncertain nonlinear system which is affected by both multiplicative and additive faults in actuator. Especially, when the nonlinear system is modeled by Takagi–Sugeno (T-S) fuzzy system with local nonlinear model. The main contribution of this paper is developing a model of multiplicative faults, which offers a more realistic dynamic evolution of the actuator degradation. The degradation process is modeled by Wiener process and estimated by the maximum likelihood estimation (MLE). Sliding mode observer (SMO) is conceived to realize the additive actuator faults using convex multiobjective optimization. On these bases, the estimated multiplicative and additive actuator faults are used to design the adaptive sliding mode controller (SMC). Finally, the proposed fault-tolerant control scheme is demonstrated by the results of inverted pendulum system simulation.

1. Introduction

During the past few decades, the fields of fault estimation (FE) technique and fault tolerant control (FTC) have been the result drawing an intensive research interests due to the increasing demands for system’s performance, safety, and reliability. Active FTC and FE to a category of nonlinear systems particularly T-S fuzzy models [13] have a significant position in recent control implementation, as well as in supervision and reliability of actuators. In recent decades, a variety of methods have been developed, using adaptive observer [46] or SMO [79]. The sliding mode scheme has an excellent application prospect in fault estimation and fault tolerant control due to its simple structure, strong applicability, and good robustness. Several publications have appeared in recent years regarding this issue. In [10], the authors studied Takagi–Sugeno fuzzy systems with uncertainties and multiplicative and additive actuator faults and then developed an adaptive sliding mode FTC design. However, in [11], a FTC design predicated using SMO for T-S fuzzy systems is developed. In [12], the authors used a nonquadratic Lyapunov function to estimate simultaneously actuator and sensor faults for T-S fuzzy systems. In a recent paper [13], the authors developed the FE and FTC for the T-S fuzzy systems subject to actuator and sensor faults. For nonlinear systems, popular fault detection methods have been elaborated in an effective and precise manner. In [14, 15], the authors modelled fault as an additive occurring in sensors or actuators. The main disadvantage of the previous techniques is that they regard sensor and actuator faults as additive. Nevertheless, some actuator and sensor errors, in addition to component faults, are frequently found in the multiplicative form. As a result, multiplicative faults and the system’s inputs and outputs are mixed. Estimating the magnitude and characteristics of multiplicative faults has become an increasing attract in control theory due to the practical importance of decoupling their structure effects or parameter in the model or system and improving fault tolerant control concept for nonlinear systems. We can use stochastic process to model the actuator degradation [1619]. The actuator environment can influence the deterioration process and strongly depends on several factors [20] (shock, temperature, and load variation) of the monitored system. Degradation process for industrial systems is influenced by both external and internal factors including operating conditions and dynamic environment [21]. Stochastic dynamics are the common characteristics involved in actuator increasing degradation process in actuator. This results in system uncertainties and measurements errors. For the past few decades, extensive research studies have been conducted in the area of stochastic degradation modelling [2224]. Degradation models can be divided into shock-based degradation model [25], progressive degradation model [26, 27], and combined degradation model [28]. The degradation such as the wear out of engineering devices, the fatigue, and the corrosion of metals can be caused by multiple degradation processes and induces total failures of actuator.

In the following, the authors point out the main focus of the present study on developing effective and robust active FTC for a class of uncertain nonlinear system. This study offers a FE-based sliding mode FTC technique for nonlinear uncertain system affected by both multiplicative and additive faults. The major contributions of this article are as follows:(i)In this study, for more simplicity and to find a model for the description of the interactions between the control system behavior and the actuator stochastic degradation process, the deterioration of the entire control system would be supposed to lie in the actuator loss of efficiency. In practice, when an actuator operates dynamically in a random environment, its capacity decreases overtime which is related to degradation process. Therefore, the multiplicative faults model was conceived based on not only the degradation process but also the capacity of actuator. Actually, it is straight forward to think multiplicative faults should be estimated in order to conceive a fault tolerant control design for dynamic systems. To describe the actuator degradation behavior, we use stochastic Wiener process model which offers a more realistic evolution of the deterioration. In order to estimate the degradation process, the maximum likelihood method is used.(ii)We propose to conceive an adaptive SMO for T-S systems with the existence of uncertainties to estimate additive actuator faults. To study the stability of the proposed SMO, we use a linear matrix inequality (LMI) and the theories of Lyapunov. To improve the actuator faults estimation accuracy, we use an adaptive update term.(iii)Using FE, we study an adaptive SMC for the T-S fuzzy system having models local nonlinear that complies with the condition of Lipschitz with additive and multiplicative faults. Particularly, it is demonstrated that the suggested sliding mode FTC is used for the parameters setting of the controller in order to obtain the desired performances of actuator even in the presence of both additive and multiplicative faults.

Compared to previous works, many studies have used only actuator or senor faults in system [29]. Then, most of the previous studies do not take into account multiplicative faults. Furthermore, we use adaptive law to design the SMO which gives more freedom in comparison with [30]; the model used incorporates output disturbance and Itô stochastic noise; and they introduced time delay in the state. However, in our case study, we suppose that the degradation of the total control system lies in the actuator loss of efficiency. Therefore, the multiplicative fault model was conceived based on not only the degradation process but the capacity of the actuator. To describe the actuator degradation behaviour, we use the stochastic Wiener process model (continuous models) which offers a more realistic deterioration. Compared to [31], the authors use only additive faults in both actuator and sensor in the system. They transform sensor faults into “pseudoactuator” faults by using an augmented T-S fuzzy system that causes many constraints in the application of the hypotheses; in fact, the total number of actuator faults must not exceed the number of outputs. This model may not be practical and conventional in all situations of stochastic degradation process in actuator. Moreover, it cannot adequately capture the dynamics of the actuator’s degradation process. Indeed, the model of faults must describe the interaction between the actuator stochastic degradation process and the control system behaviour. This includes the dynamics of the actuator’s performance, the control system’s response to changes in the actuator’s performance, and the uncertainty associated with the actuator’s stochastic degradation process. The model must also take into account the physical characteristics of the actuator and the system environment, as well as the impact of external factors such as maintenance and other system parameters. In our study, we develop a model of multiplicative faults, which offers a more realistic dynamic evolution of the actuator degradation. The SMO is designed according to adaptive law which offers less conservative results and gives more liberty in comparison with [32]. Yang et al. in [33] have developed simultaneous multiplicative and additive faults in jump systems, which may be considered as a special class of stochastic systems. They use the adaptive backstepping technique to construct the fuzzy logic system based an online adaptive fault-tolerant compensation controller. However, in our study, we use continuous degradation models and we propose to conceive an adaptive SMO for Takagi–Sugeno fuzzy systems having local nonlinear models.

The outline of the article is organized as follows. Section 2 describes a nonlinear system with local nonlinear models, uncertainties, additive, and multiplicative (loss of efficiency) actuator faults. In Section 3, we use Wiener process to model the degradation process in the actuator and the maximum likelihood method to estimate the stochastic model for multiplicative fault. In Section 4, the proposed adaptive SMO is designed to estimate the additive faults of actuator. Section 5 presents the sliding mode FTC design in order to redress the impact of additive and multiplicative faults for the stabilization of the system. A simulation of the inverted pendulum and cart system is used in Section 6 in order to validate and illustrate the efficiency of the approach. Finally, Section 7 draws some conclusions.

2. Problem Formulation

In this study, we refer to a class of nonlinear uncertain systems affected both the additive and multiplicative actuator faults. Consider a nonlinear uncertain system represented by the following equations:

is the control input, represents the state vector, stands for the controlled output, and represents the measurement vector of output. The functions , and are always nonlinear for . denotes the unknown uncertainties vector.

In feedback control system, the actuator is a significant part in the evaluation of the performance level. That is because, considering a degradation process in an electrical or mechanical element of the controlled system, the controlled action is affected as well, which eventually causes a poor performance of the control system.

Let us consider an actuator undergoing a progressive degradation process. It is subjected to both electrical and mechanical degradation that occurs stochastically over time, particularly in the case of the electrical actuator degradation where a rub impact between the rotor and the stator or a bend shaft can occur. It should be noted that rotor faults as well as stator faults are recognized electrical faults. Besides, there are other types of faults that depend on the failure mode. During its functioning, the actuator can be affected by several types of faults. Our study will focus on two types of faults: additive faults and multiplicative faults (loss of efficiency). In practice, the actuator operates dynamically in a random environment. Furthermore, its capacity decreases overtime which is related to degradation and depends on environmental factors as well as operational conditions of the feedback control system. Moreover, the wear or natural ageing of the electrical and/or mechanical components of the actuator due to the nondesired impacts of the working condition decreases the effectiveness of actuator in time. The actuator degradation process is a cause of the physical system performance deterioration. During the initial period of operation, the actuators function flawlessly.

The actual capacity of actuator where is the initial nominal capacity. If outlined the actuator degradation, the capacity of actuator (see Figure 1) can be represented by the following equation:

The efficiency factor (see Figure 2) can be written as follows:

The minimum efficiency is reached when , and we define the minimum efficiency factor such as is the time occurrence of multiplicative defect.

The loss of actuator effectiveness is examined to consequence from the dynamic progression of the degradation process .

In this way, the following three cases are defined:(i): the actuator operates without degradation , and the efficiency factor is (ii): the actuator deteriorates, its capacity , and the efficiency factor is (iii): the actuator operates with its minimum capacity, and then the efficiency factor is

The nonlinear system (1)–(3) affected by additive and multiplicative faults at the same time can be described by the following uncertain structure and local nonlinearities as follows:where is the additive actuator faults.

Multiplicative fault may be rearranged as follows:where are the multiplicative faults.

Then, the nonlinear system (1)–(3) affected by additive and multiplicative faults at the same time can be expressed in terms of uncertain structures and local nonlinearities as follows:

The multiplicative faults are , and the following three case are defined:(i): the actuator operates without degradation, the multiplicative faults are neglected , so we have only the additive faults(ii) ( is a maximum degradation process): the actuator operates with degradation process, and the multiplicative faults are(iii) reached : the multiplicative faults are

Given the nonlinear system (10)–(12) affected by both the additive and multiplicative actuator faults, respectively, , , and the uncertainties , our objective to achieve an adaptive sliding mode FTC resides principally on solving the following three problems:(1)First problem: develop and estimate the degradation process to conceive a multiplicative faults model which offers a more realistic evolution of the deterioration in the actuator. It is very important to be able to estimate the faults before the performance systems degradation.(2)Second problem: estimate T-S fuzzy system states and additive actuator faults, with the adaptive SMO.(3)Third problem: we need to stabilize the closed loop of nonlinear systems, with the simultaneous occurrence of additive and multiplicative faults, using the robust adaptive sliding mode controller (10)–(12).

3. Actuator Degradation Models Estimation

In this study, we suppose that the system (10)–(12) is subject to Wiener process. The actuator degradation is denoted by a random variable at time . In this paper, we suppose that degradation is an increasing Lévy process [34] supported by the following assumptions:(i)The initial degradation is denoted (ii)The degradation process is described with one-dimensional stochastic process (iii)The increments are independent and stationary

In this way, Wiener process has been frequently used to conceive a degradation model, particularly, when it was successfully applied to describe the increasing degradation in an actuator. The Wiener process is one of the most classic processes used in many progressive degradation modeling area; the basic idea is to model the cumulative increasing degradation by the stochastic Wiener process such thatwhere is a linear drift parameter and is a diffusion coefficient parameter and .

We consider that the Wiener process [24] is used such that the increment follows a Gaussian distribution with mean and variance . If we consider the initial condition , we can approximate the degradation measure with the following equation:

Here in, we can deduce that

In particular, if , the degradation process

The objective is to estimate the linear drift and diffusion parameter . We apply the maximum likelihood estimation (MLE) method.

Considering the degradation increment of items at time where , and The degradation measurements for item , . The density function is given by the following equation:where .

The likelihood function of the path is given by the following equation:

The log-likelihood function for the item can be expressed by the following equation:

Since the measurements are independents, we can express as

We find the MLE by maximizing with respect to and , the partial derivatives of the log-likelihood function.

As a result, we write the partial derivative of log-likelihood function compared to asand compared to as

Then, we obtain the expression as follows:

The measurements data are generated by MATLAB with the parameters , . We compute equations (23) and (24), and the estimated parameters are obtained as follows: and .

A design procedure for multiplicative fault development and estimation is described as follows:(i)Step 1: we define the expression of the efficiency factor using the degradation process and the actuator capacity to conceive the multiplicative faults model.(ii)Step 2: we use the Wiener process to model the stochastic degradation in actuator.(iii)Step 3: the maximum likelihood method is used to estimate the linear drift and diffusion parameter.

4. Additive Actuator Faults Estimation

It was shown that using T-S fuzzy system with local nonlinear models concept was well suited to the study of a several class of systems. The nonlinear system (10)–(12) affected by additive and multiplicative faults at the same time is written by the T-S fuzzy system with uncertainty and models local nonlinearwhere , and are matrices with known real values. is the multiplicative fault. We suppose that and are, respectively, controllable and observable. and represent the additive and multiplicative fault in control channel.

The functions (fuzzy normalized membership) must satisfy the properties of sum convex

We will use the following assumptions in this paper.

Assumption 1. We assume that the uncertainties and faults are unknown and bounded. For the faults and the uncertainties , there exist known positive constants and such that and

Assumption 2. is minimum phase and relative degree one, and we verify that for all complex numbers when thatEnsures that the nonasymptotically stable modes are observable which means it is detectable.

Assumption 3. The distribution matrix of the additive fault in equation (24) satisfies

Assumption 4. the known nonlinear function satisfies the local condition of Lipschitz on withThe constant of Lipschitz is unknown and is globally Lipschitz if . Edwards and Spurgeon [35] have studied an SMO to estimate faults and stats taking into account the following required assumptions.
The following lemma and definition are utilized to achieving the principal results.

4.1. Definition and Notation

Let a random matrix; if satisfies , then is a left-inverse of

Lemma 5. For the two matrix and the next condition carriesε > 0.

We develop a novel adaptive SMO defined aswhere and denote, respectively, the output of the observer and estimation error, represents the observer state. and are suitable gain matrices. In this way, the signal of the robust adaptive sliding mode is written as follows:where , with is a scalar positive, is positive definite and symmetric and is the adaptive term can be updated given by the following equation: is a gain.

Under condition in equation (30), we can use a change of coordinates as follows:

The matrices , and becomewhere and is nonsingular.

is the estimated error of the state.where and

According to equation (37), the nonlinear gain is described by the following equation:

4.2. Sliding Motion Stability

In addition, another change of coordinates is expressed by the following equation:where is discussed later. In the new coordinates system, we obtain

If should be stable, and .

The observer gain matrices arewhere is the stable design matrix.

By referring to equation (42), the error system from equations (39)–(40) can be handled as follows:where and .

Our aim is to estimate the actuator faults and the states variables in the presence of multiplicative faults. Definewhere is the weight matrix and it is supposed that .

We define the measure of performance in worst case as follows:

Theorem 6. Consider the T-S fuzzy system (25)–(27) and suppose that Assumptions 3 and 2 are checked. The asymptotically stability is archived for the state estimation errors (45)–(46) with both minimisation gain for and maximisation admissible of for , if , and matrices aswhere

Proof. (see Appendix A)
Our aim is estimate the additive actuator faults in nonlinear system (25)–(27). The adaptive SMO donated by equations (33)–(34) has been developed and satisfies the condition of reachability, and then and . Then, equation (47) is then expressed as follows:where .
The approximate equivalent of the output error injection signal iswhere is a scalar to decrease the impact of chattering.
We define the next relationIt is clear thatwhere .
It remains to conclude from equation (54) thatThen, approximately, for a small , it seems thatTherefore, the additive actuator faults estimation is given byThe method for FE with an adaptive SMO is outlined as(i)Step 1: pick out the weight matrix in equation (47).(ii)Step 2: pick out the suitable scalar “” and resolve the equation (49) (LMI optimization problem). So, we can obtain and and .(iii)Step 3: design the adaptive SMO (32)-(33); then, according to equations (51) and (57), the estimation of additive actuator faults can be accomplished.

5. Sliding Mode FTC Design

5.1. Structure of Adaptive Sliding Mode Controller

This part of the article is devoted to explore an adaptive sliding mode FTC design founded on estimated state variables as well as actuator faults information (magnitude, type, and occurrence time). To stabilize the nonlinear system and compensate additive and multiplicative actuator faults effects, the proposed SMC with adaptive law was used to envisage a corrective action. Therefore, we assume that the nonlinear system with uncertainties (6)–(8) can be modeled by T-S fuzzy representation with both local nonlinearities and uncertainties as follows:

First, the sliding motion takes place on a sliding surface denoted as which is defined as follows:

We describe the linear switching function using the feedback information of the output and where is an arbitrary matrix.

The control input may be described as follows:

The linear part denoted as and depending on system states as well as both additive and multiplicative actuator faults estimation is expressed as follows:where is created to compensate the additive and multiplicative faults influence. Assume that and .

The adaptive nonlinear control input part is proposed as follows: where and are small and positive constants. is determined by using .

5.2. FTC Design

Using the part of control input, we need to prove the sliding and the reaching of in a finite time. Construct the function of Lyapunov as follows:.

Referring to equation (58), the derivative of (67) is given by the following equation:

Define as

If the sliding surface is reached, the condition of reachability is satisfied. Then, is select to fulfill as

An perfect sliding motion is guaranteed to occur in finite time by the suggested SMC with adaptive law, . When the SM is required, we examine the stability. We suppose that such that , as

The closed-loop dynamic system with equation (71) iswhere and

Assumption 8. The condition of Lipschitz is satisfied by denotes the constant of Lipschitz.

Theorem 9. The T-S fuzzy system with local nonlinear models (72)–(74) is stable robustly with a maximization of the Lipschitz constant , positive scalars , and the minimization of attenuation level , if there exist the matrices and where the optimization problem of multiobjective linear matrix inequality has a resolution.

Minimize ,  subject towhere

According to the results, it is possible to obtain the adaptive SMC from .

Proof. (see Appendix B)
A design method for adaptive FTC with an adaptive SMO is outlined as follows:(i)Step 1: select “”, resolve the LMI optimization problem (76); so we get the matrices and the scalars and (ii)Step 2: calculate (ii)Step 3: concept the Adaptive SMC (65), then the stability of (51), (57) is accomplished.

6. Case Study

The sliding mode FTC design according to the sliding mode observer is accomplished by considering the inverted pendulum and cart system. The objective is to conceive an adaptive stabilization controller that the considered inverted pendulum benchmark system [36, 37] consists of a moveable carriage having one degree (see Figure 3). The carriage is freely rotatable in driving direction on which a pendulum is mounted and actuated by a motor.

6.1. The Nonlinear System Modelling

We start by examining the model inverted pendulum and cart systemwhere is the efficiency factor. , and represent, respectively, speed of cart, angular velocity of pendulum, cart position, and angle position of pendulum. Let us consider and .

The parameters of the system are shown in Table 1.

The approximation of the nonlinear faulty system may be obtained by T-S fuzzy system. We use in this study the models with local nonlinearity as follows:

In this case, , the fuzzy weights, are defined by the following equations:

We assume that the actuator faults as well as the control input are in the same direction . The matrices of the local nonlinear models are

6.2. Adaptive Sliding Mode Observer and Controller Design

We will design an adaptive SMC based on the requirements of the observer information to stabilize the system.

6.3. SMO Design

The parameters are

We obtain using Theorem 6

The adaptive sliding mode observer (33) and (34) design is as follows:

6.4. SMC Design

By using Theorem 9 for , we find that

The sliding mode controller gains are expressed by the following equation:

6.5. Simulation Results

It is worth mentioning that the results are obtained using online simultaneous additive and multiplicative faults estimation.

Figure 4 illustrates multiplicative actuator fault estimation. In our example, we consider an additive linear time varying actuator fault. The developed adaptive sliding mode observer (33) and (34) can reject the effects of system uncertainties and make an estimation of actuator fault with satisfactory accuracy. Meanwhile, at , the additive actuator fault (Figure 5) has been introduced, in order to demonstrate the capacity of the developed estimation method to additive faults.

As shown in Figure 5, it is worth noting that in spite of the existence of uncertainties, the SMO can still track the additive faults Hence, the simulation results outline that the suggested fault estimation with the adaptive law for the inverted pendulum and cart system described by T-S fuzzy representation with local nonlinear models accomplishes the first objective of this article (actuator faults estimation) with an excellent performance in terms of robustness and precision despite the presence of the uncertainties.

Figures 68 compare nonlinear output referring to three cases: output without faults, output without sliding mode FTC, and output responses with the conceived FTC design.

As can be seen from the comparison with the output responses without faults, the conceived adaptive sliding mode controller (63) is capable of the stabilization of the system.

Zoomed versions of the nonlinear inverted pendulum and cart system output responses illustrated in Figures 68 highlight a good satisfactory precision of the proposed adaptive FTC, which ensures the stability of the system subject to both additive and multiplicative faults. More precisely, it can be seen clearly that the integrated adaptive law is an effective way to improve both faults estimation and compensation.

7. Conclusions

This paper addresses two powerful problems: the SMO scheme and the FE-based sliding mode FTC, concerning system described by T-S fuzzy representation and local nonlinear models. We start by the study of the multiplicative faults, and the actuator degradation process is considered as a source of performance deterioration. The degradation process in the actuator is modeled by Wiener process. The additive actuator faults are estimated using robust adaptive SMO in the existence of uncertainties so that the proposed observer’s stability has been derived using performances in order to minimize the uncertainties’ effect on the dynamics of estimation error and solved within the linear matrix inequalities (LMI’s) optimization design. To compensate the effects of both additive and multiplicative actuator faults and guarantee the system stability, an adaptive FTC with sliding mode control is studied. The existence conditions are expressed via Lyapunov approach in terms of LMI. Convex multiobjective optimization is employed to simultaneously maximize the nonlinear term Lipschitz constant in the T-S fuzzy modeling in addition to the uncertainties attenuation level, in order to obtain satisfactory gain of the adaptive SMO and controller. The results of the simulation on the application clearly display the efficiency of the proposed additive actuator FE and the adaptive FTC design with uncertainties in system. In our future work, we can use shock models (Poisson process) or combined models to characterize the stochastic deterioration process in an actuator. Indeed, the actuator is a device that operates dynamically in a random environment; its capacity may decrease in an accelerated way. So, we can integrate covariates in the degradation model with accelerated mode deterioration. The derivative of the output in the designer of observers could be taken into account to increase the performance of the estimation.

Appendix

Construct Lyapunov function as follows: Taking along a trajectory of the taken system error,where .

By applying Lemma 5 and Assumption 4, it could be proving that, where is the constant of Lipschitz of

From the expression of in equation (34), we deduce thatwhere

For the multiplicative fault, we can write the inequality as follows:where and .

The time derivative of and and

To obtain the robustness of the proposed adaptive SMO (33)-(34), let be defined as

We define the following variable as

To maximize for , we simultaneously minimize both and . Referring to equation (A.10), we shall write the abovementioned expression (A.9) as follows:where

Thus, we conclude that is negative, if

From the Schur complement, we deduce that the relation (A.13) and the relation (49) are equivalent. If equation (49) is satisfied, is negative.

For proving that the error system of equation (45)–(47) is stable asymptotically with such thatwhere is the attenuation level.

This completes the proof.

B

To guarantee the stability of system, we should investigate the next Lyapunov function is definite positive symmetric.

According to (72)–(74),

Using Assumption 8 and Lemma 5, we obtain

Let us define

We write equation (B.4) as follows:where .

A novel variable is defined as

The simultaneous minimization of and , i.e., minimization of , can maximize according to the nonlinear function of Lipschitz

Therefore, it must be proved that are negative, if

Using the Shur complement, the following relation is easily obtained as follows:where .

The following matrix will be made as post, premultiplying by , in (B.8), we obtainwhere

Using Lemma 5, we obtain

We can deduce that (B.11) holds, ifwhere has a similar structure as (76). Moreover, whether (B.12) is fulfilled, then are negative, the T-S fuzzy system (72)–(74) is robustly stable in regard to and .

The proof is completed.

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Additional Points

The authors use Matlab simulink for simulation results, and they will improve it for other publication.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This study was funded by Laboratory of Engineering of Industrial Systems and Renewable Energy.