Mathematical Problems in Engineering
Volume 2017 (2017), Article ID 2608140, 9 pages
https://doi.org/10.1155/2017/2608140

Research Article

Robust Fault Detection for Networked Markov Jump Systems with Random Time-Delay

Yanfeng Wang, Zuxin Li, Peiliang Wang, and Zhe Zhou

School of Engineering, Huzhou University, Huzhou, Zhejiang 313000, China

Correspondence should be addressed to Yanfeng Wang; neu2009wyf@163.com

Received 5 April 2017; Revised 21 June 2017; Accepted 5 July 2017; Published 30 August 2017

Academic Editor: Xinggang Yan

Copyright © 2017 Yanfeng 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.

Abstract.

This paper investigates the problem of robust fault detection for networked Markov jump systems with random time-delay which is introduced by the network. The random time-delay is modeled as a Markov process, and the networked Markov jump systems are modeled as control systems containing two Markov chains. The delay-dependent fault detection filter is constructed. Furthermore, the sufficient and necessary conditions which make the closed-loop system stochastically stable and achieve prescribed performance are derived. The method of calculating controller, fault detection filter gain matrices, and the minimal attenuation level is also obtained. Finally, one numerical example is used to illustrate the effectiveness of the proposed method.

1. Introduction

Feedback control systems wherein the control loop is closed through a real-time network are called networked control systems (NCSs) [1, 2]. The information is exchanged among control system components (sensor, controller, actuator, etc.). Due to the advantages such as simple installation, reduced wiring, increased system agility, and high reliability, NCSs have been widely used in broad areas, for example, unmanned aerial vehicles, mobile sensor networks, environment monitoring, and automated highway systems [3–5]. However, the introduction of communication networks also brings communication constraints to the control systems, for example, network-induced time-delays and packet dropouts [6–8]. Fault detection (FD) is very important for practical control systems, especially in safe-critical systems [9–11]. The theory of FD for NCSs is different from that of the traditional control systems due to the limitations induced by the network, such as time-delays and data packet dropouts which should be taken into consideration.

In recent years, many results of FD for NCSs have been reported. In [12], the problem of FD for a kind of nonlinear NCS with time-delays and data packet dropouts was investigated, and the sufficient conditions for the existence of FD filter were presented in terms of linear matrix inequalities (LMIs) using Lyapunov function in the continuous domain. In [13], by considering random time-delays, the NCSs were modeled as discrete-time, finite-dimensional Markov jump linear systems (MJLSs). The FD problem was formulated as a robust FD filter design problem, and the sufficient condition to solve this problem was given in terms of LMIs. In [14], with the presence of stochastic packet dropouts in the network, the problem of FD filter design for NCSs was investigated. A design method for FD filter which made the residual generation system stable in the mean-square sense was proposed by the MJLSs theory. In [15], the problem of robust FD filter design and optimization was investigated for NCSs with random delays. The NCSs were modeled as Markov jump systems by assuming that the random delays obeyed the Markov characteristics. Based on the model, an observer-based residual generator was constructed and the corresponding FD problem was formulated as a filtering problem. A sufficient condition for the existence of the desired FD filter was derived in terms of LMIs. In [16], by employing the multirate sampling method and the augmented state matrix method, the NCSs with long random delays were modeled as MJLSs. Then based on the model, a filter was designed for detecting faults. In [17], two independent Markov chains were introduced to describe the transmission characterization of the data packet dropouts in both channels from sensors to controller and from controller to actuator, and a nonlinear Markov jump system model was established. By employing a mode-dependent FD filter as residual generator, the FD filter design problem of nonlinear NCSs was formulated as a nonlinear filtering problem. In [18], by use of the augmented matrix approach, the FD error dynamic systems were transformed to the MJLSs. With the established model and using the bounded real lemma (BRL) for MJLSs, a observer-based FD filter was established in terms of LMIs to guarantee that the error between the residual and the weighted faults was made as small as possible. In [19], the problem of FD was investigated for NCSs with signal quantization and random packet dropouts. A residual generator was constructed, and the corresponding FD problem was converted into a filtering problem. In [20], the time-delays from sensor to controller and the time-delays from sensor to actuator are both considered which were described by two independent Markov chains. FD problem for NCSs with time-delays on condition that the transition probabilities were partly unknown was investigated.

Markov jump systems are appropriate to model the systems whose structures are subject to the random changes which are widely used in the field of communications systems, power systems, and so on; thus, they have attracted much attention [21–24]. It is significant and necessary to investigate the FD problems for NCSs with the Markov jump controlled plants. However, the controlled plants in most of the existing literature were assumed to be the time-invariant systems (see [12–20]). To the best of the authors’ knowledge, up to now, very limited efforts have been devoted to investigating the FD problem for NCSs with the Markov jump controlled plant, which motivates our investigation.

