Abstract and Applied Analysis

Volume 2014, Article ID 250314, 9 pages

http://dx.doi.org/10.1155/2014/250314

## Fault Detection for Wireless Network Control Systems with Stochastic Uncertainties and Time Delays

^{1}School of Automation, Nanjing University of Science & Technology, Nanjing 210094, China^{2}Information Overall Department, North Information Control Group Co., Ltd., Nanjing 211153, China^{3}Department of Engineering, Faculty of Engineering and Science, University of Agder, 4898 Grimstad, Norway

Received 2 January 2014; Accepted 21 January 2014; Published 27 February 2014

Academic Editor: Ming Liu

Copyright © 2014 Jie Zhang 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

The fault detection problem is investigated for a class of wireless network control systems which has stochastic uncertainties in the state-space matrices, combined with time delays and nonlinear disturbance. First, the system error observer is proposed. Then, by constructing proper Lyapunov-Krasovskii functional, we acquire sufficient conditions to guarantee the stability of the fault detection observer for the discrete system, and observer gain is also derived by solving linear matrix inequalities. Finally, a simulation example shows that when a fault happens, the observer residual rises rapidly and fault can be quickly detected, which demonstrates the effectiveness of the proposed method.

#### 1. Introduction

Over the past decades, the fault detection (FD) problem has received considerable research attention and a rich body of literature has appeared on both the theoretical research and practical construction [1–4]. Furthermore, in recent years, the fault detection based on data-driven approach has even started to appear [5, 6]. Meanwhile, the research and application of fault detection in wireless network control system has attracted more and more interest [7–12]. It is a highly interdisciplinary and knowledge integrated as hot research field, which combines sensor technology, embedded computing technology, wireless communication technology, network technology, automatic control technology and distributed information processing technology, and other areas of technological achievements. Distributed sensors are arranged in the place of interest, which is convenient for people to gather information, and measured value can be acquired through multihop technology, until they are transmitted to the user's terminal. WNCS has very broad application prospects in the military, industry, urban management, environmental monitoring, and many other important areas which have potential practical value [13–17]. However, as system is growing highly modular and complex, and system failure probability is also growing. Faults can bring disastrous damage to the entire control system. Therefore, fault detection study on WNCS is essential.

Parameter uncertainty is a kind of factor that contributes to the complexity of the system, and much effort has been made to address this problem when designing observer for state estimation or fault detection [18–29]. Reference [25] applied sliding-window strategy to minimize the worst-case quadratic cost function of estimated state variables, which lead to convert estimation problem in the form of a regularized least-squares one with uncertain data. Reference [26] addressed the problem of the system which had unknown inputs and combined time varying delay in their state variables. Linear matrix inequality formulation was used to improve computational efficiency. In addition, sufficient conditions were also derived in the reduced order system. Reference [27] investigated the effect of parameter uncertainties on genetic regulatory networks. The author presented the convergence region to guarantee the stability of uncertain genetic regulatory networks and derived all results in the case that nonlinear item is unknown. In [28], parameter uncertainties were assumed to be norm-bounded, based on the Lyapunov-Krasovskii functional and stochastic stability theory; stability criteria were obtained in terms of linear matrix inequalities. In [29], the parameter uncertainties were allowed to be norm-bounded and be entered into the state matrix; the addressed filtering problem could effectively be solved in terms of linear matrix inequalities.

It is well known that time delays play an important role in system stability analysis, which could make system unstable or lead to system crash, so many scholars devoted to this field and got fruitful result in recent years [30–36]. Reference [34] dealt with the filtering problem and designed the mean-square finite dimensional filter for incompletely measured time delay system over linear observations. Reference [35] investigated the feedback control problem in discrete time stochastic systems involving sector nonlinearities and mixed time delays. The distributed time delay in the system was first defined and then a special matrix inequality was developed to handle the distributed time delay within an algebraic framework. Reference [36] designed a full order filter for stochastic nonlinear system with time delay, sufficient conditions were derived by using an algebraic matrix inequality approach, and filter design problem was tackled based on the generalized inverse theory.

Motivated by the stated above, we aim to deal with the fault detection problem for a class of WNCSs with stochastic uncertainties and time delays. By constructing proper Lyapunov-Krasovskii functional, we can get sufficient conditions such that the system error observer is asymptotically stable in mean-square sense and acquire gain of designed observer. The main contributions of this paper are listed in the two following aspects. The multiple communication delays and nonlinear disturbance are introduced for discrete-time wireless networked control systems to reflect more realistic environment. The measurement delay is considered when signals are transmitted from plant to controller.

The rest of paper is organized as follows. In Section 2, the problem of WNCS is formulated and some useful lemmas are introduced. In Section 3, we present sufficient conditions to make sure of the asymptotical stability of the system error observer. Besides, the gain used in the observer can be derived by solving linear matrix inequalities. An illustrated example is given in Section 4 to demonstrate the effectiveness of proposed method. Finally, we give our conclusions in Section 5.

*Notations.* The notations in this paper are quite standard. and denote the -dimensional Euclidean space and the set of real matrices; the superscript “” stands for matrix transposition; is the matrix of appropriate dimension; denotes the Euclidean norm of a vector and its induced norm of matrix; the notation (resp., ), for means that the matrix is real symmetric positive definite (resp., positive semidefinite). stands for the expectation operator. What is more, we use to represent the entries implied by symmetry. Matrices, if not explicitly specified, are assumed to have compatible dimensions.

#### 2. Problem Formulation

Considering a class of WNCSs as shown in Figure 1, we can know that sensor nodes of wireless network control system comprise a fixed topology in advance and gather information from plants and then transfer data to other nodes nearby. However, due to limited communication range or signal strength concern, existing signal channel may be vanished and a new one may be established. This is the main reason resulting in the uncertainties and time delays of WNCS.

The system can be described by the following discrete stochastic systems: where is the system state vector, is the measured output, and are internal perturbation arising from uncertain factors, is the fault of the system, is the nonlinear disturbance, and , , , , , and are constant matrices with appropriate dimensions.

To account for the phenomena of randomly occurring uncertainties, we introduce the stochastic variables and , which are Bernoulli distributed white sequences governed by where are known constants.

*Remark 1. *For the uncertainties in system that occur in a stochastic way and obeys Bernoulli distribution with a known probability, in this case, the system can be viewed as a changing system as time goes on. In addition, time delay item in system will also be variable as topology changes, we also suppose that it obeys another Bernoulli distribution independent of , which reflects stochastic character of the time delay in system model.

*Remark 2. *The random variables and that satisfy , , and , are used to model the probability distribution of the randomly occurring uncertainties.

For the system shown in (1), we make the following assumption throughout the paper.

*Assumption 3. * and are time-varying matrices with appropriate dimensions and are defined as
where , , and are known constant matrix, is an unknown real time-varying matrix with Lebesgue measurable elements satisfying .

*Assumption 4. * is the nonlinear disturbance which satisfies the following Lipschitz condition:
with being a known constant matrix of appropriate dimension, and .

*Assumption 5. *The variable denotes the output time-varying delay satisfying
where is constant positive integers representing the upper bound on the communication delay.

In order to generate residual signal, we construct the following state observer: where is the gain of observer to be determined.

Define the state error and the system residual of the system can be written as

If there is no fault, the system residual is close to zero. In order to detect system fault, we adopt a residual evaluation stage, including an evaluation function and a threshold of the following form: where denotes the length of the finite evaluating time horizon. Based on (8), the occurrence of faults can be detected by comparing with according to the following rule:

In addition, from (1)–(6), we have the state error detection dynamic governed by the following system: where .

By augmenting , we have the following augmented system: where

*Remark 6. *Because there is a big probability of the existence of errors between theoretical and practical systems because of unexpected factors in WSNs, in order to overcome this phenomenon, it is natural to assume system uncertainties. In addition, the system uncertainties may be the random changes in environmental circumstances, for example, network-induced random failures and repairs of components and sudden environmental disturbances. Therefore, we construct the system state observer (6) without the randomly occurring uncertainties according to the original system (1).

*Remark 7. *Compared with [37], it is clear the system error observer (11) has only one parameter which needs to be decided. In addition, because the uncertainty item is separated from the certainty item in (11), this makes it easier to take theoretical derivation.

The purpose of our work is to design a fault detection observer for a class of WNCSs, which has stochastic uncertainties and time delays, combined with nonlinear disturbance. In the following, we will utilize the Lyapunov stability theory to proceed the proof process in terms of LMI.

Besides, some useful and important lemmas that will be used in deriving out results will be introduced as below.

Lemma 8 (Schur complement). *Given constant matrices , , and where and , then if and only if
*

*Lemma 9. For any , , , the following inequality holds:
*

*Lemma 10. Let , , , and be real matrix of proper dimensions, and ; then inequality holds if there exists a constant , which makes the following inequality holds:
or equivalently
*

*3. Main Results*

*3. Main Results**In this part, we will construct Lyapunov-Krasovskii functional and give sufficient condition such that the system error model in (11) could be asymptotically stable in mean square.*

*Theorem 11. Consider the system (1) and suppose that the estimator parameters are given. The system error model (11) is said to be asymptotically stable in mean square, if there exists positive definite matrices , , , and scalars , , satisfying the following inequality:
where
*

*Proof. *For the stability analysis of the system (11), construct the following Lyapunov-Krasovskii functional:
where

By calculating the difference of along error dynamics (11), we have

According to Lemma 9, we have

Besides, according to Assumption 4, we have

The combination of (19)–(23) results in
where

According to Lyapunov stability theory, system dynamic (11) the stable means

According to Lemma 8, (26) is equivalent towhere
Multiply on both ends of the matrix; then

Inequality (29) can be rewritten into the following form:
where

According to Lemma 10, inequality (30) is equivalent to

Then applying Lemma 10 again, we can acquire inequality (17), which means , and the proof of Theorem 11 is complete.

*Notice that the inequality (17) in Theorem 11 demonstrates the stability of the dynamic model (11); however, the gain of fault detection observer cannot be acquired; we will try to find an accessible way to solve the problem.*

*Theorem 12. The system error model (11) is said to be asymptotically stable in mean square, if there exists positive definite matrices , , , and scalars , , satisfying the following inequality:
where
and , , , , and are defined in Theorem 11; in this case, the gain of fault detection observer is
*

*Proof. *We set , so , and substitute it into Theorem 11; we can get the result easily, and the proof of Theorem 12 is complete.

*Remark 13. *The main results in Theorems 11–12 can be applied to a wide class of wireless network control systems that involve randomly occurring uncertainties and time delays that result typically from networked environments. The LMI conditions are established to ensure the existence of the desired estimator gain, and the explicit expression of such estimator gain is characterized in terms of the solution to a LMI that can be effectively solved.

*4. Numerical Simulations*

*4. Numerical Simulations**In this section, we present an illustrative example to demonstrate the effectiveness of the proposed theorems. Consider the system model (1), where
In addition, we suppose the nonlinear function , so we have . Besides, we set , , , and .*

*Parameters can be acquired based on Theorems 11 and 12; we have
*

*So we have
When , we make . Then the residual signal is shown in Figure 2. In addition, the threshold is selected as , and accordingly, it can be obtained that in Figure 3. It can be clearly observed that the fault can be detected in 10 time steps after its occurrence and the designed observer can detect the system fault effectively when it occurs.*

*5. Conclusion*

*5. Conclusion**In this paper, we have considered the fault detection problem for a class of wireless networked control systems with randomly occurring uncertainties and time delays. A fault detection observer has been designed such that the fault detection dynamics is exponentially stable in the mean square and, at the same time, the error between the residual signal and the fault signal is made as small as possible. Sufficient conditions have been established via intensive stochastic analysis for the existence of the desired fault detection observer, and then the explicit expression of the desired observer gain has been derived by means of the feasibility of certain matrix inequality. Finally, simulation results demonstrate the effectiveness of proposed method.*

*Conflict of Interests*

*Conflict of Interests**The authors declare that there is no conflict of interests regarding the publication of this paper.*

*Acknowledgments*

*Acknowledgments**This work has been supported by the National Natural Science Foundation of China (Grant no. 61104109), the Natural Science Foundation of Jiangsu Province of China (Grant no. BK2011703), the Support of Science and Technology and Independent Innovation Foundation of Jiangsu Province of China (Grant no. BE2012178), the NUST Outstanding Scholar Supporting Program, and the Doctoral Fund of Ministry of Education of China (Grant no. 20113219110027).*

*References*

*References*

- L. Wu, X. Yao, and W. X. Zheng, “Generalized ${H}_{2}$ fault detection for two-dimensional Markovian jump systems,”
*Automatica*, vol. 48, no. 8, pp. 1741–1750, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Yao, L. Wu, and W. X. Zheng, “Fault detection filter design for Markovian jump singular systems with intermittent measurements,”
*IEEE Transactions on Signal Processing*, vol. 59, no. 7, pp. 3099–3109, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - L. Wu, X. Su, and P. Shi, “Mixed ${H}_{2}/{H}_{\infty}$ approach to fault detection of discrete linear repetitive processes,”
*Journal of the Franklin Institute*, vol. 348, no. 2, pp. 393–414, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - L. Wu and D. W. C. Ho, “Fuzzy filter design for Itô stochastic systems with application to sensor fault detection,”
*IEEE Transactions on Fuzzy Systems*, vol. 17, no. 1, pp. 233–242, 2009. View at Publisher · View at Google Scholar · View at Scopus - S. Yin, S. Ding, A. Haghani, H. Hao, and P. Zhang, “A comparison study of basic data-driven fault diagnosis and process monitoring methods on the benchmark Tennessee Eastman process,”
*Journal of Process Control*, vol. 22, no. 9, pp. 1567–1581, 2012. View at Google Scholar - S. Yin, S. X. Ding, A. H. A. Sari, and H. Hao, “Data-driven monitoring for stochastic systems and its application on batch process,”
*International Journal of Systems Science*, vol. 44, no. 7, pp. 1366–1376, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. Fang, H. Ye, and M. Zhong, “Fault diagnosis of networked control systems,”
*Annual Reviews in Control*, vol. 31, no. 1, pp. 55–68, 2007. View at Publisher · View at Google Scholar · View at Scopus - H. Ye and S. X. Ding, “Fault detection of networked control systems with network-induced delay,” in
*Proceedings of the 8th International Conference on Control, Automation, Robotics and Vision (ICARCV '04)*, pp. 294–297, Kunming, China, December 2004. View at Scopus - J. P. Hespanha, P. Naghshtabrizi, and Y. Xu, “A survey of recent results in networked control systems,”
*Proceedings of the IEEE*, vol. 95, no. 1, pp. 138–172, 2007. View at Publisher · View at Google Scholar · View at Scopus - P. Seiler and R. Sengupta, “Analysis of communication losses in vehicle control problems,” in
*Proceedings of the American Control Conference*, pp. 1491–1496, Arlington, Va, USA, June 2001. View at Scopus - P. Seiler and R. Sengupta, “An ${H}_{\infty}$ approach to networked control,”
*IEEE Transactions on Automatic Control*, vol. 50, no. 3, pp. 356–364, 2005. View at Publisher · View at Google Scholar · View at MathSciNet - S. Yin, H. Luo, J. Lam, and S. Ding, “Real-time implementation of fault-tolerant control systems with performance optimization,”
*IEEE Transactions on Industrial Electronics*, vol. 64, no. 5, pp. 2402–2411, 2014. View at Google Scholar - I. F. Akyildiz, X. Wang, and W. Wang, “Wireless mesh networks: a survey,”
*Computer Networks*, vol. 47, no. 4, pp. 445–487, 2005. View at Publisher · View at Google Scholar · View at Scopus - F.-L. Lian, J. Moyne, and D. Tilbury, “Network design consideration for distributed control systems,”
*IEEE Transactions on Control Systems Technology*, vol. 10, no. 2, pp. 297–307, 2002. View at Publisher · View at Google Scholar · View at Scopus - J. Kay and J. Frolik, “Quality of service analysis and control for wireless sensor networks,” in
*Proceedings of the 4th IEEE International Conference on Mobile Ad-Hoc and Sensor Systems*, pp. 359–368, Fort Lauderdale, Fla, USA, October 2004. View at Scopus - L. Eriksson and H. N. Koivo, “Tuning of discrete-time PID controllers in sensor network based control systems,” in
*Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA '05)*, pp. 359–364, Espoo, Finland, June 2005. View at Scopus - A. Tzes, G. Nikolakopoulos, and I. Koutroulis, “Development and experimental verification of a mobile client-centric networked controlled system,”
*European Journal of Control*, vol. 11, no. 3, pp. 229–241, 2005. View at Publisher · View at Google Scholar · View at MathSciNet - F. Xiao and L. Wang, “Asynchronous consensus in continuous-time multi-agent systems with switching topology and time-varying delays,”
*IEEE Transactions on Automatic Control*, vol. 53, no. 8, pp. 1804–1816, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - L. Wu and W. X. Zheng, “Passivity-based sliding mode control of uncertain singular time-delay systems,”
*Automatica*, vol. 45, no. 9, pp. 2120–2127, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - L. Wu, D. W. C. Ho, and C. W. Li, “Sliding mode control of switched hybrid systems with stochastic perturbation,”
*Systems & Control Letters*, vol. 60, no. 8, pp. 531–539, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Liang, Z. Wang, and X. Liu, “Distributed state estimation for uncertain Markov-type sensor networks with mode-dependent distributed delays,”
*International Journal of Robust and Nonlinear Control*, vol. 22, no. 3, pp. 331–346, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y.-Q. Wang, H. Ye, X. S. Ding, and G.-Z. Wang, “Fault detection of networked control systems based on optimal robust fault detection filter,”
*Acta Automatica Sinica*, vol. 34, no. 12, pp. 1534–1539, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - L. Hu, P. Shi, and B. Huang, “Stochastic stability and robust control for sampled-data systems with Markovian jump parameters,”
*Journal of Mathematical Analysis and Applications*, vol. 313, no. 2, pp. 504–517, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Alessandri, M. Baglietto, and G. Battistelli, “Robust receding-horizon state estimation for uncertain discrete-time linear systems,”
*Systems & Control Letters*, vol. 54, no. 7, pp. 627–643, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. Trinh and Q. P. Ha, “State and input simultaneous estimation for a class of time-delay systems with uncertainties,”
*IEEE Transactions on Circuits and Systems II*, vol. 54, no. 6, pp. 527–531, 2007. View at Publisher · View at Google Scholar · View at Scopus - Z. Wang, X. Liao, S. Guo, and G. Liu, “Stability analysis of genetic regulatory network with time delays and parameter uncertainties,”
*IET Control Theory & Applications*, vol. 4, no. 10, pp. 2018–2028, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - P. Balasubramaniam, R. Rakkiyappan, and R. Krishnasamy, “Stochastic stability of Markovian jumping uncertain stochastic genetic regulatory networks with interval time-varying delays,”
*Mathematical Biosciences*, vol. 226, no. 2, pp. 97–108, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Wang, D. W. C. Ho, and X. Liu, “Variance-constrained filtering for uncertain stochastic systems with missing measurements,”
*IEEE Transactions on Automatic Control*, vol. 48, no. 7, pp. 1254–1258, 2003. View at Publisher · View at Google Scholar · View at MathSciNet - M. Basin, P. Shi, and D. Calderon-Alvarez, “Joint state filtering and parameter estimation for linear stochastic time-delay systems,”
*Signal Processing*, vol. 91, no. 4, pp. 782–792, 2011. View at Publisher · View at Google Scholar · View at Scopus - Z. Wang, H. Qiao, and K. J. Burnham, “On stabilization of bilinear uncertain time-delay stochastic systems with Markovian jumping parameters,”
*IEEE Transactions on Automatic Control*, vol. 47, no. 4, pp. 640–646, 2002. View at Publisher · View at Google Scholar · View at MathSciNet - H. Bao and J. Cao, “Delay-distribution-dependent state estimation for discrete-time stochasticneural networks with random delay,”
*Neural Networks*, vol. 24, no. 1, pp. 19–28, 2011. View at Google Scholar - M. Basin, M. A. Alcorta-Garcia, and A. Alanis-Duran, “Optimal filtering for linear systems with state and multiple observation delays,”
*International Journal of Systems Science*, vol. 39, no. 5, pp. 547–555, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Wang, Y. Liu, and X. Liu, “State estimation for jumping recurrent neural networks with discrete and distributed delays,”
*Neural Networks*, vol. 22, no. 1, pp. 41–48, 2009. View at Publisher · View at Google Scholar · View at Scopus - Z. Wang, Y. Liu, G. Wei, and X. Liu, “A note on control of a class of discrete-time stochastic systems with distributed delays and nonlinear disturbances,”
*Automatica*, vol. 46, no. 3, pp. 543–548, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Wang, J. Lam, and X. Liu, “Filtering for a class of nonlinear discrete-time stochastic systems with state delays,”
*Journal of Computational and Applied Mathematics*, vol. 201, no. 1, pp. 153–163, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. Dong, Z. Wang, J. Lam, and H. Gao, “Fuzzy-model-based robust fault detection with stochastic mixed time delays and successive packet dropouts,”
*IEEE Transactions on Systems, Man, and Cybernetics B*, vol. 42, no. 2, pp. 365–376, 2012. View at Publisher · View at Google Scholar · View at Scopus

*
*