About this Journal Submit a Manuscript Table of Contents
Discrete Dynamics in Nature and Society
Volume 2014 (2014), Article ID 176919, 6 pages
http://dx.doi.org/10.1155/2014/176919
Research Article

Finite-Time Stability and Stabilization of Networked Control Systems with Bounded Markovian Packet Dropout

Department of Mathematics and Computational Science, Huainan Normal University, 238 Dongshan West Road, Huainan 232038, China

Received 7 January 2014; Accepted 25 February 2014; Published 23 March 2014

Academic Editor: Jinde Cao

Copyright © 2014 Yeguo Sun and Guanjun Li. 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 finite-time stability and stabilization problems of a class of networked control systems (NCSs) with bounded Markovian packet dropout are investigated. The main results provided in the paper are sufficient conditions for finite-time stability and stabilization via state feedback. An iterative approach is proposed to model NCSs with bounded packet dropout as jump linear systems (JLSs). Based on Lyapunov stability theory and JLSs theory, the sufficient conditions for finite-time stability and stabilization of the underlying systems are derived via linear matrix inequalities (LMIs) formulation. Lastly, an illustrative example is given to demonstrate the effectiveness of the proposed results.

1. Introduction

The concept of Lyapunov asymptotic stability is largely known to the control community; see [1] and the references therein. However, often Lyapunov asymptotic stability is not enough for practical applications, because there are some cases where large values of state variables are not acceptable. For this purpose, the concept of finite-time stability (FTS) can be used. Some early results on FTS can be found in [2]; more recently the concept of FTS has been revisited in the light of recent results coming from linear matrix inequalities (LMIs) theory, which has made it possible to find less conservative conditions for guaranteeing FTS and finite time stabilization of discrete-time and continuous-time systems [3, 4]. In [5], finite-time stabilization of linear time-varying systems has been studied. In [68], finite-time control problem for the impulsive systems is discussed. In [9], sufficient conditions for finite-time stability and stabilization of a class of nonlinear quadratic systems are also presented. For more analysis and synthesis results of finite control problem, the readers are referred to the literature [10, 11] and the references therein. In [12], sufficient conditions for finite-time boundness and stability of switched system are proposed, and static state and dynamic output feedback controllers are designed to finite-time stabilise switched linear systems. In [13], a new design approach is proposed for robust finite-time control of a class of Markov jump systems with partially known information. In [14], finite-time reliable guaranteed cost fuzzy control for discrete-time nonlinear systems with actuator faults is investigated. In [15], the finite-time stochastic synchronization problem for complex networks with stochastic noise perturbations is studied. In [16], finite-time synchronization of the singular hybrid coupled networks is investigated.

On the other hand, NCSs are feedback control systems with control loops closed via digital communication channels. Compared with the traditional point-to-point wiring, the use of the communication channels can reduce the costs of cables and power, simplify the installation and maintenance of the whole system, and increase the reliability. Because of these attractive benefits, many industrial companies and institutes have shown interest in applying networks for remote industrial control purposes and factory automation [17]. However, the insertion of communication networks in feedback control loops makes the NCSs analysis and synthesis complex; see [1820] and the references therein, where much attention has been paid to the delayed data packets of an NCSs due to network transmissions. In fact, data packets through networks suffer not only transmission delays, but also, possibly, packet dropout [21, 22]; the latter is a potential source of instability and poor performance in NCSs because of the critical real-time requirement in control systems.

So far, Lyapunov stability analysis for NCSs with packet dropout has been extensively studied by many researchers [2325]. However, to date and to the best of our knowledge, the problems of finite-time stabilization of NCSs with Markovian packet dropout have not been fully investigated and still remain challenging, although results related to systems over networks with packet loss are reported in the existing literature, which motivates the study of this paper. The main contributions are given as follows: definitions of finite-time stabilization are extended to NCSs with packet dropout; sufficient conditions for finite-time stabilization in terms of linear matrix inequalities formulation are given.

This paper is organized as follows. An iterative method to model NCSs with bounded Markovian packet dropout as MJLSs is proposed in Section 2. The stochastic stability and stabilization conditions for NCSs are derived via LMIs in Section 3. Section 4 provides numerical examples to illustrate the effectiveness of our results. Finally, Section 5 gives some concluding remarks.

Notations. Throughout this paper, for two matrices and , means that is negative definite, and denotes the transpose of . stands for the mathematical expectation operator. and denote the maximum and minimum eigenvalue of , respectively. is the identity matrix.

2. Problem Formulation and Preliminaries

The framework of NCSs considered in this paper is depicted in Figure 1, and the plant to be controlled is described by the following linear discrete-time systems: where is the state and is the control input. and are known real constant matrices with appropriate dimensions. We assume that is controllable.

176919.fig.001
Figure 1: Illustration of NCSs over communication network.