Compared to the previous relevant works, the main contribution of this paper is that, for the Markov jump NCSs, the sufficient and necessary conditions for the stochastically stability of the closed-loop system are derived, and the method of calculating the minimal attenuation is obtained by constructing proper Lyapunov function candidate.

The rest of this paper is organized as follows. The FD filter is constructed and the closed-loop system model is obtained in Section 2. The sufficient and necessary conditions which make the closed-loop system stochastically stable and achieve prescribed performance are derived in Section 3. Section 4 presents the simulation results to show the effectiveness of the proposed method. The conclusions are provided in Section 5.

2. Problem Formulation

Without loss of generality, we assume that the time-delay only exists between sensor and controller, and is modeled as a homogeneous Markov chin which takes value in the set , and the transition probability matrix is . That is, jumps from mode to with probability , which is defined by , where and , for all .

In this paper, the following Markov jump controlled plant is considered:

where is the state vector, is the input vector, is the measured output vector, is the external disturbance noise belonging to , and is the fault to be detected. ,  ,  ,  , and are all known real constant matrices with appropriate dimensions. is a discrete-time homogeneous Markov chain, which takes values in a finite set with a transition probability matrix ; namely, for ,  , one has , where and , for all .

It is noticed that the information of is not available for the controller at the time instant duo to the time-delay ; however, the information of is known to the controller. Consequently, the controller gain can be designed depending on ; that is,

Construct a full-order FD filter at the side of controller as follows:

where is the filter state vector, is the residual vector which is sensitive to the fault, is the filter gain matrix to be determined, and is the gain matrix of the residual .

Define the state estimation error and residual error as follows:

The closed-loop systems can be obtained as

where

Definition 1 (see [25]). System (5) is stochastically stable if for and every initial mode ,  , there exists a finite matrix such that

In this paper, our objective is to design controller (2) and the FD filter (3), such that one has the following:
(a) The closed-loop system (5) is stochastically stable for .
(b) Under the zero-initial conditions, the residual error satisfies the following noise attenuation performance:

where is the attenuation level.
For the purpose of FD, an evaluation function and a threshold should be provided, and in this paper the evaluation function and a threshold are selected as

where is the initial evaluation time instant and is the evaluation step length. The occurrence of fault can be detected by comparing and with the following rule:

Remark 2. It should be pointed out that if time-delay also exists between controller and actuator which is written as , the control input of the controlled plant (1) should be which is different from the control input of the FD filter which is .

Remark 3. If there is no time-delay in system (5), the FD filter (3) can still detect the fault effectively.

Remark 4. In almost all the existing literatures related to the FD for NCSs, the standard infinite impulse response (IIR) filter (3) is commonly used. However, the researches about FD for NCSs using finite impulse response (FIR) filter including deadbeat dissipative FIR filtering, hybrid particle FIR filtering, and composite particle FIR filtering have not been reported, which is a completely new research area.

3. Main Results

In this section, the sufficient and necessary conditions which make system (5) stochastically stable will be derived. Further, we will present the calculation method of the controller gain matrix , the FD filter gain matrix , and the minimal attenuation in terms of matrix inequalities. To proceed, we will need the following lemma.

Lemma 5 (see [26]). For any positive-definite matrix , scalars satisfying , and vector function , one always has .

Theorem 6. When , the closed-loop system (5) is stochastically stable if and only if there exist positive-definite matrices and matrices ,   such that the inequality

where

holds for all and .

Proof. ⁡
Sufficiency. Choose the Lyapunov function candidate as

where

Apparently, we have .
Along the solution of system (5), we have

Note that

Hence, we can obtain

By Lemma 5, one can obtain

From (15)–(18), we have

where

From (19), we can see that for any

That is, the closed-loop system (5) is stochastically stable according to Definition 1.
Necessity. Assume that the closed-loop system (5) is stochastically stable. Thus, we have

Let

where .
Assume , from (23), it can be easily inferred that is bounded, and the following limit exists:

Since (24) holds for any , we have . Since , it can be seen that from (24).
Let us consider

Letting , we have

which completes the proof.

Corollary 7. When , consider the closed-loop system (5) and let be a given real scalar. If there exist and matrices such that

where

holds for all , system (5) is stochastically stable with performance index .

Proof. From (19), we can obtain

where

If , from (30) and under zero-initial condition, we have .
By Schur compliment, is equivalent to

where

Letting , (27) and (28) can be obtained, which completes the proof.

In Corollary 7, the conditions are a set of LMIs with some inversion constraints. Though they are nonconvex which cannot be solved by using the existing convex optimization tool, we can use the cone complementarity linearization (CCL) algorithm [27] to transform this problem into the nonlinear minimization problem as follows:

Furthermore, the iterative algorithm which can be used to calculate the controller gain , FD gain matrix , and the minimal attenuation is given bellow.

Algorithm 8.
Step  1. Let and set the maximum iterations number as .
Step  2. Find a feasible solution satisfying (27), (35) and set it as . Let
Step  3. Solve the following LMI optimization problem for variables :

set
Step  4. If (27) and (28) are satisfied, let and return to Step . If the number of iterations exceeds , the iteration is terminated.
Step  5. Check : if , the optimization problem has no solutions within the maximum iterations number . Otherwise, .

Remark 9. In this paper, we assume that the transition probabilities of and are completely known. When transition probabilities of and are partly unknown, we can separate the unknown ones from the known ones; see [28].

4. Numerical Example

In this section, we present an example to demonstrate the effectiveness of the proposed method. Consider the controlled plant with the following parameter:

the system mode , and the transition probability matrix of is . The random time-delay and the transition probability matrix is . Given , by Corollary 7, we can obtain the delay-dependent controller gain matrix , filter gain matrix , and as follows:

The initial value . Assume that the external disturbance is uniformly distributed random signal on ; when there is no fault, the trajectories of the closed-loop system’s states and the corresponding estimated value are shown in Figures 1 and 2.

Figure 1: The state and its estimated value .

Figure 2: The state and its estimated value .

We can see that the filter can track the states of the system closely. Assume the fault signal is

The residual evaluation function is adopted as , and the FD threshold can be obtained as . Figures 3 and 4 show one simulation run of the time-delay and the system mode under the transition probability matrices and , respectively.

Figure 3: The time-delay .

Figure 4: The system mode .

Figures 5 and 6 show the residual signal and the residual evaluation function , respectively, from which we can see that when fault occurs, and change obviously. Moreover, it is noticed that . This means that the fault has been detected at the third time period after it occurs.

Figure 5: The residual signal .

Figure 6: The residual evaluation function and the threshold .

5. Conclusion

With the presence of random time-delay introduced by the network, the problem of robust FD for networked Markov jump systems is investigated in this paper. By constructing delay-dependent FD filter, the closed-loop systems are established. The sufficient and necessary conditions which make the closed-loop system stochastically stable and achieve prescribed performance are derived. The method of calculating controller, FD filter gain matrices, and the minimal attenuation level is also obtained. The numerical example shows that the proposed FD filter is both sensitive to the fault and also robust to the exogenous disturbance.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

The research is supported by the National Natural Science Foundation of China (Grant nos. 61503136, 61573137, 61573136, and 61503213).

References

H. Lin, H. Su, Z. Shu, Z. G. Wu, and Y. Xu, “Optimal estimation in UDP-like networked control systems with intermittent inputs: stability analysis and suboptimal filter design,” IEEE Transactions on Automatic Control, vol. 61, no. 7, pp. 1794–1809, 2016.

X. G. Yan and S. K. Spurgeon, “Delay-independent decentralised output feedback control for large-scale systems with nonlinear interconnections,” International Journal of Control, vol. 87, no. 3, pp. 473–482, 2014.

S. Dong, H. Su, P. Shi, R. Lu, and Z. G. Wu, “Filtering for discrete-time switched fuzzy systems with quantization,” IEEE Transactions on Fuzzy Systems, vol. PP, no. 99, 2016.

W. A. Zhang and L. Yu, “Modelling and control of networked control systems with both network-induced delay and packet-dropout,” Automatica. A Journal of IFAC, the International Federation of Automatic Control, vol. 44, no. 12, pp. 3206–3210, 2008.

Y. Zhang and H. Fang, “Stabilization of nonlinear networked systems with sensor random packet dropout and time-varying delay,” Applied Mathematical Modelling. Simulation and Computation for Engineering and Environmental Systems, vol. 35, no. 5, pp. 2253–2264, 2011.

S. Dong, Z.-G. Wu, P. Shi, H. Su, and R. Lu, “Reliable control of fuzzy systems with and switched actuator failures,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 47, no. 8, pp. 2198–2208.

H. Gao, X. Meng, and T. Chen, “Stabilization of networked control systems with a new delay characterization,” IEEE Transactions on Automatic Control, vol. 53, no. 9, pp. 2142–2148, 2008.

E. Tian, D. Yue, and X. Zhao, “Quantised control design for networked control systems,” IET Control Theory and Applications, vol. 1, no. 6, pp. 1693–1699, 2007.

M. Zhong, S. X. Ding, J. Lam, and H. Wang, “An LMI approach to design robust fault detection filter for uncertain LTI systems,” Automatica, vol. 39, no. 3, pp. 543–550, 2003.

M. Abid, W. Chen, S. X. Ding, and A. Q. Khan, “Optimal residual evaluation for nonlinear systems using post-filter and threshold,” International Journal of Control, vol. 84, no. 3, pp. 526–539, 2011.

N. Meskin and K. Khorasani, “Actuator fault detection and isolation for a network of unmanned vehicles,” IEEE Transactions on Automatic Control, vol. 54, no. 4, pp. 835–840, 2009.

W. Ding, Z. Mao, B. Jiang, and W. Chen, “Fault detection for a class of nonlinear networked control systems with Markov transfer delays and stochastic packet drops,” Circuits, Systems, and Signal Processing, vol. 34, no. 4, pp. 1211–1231, 2015.

H. Huang, D. X. Zhang, D. F. Zhang, and Z. Q. Wang, “H∞ fault detection for networked control systems with random Markov delays,” Information and Control, vol. 39, no. 1, pp. 6–12, 2009.

H. Huang, D. X. Xie, X. D. Han et al., “Fault detection for networked control system with random packet dropout,” Control Theory & Applications, vol. 28, no. 1, pp. 79–86, 2011.

W. Jiang, C. Dong, E. Niu, and Q. Wang, “Observer-based robust fault detection filter design and optimization for networked control systems,” Mathematical Problems in Engineering, vol. 2015, Article ID 231749, pp. 1–11, 2015.

Z. Mao, B. Jiang, and P. Shi, “H∞ fault detection filter design for networked control systems modelled by discrete Markovian jump systems,” IET Control Theory & Applications, vol. 1, no. 5, pp. 1336–1343, 2007.

Y. Zhang, H. Fang, and Z. Liu, “Fault detection for nonlinear networked control systems with Markov data transmission pattern,” Circuits, Systems, and Signal Processing, vol. 31, no. 4, pp. 1343–1358, 2012.

C. Peng, D. Yue, E. Tian, and Z. Gu, “Observer-based fault detection for networked control systems with network quality of services,” Applied Mathematical Modelling. Simulation and Computation for Engineering and Environmental Systems, vol. 34, no. 6, pp. 1653–1661, 2010.

F. Li, P. Shi, X. Wang, and R. Agarwal, “Fault detection for networked control systems with quantization and Markovian packet dropouts,” Signal Processing, vol. 111, pp. 106–112, 2015.

Y. F. Wang, P. L. Wang, and Z. D. Cai, “Robust H∞ fault detection for networked control systems with partly unknown time-delay transition probabilities,” Control Theory & Applications, vol. 34, no. 2, pp. 273–279, 2017.

Z. Wu, S. Dong, P. Shi, H. Su, T. Huang, and R. Lu, “Fuzzy-model-based nonfragile guaranteed cost control of nonlinear Markov jump systems,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 47, no. 8, pp. 2388–2397, 2017.

Q. Zhou, D. Yao, J. Wang, and C. Wu, “Robust control of uncertain semi-Markovian jump systems using sliding mode control method,” Applied Mathematics and Computation, vol. 286, pp. 72–87, 2016.

G. Wang, Q. Zhang, and X. Yan, Analysis and Design of Singular Markovian Jump Systems, Springer, New York, NY, USA, 2015.

Z. Wu, P. Shi, Z. Shu, H. Su, and R. Lu, “Passivity-based asynchronous control for Markov jump systems,” IEEE Transactions on Automatic Control, vol. 62, no. 4, pp. 2020–2025, 2017.

L. Zhang, Y. Shi, T. Chen, and B. Huang, “A new method for stabilization of networked control systems with random delays,” IEEE Transactions on Automatic Control, vol. 50, no. 8, pp. 1177–1181, 2005.

X. F. Jiang, Q. L. Han, and X. H. Yu, “Stability criteria for linear discrete-time systems with interval-like time-varying delay,” in Proceedings of the American Control Conference, pp. 2817–2822, Portland, Ore, USA, June 2005.

L. El Ghaoui, F. Oustry, and M. AitRami, “A cone complementarity linearization algorithm for static output-feedback and related problems,” IEEE Transactions on Automatic Control, vol. 42, no. 8, pp. 1171–1176, 1997.

Y. Wang, P. Wang, Z. Li, and H. Chen, “Observer-based controller design for a class of nonlinear networked control systems with random time-delays modeled by Markov chains,” Journal of Control Science and Engineering, vol. 2017, Article ID 1523825, pp. 1–13, 2017.