Abstract
In this paper, a robust fault estimation method based on unknown input observer (UIO) is proposed to estimate states, actuator and sensor faults simultaneously in a discrete-time system. The UIO is designed by using an \(H_\infty \) technique, which is developed to both maintain the estimation error stable and reduce the disturbances that cannot be decoupled. In the first part of this paper, the observer is addressed for discrete-time linear systems subjected to sensor noise and process disturbances. In sequence, the method is extended to handle Lipschitz nonlinear systems. The proposed method is validated through two numerical examples, and a comparison between the proposed techniques and Extended Kalman Filter is presented. The results show the proposed approach as a better observer in terms of state and fault estimation, and process disturbance and sensor noise rejection.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Modern industrial processes must guarantee efficiency of industrial production. In general, many equipments operate in an interconnected way. This happens when the measured variable, corresponding to a particular device, influences the operation of another equipment. The presence of malfunctions or defects in a single component may affect drastically the whole system performance. In order to avoid deterioration or damage to machines and human beings, fault-tolerant control (FTC) is incorporated into the processes. This type of control is able to detect and compensate faults quickly, so their effects are not propagated to the other components in the process. FTC has become an important line of research because it increases the safety and reliability of control loop. During the last two decades, many papers related to FTC techniques were published (Patton and Chen 1997; Li et al. 2012; Cao et al. 2011), as well as, their application, i.e., in level control, power converters and vehicle model control (Noura et al. 2009; Li et al. 2016; Chen et al. 2018).
An important role of FTC is the fault compensation in control systems. Those faults may affect the performances of the actuators, sensors and the plant itself. Particularly, fault estimation is a powerful feature of an active FTC because it can provide information about the magnitude and shape of the fault. The fault reconstruction is an important feature in various applications in control reconfiguration and real-time decisions. There are many observer-based approaches that can be used to perform the state and fault estimation, e.g., sliding mode observers (Chen and Saif 2007; Van et al. 2013), adaptive scheme (Wen et al. 2015; Reppa et al. 2014), differential geometric method (Persis and Isidori 2001; Meskin and Khorasani 2010) and unknown input observer (UIO) which was proposed in Chen et al. (1996) and was used for robust state estimation in systems affected by uncertainties in Vu et al. (2017), although they were proposed for continuous-time system and for states estimates only.
The main drawback of aforementioned methods is that most of the implemented controllers based in micro-processed devices which must be analyzed as a discrete-time process. Many researchers have focused on discrete-time observers for discrete-time systems subjected to faults. For instance, Jia et al. (2015) and Witczak et al. (2016) present approaches which are able to estimate faults in nonlinear systems. However, they do not perform both actuator and sensor fault estimation simultaneously. The UIO design method proposed by Gao (2015) is able to estimate the states and both actuator and sensor fault signal in a system affected by process disturbances and sensor noise. Nevertheless, it does not extend the approach to a Lipschitz nonlinear system. Additionally, although the observer proposed in Gu and Yang (2018) is able to simultaneously perform fault estimation in actuator and sensor of Lipschitz nonlinear systems, it does not consider sensor disturbances, and to obtain the estimator design, the sensor fault distribution matrix must be exactly known, which is unrealistic in many practical applications.
As seen, new approaches should address to UIO capable of handling sensor and actuator fault estimation for Lipschitz nonlinear discrete-time systems subjected to process and measurement disturbances. Under this assumption, we propose a robust actuator and sensor fault estimator design to discrete-time systems. In order to achieve this objective, firstly, an augmented system is obtained from an augmented state vector composed of system states and faults. This augmented system is based on the methodology presented in Gao et al. (2016). After that, the appropriated robust observer is used to decoupling process disturbances. In addition, sufficient conditions for observer existence are described. Then, the robust UIO gain matrices are obtained using linear matrix inequality (LMI) optimization techniques which are based on Vu et al. (2017) and Rotondo et al. (2016). These approaches were used to ensure error estimation dynamics stable and to attenuate the other disturbances that cannot be decoupled.
The reminder of this paper is organized as follows. In Sect. 2, the proposed method is presented in linear discrete-time system context. In sequence, in Sect. 3, the proposed technique is extended to Lipschitz nonlinear systems. Finally, the effectiveness of the proposed methods is validated by two numerical examples, in Sect. 4.
Notations Throughout this paper, the notation \({\mathcal {R}}^n\) and \({\mathcal {R}}^{n\times m}\) stand for the n-dimensional Euclidean space and the set of \(n\times m\) real matrices, respectively. \(\mathbf{I }_n\) denotes identity matrix with dimension of \(n\times n\). \(\mathbf{0 }_{n\times m}\) is a matrix which all entries are zero and its dimension is \(n\times m\). The superscript T denotes the transpose of matrices or vectors. The notations \(\mathbf{X }>0\) and \(\mathbf{X }<0\) indicate that the symmetric matrix \(\mathbf{X }\) is positive definite and negative definite, respectively. \(|\mathbf{x }_k|\) represents the standard norm of \(\mathbf{x }_k\), and \(||\mathbf{x }_k||_{l_2}=\sqrt{\sum _{k=0}^\infty \mathbf{x }_k^{\mathrm{T}}\mathbf{x }_k}\) stands for Euclidean norm of sequences of vectors. Moreover, we also have
in large matrix expressions.
2 Linear Case
In this section, UIO fault estimation methods are described for a linear system subjected to actuator and sensor faults, process disturbances and sensor noise.
Consider a dynamic linear discrete in time system represented in state-space form as:
where \(\mathbf{x }_k \in {\mathcal {R}}^n\) is the system states vector, \(\mathbf{u }_k \in {\mathcal {R}}^m\) is the control input vector, \(\mathbf{y }_k \in {\mathcal {R}}^p\) is the system output vector, \(\mathbf{f }_{\mathrm{a}k} \in {\mathcal {R}}^{l_{f\mathrm{a}}}\) and \(\mathbf{f }_{\mathrm{s}k} \in {\mathcal {R}}^{l_{f\mathrm{s}}}\) stand for actuator and sensor fault vector, respectively, \(\mathbf{d }_k \in {\mathcal {R}}^{l_d}\) and \(\mathbf{n }_{k} \in {\mathcal {R}}^{l_n}\) are norm-bounded disturbances or uncertainties associated with state and output equations respectively, and \(\mathbf{A }\), \(\mathbf{B }\), \(\mathbf{B }_1\), \(\mathbf{B }_2\), \(\mathbf{C }\), \(\mathbf{D }_1\) and \(\mathbf{D }_2\) are known constant coefficient matrices with appropriate dimensions. In addition, \(\mathbf{B }_1\) is considered of full column rank. The system (1) can be represented as:
where \(\mathbf{f }_k=\left[ \begin{array}{c@{\quad }c} \mathbf{f }_{\mathrm{a}k}^{\text {T}}&\mathbf{f }_{\mathrm{s}k}^{\text {T}} \end{array}\right] ^{\text {T}}\), \(\mathbf{F }_x=\left[ \begin{array}{c@{\quad }c} \mathbf{B }_2&\mathbf{0 }_{n \times l_{f_\mathrm{s}}} \end{array}\right] \), and \(\mathbf{F }_y=\left[ \begin{array}{c@{\quad }c} \mathbf{0 }_{l_{f_\mathrm{a}} \times p}&\mathbf{D }_2 \end{array}\right] \).
The fault vector dynamics can be calculated as follows:
where \(\varvec{\xi }_k\) is the fault deviation and satisfies \(||\varvec{\xi }_k||_{l_2}<\infty \).
By defining an augmented state vector as:
where \({\bar{n}}=n+l_{f},\) with \(l_f=l_{f\mathrm{a}}+l_{f\mathrm{s}}\), one obtains the following augmented system:
where \({\bar{\mathbf{A }}}=\left[ \begin{array}{c@{\quad }c} \mathbf{A } &{} \mathbf{F }_x\\ \mathbf{0 }_{l_f\times n} &{} \mathbf{I }_{l_f}\\ \end{array}\right] \in {\mathcal {R}}^{{\bar{n}}\times {\bar{n}}}\), \(\bar{\mathbf{B }}=\left[ \begin{array}{c} \mathbf{B } \\ \mathbf{0 }_{l_f\times m} \end{array}\right] \in {\mathcal {R}}^{{\bar{n}}\times m}\), \(\bar{\mathbf{B }}_1=\left[ \begin{array}{c} \mathbf{B }_1 \\ \mathbf{0 }_{l_f\times l_d} \end{array}\right] \in {\mathcal {R}}^{{\bar{n}}\times l_d}\), \(\mathbf{F }=\left[ \begin{array}{c} \mathbf{0 }_{n\times l_f} \\ \mathbf{I }_{l_f} \end{array}\right] \in {\mathcal {R}}^{{\bar{n}}\times l_f}\) and \(\bar{\mathbf{C }}=\left[ \begin{array}{c@{\quad }c} \mathbf{C }&\mathbf{F }_y \end{array}\right] \in {\mathcal {R}}^{p\times {\bar{n}}}\).
The proposed UIO is
where \(\mathbf{z }_k\in {\mathcal {R}}^{{\bar{n}}}\) is the observer state vector and \(\hat{{\bar{\mathbf{x }}}}_k\in {\mathcal {R}}^{{\bar{n}}}\) is the estimate of \(\bar{\mathbf{x }}_k\), while \(\mathbf{M }\in {\mathcal {R}}^{{{\bar{n}}}\times {{\bar{n}}}}\), \(\mathbf{N }\in {\mathcal {R}}^{{{\bar{n}}}\times m}\), \(\mathbf{K }=\mathbf{K }_1+\mathbf{K }_2\in {\mathcal {R}}^{{{\bar{n}}}\times p}\), and \(\mathbf{L }\in {\mathcal {R}}^{{{\bar{n}}}\times p}\) are the observer gain matrices to be determined.
Defining the estimation error as
and using (6b) in (7), one has
where \(\mathbf{R }=\mathbf{I }_{{\bar{n}}}-\mathbf{L }\bar{\mathbf{C }}\).
The estimation error dynamic is:
If one can make the following relationships hold:
the state estimation error dynamic (9) reduces to
Theorem 1
The necessary conditions for the existence of UIO defined in (6) for the system (5) are
-
(i)
rank\((\mathbf{C }\mathbf{B }_1)\,=\,\)rank\((\mathbf{B }_1)\),
-
(ii)
the pair \((\bar{\mathbf{C }},\mathbf{R }\bar{\mathbf{A }})\) is detectable.
Proof
The proof of Theorem 1 can be referred to Gao et al. (2016) and Hsu et al. (2001) and is omitted here.
Remark 1
The condition (i) of Theorem 1 means that (10) is solvable. Then, \(\mathbf{L }\) can be found as:
Remark 2
The condition (ii) of Theorem 1 means that the unstable poles of \(\mathbf{M }\) can be assigned arbitrarily. It implies that the desired UIO response can be achieved through \(\mathbf{L }\) design.
One can rewrite (14) in a matrix form as
where \(\varvec{\omega }_{k}=\left[ \begin{array}{c@{\quad }c} \varvec{\xi }_k^\mathrm{T}&\mathbf{n }_k^\mathrm{T} \end{array}\right] ^\mathrm{T}\in {\mathcal {R}}^{l_\omega }\) and \(\bar{\mathbf{W }}_1=\mathbf{W }_1-\mathbf{K }_1\mathbf{W }_2\) and \(\bar{\mathbf{W }}_2=-\mathbf{L }\mathbf{W }_2\) with \(l_\omega =l_{f}+l_n\), \(\mathbf{W }_1=\left[ \begin{array}{c@{\quad }c} \mathbf{R }\mathbf{F }&\mathbf{0 }_{{\bar{n}}\times l_n} \end{array}\right] \) and \(\mathbf{W }_2=\left[ \begin{array}{c@{\quad }c} \mathbf{0 }_{p\times l_f}&\mathbf{D }_1 \end{array}\right] \).
The next step for designing robust observers (6) is to guarantee that the estimation error \(\mathbf{e }_k\) is asymptotically convergent, making the matrix \(\mathbf{M }\) stable, and reducing the influence from the vector \(\varvec{\omega }_{k}\), which contain the fault deviation vector and the sensor noise.
The following lemmas are useful to derive the Theorems 2 and 3.
Lemma 1
(Boyd et al. 1994) The ensuing statements are equivalent:
-
(i)
\(\mathbf{X }=\mathbf{X }^\mathrm{T}\), \(\mathbf{X }>0\) and \(\mathbf{Y }^\mathrm{T}\mathbf{X }^{-1}\mathbf{Y }+\mathbf{W }<0\),
-
(ii)
\(\left[ \begin{array}{c@{\quad }c} \mathbf{W } &{} \mathbf{Y }^\mathrm{T} \\ \mathbf{Y } &{} -\mathbf{X } \end{array}\right] <0\).
Lemma 2
(Li et al. 2008) For any matrices \(\mathbf{X }\in {\mathcal {R}}^{s\times t}\) and \(\mathbf{Y }\in {\mathcal {R}}^{t\times s}\), and any scalar \(\epsilon >0\), we have
Theorem 2
If there exists a positive definite symmetric matrix \(\mathbf{P }\) and a matrix \(\mathbf{Q }\) and a constant \(\lambda >0\) such that the LMI
holds. Then, the robust UIO, defined by (6), for the system (5) is solvable and is able to guarantee the following upper bound
where \(\alpha =\sqrt{2}\lambda >0\) is a prescribed \(H_\infty \) performance index and \(\mathbf{Q }=\mathbf{P }\mathbf{K }_1\).
Proof
The problem of \(H_\infty \) observer design Li and Fu (1997), Rotondo et al. (2016) is to determine the matrix \(\mathbf{K }_1\) such that
By taking the following Lyapunov candidate function:
one has
Substituting (16) in (22), one has
where \({\varvec{\Lambda }}=\left[ \begin{array}{c@{\quad }c@{\quad }c} \mathbf{M }&\bar{\mathbf{W }}_1&\bar{\mathbf{W }}_2 \end{array}\right] \) and \({\varvec{\Omega }}=\left[ \begin{array}{cc} -\mathbf{P } &{} \mathbf{0 }_{{\bar{n}}\times 2l_\omega } \\ \mathbf{0 }_{2l_\omega \times {\bar{n}}} &{} \mathbf{0 }_{2l_\omega \times 2l_\omega } \end{array}\right] \).
According to the Lemma 1, one can see that (17) indicates \(\mathbf{M }^\mathrm{T}\mathbf{P }\mathbf{M }-\mathbf{P }<0\). When \(\varvec{\omega }_k=0\), from (23) one has \(\Delta V_k<0\) which implies that the error dynamic is asymptotically stable.
Defining:
one has
where
It is noticeable, in terms of Lemma 1, that (17) implies \({\varvec{\Psi }}<0\), which leads to \(J<0\). Therefore, one can write (24) as
Knowing that
and substituting (28) in (27), one has
As \(V_\infty \ge 0\) and knowing that \(V_0=0\) for \(e_0=0\), one has
or
which is equivalent to (18). The proof is completed.
Summarily, the procedure to design an UIO for linear discrete-time system is detailed in Algorithm 1.
3 Nonlinear Case
In this section, an UIO actuator and sensor fault estimation approach is proposed for a Lipschitz nonlinear system subjected to process disturbances and sensor noise, described by:
where \({\varvec{\Phi }}(k,x,u)\in {\mathcal {R}}^n\) is a real nonlinear vector function with Lipschitz constant \(\beta \) which satisfies
Defining an augmented state vector in (4) form, one can obtain an equivalent augmented system as follows:
where \(\mathbf{E }=\left[ \begin{array}{c@{\quad }c} \mathbf{I }_{n}&\mathbf{0 }_{n\times l_f} \end{array}\right] ^\mathrm{T} \in {\mathcal {R}}^{{\bar{n}}\times n}\), and the other symbols are defined the same as those in (5).
The nonlinear UIO is in the form of
The estimation error is defined by (8). In terms of (8), (34) and (35). The estimation error dynamic is represented as
Using (10)–(13) into (36) yields
where \(\Delta {\varvec{\Phi }}_k={\varvec{\Phi }}(k,x,u)-{\varvec{\Phi }}(k,{\hat{x}},u)\).
One can rewrite (37) as:
where \(\varvec{\omega }_k\) and \({\varvec{\Lambda }}\) are equivalent to the ones defined in Sect. 2.
Theorem 3
If there exists a positive definite symmetric matrix \(\mathbf{P }\), a matrix \(\mathbf{Q }\) and constants \(\lambda >0\) and \(\mu >0\), such that the following LMIs hold:
then the robust observer, defined by (35) for the system (34), is solvable and is able to guarantee the following upper bound:
where \(\alpha \) is an \(H_\infty \) performance index in equivalent form as in Theorem 2.
Proof
Considering the following Lyapunov candidate function:
one has
Substituting (38) in (43), one has
Applying Lemma 2 and using (33) in (44), one has
In terms of Lemma 1, one can see that (39) and (40) imply in \(2\mathbf{M }^\mathrm{T}\mathbf{P }\mathbf{M }-\mathbf{P }+\mu \beta ^2\mathbf{I }_{{\bar{n}}}<0\) and \(2(\mathbf{R }\mathbf{E })^\mathrm{T}\mathbf{P }\mathbf{R }\mathbf{E }-\mu \mathbf{I }_n<0\), respectively. When \(\varvec{\omega }_k=0\), from (45) one has \(\Delta V_k<0\), which implies that the error dynamic is asymptotically stable.
Let
Substituting (45) in (46), one has
where
and
Note that \(\sum _{k=0}^{\infty }\Delta V_k=\mathbf{e }_{\infty }^\mathrm{T}\mathbf{P }\mathbf{e }_{\infty }>0\). In terms of Lemma 1, one can see that (39) and (40) imply in
Similar to the proof of Theorem 2, it is noticeable that (50) leads to \(J<0\), which indicates that \(||\mathbf{e }_k||_{l_2}<\alpha ||\varvec{\omega }_k||_{l_2}\). This concludes the proof.
Summarily, the procedure to design an UIO for Lipschitz nonlinear system subjected to process disturbances and sensor noise is detailed in Algorithm 2.
4 Simulation Example
In this section, simulation results are presented to show the efficiency of the proposed method. Firstly, the robust UIO is used to estimate state and faults in a linear system. In sequence, the proposed technique is employed in a nonlinear system. Both techniques are compared to Extended Kalman Filter which is nonlinear and is a very known state observer in the literature (Hmida et al. 2012; Jiang and Chowdhury 2005).
4.1 Linear Case
Let us consider a crane system (Edwards and Tan 2006), which was discretized with a sample time \(T_\mathrm{s}=0.01\) s. The linear discrete-time model of the system is given in the same form of (1), where
The fault and disturbances distribution matrices are, respectively, \(\mathbf{B }_2=\mathbf{B }\),
\(\mathbf{D }_2=\begin{bmatrix} 0\\ 0\\ 1 \end{bmatrix}\), \(\mathbf{B }_1=\begin{bmatrix} 0.08\\ 0.03\\ 0\\ 0.06 \end{bmatrix}\), \(\mathbf{D }_1=\left[ \begin{array}{c} 0.01\\ -0.01\\ 0.01 \end{array}\right] \).
The disturbance input is \(d_k=0.1\hbox {sin}(0.1k)\), the sensor noise is \(n_k=0.005\hbox {sin}(0.06k)\), and the control input is \(u_k=0.2\hbox {sin}(0.02k)\) and the initial state vector is \(x(0)=\left[ \begin{array}{c@{\quad }c@{\quad }c@{\quad }c} 0.05&0.5&0&0 \end{array}\right] ^\mathrm{T}\). The actuator fault is
and the sensor fault is
Choosing \(\lambda = 2.5\) and using the Algorithm 1, one can obtain the observer gains as follows:
Figure 1 presents the evolution of the three system states. In order to highlight UIO characteristics in this figure, the curves corresponding to the estimated, measured and real states are shown. Despite the addition of sensor fault at \(k=1000\), the UIO is able to match the real states and actuator faults, and measurement and sensor noise do not affect the states.
Figure 2 shows the state \(x_2\) evolution and the estimation results obtained by the proposed UIO and EKF, respectively. Considering that this state is unmeasurable, the results are satisfactory. As depicted in figure, EKF is not able to match real states, in the presence of input disturbance, sensor noise and faults. On the other hand, the proposed UIO converges to the real value in a satisfactory interval of time.
Another important aspect to consider is the fault estimation, shown in Figs. 3 and 4. As seen, EKF states is not able to converge to fault signal, which means that the EKF cannot decouple inserted faults. On the other hand, the proposed UIO converges to the fault signal even in the presence of process disturbances and sensor noise.
4.2 Nonlinear Case
Consider the nonlinear Lipschitz system described as:
with sample time of \(T_\mathrm{s}=0.01\) s.
The system can be written in the form of (32), where
The faults and disturbances distribution matrices are, respectively, \(\mathbf{B }_2=\mathbf{B }\),
The disturbance input is \(d_k=\hbox {sin}(0.2\pi k)\), the sensor noise \(n_k\) is an uniform random number between - 0.1 to 0.1. The control input is \(u_k=0.5\hbox {sin}(0.2\pi k)\) and the initial state vector is \(x(0)=\left[ \begin{array}{c@{\quad }c@{\quad }c@{\quad }c} 0&1&0&0 \end{array}\right] ^\mathrm{T}\). The actuator fault is
and the sensor fault is
Choosing \(\lambda = 0.64\), \(\beta = 0.0333\) and using the Algorithm 2, one obtains the observer gains as follows:
Figure 5 presents the evolution of three system states \(x_1\), \(x_3\) and \(x_4\). The real, measured and estimated signals are shown . Note that a sensor fault is added to \(x_3\) state, affecting clearly the measurement. Despite the fault addition, the UIO is able to match the real states, maintaining bounded the error between real and estimated state values.
Figure 6 shows the obtained results with the proposed UIO and EKF, respectively. As depicted in figure, EKF is not able to match real states due to input disturbance, sensor noise and faults presences. On the other hand, the proposed UIO converges to the real state, although the system is under the same conditions. Additionally, once the state has converged, observation estimation error remains bounded.
Figures 7 and 8 show the proposed UIO and EKF performances as actuator and sensor estimator. Note that EKF estimation is not able to converge to fault signals, which means the EKF is not able to decouple inserted disturbances. On the other hand, the proposed UIO rapidly converges to fault signals.
The proposed UIO design, based on Theorem 3, is able to maintain estimation error norm bounded. Figure 9 shows the evolution of estimation error norm. Note that the estimation error values are high in the beginning of the simulation. That happens because the initial estimated state values are different from the real ones. In this case, presented formulation grants that estimation error norm values decrease asymptotically. One can note that as the error diminishes the perturbation effect become more evident and the UIO tends to maintain the observation error bounded. Figure 10 shows the behavior of ratio between \(\Delta \Phi _{k}\) and estimation error norm. The proposed UIO satisfies Theorem 3 by maintaining the ratio lower than \(\beta \) level.
Remark 3
The parameter \(\lambda \) in (17) and (39) should be minimized, so that the estimation error is as minimum as possible, which yields better results. On the other hand, as the value of \(\lambda \) decreases, the optimization problem becomes more restrictive, which causes the LMI solver to perform more interactions until it converges to the solution.
5 Conclusion
In this paper, a novel robust fault estimation technique based on UIO for discrete-time time systems has been proposed. It was proved to be able to simultaneously estimate actuator and sensor faults, as well as, system states. The UIO technique plays an important role decoupling the process disturbances and attenuating the fault deviation and sensor noise influences through a LMI technique.
The designed estimators for both linear and nonlinear systems are presented and validated by numerical simulations with linear and nonlinear examples, presenting excellent results. From the point of view of digital applications, the proposed techniques are quite suitable for use in real-time implementations with microprocessors and microcontrollers.
Future works shall address to extend proposed techniques to uncertain systems whose parameters vary linearly with time, based on the techniques proposed in Mondal et al. (2010). Additionally, researches shall investigate fault estimation algorithms for discrete-time Takagi-Sugeno fuzzy systems, since they are an interesting way of modeling and discretize nonlinear systems.
References
Boyd, S., Ghaoui, L. E., Feron, E., & Balakrishnan, V. (1994). Linear matrix inequalities in system and control theory. Philadelphia: SIAM.
Cao, S., Guo, L., & Wen, X. (2011). Fault tolerant control with disturbance rejection and attenuation performance for systems with multiple disturbances. Asian Journal of Control, 13(6), 1056–1064.
Chen, J., Patton, R. J., & Zhang, H. Y. (1996). Design of unknown input observers and robust fault detection filters. International Journal of Control, 63(1), 85–105.
Chen, L., Huang, X., & Liu, M. (2018). Observer-based piecewise fault-tolerant control for discrete-time nonlinear dynamic systems. Asian Journal of Control, 19, 2051–2061.
Chen, W., & Saif, M. (2007). A sliding mode observer-based strategy for fault detection, isolation, and estimation in a class of Lipschitz nonlinear systems. International Journal of Systems Science, 38(12), 943–955.
Edwards, C., & Tan, C. P. (2006). A comparison of sliding mode and unknown input observers for fault reconstruction (Vol. 12). Amsterdam: Elsevier.
Gao, Z. (2015). Fault estimation and fault-tolerant control for discrete-time dynamic systems. IEEE Transactions on Industrial Electronics, 62(6), 3874–3884.
Gao, Z., Liu, X., & Chen, M. Z. (2016). Unknown input observer-based robust fault estimation for systems corrupted by partially decoupled disturbances. IEEE Transactions on Industrial Electronics, 63(4), 2537–2547.
Gu, Y., & Yang, G. H. (2018). Simultaneous actuator and sensor fault estimation for discrete-time Lipschitz nonlinear systems in finite-frequency domain. Optimal Control Applications and Methods, 39(1), 410–423.
Hmida, F. B., Khémiri, K., Ragot, J., & Gossa, M. (2012). Three-stage Kalman filter for state and fault estimation of linear stochastic systems with unknown inputs. Journal of the Franklin Institute, 349(7), 2369–2388.
Hsu, P. L., Houng, Y. C., & Yeh, S. S. (2001). Design of an optimal unknown input observer for load compensation in motion systems. Asian Journal of Control, 3(3), 204–215.
Jia, Q., Li, H., Zhang, Y., & Chen, X. (2015). Robust observer-based sensor fault reconstruction for discrete-time systems via a descriptor system approach. International Journal of Control, Automation, and Systems, 13(2), 274.
Jiang, B., & Chowdhury, F. N. (2005). Fault estimation and accommodation for linear mimo discrete-time systems. IEEE Transactions on Control Systems Technology, 13(3), 493–499.
Li, H., & Fu, M. (1997). A linear matrix inequality approach to robust \(\cal{H}_\infty \) filtering. IEEE Transactions on Signal Processing, 45(9), 2338–2350.
Li, J., Gao, H. W., Zhang, P., & Huang, D. R. (2012). Fault diagnosis and optimal fault-tolerant control for systems with delayed measurements and states. International Journal of Control, Automation and Systems, 10(1), 150–157.
Li, L., Jia, Y., Du, J., & Yuan, S. (2008). Robust \(l_2 - l_{\infty }\) control for uncertain singular systems with time-varying delay. Progress in Natural science, 18(8), 1015–1021.
Li, Z., Peng, T., & fei Zhang P, Han H, Yang J,. (2016). Fault diagnosis and fault-tolerant control of photovoltaic micro-inverter. Journal of Central South University, 23(9), 2284–2295.
Meskin, N., & Khorasani, K. (2010). A geometric approach to fault detection and isolation of continuous-time Markovian jump linear systems. IEEE Transactions on Automatic Control, 55(6), 1343–1357.
Mondal, S., Chakraborty, G., & Bhattacharyy, K. (2010). LMI approach to robust unknown input observer design for continuous systems with noise and uncertainties. International Journal of control, Automation and systems, 8(2), 210–219.
Noura, H., Theilliol, D., Ponsart, J. C., & Chamseddine, A. (2009). Fault-tolerant control systems: Design and practical applications. New York: Springer.
Patton, R. J., & Chen, J. (1997). Observer-based fault detection and isolation: Robustness and applications. Control Engineering Practice, 5(5), 671–682.
Persis, C. D., & Isidori, A. (2001). A geometric approach to nonlinear fault detection and isolation. IEEE Transactions on Automatic Control, 46(6), 853–865.
Reppa, V., Polycarpou, M. M., & Panayiotou, C. G. (2014). Adaptive approximation for multiple sensor fault detection and isolation of nonlinear uncertain systems. IEEE Transactions on Neural Networks and Learning Systems, 25(1), 137–153.
Rotondo, D., Witczak, M., Puig, V., Nejjari, F., & Pazera, M. (2016). Robust unknown input observer for state and fault estimation in discrete-time Takagi–Sugeno systems. International Journal of Systems Science, 47(14), 3409–3424.
Van, M., Kang, H. J., & Suh, Y. S. (2013). A novel neural second-order sliding mode observer for robust fault diagnosis in robot manipulators. International Journal of Precision Engineering and Manufacturing, 14(3), 397–406.
Vu, V. P., Wang, W. J., Zurada, J. M., Chen, H. C., & Chiu, C. H. (2017). Unknown input method based observer synthesis for a discrete time uncertain T–S fuzzy system. IEEE Transactions on Fuzzy Systems, 26, 761–770.
Wen, X., Zhang, X., & Zhu, Y. (2015). Design of fault detection observer based on hyper basis function. Tsinghua Science and Technology, 20(2), 200–204.
Witczak, M., Buciakowski, M., Puig, V., Rotondo, D., & Nejjari, F. (2016). A lMI approach to robust fault estimation for a class of nonlinear systems. International Journal of Robust and Nonlinear Control, 26(7), 1530–1548.
Acknowledgements
This work is supported by the Coordination for the Improvement of Higher Education Personnel—CAPES—and the Laboratory of Automation in Petroleum—LAUT/DCA/UFRN.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Chaves, E.R.Q., Dantas, A.F.O.d.A. & Maitelli, A.L. Robust Observer-Based Actuator and Sensor Fault Estimation for Discrete-Time Systems. J Control Autom Electr Syst 30, 160–169 (2019). https://doi.org/10.1007/s40313-018-00435-w
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40313-018-00435-w