Advances in Methods for Networked and Cyber-Physical SystemView this Special Issue
Research Article | Open Access
Integrity Design for Networked Control Systems with Actuator Failures and Data Packet Dropouts
The integrity design problem of fault tolerant control for networked control system (NCS) with actuator failures and data packet dropouts is investigated. The data packet dropouts in both sensor-controller (S-C) and controller-actuator (C-A) links are described by two switches, which can be modeled as a discrete event system with known rate. After introducing the matrix of actuator failure, the closed-loop NCS is developed, which can be viewed as asynchronous dynamical systems (ADSs). Then, the sufficiency of exponential stability for the NCS is obtained based on the theory of ADSs. The output feedback controllers that can guarantee system stability are also proposed. Finally, two numerical examples are given to demonstrate the validity of our proposed approach.
Along with the rapid development of communication networks, a great amount of effort has been made on fault-tolerant control (FTC) problems for networked control systems (NCSs) recently. NCSs are distributed systems, which are comprised of controlled plants actuators, sensors, and controllers. The essential feature of NCSs is that the information is exchanged through some form of communication networks (as in [1–5]). The use of a shared network to connect spatially distributed devices results in flexible architectures and generally reduces installation and maintenance costs. Consequently, NCSs have been widely applied to many complex control systems, for example, unmanned aerial vehicles, avionics industries, remote surgery, and rapid transit trains.
However, the insertion of networks also brings some new issues, such as network-induced delay (as in [1, 6–12]) and data packet dropout (as in [1, 13–15]), which make NCSs more vulnerable to faults than conventional systems. As we know, research on FTC strives to make the system stable and retain acceptable performance under the system faults. An important part of FTC is the one specializing in actuator faults, FTC techniques dealing with actuator faults are relevant for practical application and have already been the subject of many publications (as in [16–19]). Therefore, a suitable architecture for FTC of NCSs must take the dynamical behavior of network into consideration (as in [8–12, 14, 15, 20–23]).
A wide range of research has recently been reported dealing with problems related to the FTC for NCSs with network-induced delay (as in [8–11]). As compared to the plentiful works on FTC for NCSs with network-induced delay, only a few attention has been paid to the study of FTC for NCSs with data packet dropout (as in [14, 15, 23]). As we know, packet dropouts can be modeled either as stochastic or deterministic phenomena, such as packet dropouts in both S-C link and C-A link are characterized by Bernoulli process in . Finite-state Markovian process is used to model correlated packet dropouts in . Deterministic models for data dropouts have also been proposed, specified in terms of time averages as in [1, 15], such as packet dropouts in the S-C link modeled by ADSs, discussed in .
From the above description, considering data packet dropout in both S-C and C-A links, the problem of FTC for NCSs with actuator failures is still a challenging problem. Thus, this paper is devoted to study FTC for NCSs with actuator failures and packet dropout in both S-C and C-A links. According to the method in , data packet dropouts in both S-C and C-A links are described by two independent switches, which can be modeled as a discrete event system with known rate. After introducing the matrix of actuator failures, the model of closed-loop NCSs with actuator failures is addressed. It should be mentioned that the closed-loop NCSs can be viewed as ADSs. Then, based on the theory of ADSs, the sufficiency of exponential stability for such NCSs is derived and the output feedback controllers that can guarantee system stability are presented. Finally, two numerical examples are provided to show the effectiveness of the present approach.
The rest of the paper is organized as follows. Section 2 gives the formulation of the problem, and the NCSs with data packet dropout is modeled as a discrete event system. The integrity design of FTC for the NCSs is addressed in Section 3. The output-feedback controllers are also presented in Section 3. Two numerical examples to testify the effectiveness of the proposed method are shown in Section 4. Section 5 makes the concluding remarks.
2. Problem Formulation
The LTI discrete-time system is considered as follows: where , , and denote the state vector, the measurable output vector, and the control input vector, respectively. , and are known matrices with appropriate dimensions.
Networks can be viewed as unreliable data transmission paths, where packet collision and network node failure occasionally occur. When there is a packet collision, instead of repeated retransmission attempts, it might be advantageous to drop the old packet and transmit a new one. Hence, in this study, we focus on the phenomenon of data packet dropout. Figure 1 shows a typical closed loop of NCSs with data packet dropout. Some assumptions in this paper are as follows. (1)The controller and the actuator are event-driven.(2)Data are single-packet transmission, and the dropout packet rate is known.
From Figure 2, it can been seen that data packet dropouts in the network can be treated as switches that close at a certain rate. When these switches are closed (position ), data packets containing , are transmitted successfully, whereas when they are open (position ), the outputs of these switches are held at the previous values , stored in the buff, and the current data packet is missing. Thus, the dynamic model of this network with data packet dropout is given by where is a four-state time-homogenous Markov chain which takes values in index set ; the rate at which the event occurs is defined by the following:
From the above discussion, data packet dropouts in the network can be viewed as two independent switches; that is, we can obtain the network model (2) by analyzing the features of these switches. Meanwhile, it is worth noting that the network model (2) can also be a discrete event system, which contains four events as follows. Event 1: , no data packets are lost in the whole loop. Event 2: , data packets are lost in the S-C link. Event 3: , data packets are lost in the C-A link. Event 4: , data packets’s loss exist in both the S-C and the C-A link.
Actually, sensor failures model can be transformed into actuator failures model by changing format of system with faults. So, in this paper, we only discuss actuator failures model. Usually, when a system is under actuator failures, a matrix will be introduced into this system between its coefficient matrix and the feedback control matrix to describe actuator failures. We have where denotes that the th actuator is in the normal situation, denotes that the th actuator is in the full fault situation, and denotes that the th actuator is in partial fault situation.
Define a new augmented vector ; then the closed-loop NCS model with actuator failures will be where
Up till now, the state space expressions for different discrete events of the closed-loop NCS are acquired.
3. Integrity Design of FTC for the NCS
In this section, the integrity design of FTC for the NCS (5) is discussed. As we know, the integrity design is that system can keep asymptotically stable under some sensors failures or actuators failures and is one of the important means for the FTC. Meanwhile, because system (5) can also be viewed as ADSs, which are systems that incorporate continuous and discrete dynamics, the continuous dynamics are governed by differential or difference equations, whereas the discrete dynamics are governed by finite automata that are driven asynchronously by external discrete events with fixed rates [24, 25]. Then before studying the problem of integrity design, an important lemma about ADSs should be introduced.
Lemma 1 (as in ). Given an ADS as follows:
Suppose a Lyapunov function and where . The ADS (7) is exponentially stable with the decay rate if there exist the scalars , satisfying where is the number of events to each discrete state, is the number of events in total, and are corresponding to each event rate.
Remark 2. Note that the belongs to the set . And Lemma 1 implies that the Lyapunov function does not have to decrease monotonically at some rate along all trajectories, but rather it should decrease at a rate on the average.
Theorem 3. If represents the rate of events , respectively and are the rates of events , , , in NCS (5), then can be described as
Proof. Since the switches in Figure 1 are independent, then are also independent events. According to the probability theory, the probabilities of these four independent events can be obtained as follows:
Then, Theorem 3 can be proved.
Theorem 4. The NCS (5) is exponentially stable with the decay rate if there exist , , positive definite matrices , , , and matrices , , satisfying the following:
Proof. From Lemma 1 and (10), we can get (12) directly.
Next, for nonzero , choose the Lyapunov function as follows:
For simplicity, let , and . Then, each discrete event of NCS will be discussed, respectively.
Event 1. If event occurs, it follows that
So, we have where
By Schur complement, is equivalent to
Event 2. If event occurs, then we get
So, we have where where .
Applying Schur complement theory, is equivalent to
If event 3 and event 4 occur, that is, and , then we get
Remark 5. From Theorem 4, it can be found that the NCS (5) is exponentially stable. According to the characteristic of trivial solution of system (5), we can get that the exponential stability of NCS (5) is equivalent to asymptotic stability, which corresponds with the requirement of integrity design for FTC.
4. Numerical Examples
In this section, two numerical examples are given to illustrate the performance of the proposed approach.
Example 1. Consider the following linear model of a helicopter (as in ):
where is system state, is control input, is horizontal velocity, is vertical velocity, is pitch rate, is angle of pitch, is blade control, and the matrices of model (30) are
Assume that the sampling period is and the initial state , then the matrices of zero-order holding system (30) are given by
Suppose the rate of packet dropout is in the S-C link and the rate of packet dropout is in the C-A link; then, we have and .
Denote actuator failure matrix as follows:
From Figure 3, it can be seen that the system is unstable when the data packet dropout and actuator faults happen. Then, using the proposed approach in Theorem 4 and taking , , and , , the controllers can be obtained as follows:
Besides, from Figure 4, we can see that controllers can guarantee system stability when the data packet dropout and actuator faults happen. Therefore, the simulation result of Example 1 demonstrates the effectiveness of our presented method.
(a) Event 1
(b) Event 3
Example 2. Consider the discrete system as follows (as in ):
with the sampling period .
When data packet dropouts occur in the communication channels, a controller presented in  can stabilize the closed-loop NCS. But, when the closed-loop NCS with actuator failure matrix , the suitable controller and cannot be found using method in . Comparing with method in , for given , , , , , and , the suitable output feedback controllers can be found by the proposed approach in this paper:
Figure 5 shows the step responses of NCS (5) in events 1 and 3. The case without data packet dropout and actuator failure is displayed in Figure 5(a) as the solid lines, controllers can switch immediately between two different control loops, and the system is exponentially stable. When an actuator fault occurs, one of the trajectories becomes zero as shown in Figure 5(a) by the star parts. Similarly, Figure 5(b) shows that the proposed controllers can guarantee the stability even though both the data packet dropout and actuator failure happen. From a comparison between Figures 5(a) and 5(b), we can see that system performance in event 3 is not as good as that in event 1 because of the data packet dropout. Hence, the simulation results of Example 2 imply that the desired goal is well achieved.
(a) Event 1
(b) Event 3
The problem of FTC for NCSs with actuator failures and data packet dropout in both S-C and C-A links is discussed in this paper. These data packet dropouts are described by two independent switches, which can be modeled as a discrete event system with known rate. Introducing the matrix of actuator failures, the model of NCS with actuator failures is addressed as ADSs. Then, based on the theory of ADSs, the sufficiency of exponential stability for such NCS is derived and the output feedback controllers guaranteed system performance are presented. Finally, two numerical examples are exploited to show the effectiveness of the proposed method.
The authors would like to acknowledge the National Natural Science Foundation of P. R. China under Grant no. 61174044, the Independent Innovation Fund of Shandong University (2012JC005), and the Shandong Province Natural Science Foundation under Grant no. ZR2010FM016. The authors also wish to thank the reviewers for their valuable suggestions.
- W. Zhang, M. S. Branicky, and S. M. Phillips, “Stability of networked control systems,” IEEE Control Systems Magazine, vol. 21, no. 1, pp. 84–97, 2001.
- G. C. Walsh, H. Ye, and L. G. Bushnell, “Stability analysis of networked control systems,” IEEE Transactions on Control Systems Technology, vol. 10, no. 3, pp. 438–446, 2002.
- 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.
- R. A. Gupta and M.-Y. Chow, “Networked control system: overview and research trends,” IEEE Transactions on Industrial Electronics, vol. 57, no. 7, pp. 2527–2535, 2010.
- M. B. G. Cloosterman, L. Hetel, N. van de Wouw, W. P. M. H. Heemels, J. Daafouz, and H. Nijmeijer, “Controller synthesis for networked control systems,” Automatica, vol. 46, no. 10, pp. 1584–1594, 2010.
- 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.
- Y. Shi and B. Yu, “Output feedback stabilization of networked control systems with random delays modeled by Markov chains,” IEEE Transactions on Automatic Control, vol. 54, no. 7, pp. 1668–1674, 2009.
- S. Q. Wang, J. Feng, and H. G. Zhang, “Robust fault tolerant control for a class of networked control systems with state delay and stochastic actuator failures,” International Journal of Adaptive Control and Signal Processing, 2012.
- C.-X. Yang, Z.-H. Guan, and J. Huang, “Stochastic fault tolerant control of networked control systems,” Journal of the Franklin Institute, vol. 346, no. 10, pp. 1006–1020, 2009.
- E. Tian, D. Yue, and C. Peng, “Reliable control for networked control systems with probabilistic sensors and actuators faults,” IET Control Theory and Applications, vol. 4, no. 8, pp. 1478–1488, 2010.
- C. Peng, T. C. Yang, and E. G. Tian, “Robust fault-tolerant control of networked control systems with stochastic actuator failure,” IET Control Theory and Applications, vol. 4, no. 12, pp. 3003–3011, 2010.
- X. M. Huang, X. Li, C. J. Long, and Y. Gao, “Guaranteed cost fault-tolerant control of networked control systems with short output delay and short control delay based on state observer,” Journal of Networks, vol. 8, no. 4, pp. 836–842, 2013.
- C. Wang, Z. Yuan, and Q. Li, “Stability of networked control systems with data packet dropout,” in Proceedings of the 4th IEEE Conference on Industrial Electronics and Applications (ICIEA '09), pp. 2734–2737, May 2009.
- X. M. Qi, C. Zhang, and J. Gu, “Robust fault-tolerant control for uncertain networked control systems with state-delay and random data packet dropout,” Journal of Control Science and Engineering, vol. 2012, Article ID 734758, 7 pages, 2012.
- Z. Huo and H. Fang, “Research on robust fault-tolerant control for networked control system with packet dropout,” Journal of Systems Engineering and Electronics, vol. 18, no. 1, pp. 76–82, 2007.
- M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki, Diagnosis and Fault-Tolerant Control, Springer, Berlin, Germany, 2003.
- J. Chen and R. J. Patton, Robust Model-Based Fault Diagnosis for Dynamic Systems, Kluwer Academic Publishers, Boston, Mass, USA, 1999.
- Y. Zhang and J. Jiang, “Bibliographical review on reconfigurable fault-tolerant control systems,” Annual Reviews in Control, vol. 32, no. 2, pp. 229–252, 2008.
- B. Jiang, Z. H. Mao, H. Yang, and Y. M. Zhang, Fault Diagnosis and Fault Accommodation for Control Systems, National Defense Industry Press, 2009.
- S. X. Ding, P. Zhang, and Ch. Chihaia, “Advanced design scheme for fault tolerant distributed networked control systems,” in Proceedings of the 17th World Congress International Federation of Automatic Control, pp. 13569–13574, 2008.
- Z. Mao, B. Jiang, and P. Shi, “Observer based fault-tolerant control for a class of nonlinear networked control systems,” Journal of the Franklin Institute, vol. 347, no. 6, pp. 940–956, 2010.
- X. M. Qi, C. J. Zhang, and J. Gu, “Output feedback fault tolerent control for networked control systems with random access,” Control and Inteligent Systems, vol. 40, no. 4, pp. 226–233, 2012.
- M.-Y. Zhao, H.-P. Liu, Z.-J. Li, and D.-H. Sun, “Fault tolerant control for networked control systems with packet loss and time delay,” International Journal of Automation and Computing, vol. 8, no. 2, pp. 244–253, 2011.
- A. Hassibi, S. P. Boyd, and J. P. How, “Control of asynchronous dynamical systems with rate constraints on events,” in Proceedings of the 38th IEEE Conference on Decision and Control (CDC '99), pp. 1345–1351, December 1999.
- A. Rabello and A. Bhaya, “Stability of asynchronous dynamical systems with rate constraints and applications,” in Proceedings of the American Control Conference, pp. 1284–1289, May 2002.
Copyright © 2013 Xiaomei Qi and Jason Gu. 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.