Let , which is a subsequence of , denote the sequence of time points of successful date transmission from sensor to actuator. The state feedback controller law is where is to be designed. The control input is held at the previous value by the zero-order hold during the two successively successful transmitted instant; that is Thus the closed-loop system is Applying iteratively (4), we can obtain Define the packet dropout process as follows: which takes values in the finite state space , where is defined as Then the closed-loop system (5) can be rewritten as jump linear systems: The packet dropout process is described by a discrete-time homogeneous Markov chain with mode transition probabilities: The corresponding transition probabilities is defined as

Remark 1. It is worth pointing out that the packet dropout process includes both sensor-to-controller and controller-to-actuator packet dropouts.

The main aim of this paper is to find some sufficient conditions which guarantee that the system given (8) is stable over a finite-time interval. This concept can be formalized through the following definition.

Definition 2. System (8) is said to be finite-time stable with respect to , where is a positive-definite matrix, , if

To this end, the following lemmas will be essential for the proofs in the next section and theirs proofs can be found in the cited reference.

Lemma 3 (see [26]). For any matrices and , if the matrix , then one has

Lemma 4 (Schur complement lemma; see [26]). For a given symmetric matrix where , , and , then the following three conditions are mutually equivalent:(1),(2), ,(3), .

3. Main Results

In this section, we will find a state feedback control matrix , such that system (8) is finite-time stable with respect to . In order to solve the problem, the following theorem will be essential.

Theorem 5. For a constant , system (8) is finite-time stable with respect to if there exist matrix , , and two scalars , , such that the following conditions hold: where

Proof. Choose the Lyapunov function as Firstly, we will prove that conditions (14) combined with the following condition imply that (8) is finite-time stable with respect to , where is difference operator and defined as follows: Applying iteratively (18), we obtain Note that Thus, we have From conditions (14), we can obtain Secondly, we will prove that condition (15) is equivalent to condition (18). According to the definition of difference operator and the transition probabilities of the packet dropout process , we can obtain which yields that

Now we turn back to our original problem, which is to find sufficient conditions which guarantee that the system (8) with the controller (2) is finite-time stable with respect to . The solution of this problem is given by the following theorem.

Theorem 6. For a constant , system (8) is finite-time stable with respect to if there exist matrix , , , , and two scalars , , such that the following conditions hold: where Then the desired stabilizable control matrix is given by

Proof. By Lemma 4, (27) is equivalent to From Lemma 3, we can obtain Denote . From (30) and (31), we have Let . Then, we can obtain which yields that which is equivalent to In view of Theorem 5, system (8) is finite-time stable with respect to . Moreover, the desired controller gain is given by (29).

Remark 7. For the case of , the system transient performance can also be accommodated. In fact, denote . Then we have By Theorem 6, the system transient performance can be accommodated.

4. Numerical Example

In this section, a numerical example is given to illustrate the effectiveness of the proposed methods. Let us consider the continuous time system [27]: where When the plant is sampled with a sampling period , the corresponding discretized system is Both the continuous time system and discretized system are unstable because the eigenvalues of are , and the eigenvalues of are , , . Furthermore, we assume that the packet dropout upper bound is and the transition probabilities matrix is as follows: For given , , , , , according to Theorem 6, the control matrix is given by To simulate, we take the initial state as . Figure 2 depicts the trajectory of the system state. The numerical example and simulation demonstrate the effectiveness of the proposed results.

176919.fig.002
Figure 2: State response.

5. Conclusions

In this paper, we have considered the finite-time stabilization problems of a class of networked control systems (NCSs) with bounded Markovian packet dropout, based on the iterative approach the NCSs with bounded packet dropout as jump linear systems. The sufficient conditions for finite-time stabilization of the underlying systems are derived via linear matrix inequalities (LMIs) formulation. Lastly, an illustrative example is given to demonstrate the effectiveness of the proposed results.

Conflict of Interests

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

Acknowledgment

This work was partly supported by the University Natural Science Foundation of Anhui Province no. KJ2013A239 and the University Special Foundation for Young Scientists of Anhui Province no. 2013SQRW052ZD.

