Abstract
This paper investigates the problems of state/fault estimation and active fault-tolerant control (AFTC) design for time-delay descriptor fuzzy systems subject to external disturbances and actuator faults. Using Takagi–Sugeno fuzzy models, an adaptive fuzzy observer is proposed to achieve system state and actuator fault estimation simultaneously. According to Lyapunov functional method, design and analysis conditions of the resulting closed-loop delayed descriptor system are formulated in terms of linear matrices inequalities (LMIs). Observer and controller gains are computed by solving a set of LMIs in only one step and then used to both estimate the unmeasured states and actuator faults in AFTC context. Numerical examples are provided to show the merit and the conservativeness of the proposed approach in comparison with the existing methods by considering various types of actuator faults.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Actuator, sensor or plant failures may totally modify the system behavior by generating the instability and performance degradation of the control systems. Therefore, many researches on fault detection and isolation (FDI) have been extensively conducted during the last decades [16]. To ameliorate system performance efficiency and reliability, the issue of fault-tolerant control (FTC) has been more and more considered.
According to Blanke in [2] and [20], the objective of FTC is to preserve current performance and maintain stability conditions in the event of system component malfunctions. In the literature such as [7, 24], there are two classes of FTC: active and passive or reliable ones. The passive FTC (PFTC) tolerates only limited predetermined faults throughout the whole control process. The major drawback of this approach is that the fault tolerance capability could be very limited. In contrast to PFTC, the active FTC (AFTC) is generally constructed to treat the occurrence of system faults in real time. It is characterized by the use of an online FDI unit to preserve the stability and performance of the global system.
Generally speaking, the FTC allows to maintain a certain level of reliability, productivity and safety in most industrial systems and also to guarantee satisfactory performance not only during the normal operation but also in the presence of both sensor and actuator faults (see [22, 23, 29] and references therein).
Furthermore, it is well known that time delay can be a cause of instability for dynamical systems and performance degradation for control systems. So, this topic has received a substantial attention in the past years, and different design approaches have been proposed (see [11, 26] and references therein).
Recently, the TS fuzzy model-based control of descriptor fuzzy systems with time delay has been investigated for their interests in several engineering applications, such as constrained robot systems, circuit systems and chemical processes [8, 17].
Similar to the standard fuzzy systems with time delay, the results on stability analysis and stabilization of descriptor delayed systems can be classified into two categories: delay-independent criteria, which are applicable to delay of an arbitrary size [3, 25], and delay-dependent ones which include information about the size of delay [26]. It is known that the latter one results are usually less conservative than the former ones, especially when the size of delay is small [8, 30].
More recently, the active actuator FTC design problem of descriptor fuzzy systems has been investigated in [10] and [12]. However, the observer and controller design conditions are given in bilinear matrix inequality (BMI) form and then solved using a two-step algorithm. The present work improves the previous results in terms of conservatism reduction and computational complexity by formulating observer and fault-tolerant control design conditions in a set of linear matrices inequalities (LMIs) which can be solved on only one step using LMI Toolbox or Yalmip of MATLAB software [6]. Moreover, no tuning matrices are needed to solve the LMIs as required in [12].
By choosing an appropriate Lyapunov–Krasovskii functional, delay-dependent stability and stabilization conditions are developed to estimate time-varying faults, and an adaptive fuzzy observer is proposed to estimate both states system and actuator faults.
The purpose of this work is to develop a state/fault fuzzy observer-based FTC strategy of descriptor nonlinear delayed systems described by the T–S fuzzy models. Thus, using obtained fault information given by an adaptive fuzzy observer, a fault-tolerant controller is designed to compensate the effect of actuator faults [13, 21].
The rest of the paper is organized as follows. The second section introduces the structure of the T–S fuzzy descriptor system with state delay under actuator faults and the problem formulation. Section 3 holds the main result and gives LMI-based design conditions for the adaptive fuzzy observer-based fault-tolerant controller. A simulation examples are presented in Sect. 4 to compare and to show the validity of the suggested approach. Finally, Sect. 5 concludes this contribution.
Notations In this paper, a real symmetric positive definite matrix (respectively, negative definite matrix) is represented by \(A > 0\) (respectively, \(A < 0\)). The notation \((*)\) corresponds to matrix block incited by symmetry, \(\hbox {sym}(A)\) signifies \(A+A^\mathrm{T}\), and \(A^{\dag }\) represents the generalized inverse of A. \(\lambda _\mathrm{max}(A)\) stands for the maximum eigenvalues of A. As well, \(\Vert \cdot \Vert \) corresponds to the standard norm symbol, and \(\forall \) denotes “for all.”
2 Problem Formulation
Consider a T–S fuzzy descriptor system with state delay described by a set of if-then rules, and each rule is a local linear representation of the nonlinear system. The ith rule of the system is given as follows.
Plant rule \(i (i=1,2,\ldots ,r)\): If \(\theta _{1}\) is \(\mu _{i1}\) and, \( \cdots \), and \(\theta _{p}\) is \(\mu _{ip}\), then
where \(\theta _{j}(x(t))\) are the premise variables which are assumed measurable, \(\mu _{ij} (i=1,\ldots ,r, j=1,\ldots ,p)\) are the fuzzy sets which are characterized by the membership functions, r and p are the total number of if-then rules and the premise variables, respectively.
\( x(t) \in \mathbb {R}^{n} \) is the state vector, \( u(t) \in \mathbb {R}^{m} \) is the control input, \( y(t)\in \mathbb {R}^{p} \) is the measured output, \( d(t)\in \mathbb {R}^{\nu } \) is the external disturbance, \( f_a(t)\in \mathbb {R}^{m} \) represents the actuator fault which can be constant or time-varying function, h is a constant delay satisfying \(0 \leqslant h \leqslant \bar{h} \) and \(\varPhi (t)\) is an initial condition.
Matrix \( E \in \mathbb {R}^{n \times n} \) is assumed to be singular, and we suppose that \( \mathrm{rank}(E)=q \le n \).
\( A_{i}, A_{hi}, B_i, F_i \) and C are known real constant matrices of appropriate dimensions. It is supposed that matrices \(F_i\) and \(C_i\) are of full column rank and of full row rank, respectively.
By fuzzy blending, the overall fuzzy system is given as follows:
in which
where \(\mu _{ij}(\theta _i(x(t))\) is the grade of the membership of \(\theta _i(x(t))\) in \(\mu _{ij}\).
It is evident that \(0\le h_{i}(\theta (x(t)))\le 1\) and \(\displaystyle \sum ^{r}_{i=1}h_{i}(\theta (x(t)))=1\).
Then, for briefness we get \(h_{i}\) to stand for \(h_{i}(\theta (x(t)))\).
Before giving the design of the adaptive observer, six assumptions are assumed:
Assumption 1
[1]
Assumption 2
[15] Triple matrix \((E, A_i, C)\) is R-detectable,
Assumption 3
[14]
Assumption 4
Fault \(f_a(t)\) satisfies \(\Vert f_a(t) \Vert \le \alpha _1\), and the derivative of \(f_a(t)\) with respect to time is norm-bounded, i.e., \(\Vert \dot{f}_a(t) \Vert \le f_{1\mathrm{max}}\) and \(0 \le \alpha _1\), \(f_{1\mathrm{max}} < \infty \).
Assumption 5
Assumption 6
Remark 1
Referring to Assumption 6, there exists a nonzero matrix \( \check{F}_i \in \mathbb {R}^{m \times m} \) such that \(F_i=B \check{F}_i, \quad \forall i \in [1,\ldots ,r]\).
Two lemmas which are used in the proof are given as follows:
Lemma 1
[7] Given a symmetric positive definite matrix Q and a scalar \(\mu \in \mathbb {R}^{+}\), we have the following inequality
\(x,y \in \mathbb {R}^{n}.\)
Lemma 2
[8] Given a matrix R of appropriate dimension such that \(R^\mathrm{T} \Pi R <0\), consider a negative definite matrix \(\Pi < 0\), then \(\exists \ \lambda > 0\) such that
3 Main Results
3.1 Design of Adaptive Fuzzy Observer-Based Fault-Tolerant Controller
So as to estimate the state and the faults of system (2), we propose the following adaptive fuzzy observer design
and the active fault-tolerant control is:
where \(w(t) \in \mathbb {R}^{n} \) and \(\widehat{x}(t) \in \mathbb {R}^{n} \) are the observer state and the estimated state vector, respectively. \(\widehat{y}(t) \in \mathbb {R}^{p} \) and \(\widehat{y}(t-h) \in \mathbb {R}^{p} \) are the estimated output vectors at the sampling time t and \(t-h\), respectively. \(e_y(t) \in \mathbb {R}^{p} \) is the output estimation error, \(\widehat{f}_a(t) \in \mathbb {R}^{m} \) is the estimated of actuator fault \(f_a(t)\), and \(H_1,H_2,L_{1i},L_{2i}, N_{i}\) and \(K_{i}\) are gain matrices with appropriate dimensions to be determined.
Under Assumption 1, there exist nonsingular matrices \( H_1 \in \mathbf R ^{n\times n}\) and \( H_2 \in \mathbf R ^{n\times m}\) such that in [5, 21]:
The state and the fault estimation errors are given as follows :
By taking into account (2), (11) and by using relation (13), state estimation error dynamic \(e_x(t)\) and output estimation error \(e_y(t)\) are given by:
Using the same idea proposed in [4] and [19] concerning the disturbance–decoupling techniques, matrix \(H_1\) is selected such that
Then, estimation error dynamic (14) can be simplified as:
To find simultaneously matrices \(H_1\) and \(H_2\) from Eqs. (13) and (16), one can define the following augmented matrix:
Under Assumption 3, \(H_1 \) and \(H_2\) can be expressed by the following system:
In contrast to the constant fault giving in [28] and [27], here time-varying faults are considered. Then, it follows that \(\dot{f}(t)\ne 0\). Consequently, the dynamic of fault estimation error is given by the following expression:
Then,
Under Assumption 5 and Remark 1, the closed loop of the T–S Descriptor System without external disturbances becomes
3.2 Stability and Stabilization Analysis
Theorem 1
Considering system (22), under Assumptions 1, 2, 3 and 5, if there exist symmetric positive definite matrices \(Q_1, Z_1\), \(P_2, Q_2, Z_2\) and a positive definite matrices \(P_1\) as well as \(N_{i}, K_{i}\) and M such that \(\forall i \in [1,\ldots ,r]\), the following conditions hold:
then the adaptive fuzzy observer proposed in (11) and the FTC designed in (12) can realize that the state vector of overall system (22), the state estimation error and the fault estimation error are uniformly bounded.
where
in which
Proof
See “Appendix A”.
Our objective now is to transform conditions in Theorem 1 in set of LMIs.
Theorem 2
Considering system (22), under Assumptions 1, 2, 3 and 5, if there exist symmetric positive definite matrices \(\widetilde{Q}_1, \widetilde{Z}_1, X_2, Q_2, Z_2\) and a positive definite matrices \(X_1\) as well as \(N_{i} , Y_{1i} \), \(Y_{2i} , M\) and \(W_{i} \) such that \(\forall i \in [1,\ldots ,r]\) the following conditions hold:
Minimize \(\eta > 0 \) subject to [6]
where
then the adaptive fuzzy observer proposed in (11) and the FTC designed in (12) can realize that the state vector of overall system (22), the state estimation error and the fault estimation error are uniformly bounded.
In this case, the gains of the adaptive fuzzy observer and controller are, respectively, given by \(L_{1i}= X_2^{-1} Y_{1i} \), \(L_{2i}= X_2^{-1} Y_{2i} \) and \(K_{i}= W_i X_1^{-1} \).
Proof
see “Appendix B”.
Remark 2
The actuator fault estimation for this class of systems is not fully investigated, and the problem is still open. In [12], the proposed result presents three drawbacks: The first one is that the result is delay independent. The second one is that the proposed LMI conditions require to choose some tuning matrices which need to be fixed beforehand. The third one is that the controller and observer design are the BMIs which are solved using a two-step algorithm.
4 Numerical Example
In this section, two examples are given to demonstrate the effectiveness of the proposed methods.
Example 1
As stated in Remark 2, to show the conservativeness of our approach a comparison with the result in [12] will be stated.
Consider the following T–S fuzzy descriptor system with time delay proposed in [8] and [18]
where
Applying Theorem 2, we get a feasible solution and we obtain the controller and observer gains as follows:
Then, we apply Theorems 1 and 2 in [12], where delay-independent conditions have been developed, and we find an infeasible problem.
Example 2
In this section, we consider a truck–trailer system in [12, 28].
Considering the following dynamic model of the truck–trailer system,
Model parameters are: \(a=0.7, l=2.8, L=5.5, v=-1\), \(\bar{t}=2, t_0=0.5\) and \(h=0.5\).
To have the T–S descriptor representation, the following state variable is introduced:
The following fuzzy rules can be employed:
Rule 1: If \(\theta (t)=x_2(t)+a\frac{v\bar{t}}{L t_0}x_1(t)+(1-a)\frac{v\bar{t}}{L t_0}x_1(t-h)\) is about 0, then
Rule 2: If \(\theta (t)=x_2(t)+a\frac{v\bar{t}}{L t_0}x_1(t)+(1-a)\frac{v\bar{t}}{L t_0}x_1(t-h)\) is about \(\pi \) or \(-\pi \), then
where
we set \(\varphi =\frac{10 t_0}{\pi }\) and \(d(t)=\sin (\theta (t))-\theta (t)\)
Consider now actuator faults, it is supposed that \(F_1=B_1\) and \(F_2=B_2\).
The membership functions for rules 1 and 2 are designed as follows:
By solving (19), \(H_1\) and \(H_2\) can be given as follows
By choosing the tuning parameter values as follows: \(\lambda _1=2\), \(\lambda _2=3, \lambda _3=3, \sigma =2, \mu =0.2, \Gamma =0.5\) and \(\eta =0.01\).
Within MATLAB LMI Toolbox, we can solve the optimization problem of Theorem 2 and we obtain the following feasible solution:
Let consider the first time-varying fault as follows:
Simulation results of this example are illustrated in Figs. 1, 2, 3, 4, 5, 6, 7 and 8. It is quite clear to see that the adaptive observer proposed in this work can estimate system state and actuator faults (Fig. 9).
Consider now the second time-varying fault as follows:
By referring to simulation results, it can be deduced that the use of the adaptive fuzzy observer-based fault-tolerant controller can rapidly recover the performance and the stability of the closed-loop system in the presence of time-varying fault which gives us a good estimation of the states and the actuator faults. As shown in Figs. 5 and 10, the two faults which are considered in this paper are rapidly and accurately estimated.
For the two examples of actuator faults, by choosing \(\Gamma =0.5\) in the simulation example, the derivative of \(f_{a1}(t)\) and \(f_{a2}(t)\) over time are norm-bounded by \(f_{11\mathrm{max}}=2.1\) and \(f_{12\mathrm{max}}=0.3\), respectively. \(\delta _1=\frac{\mu }{\sigma }f^2_{11\mathrm{max}}\lambda _\mathrm{max}(\Gamma ^{-1} M^{-1}\Gamma ^{-1})=0.0273\) and \(\delta _2=\frac{\mu }{\sigma }f^2_{12\mathrm{max}}\lambda _\mathrm{max}(\Gamma ^{-1} M^{-1}\Gamma ^{-1})=5.5773.10^{-4}\) reduce the radius of the ball in which the estimation errors converge.
5 Conclusion
In this article, an adaptive fuzzy observer-based actuator fault-tolerant controller design for Takagi–Sugeno fuzzy descriptor system with time delay and external disturbances has been investigated. The proposed strategy allows to estimate simultaneously the system states and time-varying actuator faults. The delay-dependent stabilization conditions are presented in terms of LMIs which can be easily solved using MATLAB LMI Toolbox. A simulation results are given to show the effectiveness of the design method.
References
M. Alma, M. Darouach, Adaptive observers design for a class of linear descriptor systems. Automatica 50(2), 578–583 (2014)
M. Blanke, R. Izadi-Zamanabadi, S. Bogh, C. Lunau, Fault-tolerant control systems—a holistic view. Control Eng. Pract. 5(5), 693–702 (1997)
Y.Y. Cao, P.M. Frank, Analysis and synthesis of nonlinear time-delay systems via fuzzy control approach. IEEE Trans. Fuzzy Syst. 8(2), 200–211 (2000)
M. Chadli, H.R. Karimi, Robust observer design for unknown inputs Takagi–Sugeno models. IEEE Trans. Fuzzy Syst. 21(1), 158–164 (2013)
M. Darouach, M. Boutayeb, Design of observers for descriptor systems. IEEE Trans. Autom. Control 40(7), 1323–1327 (1995)
B. Erkus, Y.J. Lee, Linear matrix inequalities and matlab lmi toolbox, in University of Southern California Group Meeting Report (Los Angeles, 2004)
H. Gassara, A.E. Hajjaji, M. Chaabane, Adaptive fault tolerant control design for Takagi–Sugeno fuzzy systems with interval time-varying delay. Opt. Control Appl. Methods 35, 609–625 (2014)
H. Gassara, A.E. Hajjaji, M. Chaabane, Observer based (Q, V, R)-\(\alpha \)-dissipative control for TS fuzzy descriptor systems with time delay. J. Frankl. Inst. 351, 187–206 (2014)
K. Gu, J. Chen, V.L. Kharitonov, Stability of Time-Delay Systems (Birkhauser, Boston, 2003)
J. Han, H. Zhangn, Y. Wang, X. Liu, Robust state/fault estimation and fault tolerant control for T–S fuzzy systems with sensor and actuator faults. J. Frankl. Inst. 353, 615–641 (2016)
Y. He, M. Wu, J.H. She, G.P. Liu, Parameter-dependent lyapunov functional for stability of time-delay systems with polytopic-type uncertainties. IEEE Trans. Autom. Control 49(5), 828–832 (2004)
Q. Jia, W. Chen, Y. Zhang, H. Li, Fault reconstruction and fault-tolerant control via learning observers in Takagi–Sugeno fuzzy descriptor systems with time delays. IEEE Trans. Ind. Electron. 62(6), 3885–3895 (2015)
D. Kharrat, H. Gassara, A.E. Hajjaji, M. Chaabane, Fault tolerant control based on adaptive observer for Takagi–Sugeno fuzzy descriptor systems, in 16th International Conference on Sciences and Techniques of Automatic Control and Computer Engineering (STA) (IEEE, 2015), pp. 273–278
D. Koenig, Observer design for unknown input nonlinear descriptor systems via convex optimization. IEEE Trans. Autom. Control 51, 1047–1052 (2006)
D. Koenig, S. Mammar, Design of proportional–integral observer for unknown input descriptor systems. IEEE Trans. Autom. Control 47(12), 2057–2062 (2002)
F. Li, P. Shi, C.C. Lim, L. Wu, Fault detection filtering for nonhomogeneous Markovian jump systems via fuzzy approach. IEEE Trans. Fuzzy Syst. (2016)
C. Lin, Q.G Wang, T.H. Lee, Stability and stabilization of a class of fuzzy time-delay descriptor systems. IEEE Trans. Fuzzy Syst. 14(4), 542–551 (2006)
C. Lin, Q.G. Wang, T.H. Lee, Y. He, LMI Approach to Analysis and Control of Takagi–Sugeno Fuzzy Systems with Time Delay, vol. 351 (Springer, Berlin, 2007)
B. Marx, D. Koenig, J. Ragot, Design of observers for Takagi–Sugeno descriptor systems with unknown inputs and application to fault diagnosis. IET Control Theory Appl. 1(5), 1487–1495 (2007)
S.M.D. Oca, V. Puig, M. Witczak, L. Dziekan, Fault tolerant control strategy for actuator faults using lpv techniques: application to a two degree of freedom helicopter. Int. J. Appl. Math. Comput. Sci. 22(1), 161–171 (2012)
M. Rodrigues, H. Hamdi, D. Theilliol, C. Mechmeche, N.B. Braiek, Actuator fault estimation based adaptive polytopic observer for a class of lpv descriptor systems. Int. J. Robust Non Linear Control 25, 673–688 (2015)
Q. Shen, B. Jiang, V. Cocquempo, Fuzzy logic system-based adaptive fault-tolerant control for near-space vehicle attitude dynamics with actuator faults. IEEE Trans. Fuzzy Syst. 21(2), 289–299 (2013)
J. Wang, H\(_\infty \) fault-tolerant controller design for networked control systems with time-varying actuator faults. Int. J. Innov. Comput. Inf. Control 11(4), 1471–1481 (2015)
D. Xu, B. Jiang, P. Shi, Nonlinear actuator fault estimation observer: an inverse system appraoch via a T–S fuzzy model. Int. J. Appl. Math. Comput. Sci. 22, 183–196 (2012)
S. Xu, J. Lam, Robust H\(_\infty \) control for uncertain discrete-time delay fuzzy systems via output feedback controllers. IEEE Trans. Fuzzy Syst. 13(1), 82–93 (2005)
F. Yi-Fu, Z. Xun-Lin, Z. Qing-Ling, Delay-dependent stability criteria for singular time-delay systems. Acta Autom. Sin. 36(3), 433–437 (2010)
K. Zhang, B. Jiang, V. Cocquempot, Adaptive observer-based fast fault estimation. Int. J. Control 6(3), 320–326 (2008)
K. Zhang, B. Jiang, P. Shi, A new approach to observer-based fault-tolerant controller design for Takagi–Sugeno fuzzy systems with state delay. Circuits Syst. Signal Process. 28, 679–697 (2009)
M. Zhang, X. Shen, T. Li, Fault tolerant attitude control for cubesats with input saturation based on dynamic adaptive neural network. Int. J. Innov. Inf. Control 12(2), 651–663 (2016)
Z. Zuo, Y. Wang, Robust stability and stabilisation for nonlinear uncertain time-delay systems via fuzzy control approach. IET Control Theory Appl. 1(1), 422–429 (2007)
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Proof of Theorem 1
Consider the following Lyapunov–Krasovskii functional:
The time derivative of V(t) is given by:
By using Lemma 1, we have:
where
By using (23) and substituting (22), (17) and (39) into Eq. (38), one can obtain:
Applying Jessen’s inequality [9] to deal with the cross product items, we obtain
Noting the extended state vector as follows:
Then, we can write :
where
Denote
where
By using Schur complement, inequality (25) is equivalent to \(\xi ^ T \phi _{i}^{11} \xi (t) + h^2[(E\dot{x}(t))^\mathrm{T} Z_1 (E\dot{x}(s))] + h^2 [\dot{e}_{x}^\mathrm{T}(s) Z_2 \dot{e}_x(s)] < 0\).
If condition (25) holds, it follows from (41) that
where \(\zeta =\lambda _\mathrm{min}(-\phi _i)\)
It follows that \(\dot{V}(t) \leqslant 0\) for \( \zeta \Vert \xi (t) \Vert ^2 > \delta \), and according to Lyapunov stability theory, \(\xi (t)\) will converge to a small set \(\Psi = \{ \xi (t) / \Vert \xi (t) \Vert ^2 \le \frac{\delta }{\zeta } \}\) ; thus, \(\xi (t)\) is uniformly bounded.
The proof is completed.
Appendix B: Proof of Theorem 2
We can write inequality (26) in this form
where
Consider the following symmetric matrix:
where \( \mathbb {Z}_{11} =\hbox {diag}(P_1^{-T},P_1^{-T}), \mathbb {Z}_{22} = \hbox {diag}(P_1^{-T},I,I,I)\) and \(\mathbb {Z}_{33} =P_1^{-T} \)
We can transform inequality (50) by pre- and post-multiplying it by \(\mathbb {Z}\), and we obtain this form:
By using Lemma 2, we obtain the following inequalities:
By applying Schur complement, we obtain the following inequality:
By posing \(X_1=P_1^{-1}, X_2=P_2, \widetilde{Z}_1=P_1^{-1}Z_1 P_1^{-T}, \widetilde{Q}_1=P_1^{-T}Q_1 P_1^{-1}, Y_{1i}=P_2 L_{1i}, Y_{2i}=P_2 L_{2i}\) and \(W_i=K_{i} P^{-1}_1\), we obtain inequality (30).
The proof is completed.
Rights and permissions
About this article
Cite this article
Kharrat, D., Gassara, H., El Hajjaji, A. et al. Adaptive Fuzzy Observer-Based Fault-Tolerant Control for Takagi–Sugeno Descriptor Nonlinear Systems with Time Delay. Circuits Syst Signal Process 37, 1542–1561 (2018). https://doi.org/10.1007/s00034-017-0624-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00034-017-0624-4