Abstract
In this paper, we propose a new fault estimation observer for nonlinear Markovian jump systems. Following the interval type-2 fuzzy logic rules, the original system can be approximated as an interval type-2 fuzzy Markovian jump system. For such a system, we develop a new intermediate fault estimation observer, in which a variable is introduced to estimate actuator faults. Significantly, a larger design freedom can be achieved by providing the observer gain matrix in the new form. To further evaluate the proposed method, multiple fault cases are considered. The proposed method proves effective in the simultaneous fault estimation for both actuator fault and sensor fault. Furthermore, two examples are simulated to numerically verify the feasibility of the given method.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
Markovian jump systems (MJSs) have been widely studied, owing to their powerful ability to describe control systems subject to abrupt changes. They are usually composed of several subsystems, each of which switches according to stochastic signals that obey the Markov process. On account of Markovian switching properties, the current subsystem, which dictates the system dynamic, cannot be known precisely, but only its switching probabilities. Hence, it is more complex to analyze MJSs as compared with standard systems. In addition, the nonlinearities usually exist in the practical system modeling, however, it is difficult to deal with the nonlinearities during modeling processes, exposing a handicap. It is well-known that the type-1 fuzzy method has been popularly used since its appearance. It can describe the fuzzy variables using some selected membership functions, which requires the system states to be exactly known. Although the type-1 T–S fuzzy model provides a handy framework for the controller and observer designs, it cannot perform well in the presence of uncertainties, since their membership functions contain no uncertainty information [1]. Once, when the system states contain uncertainties, the type-1 fuzzy method fails, which, to a large extent, narrows its application scope. For this reason, the type-2 fuzzy method comes out, of which the membership functions have fuzzy properties, just to make up for the type-1 fuzzy method. Due to this, the interval type-2 fuzzy method owns stronger ability to describe the fuzzy systems, and the type-1 fuzzy method can be taken as the special case of it [2,3,4]. Recently, the researchers from control community have post their sight to the type-2 fuzzy filed, and a fruitful of results have been developed.
Based on the aforementioned discussion, a few appealing results have been reported [5,6,7,8]. Among them, the observer design turns out to be a vigorous research field, but is not fully considered. On the other hand, with an eye to the demand of the higher safety in complex systems, observer-based fault estimation methods have attract extensive attentions [8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28]. To name a few, [9] proposed an observer-based fault detection filter for MJSs, which has considered the sensor saturation and randomly varying nonlinearities. Further, [10] developed another filter for MJSs subjected to non-homogeneities, enlisting the help of a fuzzy method. In [11], a reduced-order observer was designed for MJSs with the transition rates being generally uncertain, and it was then applied to estimate the actuator fault and sensor fault simultaneously. Li et al. [12] also considered the simultaneous fault estimation for MJSs, and relying on the estimated fault, a nonfragile fault-tolerant controller was proposed. Li et al. [14] achieved the fault reconstruction for MJSs by virtue of an iterative adaptive observer. On the subject of semi-MJSs. Liang et al. [15] addressed the fault estimation problem, with transition rates being assumed to be partly known. Yang and Yin [16] provided a descriptor observer based on sliding mode technique, aiming to simultaneously estimate both the actuator fault and sensor fault, and further the reduced-order structure of it was developed in [17]. Yang et al. [18] estimated both the additive and multiplicative faults for MJSs through a sliding mode observer design. For the first time, [22] considered the fault interval estimation for discrete-time MJSs, which was based on the zonotope concept. In [8], a novel mixed-triggered filter was designed for interval type-2 fuzzy nonlinear MJSs, where the packet dropout was assumed to happen. By virtue of the zonotope concept, [23] considered the interval fault detection problem for discrete-time MJSs with generally bounded transition probabilities. Kaviarasan et al. [25] investigated the mode-dependent multiple fault estimation method for time-delayed MJSs, taking the exogenous disturbance into consideration. Sun et al. [27] proposed the fast actuator fault estimation strategy for T–S fuzzy MJSs, subjected to bounded unknown input.
In view of the above-mentioned works, this paper is devoted to address the simultaneous fault estimation problem for interval type-2 fuzzy MJSs. Although there already existed rich results on the observer-based fault estimation, some pending gaps are still urgently needed to be bridged, which exactly motivates us to figure out the proposed method:
(1) The sliding mode observer-based method has been widely employed, owing to its robustness against uncertainties [28]. However, it has been found hardly to apply well in MJSs due to its stochastic switching behaviors. In addition, the sliding mode observer-based method [29] involved the design of sliding mode laws as to alleviate fault influences. Unfortunately, this will introduce the chattering phenomenon to the estimation performance, due to the sliding mode control gains being chosen large (according to the fault amplitude) and the reachability problem of sliding mode surface. However, in this paper, sliding mode laws are not required anymore, instead an intermediate variable is introduced, which can overcome the chattering issue.
(2) As for the unknown input observer-based methods [9, 30, 31], the conservatism was posed in computing the gain matrices. Specifically, in [11], the reduced-order observer was designed to estimate the fault, but some restrictive rank conditions were required to be satisfied. In [30], the gain matrices were provided to be constant before solving the observer existence conditions, which would however render these conditions unfeasible.
(3) On the subject of adaptive observer-based methods, transient responses of the fault estimation cannot be ensured well. In [12], adaptive observers were developed to achieve the fault estimation goals, where the transient responses were optimized at the cost of the estimation error convergence. As a comparison, our proposed method allows transient responses to be optimized by letting the eigenvalues of the gain matrix far away from the imaginary axis.
It is exactly the above three points that motivate us to study the fault estimation problem for a class of interval type-2 fuzzy MJSs. In this paper, a new observer structure is developed, in which the observer gain matrix is proposed in a special form. The proposed observer is proved able to simultaneously provide the estimations of the actuator fault and sensor fault. The main contributions of this paper can be summarized as follows:
(1) A new structure of fault estimation observer based on an intermediate variable is proposed to simultaneously estimate the actuator fault and sensor fault, where the existence conditions of the observer have more chance to be computed.
(2) The designed observer owns great design freedom, owing to the special form of the observer gain matrix and the introduction of slack matrix variables.
(3) The restrictive design conditions are unnecessary, such as the matching conditions using in the sliding mode observer design, implying a wider application scope.
Notations: In the paper, \(\parallel x \parallel\) means the Euclidean norm of the vector x. \(A>0\) implies that A is a symmetric positive definite matrix, and \(\lambda _{min}(P)\) and \(\lambda _{max}(P)\) are the minimum and maximum eigenvalues of matrix P. In addition, the asterisk \(*\) represents the symmetric terms in a symmetric matrix.
2 Problem Statement and Preliminaries
Consider a nonlinear MJSs that can be represented by the interval type-2 fuzzy system with the following fuzzy rules as:
Rule i: If \(\phi _1(x(t))\) is \(\varphi _1^i\), and, ....., if \(\phi _k(x(t))\) is \(\varphi _k^i\), then
where \(x(t)\in R^n\), \(u(t)\in R^m\), and \(y(t)\in R^p\) are the states, input and output, respectively. \(f_a(t)\in R^q\) stands for the actuator fault that undermines the system. The matrices \(A_i(r(t))\), \(B_i(r(t))\), D(r(t)) and C(r(t)) are constant with appropriate dimension. In addition, r(t) obeys the continuous-time discrete state Markov process, which borrows values from the finite positive integer set \(S=\{1,2,...,s\}\). Specifically, the jump probability from mode i at time t to mode j at time \(t+h\) can be calculated by
where \(\pi _{ij}\) is the transition rate coming from the transition rate matrix \(\Theta\), and \(\pi _{ij}\ge 0\) if \(i\ne j\), and \(\pi _{ij}\le 0\), otherwise. When \(s=3\), the transition rate matrix is in the form of
For \(\pi _{ij}\), we have \(\sum \nolimits _{j=1}^s\pi _{ij}=0\). Later, we note \(A_i(r(t)=j)=A_{ij}\) for abbreviation. In addition, \(\phi _w(x(t))\) is an interval type-2 fuzzy set of rule i corresponding to the function \(\varphi _w^i(x(t))\), \(w=1,2,...,k\), \(i=1,2,...,r\). The firing strength of the ith rule is as follows:
where
and
It is easily seen that \(\rho _i^L(x(t)) \ge 0\) and \(\rho _i^U(x(t)) \ge 0\). In addition, \(\vartheta _{\varphi _{w }^i}^U(\phi _{w }(x(t)))\in [0,1]\) and \(\vartheta _{\varphi _{w }^i}^L(\phi _{w }(x(t)))\in [0,1]\) denote the upper and lower grades of membership governed by the corresponding membership functions, respectively. Hence, it exhibits the fact that \(\vartheta _{\varphi _{w }^i}^U(\phi _{w }(x(t)))\ge \vartheta _{\varphi _{w }^i}^L(\phi _{w }(x(t)))\), thus leading to \(\rho _i^U(x(t))\ge \rho _i^L(x(t))\). According to [1], the inferred interval type-2 T–S fuzzy model can be given as:
where \(\breve{\omega }_i(t)=\hbar ^U(x(t))\rho _i^U(x(t))+\hbar ^L(x(t))\rho _i^L(x(t))\in [0,1]\), \(\sum \limits _{i=1}^r\breve{\omega _i}(t)=1\). \(\hbar ^U(x(t))\in [0,1]\) and \(\hbar ^L(x(t))\in [0,1]\) are nonlinear functions satisfying \(\hbar ^L(x(t))+\hbar ^U(x(t))=1\).
The followings give some assumptions and lemmas, in order to facilitate the derivation of the main result.
Assumption 1
We assume that the matrix \(D_j\) is of full column rank, and \(rank(D_j)=rank(C_jD_j)\).
Assumption 2
The derivative of the considered actuator fault is bounded by some positive integer \(\varepsilon\), that is \(\Vert \dot{f_a}(t)\Vert \le \varepsilon\).
Remark 1
In fact, the assumptions in the paper do not handicap the proposed method. Assumption 1 plays a vital role in the observer design, which was also widely used in the observer design results [28, 32]. It is not difficult to satisfy for practical systems. Assumption 2 has strong generality, as the changing rate of occurred faults are with boundaries. Actually, it makes no sense to consider the infinite fault, because it cannot be suppressed at all using the effective robust control methods, such as \(H_\infty\) method, sliding mode control method, etc.. Due to this, Assumption 2 exists extensively in the observer design [33, 34].
Lemma 1
(Young’s Inequality) For any \(\mu _1\in R^n\) and \(\mu _2\in R^n\), there exists
where \(\alpha >0\), \(a>0\), \(b>0\) and \(ab=a+b\).
With an eye to the demand of the higher safety for MJSs, the observer-based fault estimation has attracted considerable attentions, since it serves as the basis of fault-tolerant control. Although some appealing results have been proposed for the fault estimation, there still exist some gaps needed to be filled. Hence, it makes sense to deal with the fault estimation problem for MJSs, and that’s what follows subsequently.
3 Fault Estimation Observer Design
In general, the considered interval type-2 fuzzy MJS can be represented as:
Define a new immediate variable \(\xi (t)=f_a(t)-K_jy(t)\), where \(K_j\in R^{q\times p}\) is an unknown matrix to be determined later. In this way, we have
According to the structures of (1) and (2), we provide the fault estimation observer as follows:
where \(\hat{f_a}(t) \in R^q\) is the estimated actuator fault, and \(L_{ij}\in R^{n \times p}\) and \(K_j \in R^{q \times p}\) are the unknown observer gain matrices.
Let the estimation errors be \({\tilde{x}}(t)=x(t)-{\hat{x}}(t)\), and \(e_\xi (t)=\xi (t)-{\hat{\xi }}(t)\) and \({\tilde{f}}_a(t)=f_a(t)-{\hat{f}}_a(t)\). Then, subtract the first equation and second equation from (1) and (2), respectively, and one has
and
by noticing \(\xi (t)=f_a(t)-K_jy(t)\). It can be easily seen that
Substituting (6) into (4) yields
In order to facilitate the observer design, we now give the matrix \(K_j\) as \(K_j=Q_j((C_jD_j)^TC_jD_j)^{-1}(C_jD_j)^T\), where \(Q_j\in R^{q\times q}\) is an arbitrary matrix that can be determined later. According to Assumption 2, we know that \((C_jD_j)^TC_jD_j\) is invertible. Hence, substitute \(K_j\) into (5), and we have
Remark 2
From (8), we can see that the stability of (8) depends on the matrix \(Q_j\). In this paper, we set \(Q_j\) to be chosen according to the stability conditions of (8) instead of making it be constant. In [31], matrix \(Q_j\) designed to be \(Q_j=\kappa D_j^TD_j\), where \(\kappa \ge 0\) is an arbitrary scalar, has more conservatism in stabilizing (8). Due to the introducing of \(Q_j\), more design freedom is added to the proposed method, which leads the following stability conditions easy to find solutions.
Subsequently, the main result of the paper is shown in the following Theorem 1, which not only gives the existence conditions of the designed observer, but also provides a way to calculate the observer gain matrices \(L_{ij}\) and \(K_j\).
Theorem 1
For given scalar \(\gamma \ge 0\), if there exist matrices \(P_j \in R^{n\times n}>0\), \(\Gamma _j \in R^{n\times n}>0\), and matrices \(Y_{ij} \in R^{n\times p}\) and \(M_j \in R^{q\times q}\) such that the following linear matrix inequality is feasible for \(i=1,2,...,r\), \(j=1,2,...,s\)
where \(\Phi _{11}=P_jA_{ij}-Y_{ij}C_j+A_{ij}^TP_j-C_j^TY_{ij}^T+\sum \limits _{l=1}^s\pi _{jl}P_l\), \(\Phi _{12}=P_jD_j-A_{ij}^TC_j^T\Psi _j^TM_j^T\), \(\Phi _{22}=-M_j^T-M_j+\sum \limits _{l=1}^s\pi _{jl}\Gamma _l\), \(\Psi _j=((C_jD_j)^TC_jD_j))^{-1}(C_jD_j)^T\), \(M_j=\Gamma _jQ_j\) and \(Y_{ij}=P_jL_{ij}\), then the error systems (7) and (8) can be found uniformly stable.
Proof
Consider the Lyapunov function as \(V(j,t)={\tilde{x}}^T(t)P_j\tilde{x}(t)+e_\xi ^T(t)\Gamma _j e_\xi (t)\), and taking the derivative of it yields
According to Lemma 1, we have
where \(\delta >0\). Substituting (11) into (10) yields
Rewrite (12) into a compact form as
where \(\zeta =\left[ {\begin{array}{*{20}{c}} {\tilde{x}(t)}&{e_{\xi }(t)}\end{array}}\right] ^T\), \({\bar{\Phi }}_{11}=P_j(A_{ij}-L_{ij}C_j)+(A_{ij}-L_{ij}C_j)^TP_j+\sum \limits _{l=1}^s\pi _{jl}P_l\), \({\bar{\Phi }}_{12}=P_jD_j-A_{ij}^TC_{ij}^TK_j^T\Gamma _j^T\), \({\bar{\Phi }}_{22}=\frac{1}{\delta }\Gamma _j^T\Gamma _j+\sum \limits _{l=1}^s\pi _{jl}\Gamma _l-(\Gamma _jQ_j)^T-\Gamma _jQ_j\), and \(\Omega _{il}=\left[ {\begin{array}{*{20}{c}} {{\bar{\Phi }} _{11}}&{}{{\bar{\Phi }} _{12}}\\ {*}&{}{{\bar{\Phi }} _{22}}\end{array}}\right]\).
By performing Schur complement on \(\Omega _{il}<0\), one obtains
which equals to (9) by noticing \(\Psi _j=((C_jD_j)^TC_jD_j))^{-1}(C_jD_j)^T\), \(M_j=\Gamma _jQ_j\) and \(Y_{ij}=P_jL_{ij}\). Hence, on the one hand, we have
On the other hand, one gets
which implies that
Substituting (17) into (15) yields
where \(\beta =\frac{min\{\lambda _{min}(-\Omega _{il})\}}{max\{\lambda _{max}(P_l),\lambda _{max}(\Gamma _l)\}}\).
If the pair \(({\tilde{x}}(t),e_\xi (t))\in {\mathcal {W}}\), where
there exists \({\mathcal {L}} V(l,t)\le 0\), which ensures the uniformly bounded stability. Then, (7) and (8) converge to \({\mathcal {W}}\) at a rate greater than \(e^{-\beta t}\), according to the Lyapunov stability theory and (18). This ends the proof. \(\square\)
Remark 3
If the actuator fault is constant, the inequality (18) becomes \({\mathcal {L}} V(j,t)\le -\beta V(j,t)\), which guarantees the mean-square exponentially stability [30]. This means, for the constant fault, the proposed observer can acquire a more accurate estimation.
Remark 4
In fact, the intermediate variable is used to generate the estimated fault with the help of the output. However, this requires the estimation of \(\xi (t)\) since the output has been already known. Hence, the dynamics of the intermediate variable \(\xi (t)\) is given in (2), in order to design another observer to estimate it. After estimating the intermediate variable \(\xi (t)\), the estimation of the fault can be obtained by the third equation of (3).
4 Extension to Multiple Fault Estimation
In this section, the sensor fault is considered in the original system, which can also be estimated by the developed observer. A kind of interval type-2 fuzzy MJS, suffering from the sensor fault, can be written as follows:
where \(f_s(t) \in R^{\omega }\) is the occurred sensor fault.
Assumption 3
The derivative of the considered sensor fault \(\dot{f}_s(t)\) is bounded by some positive integer \(\chi\), that is \(\Vert \dot{f}_s(t)\Vert \le \chi\).
Define a new variable \({\bar{x}}(t)=\left[ {\begin{array}{*{20}{c}} {x(t)}\\ {f_s(t)}\end{array}}\right]\), then system (19) can be transformed into
where \({\bar{A}}_{ij}=\left[ {\begin{array}{*{20}{c}} {A_{ij}}&{}{0}\\ {0}&{}{0}\end{array}}\right]\) , \({\bar{B}}_{ij}=\left[ {\begin{array}{*{20}{c}} {B_{ij}}\\ {0}\end{array}}\right]\) ,\({\bar{D}}_j=\left[ {\begin{array}{*{20}{c}} {D_j}\\ {0}\end{array}}\right]\), \({\bar{I}}=\left[ {\begin{array}{*{20}{c}} {0}\\ {I}\end{array}}\right]\) , and \({\bar{C}}_j=\left[ {\begin{array}{*{20}{c}} {C_j}&{E_j}\end{array}}\right]\).
Then, define a new variable \({\bar{\xi }}(t)=f_a(t)-{\bar{K}}_jy(t)\), where \({\bar{K}}_j \in R^{q \times p}\) is an unknown matrix to be determined later. Similarly, we have
According to the structures of (20) and (21), the fault estimation observer is proposed as:
where \({\bar{L}}_{ij}\in R^{(n+\omega )\times p}\) and \({\bar{K}}_{j}\in R^{q\times p}\) are the unknown observer gain matrices.
Define \(\tilde{{\bar{x}}}(t)={\bar{x}}(t)-\hat{{\bar{x}}}(t)\) and \({\tilde{\xi }}(t)={\bar{\xi }}(t)-\hat{{\bar{\xi }}}(t)\). Then, the error dynamic systems are
and
The structure of matrix \({\bar{K}}_j\) is constructed as
where \({\bar{Q}}_j\in R^{q\times q}\) is an arbitrary matrix that can be determined later. According to Assumption 2, we know that
Hence, \({\bar{C}}_j{\bar{D}}_j\) is of full column rank and \(({\bar{C}}_j{\bar{D}}_j)^T{\bar{C}}_j{\bar{D}}_j\) is invertible. Substitute \({\bar{K}}_j\) into (24) and we have
The following Theorem 2 is another main result of this paper, which extends the previous result to the multiple fault situation.
Theorem 2
For given scalars \(\varepsilon _1,\varepsilon _2,\varepsilon _3>0\), if there exist matrices \({\bar{P}}_j\in R^{(n+\omega )\times (n+\omega )}>0\), \({\bar{\Gamma }}_j \in R^{q\times q}>0\) and matrices \({\bar{Y}}_{ij}\in R^{(n+\omega )\times p}\) and \({\bar{M}}_j \in R^{q\times q}\), the following linear matrix inequality is feasible for \(i=1,2,..,r\), \(j=1,2,...,s\),
where \({\bar{\psi }}_{11}={\bar{P}}_j{\bar{A}}_{ij}-{\bar{Y}}_{ij}{\bar{C}}_j+({\bar{P}}_j{\bar{A}}_{ij}-{\bar{Y}}_{ij}{\bar{C}}_j)^T+\sum \limits _{l=1}^s\pi _{jl}{\bar{P}}_l\), \({\bar{\psi }}_{12}={\bar{P}}_j{\bar{D}}_{j}-{\bar{A}}_{ij}^T{\bar{C}}_j^T{\bar{\psi }}_j^T{\bar{M}}_j^T\), \({\bar{\psi }}_{22}=-{\bar{M}}_j^T-{\bar{M}}_j+\sum \limits _{l=1}^s\pi _{jl}{\bar{\Gamma }}_l\), \({\bar{\Psi }}_j=(({\bar{C}}_j{\bar{D}}_j)^T{\bar{C}}_j{\bar{D}}_j)^{-1}({\bar{C}}_j{\bar{D}}_j)^T\), \({\bar{M}}_j={\bar{\Gamma }}_jQ_j\), and \({\bar{Y}}_{ij}={\bar{P}}_j{\bar{L}}_{ij}\), then, the error systems (23) and (25) are uniformly stable.
Proof
Consider the Lyapunov function as \({\bar{V}}(j,t)=\tilde{{\bar{x}}}^T(t){\bar{P}}_j \tilde{{\bar{x}}}(t)+\tilde{{\bar{\xi }}}^T(t){\bar{\Gamma }}_j\tilde{{\bar{\xi }}}(t)\), and taking the derivative of it yields
According to lemma 1, we have
Substituting (28)–(30) into (27) yields
Rewrite (31) into a compact form as
where
By performing Schur complement on \(\Omega _{ij}\), one obtains \(\Omega _{ij}<0\) by noticing \({\bar{\Psi }}_j=(({\bar{C}}_j{\bar{D}}_j)^T{\bar{C}}_j{\bar{D}}_j)^{-1}({\bar{C}}_j{\bar{D}}_j)^T\), \({\bar{M}}_j={\bar{\Gamma }}_j{\bar{Q}}_j\), and \({\bar{Y}}_{ij}={\bar{P}}_j{\bar{L}}_{ij}\).
By following the similar steps with the analysis in Theorem 1, we can prove that the error systems (23) and (25) are uniformly stable. This ends the proof. \(\square\)
Further, to better understand the whole design process, detailed algorithms are listed as follows.
(1) Solve the inequality (9) in Theorem 1 to compute \(P_j\), \(\Gamma _j\), \(Y_{ij}\) and \(M_j\), whereupon the observer gain matrix \(L_{ij}\) and slack variable \(Q_j\) can be worked out as \(L_{ij}=P_j^{-1}Y_{ij}\) and \(Q_j=\Gamma _j^{-1}M_j\).
(2) Then based on 1), another gain matrix \(K_j\) can be obtained by \(K_j=Q_j((C_jD_j)^TC_jD_j)^{-1}(C_jD_j)^T\).
(3) With the obtained \(L_{ij}\) and \(K_j\), the observer in (3) can be constructed in order to provide \({\hat{\xi }}(t)\). Hence, the estimated actuator fault can be obtained from the third equation of (3).
Remark 5
In this paper, a novel fault estimation observer is developed for interval type-2 fuzzy MJSs, by use of the intermediate variable method. With the aid of an introduced intermediate variable, the fault estimation observer is designed to estimate the actuator fault. In addition, to further discuss the extension of the proposed method, the designed observer is then proved to be applicable for the multiple fault case. It is worth saying that the proposed fault estimation observer shows some superiorities over those existing ones. For instance, a majority of existing methods employed the sliding mode observers, adaptive observers or unknown input observers to estimate faults. Specifically, the sliding mode observer cannot applied well to MJSs due to their stochastic switching natures. The adaptive observer would pose conservatism for computing the gain matrices. The unknown input observer has to involve the derivative of the output, which is factually hard to be realized for MJSs. In contrast, the proposed method applies to both the standard and switching systems and, with a special design of the gain matrix, its freedom in matrix calculations turns out to be greater than the above-mentioned ones which has been explained in Remark 6.
Remark 6
In view of the designed observer structure, a slack variable is introduced in the gain matrix design, so as to augment the freedom in gain matrix calculations. In this way, the design of \(K_j\) allows the estimation error system to be transformed into (8). In addition, consider the observer error system (7), which can be robustly stable by making the pair \((A_{ij},C_j)\) observable. Then, it is obvious that the stability of (7) has a big chance to ensure the convergence of (8) for a positive variable matrix \(Q_j\). In fact, these two conditions are normal, and they are easy to satisfy as well as to apply in computing gain matrices, suggesting that the proposed method has a large design freedom.
Remark 7
In traditional fault estimation methods, some restrictive conditions were required, which were however difficult to satisfy in practice. For example, the sliding mode observer and unknown input observer needed to satisfy observer matching conditions, while the reduced-order observer required the system matrices to satisfy some special rank conditions. In contrast, the proposed observer makes no demand on such restrictive preconditions anymore, which can thus undoubtedly extend its application scopes.
Remark 8
In fact, the observer design algorithm and the controller design algorithm are two different things. According to the separate principle, the algorithm of observer design has nothing to do with that of the controller design. Specifically, the controller algorithm is mainly developed to keep the system safe and reliable. In contrast, the observer algorithm in this paper is developed to estimate the actuator fault and sensor fault simultaneously. On the other hand, the core to the controller algorithm consists in seeking a suitable control gain matrix as to keep the closed-loop system stable, while the observer algorithm is devoted to design a gain matrix as to make the estimation error system stable. It is apparent that these two algorithms are totally different.
5 Simulation
5.1 Single Fault Situation
In this section, the developed fault estimation method is applied to the considered system with actuator fault. The system matrices are represented as
The actuator fault is set to be \(f_a(t)=1\), which is constant. In addition, we set the transition rate matrix to be \(\left[ {\begin{array}{*{20}{c}} {-2}&{}{2}\\ {1}&{}{-1}\end{array}}\right]\), and \(\gamma =1\). In addition, \(\breve{\omega }_1(t)=1-\frac{1}{e^{-(y_1+4+0.1sin(t))}}\), \(\breve{\omega }_2(t)=1-\breve{\omega }_1(t)\). Substitute these parameters into Theorem 1, and we obtain
Hence, the designed observer (3) can be accomplished, and the corresponding performances are exhibited in the following Figs. 1 and 2 with the initial conditions being \(x(0)=\left[ {\begin{array}{*{20}{c}} {0.2}&{0.1}\end{array}}\right] ^T\). The results reveal that the considered actuator fault can be estimated well, thus validating the proposed method.
The proposed method has shown the robustness against faults and disturbances in the estimation process. In the design process, the robustness against faults and disturbances is considered using the inequality technique, and thus the uniformly stability is closely tied to the boundaries of faults and disturbances. Especially for the incipient fault with low amplitudes, the proposed method has strong robustness, showing a good estimation performance. In order to testify the robustness of the proposed strategy, we have also examined it in the simulation, with \(f_a(t)=0.8sin(0.01t)\) and \(d(t)=0.05sin(t)\). Estimation results are depicted in Fig. 3, which clearly shows the robustness of the proposed method.
5.2 The Multiple Fault Situation
Based on the first simulation, now we assume that the sensor fault happens as \(f_s(t)=0.01sin(t)+0.2sin(0.1t)\). By setting \(\breve{\omega }_1(t)=1-\frac{1}{e^{-(y_1+4+0.1sin(t))}}\), \(\breve{\omega }_2(t)=1-\breve{\omega }_1(t)\), and \(\varepsilon _1=\varepsilon _2=\varepsilon _3=1\) , the observer gain matrices are calculated from Theorem 2 as
The simulation results are shown in Figs. 4 and 5, from which we can see that the proposed fault estimation method can provide accurate actuator and sensor fault estimations, thus showing the effectiveness of the proposed method.
5.3 Comparative Study and Comparative Analysis
To validate the above-mentioned discussions in Remarks 5-7, we also provide some comparisons from the simulation aspect. In detail, Fig. 2 shows estimation results for actuator fault and sensor fault from the proposed method, while Figs. 6 and 7 from the adaptive observer and sliding mode observer-based methods, respectively. By comparing Figs. 2 and 6, one can clearly see that the convergence of the proposed observer is much faster, implying a better transient response, as stated in Remark 6. From Figs. 2 and 7, the sliding mode observer performs poorly in the fault estimation, on account of the chattering phenomenon, which is inescapable for large fault amplitudes as stated in Remark 5.
In addition, we let the \(Q_i\) to be 3, and \(K_i\) tends to be constant, like the method proposed in [30]. However, we find that, in this case, the linear matrix inequalities in Theorem 1 are not feasible. However, the proposed method can always find the feasible solution due to the design of \(K_i\). Hence, this reveals that the proposed method has less conservatism than the existing methods, and has much more freedom to have solution to the designed observer, as stated in Remarks 2 and 6.
5.4 Practical Example
This example is brought to prove the feasibility of the proposed method for MJSs. We choose the decoupled circuit of inductively coupled power transmission system, which is composed of inductors, capacitances, resistors, Mos-tubes and diodes. The equivalent circuit can be described in Fig. 8, by letting the bridge rectifying circuit be equalled to a signal, obeying the Markov process [11]. The followings are the system matrices of the circuit.
The signal \({S_r}(t) = \left\{ \begin{array}{l} 1,\,\,r = 1\\ - 1,\,\,\,r = 2 \end{array} \right.\) obeys a Markov process, and lead the model be a MJS. Referring to [11], the parameters are listed in Table 1 below.
The other parameters are the same as the previous study, and especially, \(\breve{\omega }_1(t)=1\). The actuator fault is set as \(f_a(t) = \left\{ \begin{array}{l} 0,\,\,t\le 20\\ 2,\,\,\,t>20 \end{array} \right.\).
The simulation results are depicted in Figs. 9, 10, 11, and 12, which can prove the efficiency of the proposed method. The estimations of the states are provided in Figs. 9, 10, and 11, from which the estimated curves can track the real ones quickly and accurately. Figure 12 tells that the actuator fault can be estimated well using the proposed method.
6 Conclusion
In this paper, a novel fault estimation observer is proposed for a class of MJSs. By defining a new variable, the actuator fault can be estimated without restrictive preconditions. The proposed estimation method owns large freedom owing to the special form of the observer gain matrix. The existence conditions of the designed observer is given in terms of linear matrix inequality. Two numerical examples are presented to validate the effectiveness of the proposed method. In addition, it can be seen that the convergence region of the estimation error depends on the derivative of the fault, which results in poor estimation performances for some faults with large derivatives. Then, how to figure out an effective way to ensure the asymptotic stability of the estimation error system becomes our next technical goal. What’s more, the membership function is not involved in the design process, which poses a conservatism of the proposed method. In order to improve the design freedom, the operation domain should be split, and then the membership functions can be estimated. Whereupon, a more relaxed existing condition of the observer can be obtained, which will also be our future works.
References
Peng, C., Wen, L.Y., Yang, J.Q.: On delay-dependent robust stability criteria for uncertain TS fuzzy systems with interval time-varying delay. Int. J. Fuzzy Syst. 13(1), 1 (2011)
Liang, Q., Mendel, J.M.: Equalization of nonlinear time-varying channels using type-2 fuzzy adaptive filters. IEEE Trans. Fuzzy Syst. 8(5), 551–563 (2000)
Hagras, H.A.: A hierarchical type-2 fuzzy logic control architecture for autonomous mobile robots. IEEE Trans. Fuzzy Syst. 12(4), 524–539 (2004)
Xie, W., Liu, B., Bu, L., et al.: A decoupling approach for observer-based controller design of TS fuzzy system with unknown premise variables. IEEE Trans. Fuzzy Syst. 29(9), 2714–2725 (2020)
Nguyen, T.B., Kim, S.H.: Dissipative control of interval type-2 nonhomogeneous Markovian jump fuzzy systems with incomplete transition descriptions. Nonlinear Dyn. 1, 1–20 (2020)
Yang, J., Niu, Y., Zhang, Z.: Dynamic event-triggered sliding mode control for interval Type-2 fuzzy systems with fading channels. ISA Trans. 110, 53–62 (2021)
Wang, N., He, H.: Dynamics-level finite-time fuzzy monocular visual servo of an unmanned surface vehicle. IEEE Trans. Ind. Electron. 67(11), 9648–9658 (2019)
Lu, Z., Ran, G., Xu, F., et al.: Novel mixed-triggered filter design for interval type-2 fuzzy nonlinear Markovian jump systems with randomly occurring packet dropouts. Nonlinear Dyn. 97(2), 1525–1540 (2019)
Dong, H., Wang, Z., Gao, H.: Fault detection for Markovian jump systems with sensor saturations and randomly varying nonlinearities. IEEE Trans. Circuits Syst. I 59(10), 2354–2362 (2012)
Li, F., Shi, P., Lim, C.C., et al.: Fault detection filtering for nonhomogeneous Markovian jump systems via a fuzzy approach. IEEE Trans. Fuzzy Syst. 26(1), 131–141 (2016)
Li, X., Zhang, W., Wang, Y.: Simultaneous fault estimation for Markovian jump systems with generally uncertain transition rates: a reduced-order observer approach. IEEE Trans. Ind. Electron. 67(9), 7889–7897 (2019)
Li, X., Ahn, C.K., Lu, D., et al.: Robust simultaneous fault estimation and nonfragile output feedback fault-tolerant control for Markovian jump systems. IEEE Trans. Syst. Man Cybern. 49(9), 1769–1776 (2018)
Li, X., Zhang, W., Wang, Y.: Simultaneous fault estimation for uncertain Markovian jump systems subjected to actuator degradation. Int. J. Robust Nonlinear Control 29(13), 4435–4453 (2019)
Chen, L., Shi, P., Liu, M.: Fault reconstruction for Markovian jump systems with iterative adaptive observer. Automatica 105, 254–263 (2019)
Liang, H., Zhang, L., Karimi, H.R., et al.: Fault estimation for a class of nonlinear semi-Markovian jump systems with partly unknown transition rates and output quantization. Int. J. Robust Nonlinear Control 28(18), 5962–5980 (2018)
Yang, H., Yin, S.: Descriptor observers design for Markov jump systems with simultaneous sensor and actuator faults. IEEE Trans. Autom. Control 64(8), 3370–3377 (2018)
Yang, H., Yin, S.: Reduced-order sliding-mode-observer-based fault estimation for Markov jump systems. IEEE Trans. Autom. Control 64(11), 4733–4740 (2019)
Yang, H., Luo, H., Kaynak, O., et al.: Adaptive SMO-based fault estimation for Markov jump systems with simultaneous additive and multiplicative actuator faults. IEEE Syst. J. (2020). https://doi.org/10.1109/JSYST.2020.2963909
Shi, P., Liu, M., Zhang, L.: Fault-tolerant sliding-mode-observer synthesis of Markovian jump systems using quantized measurements. IEEE Trans. Ind. Electron. 62(9), 5910–5918 (2015)
Li, X., Zhang, W.: Integrated finite-time fault estimation and fault-tolerant control for Markovian jump systems with generally uncertain transition rates. J. Franklin Inst. 357(16), 11298–11322 (2020)
Chen, F., Lu, D., Li, X.: Robust observer based fault-tolerant control for one-sided Lipschitz Markovian jump systems with general uncertain transition rates. Int. J. Control Autom. Syst. 17(7), 1614–1625 (2019)
Li, X., Zhang, W., Lu, D.: Zonotopic fault interval estimation for discrete-time Markovin jump systems with generally bounded transition probabilities. J. Franklin Inst. 358(3), 2138–2160 (2021)
Lu, D., Zhang, X., Lan, Y., et al.: Fault detection and isolation for discrete-time Markovian jump systems with generally bounded transition probabilities: a zonotope-based method. Trans. Inst. Measur. Control 43(13), 2885–2887 (2021)
Wang, N., Ahn, C.K.: Coordinated Trajectory Tracking Control of a Marine Aerial-Surface Heterogeneous System. IEEE/ASME Trans. Mechatron. 26(6), 3198–3210 (2021)
Kaviarasan, B., Kwon, O.M., Jin Park, M., et al.: Mode-dependent intermediate variable-based fault estimation for Markovian jump systems with multiple faults. Int. J. Rob. Nonlinear Control 31(8), 2960–2975 (2021)
Wang, N., He, H.: Extreme learning-based monocular visual servo of an unmanned surface vessel. IEEE Trans. Ind. Inf. 17(8), 5152–5163 (2020)
Sun, C., Huang, S., Wu, L., et al.: Robust fast adaptive fault estimation for TS fuzzy Markovian jumping systems with mode-dependent time-varying state delays. Math. Problems Eng. (2021). https://doi.org/10.1155/2021/6646201
Yan, X.G., Edwards, C.: Nonlinear robust fault reconstruction and estimation using a sliding mode observer. Automatica 43(9), 1605–1614 (2007)
Li, H., Gao, H., Shi, P., et al.: Fault-tolerant control of Markovian jump stochastic systems via the augmented sliding mode observer approach. Automatica 50(7), 1825–1834 (2014)
Zhu, J.W., Yang, G.H., Wang, H., et al.: Fault estimation for a class of nonlinear systems based on intermediate estimator. IEEE Trans. Autom. Control 61(9), 2518–2524 (2015)
Wang, N., Su, S.F.: Finite-time unknown observer-based interactive trajectory tracking control of asymmetric underactuated surface vehicles. IEEE Trans. Control Syst. Technol. 29(2), 794–803 (2021)
Zhang, K., Jiang, B., Cocquempot, V.: Adaptive observer-based fast fault estimation. Int. J. Control Autom. Syst. 6(3), 320–326 (2008)
Zhang, K., Jiang, B., Shi, P.: Fast fault estimation and accommodation for dynamical systems. IET Control Theory Appl. 3(2), 189–199 (2009)
Liu, M., Zhang, L., Shi, P., et al.: Fault estimation sliding-mode observer with digital communication constraints. IEEE Trans. Autom. Control 63(10), 3434–3441 (2018)
Acknowledgements
This research is supported by National Natural Science Foundation under Grant Nos. 61803256, 61627810 and 61473183, and Shanghai Natural Science Foundation 21ZR1426100.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Springer Nature or its licensor holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Li, X., Lu, D., Tong, Y. et al. A New Fault Estimation Observer Design for Nonlinear Markovian Jump Systems: An Interval Type-2 Fuzzy Method. Int. J. Fuzzy Syst. 25, 302–315 (2023). https://doi.org/10.1007/s40815-022-01318-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40815-022-01318-8