Abstract

This paper deals with the problem of fault-tolerant control (FTC) of uncertain stochastic systems subject to modeling uncertainties and actuator failures. A robust adaptive fault-tolerant controller design method based on stochastic Lyapunov theory is developed to accommodate the negative impact on system performance arising from uncertain system parameters and external disturbances as well as actuation faults. There is no need for on-line fault detection and diagnosis (FDD) unit in the proposed FTC scheme, which not only simplifies the design process but also makes the implementation inexpensive. Numerical examples are provided to validate and illustrate the benefits of the proposed control method.

1. Introduction

Stability analysis and control design of stochastic systems have received increasing attention during the past decades. Under the framework of Itô equations together with the notion of mean-square stability, some interesting results have been obtained in terms of generalized algebraic Riccati equations, linear matrix inequality (LMI), or spectra of some operators (see, for instance, [14] and the references cited therein).

However, to our knowledge, very few works have dealt with the stabilization of general stochastic systems where actuator failures, parameter uncertainties, and state-dependent disturbances are involved simultaneously. This motivates us to investigate the reliable control problem of stochastic systems, aiming at maintaining an acceptable performance for the closed-loop systems in the presence of actuator failures and modeling uncertainties.

Actuator failures can cause severe performance deterioration of control systems, or even system instability, leading to catastrophic accidents. Fault-tolerant control (FTC) has been viewed as one of the most promising methods to increase system safety and reliability and has thus received considerable attention from control and system engineering research community [517]. Most existing FTC methods can be broadly classified as active FTC and passive FTC. The active FTC requires a fault detection and diagnosis (FDD) mechanism to detect and identify the faults in real time, and a mechanism to reconfigure the controller according to the on-line fault information from the FDD [917]. The main idea of the passive FTC approach is to design a single controller that is robust against faults and uncertainties. In contrast to the passive approach, active methods utilize control reconfiguration to adjust controllers in real time so that the impacts of the failures can be compensated and the stability as well as the acceptable performance of the system can be maintained. Remarkable progress have been made in the area of actuator accommodation control with various effective design methods developed such as linear quadratic [18], multiple model designs [1921], model following [2], FDD-dependent designs [2224], and sliding mode control-based designs [10, 25].

It is noted that, by blending adaptive control into FTC, the resultant control scheme turns out to be effective in reconfigurable control of systems with actuator failures [9, 2630]. However, it is noted that few of the aforementioned works address the fault-tolerant control problem of stochastic systems.

In this research, we will consider robust adaptive FTC for uncertain stochastic systems subject to actuator faults. The system under consideration involves parameter uncertainties and state-dependent disturbances. Moreover, there involves actuation faults that are assumed to be unpredictable during the system operation. We are interested in developing an FTC control scheme without the need for FDD. The developed FTC scheme is user friendly in the fact that no complicated computation is involved in its design and implementation.

The remaining part of the paper is organized as follows. In Section 2, the control problem is formulated. The design and analysis of the proposed control schemes are given in Section 3. Numerical simulations are conducted to demonstrate various features of the proposed control method and the results are presented in Section 4. Finally, the paper is closed with some concluding comments in Section 5.

Notation. The notations in this paper are quite standard. and denote, respectively, the dimensional Euclidean space and the set of all real matrices. The superscript “” denotes the transpose and the notation (resp., ) where and are symmetric matrices, which means that is positive semidefinite (resp., positive definite). is the identity matrix with compatible dimension. is the Euclidean norm in . If is a matrix, denote by its operator norm; that is, , where [resp., ] means the largest (resp., smallest) eigenvalues of . Moreover, () is probability space with the sample space, the -algebra of subsets of the sample space, and the probability measure. stands for the mathematical expectation operator with respect to the given probability measure . and denote the spaces of square-integrable vector and bounded vector functions over , respectively.

2. Problem Statement

Consider the stabilization problem of the following uncertain stochastic systems subject to actuator faults and external disturbances: where is state, is actual control input, is unknown external disturbances.

Here, is a one-dimensional Brownian motion defined on the probability space () with and ; and are known real constant matrices with appropriate dimensions. Without loss of generality, it is assumed that the pair is controllable. , and denote parameter uncertainties and satisfy where is known constant matrix, and are unknown time-varying matrix satisfying and .

Remark 1. It is observed that the parameter uncertainty structure as in (2) is more relaxed than the most existing methods. The parameter uncertainty structure which has been widely used in the problems of robust control and robust filtering of uncertain systems is assumed to be , where , and are known constant matrices and is an known time-varying matrix satisfying (see, for instance, [3134]). Obviously, the structure herein which only needs the existence of the upper bound of is easier to be satisfied.

To formulate the fault-tolerant control problem, the fault model must be established first. In system (1), the types of faults under consideration include loss of effectiveness, stuck, or combination of all. The actual control input able to impact the system and the designed control input designed are not the same in general. In this paper, the relationship between them will be adopted. Consider where is a diagonal matrix with being the unknown and time-varying scalar function called actuator efficiency factor, or “health indicator.” For every fault mode, and represent the lower and upper bounds of , respectively. Note that, when , there is no fault for the th actuator . When , the th actuator is outage. When , the type of actuator is loss of effectiveness. denotes a vector function reflecting the portion of the control action produced by the actuator that is completely out of control.

The type of actuator failures considered in this work is listed in Table 1.

In order for the system to admit a feasible FTC, the following assumptions are imposed.

Assumption 2. The unparametrizable stuck-actuator fault and external disturbance are piecewise continuous bounded functions; that is, there exist unknown positive constants and such that

Assumption 3. For the system under consideration, there exist some constants and such that for all possible actuator faults, the following relation holds: where

Remark 4. Assumption 2 confines the vector and external disturbances are bounded. Assumption 3, slightly less restrictive, sets constraint on the actuation faults, which a feasible FTC is able to deal with. Clearly, such condition is well justified if all the actuators with faults are still functional (i.e., , whereas the too extreme faults in that all the actuators completely fail to work (i.e., make the assumption invalid, which, if not impossible, is significantly challenging to develop a globally stable control for the stochastic system (1); thus it is not considered in this work.

Remark 5. Since is controllable, one can choose properly such that is Hurwitz. Namely, for given , there exists a symmetric and positive definite such that the following matrix inequality is established: where . Note that we can find the proper very easily because (7) is much simpler than those complex LMIs. The method in frame of linear matrix inequality is well used in many existing works [8, 13, 31, 33].

In the end of this section, the following important lemma is given, which will be used for the development of our result.

Lemma 6 (see [35]). The trivial solution of the stochastic differential equation with and sufficiently differentiable maps, is globally asymptotically stable in probability, if there exists a positive definite, radially unbounded, twice continuously differentiable function such that the infinitesimal generator is

3. Fault-Tolerant Control Design

To show the idea of this work explicitly, several fault-tolerant control schemes are developed under different conditions in this section. At the beginning, a robust fault-tolerant control method is presented.

3.1. Robust Fault-Tolerant Control

In this section, a robust fault-tolerant control of the form is proposed, where is chosen such that is Hurwitz, and is generated by with being a constant, where represents the lower bound of the health indicator matrix ; that is, and , are suitable constants such that

Theorem 7. Under Assumptions 2 and 3, the FTC as given in ((10a), (10b), (10c), and (10d)) exponentially stabilizes (in mean square) the stochastic system described by (1), for all admissible uncertainties as well as all actuator failures corresponding to (3).

Proof. When the system is subject to the actuator failure as described in (3), its dynamic behavior becomes With the proposed control ((10a), (10b), (10c), (10d)), one has where which is bounded as based on Assumption 2, where and . Thus, it is not difficult to get Consider the following Lyapunov function candidate: Then, by Itô’s formula, the infinitesimal generator of (12) is Note that the last term of (17) cannot be combined with ; thus the adaptive updating law cannot be used to compensate its effect as usual. To establish the robust stability of the closed-loop system (12), we need to have the following development. From the fact that and using (2), it is seen that the last term of (17) can be expressed as from (10c), it holds that and by defining , the inequality (17) can be shown to satisfy where matrixes and are chosen properly to satisfy . Therefore, it is confirmed from Lemma 6 that the closed-loop system (11) is asymptotically mean square stable in probability despite faulty actuators with the proposed FTC.

Remark 8. Note that if proper constants and can be obtained in advance, the proposed control ((10a), (10b), (10c), and (10d)) achieved exponential stability in mean square for the stochastic system under Assumptions 2 and 3. However, it is a little difficult to select such and to ensure , since the lower bound of the eigenvalue of the health indicator matrix is not available in general. In view of this, a more feasible method is developed in the next subsection.

3.2. Robust Adaptive Fault-Tolerant Control

In order to develop a control scheme that is not only robust but also adaptive yet fault-tolerant, we modify the previous one to get where is chosen such that is Hurwitz and is on-line updated by with

Theorem 9. Consider the uncertain stochastic system (11) under Assumptions 2 and 3. If the robust adaptive fault-tolerant controller ((21a), (21b), (21c), and (21d)) is implemented, the closed-loop system is ensured to be asymptotically stable.

Proof. Substituting the proposed control ((21a), (21b), (21c), and (21d)) into the stochastic system (11), we obtain the closed-loop system dynamics as follows:
Consider the following Lyapunov function candidate: where is a constant related to adaptation rate chosen by the designer and is constant defined as before. Upon using the control scheme with the adaptive algorithm, it is not difficult to show that Then
In light of the definition of , it is true that ; thus the second term in (25) can be rewritten as
The fact leads (25) to
Using the updating law (21d) and choosing the proper matrixes and to ensure that the matric inequality is established, one obtains from (27) that
Consequently, according to Lemma 6, it can be obtained that the closed-loop system (11) is globally asymptotically stable in probability in presence of actuator failures.

Remark 10. Note that in designing and implementing the first robust fault-tolerant control method we need to predetermine the parameters and . This might present analytical and technical difficulty in practice. The second robust adaptive FTC scheme, which does not need the analytic computation of the parameters and , circumvents this shortcoming. Although the existence of is used in stability analysis, none of them are used in the control algorithm.

Remark 11. It is seen that the proposed control is independent of explicit information on faults and disturbances. As with most variable structure control methods, when the states get closer to zero, the control scheme might experience chattering, which can be easily avoided by replacing with , where is a small number, as commonly adopted in the literature. Also to prevent the estimate from drifting, (21d) can be modified as

In this case, we have the following ultimately uniformly bounded (UUB) stabilization result.

Theorem 12. Consider the uncertain stochastic system (11). Let the Assumptions 2 and 3 hold. If the following robust adaptive control is applied: where is chosen such that is Hurwitz, and is generated by

and is updated by (29a), then the closed-loop system (11) is ensured to UUB stable.

Proof. The result can be established by using the method similar to that as in [15].

Remark 13. Since the robust FTC with the fixed gain may bring more conservatives, a new robust adaptive FTC is further addressed in the next subsection. By means of the on-line estimation of effectiveness values of faulty actuators, the robust adaptive FTC gain is adaptively updated to compensate the effects of actuator faults.

3.3. Improved Robust Adaptive Fault-Tolerant Control

Consider that the elements of the actuator efficiency factor are constants. A robust and adaptive control scheme integrated with on-line fault estimation is designed as where , is the estimated values of effectiveness for th actuator, and the updating law for    is given as where is the adaptive law gain to be chosen according to practical applications. Here, and denote the th row and th column of a matrix , respectively.

is chosen such that is Hurwitz, and is on-line updated by with

Remark 14. It is noted from (30b) that is a projection operator [28], which projects the estimate into the interval so as to satisfy the assumption on the bound of effectiveness values in (3). Because this updating law can ensure the estimated values are not zero, the control signal will take effect on the plant.

Theorem 15. For the uncertain stochastic system (11), the robust adaptive fault-tolerant controller given as ((30a), (30b), (30c), (30d), and (30e)) can ensure that the state will asymptotically tend to zero.

Proof. Substituting ((30a), (30b), (30c), (30d), and (30e)) into the stochastic system (11), we obtain the closed-loop system equation as follows: where , which is bounded by under Assumption 2.
Consider the following Lyapunov function candidate where and are constants related to adaptation rate chosen by the designer and is constant defined as before. Upon using the control scheme with the adaptive algorithm, it is not difficult to show that the infinitesimal operator Considering that and the adaptive law (30b), we have Then, becomes in which the second term in (36) can be rewritten as by using (19) it is true that . Thus by using the fact that and the updating law (30e), the function eventually is bounded as as long as proper matrixes and are select to ensure (7). Therefore, it can be obtained from Lemma 6 that the state of the stochastic system is asymptotically stable in probability and the estimation parameters and are bounded.

4. Numerical Simulation

Two examples are used to demonstrate the features of the proposed control scheme.

Example 1. Consider the uncertain stochastic system (11) with
It is seen that the uncertainties and are complex to be described by the form of . But the form of (2) is easy to satisfy. The external disturbance is state-dependent and unknown. For the simulation, the initial conditions are and .
The actuator efficiency variables for each of the two control channels simulated are as illustrated in Figure 1, where two of the actuators suffer from the failure as shown in the figure.
The scenario simulated is that the system operates normally at the beginning, and the disturbances always exist during the system operation. After 4 seconds of the operation some faults in actuators occur: the first and the second actuators encounter severe failures in the fact that both channels lose their effectiveness by over 50% at some time and the faults are fast time-varying for some period.
The objective in this work is to design a reliable robust adaptive fault-tolerant controller such that the closed-loop system is asymptotically stable in probability despite the presence of actuator faults. In applying the control scheme ((29a), (29b), and (29c)), one can easily determine all the control parameters:
The simulation results in terms of stabilization of the three states are presented in Figure 2. It can be seen that the states , , and can converge to a small neighborhood around zero. Figure 3 shows the control signals of the two inputs. The estimated parameter is shown in Figure 4. The results confirm the theoretical prediction.

Example 2. The second simulation is made for robust adaptive fault-tolerant controller ((30a), (30b), (30c), (30d), and (30e)). It is assumed that at , the first actuator is still normal and the second actuator is faulty with . The simulations are shown in Figures 5, 6, 7, and 8. Also it should be pointed out from [36] that the estimated value can converge but may not converge to its true value . And in our controller design procedure, only the estimated value is needed to construct adaptive controller and whether can converge to its true values or not is not necessary.
From Figure 5, the FTC scheme ((30a), (30b), (30c), (30d), and (30e)) makes the curves relatively smooth via the adaptive estimate of efficiency value. The simulation results confirm that the robust adaptive FTC can achieve a good performance on dealing with the reliable control problem of stochastic systems in presence of actuator failures, parameter uncertainty, and state-dependent disturbance.

5. Conclusion

In this paper, the problem of robust adaptive FTC for stochastic systems with faulty actuators has been considered. By blending adaptive control into robust FTC, the proposed control method is able to accommodate actuation faults and modeling uncertainties concurrently. Both theoretical analysis and numerical simulations validate the benefits and effectiveness of the proposed approach.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The paper is supported by the Major State Basic Research Development Program 973 (no. 2012CB215202), the National Natural Science Foundation of China (no. 61134001 and 61203124), and Fundamental Research Funds for the Central Universities (2013YJS021).