Research Article | Open Access
Yongchao Wang, Shangmin Qi, Yujun Hu, Shenghui Guo, Darong Huang, "Actuator Fault Diagnosis for Discrete-Time Systems via Augmenting State Approach", Mathematical Problems in Engineering, vol. 2021, Article ID 5565353, 12 pages, 2021. https://doi.org/10.1155/2021/5565353
Actuator Fault Diagnosis for Discrete-Time Systems via Augmenting State Approach
For the problem of the actuator fault diagnosis in the control systems, this paper presents a novel method by using an interval estimation approach to detect the faults and reconstruct them. In order to make estimations of the unavoidable measurement noise, a descriptor system form is built. Firstly, a full-order interval observer is developed to detect actuator faults for its sensitiveness to them. Then, a reduced-order one, which is robust to actuator faults, is presented. This method does not need the boundary information of faults; thus, the design condition is more relaxed. In order to make the interval observer stable and cooperative, linear matrix inequalities and a time-varying transformation are employed to ensure the error system matrix to be Schur and nonnegative. Based on the interval estimation results of the aforementioned method, an interval reconstruction method of actuator faults is proposed. Finally, results of the two simulation examples verify the proposed methods are effective and accurate.
Fault diagnosis (FD), including fault detection and isolation, is a very useful technique to improve the performances of control systems [1–5]. Many significant model-based FD methods have been developed, including, but not limited to, observer-based FD, filter-based FD, parity space, and parameter estimation. Among the abovementioned methods, the observer-based FD which is more practical and simpler, has become a powerful one with many results reported in the literature ([6–12] and references therein). Moreover, fault isolation technique is developed to locate the fault in the systems. Sometimes, the dynamic process of the fault and its actual value can even be obtained. Being the most powerful fault isolation technique, the fault reconstruction method has attracted much more attention than residual-based fault detection techniques ([2–4, 9, 13] and references therein). However, a number of methods in the literature are under some very restrictive assumptions which are impossible in many actual applications. For example, many FD results are proposed under the assumption that the disturbances or faults satisfy the well-known observer matching condition which is, in some sense, unrealistic for some practical systems. On the one hand, one of the major considerations in FD designs is how to deal with model uncertainties and external disturbances so that they cannot cause any negative effects on fault detection or fault reconstruction. On the other hand, it is not trivial to eliminate the negative impacts of model uncertainties or external disturbances on FD designs from the existing traditional observer-based FD methods. In fact, some FD design methods are developed, simply without considering model uncertainties and external disturbances. In recent two decades, interval observer has become popular for the systems with unknown inputs , and many process methods have been proposed [15–23]. The interval observer reveal only the over and under boundaries (denoted as and , respectively) of the system states instead of their asymptotic estimations. In comparison with the traditional observer design, it is much more convenient to construct an interval observer because many details about noises, disturbances, and nonlinear terms can be ignored, which is crucial in traditional observer design [4, 9, 24]. As we have known, a few researchers have investigated FD problems based on interval observers [25–32].
Considering the above background, our purpose is using interval observers to solve FD problems by constructing both of full-order and robust reduced-order interval observers. First, to eliminate the influence of measurement noise or disturbance, an augmented state method which was proposed by [11, 12] is adopted, viewing the measurement noise or disturbance as a system state, and then build a singular/descriptor system. Second, the observers are constructed and, based on the estimated results of the reduced-order observer, a practical fault reconstruction method is also proposed. The methods in the paper can be used in both of linear and nonlinear systems, such as electrical power systems, robot manipulator systems, and inverted pendulum systems. The major contributions of this work can be summarized as follows: (i) taking the inevitable measurement noise into account, an interval-observer-based fault detection means, which depend on the system’s actual outputs and interval output estimates, are established; (ii) a reduced-order robust interval observer is developed for the equivalent system which is augmented; (iii) an interval reconstruction method of actuator faults is proposed based on the robust observer.
The paper is organized as follows. In Section 2, some basic definitions, background knowledge, and problem statements are introduced. Section 3 proposes a full-order interval observer and an actuator fault detection method. Section 4 designs a robust reduced-order interval observer, and an actuator fault interval reconstruction method is presented based on this. The correctness and effectiveness of the developed methods are shown through two simulation examples in Section 5. The conclusion is drawn in Section 6.
Some necessary notations marked in this paper are defined here. All of the inequality between two vectors or matrices should be understood elementwise. For a constant matrix , define and , so , , and . For a square matrix , means that is a symmetric negative definite matrix. A matrix is called a Schur matrix if its spectral radius is less than one and called a nonnegative matrix if all its elements are nonnegative.
2. Preliminaries and Problem Statements
Considering the following linear time-invariant discrete-time system subjected to fault and outside disturbances,where is the system state vector, is the control input vector, is the measurable output vector, and are the bounded actuator fault vector and the unknown input vector respectively, and is the measurement noise vector. All the parameter matrices are assumed with appropriate dimensions. The unknown input , which is the combination of model uncertainties and outside disturbances, is bounded by known boundaries and . Without loss of generality, we assume that and . For the goal of estimating the measurement noise , an augmented state method which was proposed in [11, 12] is used and new parameter matrices can be built as follows.
Define , , , , , , and .
System (1) will be transformed into a descriptor system’s form:
Assuming that system (2) is detectable, that is, , and , . We also assume that the initial condition is bounded by two known vectors and . It is obvious that
So, there exists a full rank matrix and a matrix so that
Lemma 1 (see ). For the following linear discrete-time system,if is nonnegative, , and the initial condition satisfies , then the system has nonnegative solutions for .
Lemma 2 (see ). For the discrete-time system,if is a Schur constant matrix, then there exists a time-varying transformation , which makes the system into a positive exponential stable system through such transformation, where , the invertible matrices satisfied for arbitrary , and is a given nonnegative constant scalar.
Lemma 3 (see ). For any constant matrix , if a vector variable satisfies for some , then one can obtain
3. Actuator Fault Detection
Generally speaking, the matrix is not Schur and non-negative. For this reason, an equivalent state transformation is used, and system (6) can be converted intowhere is an nonsingular matrix. The following interval observer can be designed:where is the observer gain matrix and and should be selected so that is a Schur matrix and a nonnegative matrix simultaneously. And, the nonsingular matrix and the gain matrix can be computed through the method which is described in Remark 1.
Proof. Define the over and under errors as and , respectively. From (10) and (11), we obtainNote that , , and , soLet and , and we have by using Lemma 3. According to Lemma 1, one can obtain that and , i.e., , for arbitrary .
Remark 1. To find proper matrices and , Raïssi et al.  propose a effective means to solve such problems. Because is a nonsingular matrix, one can construct a Sylvester equation from as follows:If the coefficient matrix and the chosen matrix have no common eigenvalues, then (14) has a unique solution of and . is an arbitrary matrix and can be chosen as a Schur and nonnegative diagonal matrix here.
Notice that , the upper and lower estimations of can also be given by
Remark 2. We can also design the interval observer by a time-varying linear state transformation of rather than a constant one. In this way, a time-varying invertible matrix which can make into a Schur and nonnegative matrix can be found by using Lemma 2, where is calculated such that is a Schur matrix.
Then, the upper and lower estimation of , , and are , , and ; then, the output will be limited bywhich can be a fault detector. That is, when the system runs without the presence of actuator faults, its output will meet , otherwise the faults occur. It is noteworthy that since the interval is different from the artificially given threshold, the faults with small amplitudes may not all be detected. That is to say, for successful fault detection, the faults need to have enough amplitudes.
4. Actuator Fault Interval Reconstruction
For , there exists an invertible matrix such that
Then, system (6) can be transformed into
Denote , , , , , and , and (18) becomes
Decompose , , and , we have
and the parameter matrices can be decomposed aswhere , , , , and . Then, (22) can be easily obtained:and make an equivalent state transformationwhere is the gain matrix of the reduced-order observer, and we have and . So, is described by the following equation:
Lemma 4 (see ). If there exist a symmetric positive definite matrix and a matrix for which the following LMIsare solvable, then the observer gain can make into a Schur matrix, such thatIf we denote , , , and , and notice (27); then, (24) becomesWhen is not a nonnegative matrix, a time-varying transformation can be used here to handle the problem, so we obtainFrom Lemma 2, it is obvious that a time-varying invertible matrix can be obtained.
Then, an interval observer for (29) is constructed as
Proof. We notice that is Schur and nonnegative matrix, so one can refer to Theorem 1 and the proof is omitted here for brevity.
Next, an interval reconstruction method is proposed to reconstruct actuator faults. There exists a nonsingular matrix such thatThen, system (6) can be rewritten asThe matrices and vector can be decomposed as follows:where , , , , , and and ; then, the dynamic for is governed byDefineand then, and are the upper and lower interval estimations of , respectively, i.e., we have . Letwhere . And, we haveNow, from (35), we obtainFrom (39), the actuator fault interval reconstruction can be built as follows:
Theorem 3. For and defined by (40), we have , for .
Proof. Notice that , , , and , and we can verify that and hold for all easily.
Remark 3. Generally speaking, the basic idea of an interval state observer design is to construct a couple of new systems which can produce interval estimations for the original system states by using the information of the boundaries of unknown inputs together with, if necessary, the information of the measured outputs of the original system. So, designing an interval state observer for the system with unknown inputs, the knowledge of the boundaries of the unknown inputs is usually crucial. In the present paper, on the one hand, with reduced-order observer design techniques, an interval reduced-order observer is developed without knowing the boundary information of the actuator faults, which can actually be regarded as unknown inputs. On the other hand, based on the partial known information, an interval reconstruction method of the actuator fault is developed.
5. Numerical Simulation
In this section, the details of the design process of the developed methods are given through a numerical example and a practical system; then, the effectiveness is illustrated.
5.1. Numerical Example
Consider a discrete-time system (1) and the parameter matrices are as follows:
Then, the parameter matrices in the rewritten system (6) are presented below:
We assume that control input, unknown disturbances, and actuator fault are
The selected initial conditions are , , , has the over boundary , and the under boundary .
The matrix of and can be chosen as
To construct a Sylvester equation, we choose that
Then, substitute them into (14) and compute it, we have
Figure 1 shows the results of interval estimations when using full-order interval observer (11), and in the system, there are no actuator faults. The fault detection is plotted in Figure 2, and it reveals that the faults occur during the time period of .
Next is the design process of the robust interval observer. The invertible matrix is
Then, we have and . The Jordan canonical form of is , and then, an interval observer in the form of (30) can be designed. Figures 3–6 show that the interval state estimations through reduced-order and full-order interval observers. By comparison of the results, the reduced-order method proposed in the paper can make estimations successfully even if there is actuator fault. It is easy to know
And, the interval reconstruction of the actuator fault is given in Figure 7.
5.2. Practical System
In the second simulation, a DC motor model in  is considered, which has the following system dynamics:where is the motor speed and and are the armature current and voltage, respectively. In the model, the parameters , and denote the resistance, inductance, back electromotive force constant, torque constant, frictional constant, and motor inertial, respectively. The nominal parameters are given as follows:
The system dynamics are discretized by the forward Euler method with the sampling time . We have the following system parameters:
In the simulation, the initial value of system state is , and it is assumed that the initial values of estimated upper and lower bound are , respectively. Besides, the control input and actuator fault are set as and . The unknown input and measurement noise are assumed to be stochastic and the unknown input is bounded by . The interval estimation of the motor speed and the armature current with the existence of actuator fault are shown in Figures 8 and 9, and the interval reconstruction of actuator fault is presented in Figure 10. The estimation results of this example verify the effectiveness and practicability of the proposed method further.
This paper concerns the descriptor system form used in the interval estimations. A full-order interval observer is developed as the initial actuator fault detector for linear discrete-time systems when there exist actuator faults and unknown disturbances. A reduced-order one is devised by minimizing the effects of actuator faults when systems are running. Based on its estimation results, an interval reconstruction method for actuator faults is given. At last, two simulation examples illustrate the proposed full-order interval observers can serve as fault detectors and the reduced-order one can produce a reconstruction of actuator faults effectively.
No data were used to support this study.
Conflicts of Interest
The authors declare that there are no conflicts of interest regarding the publication of this paper.
This research was funded by the Headquarters Science and Technology Guide Project of SGCC Grant no. 523HQ200054 and National Natural Science Foundation of China Grant no. 61304104 and also funded by Chongqing Technology Innovation and Application Special Key Project under Grant no. cstc 2019jscx-mbdxX0015.
- J. Chen and R. J. Patton, Robust Model-Based Fault Diagnosis for Dynamic Systems, Springer Science & Business Media Press, 2nd edition, 1999.
- C. Edwards, S. K. Spurgeon, and R. J. Patton, “Sliding mode observers for fault detection and isolation,” Automatica, vol. 36, no. 4, pp. 541–553, 2000.
- Z. Zhang and I. M. Jaimoukha, “On-line fault detection and isolation for linear discrete-time uncertain systems,” Automatica, vol. 50, no. 2, pp. 513–518, 2014.
- F. Zhu and J. Yang, “Fault detection and isolation design for uncertain nonlinear systems based on full-order, reduced-order and high-order high-gain sliding-mode observers,” International Journal of Control, vol. 86, no. 10, pp. 1800–1812, 2013.
- R. Zhang, H. Tao, L. Wu, and Y. Guan, “Transfer learning with neural networks for bearing fault diagnosis in changing working conditions,” IEEE Access, vol. 5, pp. 14347–14357, 2017.
- B. Jiang, M. Staroswiecki, and V. Cocquempot, “Fault accommodation for nonlinear dynamic systems,” IEEE Transactions on Automatic Control, vol. 51, no. 9, pp. 1578–1583, 2006.
- B. Kulcsar and M. Verhaegen, “Robust inversion based fault estimation for discrete-time LPV systems,” IEEE Transactions on Automatic Control, vol. 57, no. 6, pp. 1581–1586, 2012.
- Z. Gao, C. Cecati, and S. X. Ding, “A survey of fault diagnosis and fault-tolerant techniques-part I: fault diagnosis with model-based and signal-based approaches,” IEEE Transactions on Industrial Electronics, vol. 62, no. 6, pp. 3757–3767, 2015.
- S. Guo and F. Zhu, “Reduced-order observer design for discrete-time descriptor systems with unknown inputs: an linear matrix inequality approach,” Journal of Dynamic Systems Measurement and Control, vol. 137, no. 8, Article ID 084503, 2015.
- K. Zhang, B. Jiang, and P. Shi, “Adjustable parameter-based distributed fault estimation observer design for multiagent systems with directed graphs,” IEEE Transactions on Cybernetics, vol. 47, no. 2, pp. 306–314, 2017.
- Z. Gao and H. Wang, “Descriptor observer approaches for multivariable systems with measurement noises and application in fault detection and diagnosis,” Systems & Control Letters, vol. 55, no. 4, pp. 304–313, 2006.
- Z. Gao, “Fault estimation and fault-tolerant control for discrete-time dynamic systems,” IEEE Transactions on Industrial Electronics, vol. 62, no. 6, pp. 3874–3884, 2015.
- B. Jiang, K. Zhang, and P. Shi, “Integrated fault estimation and accommodation design for discrete-time Takagi-Sugeno fuzzy systems with actuator faults,” IEEE Transactions on Fuzzy Systems, vol. 19, no. 2, pp. 291–304, 2011.
- J. L. Gouzé, A. Rapaport, and M. Z. Hadj-Sadok, “Interval observers for uncertain biological systems,” Ecological Modelling, vol. 133, no. 1-2, pp. 45–56, 2000.
- D. Efimov, T. Raïssi, S. Chebotarev, and A. Zolghadri, “Interval state observer for nonlinear time varying systems,” Automatica, vol. 49, no. 1, pp. 200–205, 2013.
- F. Mazenc, T. N. Dinh, and S. I. Niculescu, “Interval observers for discrete-time systems,” International Journal of Robust and Nonlinear Control, vol. 24, no. 17, pp. 2867–2890, 2014.
- M. Moisan and O. Bernard, “Robust interval observers for global Lipschitz uncertain chaotic systems,” Systems & Control Letters, vol. 59, no. 11, pp. 687–694, 2010.
- T. Raïssi, D. Efimov, and A. Zolghadri, “Interval state estimation for a class of nonlinear systems,” IEEE Transactions on Automatic Control, vol. 57, no. 1, pp. 260–265, 2016.
- G. Zheng, D. Efimov, F. J. Bejarano, W. Perruquetti, and H. Wang, “Interval observer for a class of uncertain nonlinear singular systems,” Automatica, vol. 71, no. C, pp. 159–168, 2016.
- L. Meyer, D. Ichalal, and V. Vigneron, “Interval observer for LPV systems with unknown inputs,” IET Control Theory & Applications, vol. 12, no. 5, pp. 649–660, 2018.
- Y. Wang, D. M. Bevly, and R. Rajamani, “Interval observer design for LPV systems with parametric uncertainty,” Automatica, vol. 60, no. 1, pp. 79–85, 2015.
- S. Guo, B. Jiang, F. Zhu, and Z. Wang, “Luenberger-like interval observer design for discrete-time descriptor linear system,” Systems & Control Letters, vol. 126, pp. 21–27, 2019.
- W. Ren, R. You, W. Yu, and S. Guo, “Reduced-order and full-order interval observers design for discrete-time system,” IEEE Access, vol. 8, pp. 103309–103316, 2020.
- Z. Wang, Y. Shen, and X. Zhang, “Actuator fault estimation for a class of nonlinear descriptor systems,” International Journal of Systems Science, vol. 45, no. 3, pp. 487–496, 2014.
- J. Meseguer, V. Puig, T. Escobet, and J. Saludes, “Observer gain effect in linear interval observer-based fault detection,” Journal of Process Control, vol. 20, no. 8, pp. 944–956, 2010.
- C. Edwards, S. K. Spurgeon, and R. J. Patton, “A note on interval observer design for unknown input estimation,” International Journal of Control, vol. 89, no. 1, pp. 541–553, 2016.
- C. Edwards, S. K. Spurgeon, and R. J. Patton, “Fault detection based on robust adaptive thresholds: a dynamic interval approach,” Annual Reviews in Control, vol. 37, no. 1, pp. 541–553, 2013.
- S. Guo and F. Zhu, “Actuator fault detection and interval reconstruction based on interval observers,” in Proceedings Conference 20th IFAC World Congress, pp. 1–8, Toulouse, France, July 2017.
- X. Zhang and F. Zhu, “Observer‐based sensor attack diagnosis for cyber‐physical systems via zonotope theory,” Asian Journal of Control, vol. 60, 2020.
- Z. Zhang and G. Yang, “Distributed fault detection and isolation for multiagent systems: an interval observer approach,” IEEE Transactions on Systems, Man, and Cybernetics, vol. 50, no. 6, pp. 2220–2230, 2018.
- M. Pourasghar, V. Puig, and C. Ocampo-Martinez, “Characterisation of interval-observer fault detection and isolation properties using the set-invariance approach,” Journal of the Franklin Institute, vol. 357, no. 3, pp. 1853–1886, 2020.
- F. Zhu, Y. Tang, and Z. Wang, “Interval-Observer-based fault detection and isolation design for T-S fuzzy system based on zonotope analysis,” IEEE Transactions on Fuzzy Systems, vol. 40, p. 1, 2021.
- L. Farina and S. Rinaldi, Positive Linear Systems: Theory and Applications, Wiley, Hoboken, NJ, USA, 2011.
- W. Tang, Z. Wang, and Y. Shen, “Interval estimation for discrete-time linear systems: a two-step method,” Systems & Control Letters, vol. 123, pp. 69–74, 2019.
Copyright © 2021 Yongchao Wang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.