Abstract
This paper focuses on the problems of fault estimation and accommodation for a class of T–S fuzzy systems with local nonlinear models and having an external disturbance and sensor and actuator faults, simultaneously. A fuzzy robust fault estimation observer is designed to estimate the system state and sensor and actuator faults. Compared with existing results, the observer not only is robust to the disturbance but also has a wider application range and more freedom for design. To compensate for the effect of faults and to stabilize the closed-loop system, an observer-based fault-tolerant controller is proposed. The separate design of the observer and controller avoids coupling between them. Finally, a simulation is conducted to demonstrate the effectiveness of the proposed method.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
With the development of industrial technology, the requirements of system reliability have increased. To improve the reliability of a system, fault detection and isolation and fault-tolerant control have been studied widely, and many outstanding results have been achieved, such as those reported in [5, 8, 10, 13, 17, 38, 43, 44, 51] and the references therein. It should be noted that more accurate information on the fault, such as the size and shape of the fault, can be obtained by fault estimation, which is more challenging than fault detection and isolation. Recently, outstanding results relating to fault estimation have been achieved [16, 18, 30, 45, 49, 52, 53].
It is well known that many practical systems are nonlinear, and challenges remain in the fault estimation and fault accommodation of a nonlinear system. Takagi–Sugeno (T–S) fuzzy models are a useful tool for the description of a nonlinear system and have thus attracted considerable attention in recent decades [9, 22–24, 28, 35, 36, 39–42, 46–48].
Employing T–S fuzzy systems, excellent results relating to fault estimation and fault accommodation have been achieved [1–4, 6, 7, 14, 15, 19, 20, 26, 33, 34, 37]. The existing methods require restrictive assumptions, such as those of rank constraints of \(C_iB_i\) [19], stable system matrices [14], the same measurement output matrices [1–4, 6, 7, 15, 20, 26] and a single faulty actuator or sensor [33, 37].
Note that both sensor faults and actuator faults may exist in practical engineering. The problems of fault estimation and fault accommodation for T–S fuzzy systems with simultaneous sensor and actuator faults are receiving increasing research attention. Employing an ingenious transformation, a new descriptor fuzzy sliding-mode observer has been designed to estimate the system state and sensor and actuator faults simultaneously, and an observer-based fault-tolerant control scheme has been developed to stabilize a closed-loop system [27]. Additionally, two observers have been designed to estimate sensor and actuator faults, separately [32]. For fuzzy systems with the same or proportional control matrices \(B_i\), a fuzzy proportional integral observer has been designed to estimate sensor and actuator faults [21].
It should be noted that modern industrial systems are becoming much more complex, which is increasing the number of fuzzy rules. Thus, the stability analysis, controller design and fault estimation for such T–S fuzzy systems have become much more difficult [29, 37]. To resolve this problem, T–S fuzzy systems with nonlinear local models have been proposed, and excellent results have been achieved [11, 12, 29, 31, 37].
To the best of the authors’ knowledge, the problems of fault estimation and fault accommodation for fuzzy systems, which have local nonlinear models and sensor and actuator faults, simultaneously, have not been fully investigated and developing their solutions remains an important challenge. This background provides the motivation for the present study.
For T–S fuzzy systems with local nonlinear models, this paper proposes a fuzzy fault estimation observer that can be used in the estimation of the system state and sensor and actuator faults simultaneously. Furthermore, an observer-based fault-tolerant controller is designed to compensate for the effect of faults and to stabilize the closed-loop system. The main contributions of this paper are summarized as follows. (1) For T–S fuzzy systems with local nonlinear models having sensor and actuator faults, simultaneously, the problems of fault estimation and fault accommodation are addressed for the first time. (2) Compared with previous results, the proposed observer not only is robust against the disturbance but also has a wider application range and more freedom for design. (3) The observer and controller are designed separately, which avoids their coupling and reduces the computation complexity.
This paper is organized as follows. The system description and definitions are presented in Sect. 2. In Sects. 3 and 4, the fuzzy fault estimation observer and the observer-based fault-tolerant controller are designed, respectively. Simulation is provided in Sect. 5. Finally, Conclusions are given in Sect. 6.
Throughout this paper, I and O denote an identity matrix and a zero matrix of appropriate dimensions, respectively. The symbol \(*\) in a matrix denotes the transposed element in the symmetric position. \(\Vert a\Vert \) denotes the Euclidean norm of a vector a; i.e., \(\Vert a\Vert =(a^Ta)^{1/2}\). For an arbitrary matrix A, \(A^T\), \(A^-\) and \(A^{-1}\) denote the transposed matrix, left-inverse matrix and inverse matrix of A, respectively.
2 System Description and Definitions
In this paper, we consider continuous-time T–S fuzzy systems with local nonlinear models and additive sensor and actuator faults. The ith rule of T–S fuzzy systems can be written as follows.
Plant Rule i:
IF \(\xi _1(t)\) is \(\pi _{i1}\) and \(\cdots \) \(\xi _k(t)\) is \(\pi _{ik}\),
THEN
where \(x(t)\in R^n\), \(u(t)\in R^{p_1}\), \(y(t)\in R^q\), \(y_L(t)\in R^{q_1}\), \(f_a(t)\in R^{p_1}\) and \(f_s(t)\in R^{m}\) are the state vector, input vector, measurement output vector, controlled output vector, additive actuator fault vector and sensor fault vector, respectively. \(d(t)\in R^{p_2}\) represents the exogenous disturbance vector which is assumed to belong to \(L_2[0,\infty )\). \(g_{i}(x(t))\in R^{p_3}\) represents the nonlinear part of the ith local model. \(\xi _j(t)\) and \(\pi _{ij}~(i=1,2,\ldots ,r; j=1,2,\ldots ,k)\) are the premise variables and fuzzy sets, where k and r are the number of premise variables and IF–THEN rules, respectively. \(A_i,N_i,B_i,E_i,C_i,F,C_{Li}\) are constant real matrices.
The fuzzy systems can be written as follows:
where \(\xi (t)=[\xi _1(t),\xi _2(t),\ldots ,\xi _k(t)]\). For each \(i=1,2,\ldots ,r\), \(\mu _i\) is the abbreviation of \(\mu _i(\xi (t))\), where \(\mu _i(\xi (t))=\sigma _i(\xi (t))/\sum \nolimits _{i=1}^r\sigma _i(\xi (t))\), \(\sigma _i(\xi (t))=\prod \limits _{j=1}^k\pi _{ij}(\xi _j(t))\), and \(\pi _{ij}(\xi _j(t))\) is the grade of membership of \(\xi _j(t)\) in \(\pi _{ij}\). It is obvious that \(\mu _i(\xi (t))\ge 0\), and \(\sum \limits _{i=1}^r\mu _i(\xi (t))=1\).
In this paper, the following assumptions are needed.
Assumption 1
In fuzzy systems (4)–(6), \((A_i,B_i)\) are controllable, \((A_i,C_i)\) are observable, and \(q\ge p_1+m\).
Assumption 2
It is supposed that F is of full column rank, and \(C_i\) are of full row rank.
Assumption 3
The nonlinear functions \(g_{i}(x(t))\) are Lipschitz with respect to the state x(t); that is, there exist constants \(c_i\) such that
where \(x(t_1), x(t_2)\in R^n\) and \(c_i\) are Lipschitz constants of \(g_{i}(x(t))\).
In Assumption 2, if \(F\in R^{q\times m}\) is not of full column rank i.e., \(rank(F)=m_1<m\), then a matrix decomposition method previously proposed in [8] can be used. Specifically, F can be rewritten as \(F=F_1F_2\), where \(F_1 \in R^{q\times m_1}\) and \(rank(F_1)= m_1\). We can thus treat \(F_2f_s(t)\) as a sensor fault vector and design an observer to estimate it.
Remark 1
In fuzzy systems (4)–(6), we use the nonlinear functions \(g_{i}(x(t))\) to represent the nonlinear parts of local models. The nonlinear consequences represent important nonlinear properties of the original nonlinear system. Additionally, the number of fuzzy rules can be reduced using the local nonlinear models, which implies that the computational burden is reduced [12, 29, 37].
Remark 2
It should be noted that the measurement noise is not considered in (5). Without loss of generality, let the measurement noise \(d_1(t)\in R^{q_1}\), and the distribution matrix of \(d_1(t)\) be \(\bar{F}\in R^{q\times q_1}\). We assume that \(q>q_1\). It is not difficult to find a coordinate transformation matrix T such that \(T\bar{F}=0\). According to this transformation, we can choose Ty(t) as the new measurement output. Thus, the effect of the measurement noise can be removed.
The objective of this paper is to design a robust observer for fuzzy systems (4)–(6) to estimate x(t), \(f_a(t)\), \(f_s(t)\), simultaneously, and design an observer-based fault-tolerant controller to compensate for the faults and guarantee system stability.
The following definition and lemmas are useful in obtaining our main results.
Definition 1
For an arbitrary matrix \(A\in R^{n\times m}\), if \(A^-\in R^{m\times n}\) satisfies \(A^-A=I_m\), we say that \(A^-\) is a left-inverse matrix of A.
Lemma 1
[50]. For an arbitrary matrix \(A\in R^{n\times m}\), \(rank(A)=m\), then we have
-
1.
\(A^-=(A^TA)^{-1}A^T\) is a left-inverse matrix of A.
-
2.
If \(A^{-*}\) is a left-inverse matrix of A, the general form of left-inverse matrix of A can be obtained as
$$\begin{aligned} A^-=A^{-*}+X-XAA^{-*} \end{aligned}$$(8)where \(X\in R^{m\times n}\) is an arbitrary matrix with appropriate dimension.
Lemma 2
[50]. For the solvable matrix equation \(AX=B\), \(X=GB\) is a solution of the equation, if and only if the matrix G satisfies \(AGA=A\). Specifically, if A is of full column rank, \(X=A^-B\) is a solution of the equation \(AX=B\).
Lemma 3
[29]. For matrices (or vectors) A and B with appropriate dimensions, the following condition holds,
where \(\varepsilon \) is an arbitrary positive scalar.
Lemma 4
[9]. If the following conditions hold
we have
3 Fault Estimation
Let \(\bar{x}(t)=[x^T(t),f_s^T(t)]^T\), then the T–S fuzzy systems (4)–(5) can be rewritten as
where \(G=\left[ \begin{array}{ccc} I_n&{} O \\ O &{} O_{q\times m}\\ \end{array} \right] \), \(A_{1i}=\left[ \begin{array}{ccc} A_i&{} O \\ O &{} -F\\ \end{array} \right] \), \(N_{1i}=\left[ \begin{array}{ccc} N_i \\ O_{q\times p_3}\\ \end{array} \right] \), \(B_{1i}=\left[ \begin{array}{ccc} B_i \\ O_{q\times p_1}\\ \end{array} \right] \), \(F_{1}=\left[ \begin{array}{ccc} O_{n\times m} \\ F\\ \end{array} \right] \), \(E_{1i}=\left[ \begin{array}{ccc} E_i \\ O_{q\times p_2}\\ \end{array} \right] \), \(C_{1i}=[C_i~~F]\), \(C_{0i}=[C_i~~O_{q\times m}]\), and \(g_i(x)\) represent \(g_i(x(t))\).
Since F is of full column rank, according to Lemmas 1, 2 and (14), we have
where \(F^-\) is a left-inverse matrix of F. Substituting (15) in (13), we have
Obviously, the ith local model of the T–S fuzzy systems (16) can be written as
Adding \(K_{1i}C_{1i}\dot{\bar{x}}(t)\) to both sides of (17), we have
where \(G_{1i}=G+K_{1i}C_{1i}\), and \(K_{1i}=[K_{11i}^T~~K_{12i}^T]^T\in R^{(n+q)\times q}\) is the gain matrices to be determined.
It is not difficult to obtain \(G_{1i}=\left[ \begin{array}{ccc} I+K_{11i}C_{i}&{} K_{11i}F \\ K_{12i}C_{i}&{} K_{12i}F \\ \end{array} \right] \). Our purpose is to choose suitable matrices \(K_{11i}\), \(K_{12i}\) such that \(G_{1i}\) is of full column rank, which means that there exists a left-inverse matrix of \(G_{1i}\). Let \(K_{11i}=O_{n\times q}\), \(K_{12i}=\mathrm{diag}\{\lambda _{i1}, \lambda _{i2},\ldots ,\lambda _{iq}\}\), where \(\lambda _{ij}\) denotes arbitrary nonzero constants, \(j=1,2,\ldots ,q\); then \(G_{1i}=\left[ \begin{array}{ccc} I&{} O \\ K_{12i}C_{i}&{} K_{12i}F \\ \end{array} \right] \). Note that F is of full column rank. It is then not difficult to find that \(G_{1i}\) is of full column rank. According to Lemma 1, there exist left-inverse matrices of \(G_{1i}\). One of the left-inverse matrices of \(G_{1i}\) can be written as
According to Lemma 2 and (18), we have
where \(A_{2i}=G_{1i}^{-*}(A_{1i}-F_{1}F^-C_{0i})\), \(N_{2i}=G_{1i}^{-*}N_{1i}\), \(B_{2i}=G_{1i}^{-*}B_{1i}\), \(F_{2i}=G_{1i}^{-*}F_{1}F^-\), \(E_{2i}=G_{1i}^{-*}E_{1i}\).
Note that \(G_{1i}^{-*}K_{1i}=\left[ \begin{array}{ccc} O \\ F^- \\ \end{array} \right] \) is independent of i. Let \(H=G_{1i}^{-*}K_{1i}\). From (14), we have
The overall fuzzy systems can be rewritten as
Remark 3
To estimate the sensor fault, the descriptor observer method is applied widely, and excellent results have been obtained [6, 14]. Employing this method, pioneering results, including fault estimation for fuzzy systems with unmeasurable premise variables [1, 2, 4, 15] and the design of robust fault detection observers [1, 4], have been achieved. In the cited papers, the system output matrices of the fuzzy systems must be the same. Our method can be used in the case that the fuzzy systems have different output matrices. Additionally, in this paper, for every local model, an augmented descriptor local model is constructed by treating the senor fault as a virtual state. We can obtain new fuzzy systems by choosing a gain matrix for each local model, and the gain matrices may be different from each other. Compared with previously obtained results [1, 2, 4, 6, 14, 15], for which the gain matrices must be the same, in this paper, there is more freedom of design.
Remark 4
In this paper, we choose the left-inverse matrix rather than the Moore–Penrose generalized inverse matrix. It is worth pointing out that the Moore–Penrose generalized inverse matrices of F and \(G_{1i}\) are unique, while the left-inverse matrices of F and \(G_{1i}\) are not unique. The general forms of the left-inverse matrices of F and \(G_{1i}\) are \(F^-=(F^TF)^{-1}F^T+X-XF(F^TF)^{-1}F^T\) and \(G_{1i}^-=G_{1i}^{-*}+Y-YG_{1i}G_{1i}^{-*}\), respectively, where X, Y are arbitrary real matrices with appropriate dimensions. We can therefore get different left-inverse matrices by choosing different X and Y, which provides more freedom of design.
On the basis of the above discussion, we construct a fuzzy fault estimation observer for fuzzy systems (22) and (23):
where z(t) is the observer state. \(\hat{\bar{x}}(t)\) and \(\hat{f}_a(t)\) are the estimations of \(\bar{x}(t)\) and \(f_a(t)\), respectively, and \(g_{i}(\hat{x})\) represents \(g_i(\hat{x}(t))\). \(K_{2i}\) and \(K_{3i}\) are the observer gain matrices to be designed.
Theorem 1
Given the \(H_\infty \) performance level \(\gamma _1\), the fuzzy fault estimation observer (24)–(27) can asymptotically estimate the system state and faults with the \(H_\infty \) performance level \(\gamma _1\), that is
if there exist a symmetric positive-definite matrix P, matrices \(Q_j\), and positive scalars \(\delta _1\), \(\delta _2\), ..., \(\delta _r\), for \(i,j=1,2,\ldots ,r\), such that the following linear matrix inequalities hold true.
where
\(e(t)=[(\bar{x}(t)-\hat{\bar{x}}(t))^T, (f_a(t)-\hat{f}_a(t))^T]^T\), \(\omega (t)=[d^T(t), \dot{f}_a^T(t)]^T\), \(c_i\) are the Lipschitz constants of \(g_i(x)\), \(\rho _1=\gamma _1^2\), and \(\varXi _{ij}\), \(N_{3i}\), \(E_{3i}\) will be specified later. The gain matrices of the observer can be obtained by \(K_{4i}=\left[ \begin{array}{ccc} K_{2i} \\ K_{3i} \\ \end{array}\right] =P^{-1}Q_j\).
Proof
Let \(\tilde{\bar{x}}(t)=\bar{x}(t)-\hat{\bar{x}}(t)\), \(\tilde{f}_a(t)=f_a(t)-\hat{f}_a(t)\), \(\tilde{g}_i=g_i(x)-g_i(\hat{x})\). From (22)–(24), (26)–(27), we have
From (23), (25), (27), we have
The error dynamic is represented as
where \(e(t)=\left[ \begin{array}{ccc} \tilde{\bar{x}}(t) \\ \tilde{f}_a(t)\\ \end{array}\right] \), \(A_{3i}=\left[ \begin{array}{ccc} A_{2i}&{}&{}B_{2i} \\ O&{}&{}O \\ \end{array}\right] \), \(K_{4i}=\left[ \begin{array}{ccc} K_{2i} \\ K_{3i} \\ \end{array}\right] \), \(C_{3j}=[C_{1j}~~O]\), \(N_{3i}=\left[ \begin{array}{ccc} N_{2i} \\ O \\ \end{array}\right] \), \(E_{3i}=\left[ \begin{array}{ccc} E_{2i}&{}&{}O \\ O&{}&{}I \\ \end{array}\right] \), \(\omega (t)=\left[ \begin{array}{ccc} d(t) \\ \dot{f}_a(t)\\ \end{array}\right] \).
Choose the Lyapunov function \(V(t)=e^T(t)Pe(t)\), where P is a symmetric positive-definite matrix. The differential of V(t) along the error dynamic (35) is
According to Lemma 3, for \(i=1,2,\ldots ,r\), we have
where \(\delta _1,~\delta _2,\ldots ,\delta _r\) are positive scalars.
Since \(g_{i}(x)\) are Lipschitz with respect to the state x(t), and \(e(t)=[\tilde{\bar{x}}^T(t), f_a^T(t)]^T\), we have
where \(c_i\) are the Lipschitz constants of \(g_i(x)\).
Let
It is not difficult to find that (28) and (29) are satisfied if \(J_1(t)<0\). Specifically, if \(\omega (t)=0\), (40) can be written as \(J_1(t)=\dot{V}(t)+e^T(t)e(t)\); i.e., \(J_1(t)<0\) implies \(\dot{V}(t)<-e^T(t)e(t)\le 0\). From Lyapunov theory, we obtain \(\lim \limits _{t\rightarrow \infty } e(t)=0\). Meanwhile, if \(\omega (t)\ne 0\), under the zero initial condition, (40) can be rewritten as
Since \(V(t)>0\), thus \(J_1(t)<0\) means \(\int _0^te^T(s)e(s)ds\le \gamma _1^2\int _0^t\omega ^T(s)\omega (s)ds\).
From (39) and (40), we can obtain
where
\(\zeta (t)=[e^T(t), \omega ^T(t)]^T\), \(\varXi _{ij}=(A_{3i}-K_{4i}C_{3j})^TP+P(A_{3i}-K_{4i}C_{3j})\).
Obviously, \(\varLambda <0\) implies \(J_1(t)<0\). According to the Schur complement, \(\varLambda <0\), if and only if
where \(\varOmega _{ij}\) are the same as that in (32).
From Lemma 4, if (30) and (31) are satisfied, then (43) holds, which means that \(J_1(t)<0\); i.e., the fault estimation observer (24)–(27) can asymptotically estimate the state and the faults with the \(H_\infty \) performance level \(\gamma _1\).
The proof is completed. \(\square \)
Remark 5
Compared with previous results [9, 27], it is worth pointing out that the derivative of the measurement output is not used in the observer (24)–(27). Thus, our method has a wider range of application.
Remark 6
From the observer (24)–(27), it is not difficult to find that the estimations of the system state and sensor fault can be obtained as
where \(\hat{x}(t)\) and \(\hat{f}_s(t)\) are the estimations of x(t) and \(f_s(t)\), respectively. Furthermore, according to (25), the estimation of the actuator fault can be obtained.
Remark 7
Note that the minimum \(H_\infty \) attenuation value of the observer (24)–(27) (i.e., \(\gamma _1\)) can be obtained from linear matrix inequalities:
Remark 8
In the last few years, various types of fault estimation observers have been proposed, and excellent results have been achieved. However, most of the studies focused on systems subject only to an actuator fault or sensor fault, and some restrictive assumptions were necessary; e.g., the rank constraints of \(C_iB_i\), stable system matrices, the same measurement output matrices, and a single faulty actuator or sensor. Our observer can not only estimate the system state and actuator and sensor faults simultaneously but also be applied to systems without these assumptions. An example will be given in Section 5 to illustrate this point.
4 Fault Accommodation
This section presents the design of an observer-based fault-tolerant controller, which can compensate the effect of the faults and stabilize the fuzzy systems. Figure 1 is the structural diagram of the closed-loop system.
In addition to (7), the following assumption about \(g_i(x)\) is needed.
Assumption 4
The nonlinear functions \(g_i(x)\) satisfy \(g_i(0) = 0\).
Note that \(g_i(x)\) are Lipschitz functions; i.e., Assumption 4 implies the inequation
where \(c_i\) are the Lipschitz constants.
Employing the technique of parallel distribution compensation, the observer-based fault-tolerant controller can be constructed as
where \(\bar{K}_{i}\) are the controller gain matrices to be designed.
Substituting (47) in (4), we have
where \(\tilde{x}(t)=x(t)-\hat{x}(t)\), \(\tilde{f}_a(t)=f_a(t)-\hat{f_a}(t)\)
The closed-loop system can be described as
where \(\bar{B}_{ij}=[B_i\bar{K}_{j}~~B_i~~E_i]\), \(\varphi (t)=[\tilde{x}^T(t)~~\tilde{f}_a^T(t)~~d^T(t)]^T\).
Theorem 2
Given the \(H_\infty \) performance level \(\gamma _2\), the closed-loop system (49)–(50) is robust stable with the \(H_\infty \) performance level \(\gamma _2\), that is
if there exist a symmetric positive-definite matrix \(\bar{P}\), matrices \(Q_j\), and positive scalars \(\epsilon _1\), \(\epsilon _2\), ..., \(\epsilon _r\), for \(i,j=1,2,\ldots ,r\), such that the following linear matrix inequalities hold true:
where
\(\varPsi _{ij}=A_i\bar{P}+\bar{P}A_i^T-B_iQ_j-Q_j^TB_i^T\), \(\rho _2=\gamma _2^2\). The gain matrices of the controller can be obtained by \(\bar{K}_{j}=Q_j\bar{P}^{-1}\).
Proof
Choose the Lyapunov function \(V(t)=x^T(t)Px(t)\), where \(P=\bar{P}^{-1}\) is a symmetric positive-definite matrix. The differential of V(t) along (49) can be obtained as
According to Lemma 3 and (46), for \(i=1,2,\ldots ,r\), we have
where \(\epsilon _1,~\epsilon _2,\ldots ,~\epsilon _r\) are positive scalars.
Let
It follows from the Proof of Theorem 1 that (51)–(52) are satisfied if \(J_2(t)<0\).
From (50) and (56)–(58), we have
where
Thus, \(J_2(t)<0\), if
According to the Schur complement, (60) can be written as
where \(\bar{\varUpsilon }_{ij}=(A_i-B_i\bar{K}_{j})^TP+P(A_i-B_i\bar{K}_{j})\).
Let \(X=diag\{P^{-1},P^{-1},I_{p_1},I_{p_2},I_{q_1},I_{p_3},I_n\}\). Pre- and post-multiplying by X and its transpose in (61), then we have
where \(\varPsi _{ij}=A_i\bar{P}+\bar{P}A_i^T-B_iQ_j-Q_j^TB_i^T\), \(\bar{P}=P^{-1}\), \(Q_j=\bar{K}_jP^{-1}\).
According to Lemma 3, it is easy to obtain that
Obviously, (63) is equivalent to
Thus, (62) holds, if
where \(\varPhi _{ij}\) are the same forms as that in (55).
According to Lemma 4, if (53)–(54) are satisfied, then (65) holds, which implies that \(J_2(t)<0\); i.e., the closed-loop system (49)–(50) is robust stable with the \(H_\infty \) performance level \(\gamma _2\).
The proof is completed. \(\square \)
Remark 9
In this section, a robust fault-tolerant controller is designed for fuzzy systems with local nonlinear models and having sensor and actuator faults, simultaneously. It is worth pointing out that the observer and controller are designed separately. Compared with previous excellent results of fault estimation and fault accommodation, such as those reported in [2, 3, 7], the separate design can avoid coupling between the design of the observer and the design of the controller and reduce computation complexity.
Remark 10
From the observer and controller design processes, we find that, if \(d(t)=0\) and the actuator fault is constant, the error dynamic (35) is asymptotically stable; i.e., we can obtain accurate estimations of the system state and faults. Additionally, the closed-loop system (49)–(50) is asymptotically stable.
Remark 11
The main purpose of this paper is to develop a general framework of fault estimation and fault accommodation for a class of T–S fuzzy systems with local nonlinear models. In this paper, the parameterized linear matrix inequality techniques are used to reduce conservatism. It is worth pointing out that a fuzzy Lyapunov functional can be chosen to be less conservative. However, the computational complexity will increase, and interested readers can refer to the literature [2, 4, 6].
5 Simulation Results
In this section, an example is presented to illustrate the effectiveness of the proposed approach.
Consider fuzzy systems with local nonlinear models and having sensor and actuator faults, simultaneously, which are described in forms of (4)–(6), where
\(g_1(x)=sin(x_1(t))\), \(g_2(x)=cos(x_1(t))-\frac{1}{2}\), and \(d(t)\in [-2,~2]\) is a random disturbance, \(f_a(t)=\left[ \begin{array}{ccc} f_{a1}(t)\\ f_{a2}(t)\\ \end{array} \right] \) and \(f_s(t)\) are actuator and sensor faults, respectively. It is assumed that
The membership functions are chosen as \(\mu _1(y_1(t))=e^{-y_1^2(t)}\) and \(\mu _2(y_1(t))=1-e^{-y_1^2(t)}\).
We choose \(K_{111}=K_{112}=O_{3\times 3}\), \(K_{121}=diag\{1,2,3\}\), \(K_{122}=diag\{3,3,5\}\) and \(F^-=[0.1667,~0.3333,~-0.1667]\). According to the design procedure in this paper, let the \(H_\infty \) performance levels of the observer and the controller are \(\gamma _1=1.414\), \(\gamma _2=2.646\), respectively. From the LMIs (30)–(31) and (53)–(54), we can obtain the gain matrices of the observer and the controller as follows :
The simulation results of this example are provided in Figs. 2, 3 ,4, 5, 6, 7 and 8. Figures 2, 3 ,4, 5, 6 and 7 clearly show that the proposed observer can estimate the system state and sensor and actuator faults, simultaneously. Additionally, Fig. 8 illustrates that the proposed controller can compensate for the faults and stabilize the closed-loop system. Furthermore, according to Remark 7, it is not difficult to obtain a minimum \(H_\infty \) attenuation value of the observer of 0.2163.
Furthermore, for the case that there is no external disturbance, the simulation results are provided in Figs. 9, 10 and 11.
We carry out a simulation to compare the performance of our method with that of a previously proposed method [2]. Since the actuator fault was not considered in the latter, we assume that \(f_a(t)=0\). Additionally, we assume that the second local model has the same measurement output matrix as the first one. The comparison results are provided in Figs. 12, 13, 14, 15 and 16. Our method clearly provides similar or better results. Compared with the previously proposed method [2], our method can be used for fuzzy systems with an actuator fault and different measurement output matrices; i.e., our method has a wider application range.
6 Conclusions
This paper investigated the problems of fault estimation and fault accommodation for T–S fuzzy systems with local nonlinear models and having sensor and actuator faults, simultaneously. In the design of the observer, to avoid the sensor fault being amplified by observer gain matrices, the sensor fault is treated as a virtual state, and we then design a fuzzy fault estimation observer for the new fuzzy systems. Using the estimation information, an observer-based fault-tolerant controller is designed to guarantee the robust stability of the closed-loop system. Finally, simulation results show the effectiveness of the proposed method. It is worth pointing out that the issues of fuzzy systems with unmeasurable premise variables [1–4, 26] and type-2 T–S fuzzy systems [22–25] are interesting and practical and will be considered in our future works.
References
S. Aouaouda, M. Chadli, V. Cocquempot, M.T. Khadir, Multi-objective \(H_-/H_\infty \) fault detection observer design for Takagi–Sugeno fuzzy systems with unmeasurable premise variables: descriptor approach. Int. J. Adapt. Control Signal Process. 350(9), 2627–2645 (2013)
S. Aouaouda, M. Chadli, H.R. Karimi, Robust static output-feedback controller design against sensor failure for vehicle dynamics. IET Control Theory Appl. 8(9), 728–737 (2014)
S. Aouaouda, M. Chadli, M.T. Khadir, T. Bouarar, Robust fault tolerant tracking controller design for unknown inputs T–S models with unmeasurable premise variables. J. Process Control 22(5), 719–725 (2012)
S. Aouaouda, M. Chadli, P. Shi, H.R. Karimi, Discrete-time \(H_-/H_\infty \) sensor fault detection observer design for nonlinear systems with parameter uncertainty. Int. J. Robust Nonlinear Control 25(3), 339–361 (2015)
M. Blanke, M. Kinnaert, J. Lunze, M. Staroswiecki, Diagnosis and Fault-Tolerant Control (Springer, Secaucus, 2006)
M. Chadli, A. Abdo, S.X. Ding, \(H_-/H_\infty \) fault detection filter design for discrete-time Takagi–Sugeno fuzzy system. Automatica 49(7), 1996–2005 (2013)
M. Chadli, S. Aouaouda, H.R. Karimi, P. shi, Robust fault tolerant tracking controller design for a VTOL aircraft. J. Frankl. Inst. 350(9), 2627–2645 (2013)
J. Chen, R.J. Patton, Robust Model-Based Fault Diagnosis for Dynamic Systems (Kluwer, Norwell, 1999)
T.V. Dang, W.J. Wang, L. Luoh, C.H. Sun, Adaptive observer design for the uncertain Takagi–Sugeno fuzzy system with output disturbance. IET Control Theory Appl. 6(10), 1351–1366 (2011)
S.X. Ding, Model-based fault diagnosis techniques: desig schemes, algorithms, and tools (Springer, Berlin, 2008)
J.X. Dong, Y.Y. Wang, G.H. Yang, \(H_\infty \) and mixed \(H_2/H_\infty \) control of discrete-time T–S fuzzy systems with local nonlinear models. Fuzzy Sets Syst. 164(1), 1–24 (2011)
J.X. Dong, Y.Y. Wang, G.H. Yang, Control synthesis of continuous-time T–S fuzzy systems with local nonlinear models. IEEE Trans. Syst. Man Cybern. Part B Cybern. 39(5), 1245–1258 (2009)
Z.W. Gao, S.X. Ding, Fault reconstruction for Lipschitz nonlinear descriptor systems via linear matrix inequality approach. Circuits Syst. Signal Process. 27(3), 295–308 (2008)
Z.W. Gao, X. Shi, S.X. Ding, Fuzzy state/disturbance observer design for T–S fuzzy systems with application to sensor fault estimation. IEEE Trans. Syst. Man Cybern. Part B Cybern. 38(3), 875–880 (2008)
H. Ghorbel, A.E. Hajjaji, M. Souissi, M. Chaabane, Fault-tolerant trajectory tracking control for Takagi–Sugeno systems with unmeasurable premise variables: descriptor approach. Circuits Syst. Signal Process. 33(6), 1763–1781 (2014)
J. Han, H.G. Zhang, Y.C. Wang, Y. Liu, Disturbance observer based fault estimation and dynamic output feedback fault tolerant control for fuzzy systems with local nonlinear models. ISA Trans. doi:10.1016/j.isatra.2015.08.015
H. Hu, B. Jiang, H. Yang, Robust fault-tolerant control for uncertain delta operator switched systems. IET Control Theory Appl. 8(2), 120–130 (2014)
Z.G. Hu, G.R. Zhao, L. Zhang, D.W. Zhou, Fault estimation for nonlinear dynamic system based on the second-order sliding mode observer. Circuits Syst. Signal Process. doi:10.1007/s00034-015-0060-2
B. Jiang, F.N. Chowdhury, Fault estimation and accommodation for linear MIMO discrete-time systems. IEEE Trans. Control Syst. Technol. 13(3), 493–499 (2005)
B. Jiang, K. Zhang, P. Shi, Integrated fault estimation and accommodation design for discrete-time Takagi-Sugeno fuzzy systems with actuator faults. IEEE Trans. Fuzzy Syst. 19(2), 291–304 (2011)
E. Kamal, A. Aitouche, D. Abbes, Robust fuzzy scheduler fault tolerant control of wind energy systems subject to sensor and actuator faults. Int. J. Electr. Power Energy Syst. 55, 402–419 (2014)
H.Y. Li, Y.N. Pan, Q. Zhou, Filter design for interval type-2 fuzzy systems with \(D\) stability constraints under a unified frame. IEEE Trans. Fuzzy Syst. 23(3), 719–725 (2015)
H.Y. Li, X.J. Sun, L.G. Wu, H.K. Lam, State and output feedback control of a class of fuzzy systems with mismatched membership functions. IEEE Trans. Fuzzy Syst. doi:10.1109/TFUZZ.2014.2387876
H.Y. Li, C.W. Wu, P. Shi, Y.B. Gao, Control of nonlinear networked systems with packet dropouts: interval type-2 fuzzy model-based approach. IEEE Trans. Cybern. 45(11), 2378–2389 (2015)
H.Y. Li, C.W. Wu, L.G. Wu, H.K. Lam, Y.B. Gao, Filtering of interval type-2 fuzzy systems with intermittent measurements. IEEE Trans. Cybern. doi:10.1109/TCYB.2015.2413134
X.J. Li, G.H. Yang, Fault detection for T–S fuzzy systems with unknown membership functions. IEEE Trans. Fuzzy Syst. 22(1), 139–152 (2013)
M. Liu, X. Cao, P. Shi, Fuzzy-model-based fault-tolerant design for nonlinear stochastic systems against simultaneous sensor and actuator faults. IEEE Trans. Fuzzy Syst. 21(5), 789–799 (2013)
A. Manivannan, S. Muralisankar, Robust stability analysis of Takagi–Sugeno fuzzy nonlinear singular systems with time-varying delays using delay decomposition approach. Circuits Syst. Signal Process. doi:10.1007/s00034-015-0096-3
H. Moodi, M. Farrokhi, On observer-based controller design for Sugeno systems with unmeasurable premise variables. ISA Trans. 53(2), 305–316 (2014)
J.Q. Qiu, M.F. Ren, Y.R. Niu, Y.C. Zhao, Y.M. Guo, Fault estimation for nonlinear dynamic systems. Circuits Syst. Signal Process. 31(2), 555–564 (2012)
R. Sakthivel, K. Sundareswari, K. Mathiyalagan, S. Santra, Reliable \(H_\infty \) stabilization of fuzzy systems with random delay via nonlinear retarded control. Circuits Syst. Signal Process. doi:10.1007/s00034-015-0115-4
M. Sami, R.J. Patton, Active fault tolerant control for nonlinear systems with simultaneous actuator and sensor faults. Int. J. Control Autom. Syst. 11(6), 1149–1161 (2013)
Q.K. Shen, B. Jiang, P. Shi, Adaptive fault diagnosis for T–S fuzzy systems with sensor faults and system performance analysis. IEEE Trans. Fuzzy Syst. 22(2), 274–285 (2014)
C. Sun, F.L. Wang, X.Q. He, Robust fault estimation for Takagi–Sugeno nonlinear systems with time-varying state delay. Circuits Syst. Signal Process. 34(2), 641–661 (2015)
K. Tanaka, H.O. Wang, Fuzzy Control Systems Design and Analysis: A Linear Matrix Inequality Approach (Wiley, New York, 2001)
H. Tuan, P. Apkarian, T. Narikiyo, Y. Yamamoto, Parameterized linear matrix inequality techniques in fuzzy control system design. IEEE Trans. Fuzzy Syst. 9(2), 324–332 (2001)
H.M. Wang, D. Ye, G.H. Yang, Actuator fault diagnosis for uncertain T–S fuzzy systems with local nonlinear models. Nonlinear Dyn. 76(4), 1977–1988 (2014)
Q. Wen, R. Kumar, J. Huang, Framework for optimal fault-tolerant control synthesis: maximize prefault while minimize post-fault behaviors. IEEE Trans. Syst. Man Cybern. Syst. 44(8), 1056–1066 (2014)
X.P. Xie, D. Yue, T.D. Ma, X.L. Zhu, Further studies on control synthesis of discrete-time T–S fuzzy systems via augmented multi-indexed matrix approach. IEEE Trans. Cybern. 44(12), 2784–2791 (2014)
X.P. Xie, D. Yue, X.L. Zhu, Further studies on control synthesis of discrete-time T–S fuzzy systems via useful matrix equalities. IEEE Trans. Fuzzy Syst. 22(4), 1026–1031 (2014)
Y.Y. Xu, S.C. Tong, Y.M. Li, Prescribed performance fuzzy adaptive fault-tolerant control of non-linear systems with actuator faults. IET Control Theory Appl. 8(6), 420–431 (2014)
F.S. Yang, H.G. Zhang, G.T. Hui, S.Q. Wang, Mode-independent fuzzy fault-tolerant variable sampling stabilization of nonlinear networked systems with both time-varying and random delays. Fuzzy Sets Syst. 207, 45–63 (2012)
F.S. Yang, H.G. Zhang, B. Jiang, X.D. Liu, Adaptive reconfigurable control of systems with time-varying delay against unknown actuator faults. Int. J. Adapt. Control Signal Process. 28(11), 1206–1226 (2014)
H. Yang, B. Jiang, V. Cocquempot, Stabilization of Switched Nonlinear Systems with Unstable Modes (Springer, Switzerland, 2014)
H. Yang, B. Jiang, M. Staroswiecki, Observer-based fault-tolerant control for a class of switched nonlinear systems. IET Control Theory Appl. 1(5), 1523–1532 (2007)
H.J. Yang, X. Li, Z.X. Liu, C.C. Hua, Fault detection for uncertain fuzzy systems based on the delta operator approach. Circuits Syst. Signal Process. 33(3), 733–759 (2014)
H.G. Zhang, Y.C. Wang, D.R. Liu, Delay-dependent guaranteed cost control for uncertain Stochastic fuzzy systems with multiple tire delays. IEEE Trans. Syst. Man Cybern. Part B Cybern. 38(1), 126–140 (2008)
H.G. Zhang, X.P. Xie, Relaxed stability conditions for continuous-time T–S fuzzy-control systems via augmented multi-indexed matrix approach. IEEE Trans. Fuzzy Syst. 19(3), 478–492 (2011)
K. Zhang, B. Jiang, P. Shi, Observer-based fault estimation and accomodation for dynamic systems (Springer, Berlin, 2013)
X.D. Zhang, Matrix Analysis and Applications (Tsinghua University Press, Beijing, 2004)
Y.W. Zhang, N. Yang, S.P. Li, Fault isolation of nonlinear processes based on fault directions and features. IEEE Trans. Control Syst. Technol. 22(4), 1567–1572 (2014)
J. Zhao, B. Jiang, P. Shi, H.T. Liu, Adaptive dynamic sliding mode control for near space vehicles under actuator faults. Circuits Syst. Signal Process. 32(5), 2281–2296 (2013)
G.M. Zhuang, X.J. Yu, J. Chen, Fault detection filtering for uncertain Itô stochastic fuzzy systems with time-varying delays. Circuits Syst. Signal Process. 34(9), 2839–2871 (2015)
Acknowledgments
This work was supported by the National Natural Science Foundation of China (61433004, 61273027), and Liaoning Province Science and Technology Key Project(2013219005) and IAPI Fundamental Research Funds 2013ZCX14. This work was supported also by the development project of Key Laboratory of Liaoning Province.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Han, J., Zhang, H., Wang, Y. et al. Robust Fault Estimation and Accommodation for a Class of T–S Fuzzy Systems with Local Nonlinear Models. Circuits Syst Signal Process 35, 3506–3530 (2016). https://doi.org/10.1007/s00034-015-0219-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00034-015-0219-x