References

  1. J. Cao, A. Alofi, A. Al-Mazrooei, and A. Elaiw, “Synchronization of switched interval networks and applications to chaotic neural networks,” Abstract and Applied Analysis, vol. 2013, Article ID 940573, 11 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  2. L. Weiss and E. F. Infante, “Finite time stability under perturbing forces and on product spaces,” IEEE Transactions on Automatic Control, vol. 12, pp. 54–59, 1967. View at Zentralblatt MATH · View at MathSciNet
  3. F. Amato and M. Ariola, “Finite-time control of discrete-time linear systems,” IEEE Transactions on Automatic Control, vol. 50, no. 5, pp. 724–729, 2005. View at Publisher · View at Google Scholar · View at MathSciNet
  4. F. Amato, M. Ariola, and C. Cosentino, “Finite-time stabilization via dynamic output feedback,” Automatica, vol. 42, no. 2, pp. 337–342, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. G. Garcia, S. Tarbouriech, and J. Bernussou, “Finite-time stabilization of linear time-varying continuous systems,” IEEE Transactions on Automatic Control, vol. 54, no. 2, pp. 364–369, 2009. View at Publisher · View at Google Scholar · View at MathSciNet
  6. L. Liu and J. Sun, “Finite-time stabilization of linear systems via impulsive control,” International Journal of Control, vol. 81, no. 6, pp. 905–909, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  7. S. Zhao, J. Sun, and L. Liu, “Finite-time stability of linear time-varying singular systems with impulsive effects,” International Journal of Control, vol. 81, no. 11, pp. 1824–1829, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  8. F. Amato, R. Ambrosino, M. Ariola, and C. Cosentino, “Finite-time stability of linear time-varying systems with jumps,” Automatica, vol. 45, no. 5, pp. 1354–1358, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  9. F. Amato, C. Cosentino, and A. Merola, “Sufficient conditions for finite-time stability and stabilization of nonlinear quadratic systems,” IEEE Transactions on Automatic Control, vol. 55, no. 2, pp. 430–434, 2010. View at Publisher · View at Google Scholar · View at MathSciNet
  10. F. Amato, M. Ariola, and C. Cosentino, “Finite-time stability of linear time-varying systems: analysis and controller design,” IEEE Transactions on Automatic Control, vol. 55, no. 4, pp. 1003–1008, 2010. View at Publisher · View at Google Scholar · View at MathSciNet
  11. F. Amato, M. Ariola, and C. Cosentino, “Finite-time control of discrete-time linear systems: analysis and design conditions,” Automatica, vol. 46, no. 5, pp. 919–924, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  12. W. Xiang and J. Xiao, “Finite-time stability and stabilisation for switched linear systems,” International Journal of Systems Science, vol. 44, no. 2, pp. 384–400, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  13. X. Luan, F. Liu, and P. Shi, “Robust finite-time control for a class of extended stochastic switching systems,” International Journal of Systems Science, vol. 42, no. 7, pp. 1197–1205, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. D. Yang and K.-Y. Cai, “Finite-time reliable guaranteed cost fuzzy control for discrete-time nonlinear systems,” International Journal of Systems Science, vol. 42, no. 1, pp. 121–128, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  15. X. Yang and J. Cao, “Finite-time stochastic synchronization of complex networks,” Applied Mathematical Modelling, vol. 34, no. 11, pp. 3631–3641, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  16. C. Zheng and J. Cao, “Finite-time synchronization of singular hybrid coupled networks,” Journal of Applied Mathematics, vol. 2013, Article ID 378376, 8 pages, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  17. G. C. Walsh and H. Ye, “Scheduling of networked control systems,” IEEE Control Systems Magazine, vol. 21, no. 1, pp. 57–65, 2001.
  18. A. H. Tahoun and H.-J. Fang, “Adaptive stabilisation of networked control systems tolerant to unknown actuator failures,” International Journal of Systems Science, vol. 42, no. 7, pp. 1155–1164, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  19. M. Liu and J. You, “Observer-based controller design for networked control systems with sensor quantisation and random communication delay,” International Journal of Systems Science, vol. 43, no. 10, pp. 1901–1912, 2012. View at Publisher · View at Google Scholar · View at MathSciNet
  20. P. Wang, C. Z. Han, and B. C. Ding, “Stability of discrete-time networked control systems and its extension for robust H control,” International Journal of Systems Science, vol. 44, no. 2, pp. 275–288, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  21. D. Yue, Q. L. Han, and C. Peng, “State feedback controller design of networked control systems,” IEEE Transactions on Circuits and Systems II: Express Briefs, vol. 51, no. 11, pp. 640–644, 2004.
  22. 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. View at Publisher · View at Google Scholar · View at MathSciNet
  23. J. Y. Yu, L. Wang, and M. Yu, “Stabilization of networked control systems via packet-loss dependent output feedback controllers,” in Proceedings of the American Control Conference, pp. 3620–3625, 2008.
  24. D. Zhang and X. Wang, “Static output feedback control of networked control systems with packet dropout,” International Journal of Systems Science, vol. 43, no. 4, pp. 665–672, 2012. View at Publisher · View at Google Scholar · View at MathSciNet
  25. X. M. Zhang, Y. F. Zheng, and G. P. Lu, “Stochastic stability of networked control systems with network-induced delay and data dropout,” Journal of Control Theory and Applications, vol. 6, no. 4, pp. 405–409, 2008. View at Publisher · View at Google Scholar · View at MathSciNet
  26. Y. Sun and S. Qin, “Stability analysis and controller design for networked control systems with random time delay,” International Journal of Systems Science, vol. 42, no. 3, pp. 359–367, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  27. D. Yue, Q.-L. Han, and J. Lam, “Network-based robust H control of systems with uncertainty,” Automatica, vol. 41, no. 6, pp. 999–1007, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet