Mathematical Problems in Engineering

Mathematical Problems in Engineering / 2015 / Article
Special Issue

Advanced Control of Complex Dynamical Systems with Applications

View this Special Issue

Research Article | Open Access

Volume 2015 |Article ID 813123 | 9 pages | https://doi.org/10.1155/2015/813123

Efficient Approach to Stability Analysis of Discrete-Time Systems with Time-Varying Delay

Academic Editor: Qingling Zhang
Received07 Jul 2015
Accepted02 Sep 2015
Published11 Oct 2015

Abstract

This paper aims at deriving an efficient criterion for the robust stability analysis of discrete-time systems with time-varying delay. In the derivation, to obtain a larger stability region under the requirement of less computational complexity, this paper proposes a valuable method capable of establishing a less conservative stability criterion without using the free-weighting approach and an extremely augmented state. In parallel, the stabilization problem of systems with time-delayed control input is addressed in connection with the derived stability criterion.

1. Introduction

Over the last few decades, research on stability analysis of time-delay systems has rapidly accelerated owing to two main reasons. One is that such systems offer suitable mathematical models that can represent practical engineering systems with finite but uncertain signal propagation delays, such as biological systems, network systems, and nuclear reactors [13]. The other is that time-delay can often act as a critical factor that leads to performance degradation and instability of the systems under consideration [46]. Meanwhile, with the growing interest, significant progress has been made toward enlarging the feasible region of a stability criterion (referred to here as “stability region”) and reducing its computational complexity. In other words, numerous investigations and research have been carried out to establish further improved stability criteria for time-delay systems by taking one of the following approaches with the use of a more attractive Lyapunov-Krasovskii functional [711]: the free-weighting matrix approach [1113], the descriptor system approach [1416], the Jensen inequality approach [1719], or the delay-partitioning approach [20, 21].

Recently, the use of the Jensen inequality approach has attracted great attention from the control community since it requires fewer decision variables than other approaches (see [18, 22, 23] and references therein). In addition, the appearance of the reciprocally convex technique [22] has promoted the use of such an approach as a way to reduce the computational complexity and the conservatism of stability criteria. However, as reported in [24], most of the results of these studies have been confronted with a challenge to establish less conservative stability criteria in terms of performance behavior. Thus, [24] has fully exploited the zero equality terms, introduced by [25], in the process of deriving stability criteria. After that, [10, 11] have widely extended the stability criteria in accordance with the structure of Lyapunov-Krasovskii functional containing triple summation terms. However, since the use of such an augmented Lyapunov-Krasovskii function with more terms poses significant computational burdens, there is a need to explore a useful method capable of reducing the computational complexity as well as improving the performance of stability criteria.

Motivated by the above concerns, this paper is focused on deriving an efficient criterion for the robust stability analysis of discrete-time systems with time-varying delay. To be specific, the attention of this paper is paid for simultaneously achieving the following two goals: deceasing the computational complexity and improving the performance of a stability criterion. To accomplish such efficiency, this paper proposes a valuable method capable of deriving a less conservative stability criterion without using the free-weighting approach and an extremely augmented state, which plays an important role in reducing the computational complexity caused by [10, 11]. As a result, under the requirement of much less computational complexity, the stability region in the present study is enlarged to the same size as those of [10, 11]. Moreover, the stabilization problem of systems with time-delay control input is addressed in connection with the derived stability criterion. Finally, three numerical examples are provided to illustrate the efficiency of the proposed stability and stabilization criteria.

This paper is organized as follows. Section 2 provides a system description and useful properties. Section 3 introduces a Lyapunov-Krasovskii functional for deriving the stability criterion of the time-delay system. Section 4 presents the state-feedback controller for the system with delayed control input. Section 5 shows simulation results for validating the proposed results. Finally, Section 6 presents the conclusion along with a summary.

Notation. The notations and mean that is positive semidefinite and positive definite, respectively. In symmetric block matrices, is used as an ellipsis for terms that are induced by symmetry. For any square matrix , . For any discrete-time function , denotes its forward difference as .

2. System Description and Useful Properties

Let us consider the following time-delay system:where and are the state and the delayed state, respectively. Here, the state delay is assumed to be of an interval time-varying type integer: , where and are known positive integers. To facilitate the derivation of the main result, we set , , , and and use the following notations:where , , and denotes any scalar or vector-valued function.

Property 1. For , the following properties hold:where .

Property 2. Let us consider two time-varying parameters of the following form:Then, in the sense that , it follows that .

Lemma 1 (see [10, 17]). For any vector-valued function and positive-definite matrix , the following inequalities hold:

3. Stability Analysis

Let and choose a Lyapunov-Krasovskii functional of the following form:where , , , , and are taken to be positive definite. To facilitate later steps, we define an augmented state asand establish block entry matrices such that , , , , , , , and .

Property 3 (see [25]). For symmetric matrices , , and , the following equalities hold:The following theorem presents the delay- and range-dependent stability criterion for (1).

Theorem 2. Let and be prescribed and define . System (1) is asymptotically stable for any time-varying satisfying , if there exist matrices , and symmetric matrices , , , , and such thatwhere are defined in (13), (15), (18), (20), and (22), respectively.

Proof. The forward difference of becomeswhereLetting , the forward differences of , , and are, respectively, given bywhereHere, with the help of (9), and can be converted intoIn particular, by Lemma 1, the following inequality holds:which implies , whereLikewise, we can obtainwhich implies , whereHence, the forward difference of satisfiesMoreover, by adding to (21), wherewe can obtain . Therefore, the stability criterion is given by (10) and (11).

Remark 3. For the given , the number of scalar variables (NSVs) used in Theorem 2 is given as . Our approach leads to a significant decrease in the computational burden compared with [10], [11], and [24] that demand , , and scalar variables, respectively.

Remark 4. To make up for the weakness in [10, 11, 24], this paper proposes a valuable method capable of deriving a less conservative stability criterion without using the free-weighting approach and the inclusion of , , and in the augmented state.

Remark 5. From (10), it follows that . As a result, ; that is, is nonsingular since , , and are positive definite.

As a by-product of Theorem 2, we can obtain a robust stability criterion forwhere and such that and .

Corollary 6. Let and be prescribed and define . System (1) is asymptotically stable for any time-varying satisfying , if there exist matrices , and symmetric matrices , , , , and such that (11) andwhere are defined in (13), (15), (18), (20), (26), and (27), respectively.

Proof. Let us redefine the augmented state asand establish a block entry matrix such that . Then, the term is naturally converted intoand the uncertainty such that is represented as , whereAs a result, ; thus, the robust stability criterion is given by (11) and (24).

4. Control Synthesis

Let us consider a linear system of the following form:where denotes the delayed control input. Then, under the state-feedback control law , the closed-loop control system is described as follows:where and denotes the control gain to be designed.

Theorem 7. Let , , be prescribed and define . The closed-loop system in (29) is asymptotically stable for any time-varying satisfying , if there exist matrices , , and and symmetric matrices , , , , and such thatwhere are defined in (34)–(38), respectively. Moreover, the control gain can be reconstructed by .

Proof. First of all, let us consider a nonsingular matrix of the following form:which satisfies that for all . Further, defineand let and , where , and is a scalar variable. Then, pre- and postmultiplying by and yields :In other words, the stabilization condition is given bywhich becomes (30). Here, (30) implies ; that is, is nonsingular and thus becomes also nonsingular. Next, pre- and postmultiplying (11) by and its transpose yields (31).

5. Numerical Examples

Three numerical examples are considered in order to illustrate the effectiveness of the obtained results.

Example 1 (stability analysis). Let us consider a delayed discrete-time system used in [17]:where . For (40) with various , Table 1 lists the maximum allowable upper bounds (MAUBs) of , obtained by Theorem 2 and different methods. From Table 1, it can be seen that the stability criteria established in [10, 11] and Theorem 2 offer the most improved of the results. In particular, it is noteworthy that Theorem 2 provides the same delay bounds (i.e., stability region) as those of [10, 11] under the requirement of much less computational complexity with respect to the number of scalar variables (NSVs), as mentioned in Remark 3. That is, in contrast with [10, 11, 24], Theorem 2 offers a more efficient approach in terms of both performance and computational complexity.


NSV

Theorem [17] 13 14 17 21 25 21
Theorem [18] 14 16 18 21 25 18
Proposition [23] 17 18 20 23 27 38

Corollary [24] 19 20 21 24 27 82
Corollary [11] 22 22 23 25 28 391
Theorem [10] 22 22 23 25 28 126

Theorem 2 22 22 23 25 28 72

Example 2 (robust stability analysis). Consider the following uncertain discrete-time system with time-varying delay used in [24]:For each , the MAUBs of such that (23) is robustly asymptotically stable are listed in Table 2, obtained by Corollary 6 and different methods. That is, from Table 2, we can see that the robust stability criterion given in Corollary 6 is much more efficient than the ones in [24] from the viewpoint of both performance and computational complexity.


NSV

Theorem [24] 0.2007 0.1554 0.1144 0.0957 82
Corollary 6 0.2013 0.1555 0.1155 0.0961 72

Example 3 (control synthesis). Consider the following discrete-time system transformed from the continuous-time model of an inverted pendulum (refer to [7]):The goal of this example is to design the control that stabilizes (42) with , such that the closed-loop system is asymptotically stable. Table 3 shows the MAUBs of and the corresponding control gains, obtained by Theorem 7 (). From Table 3, we can see that the proposed stabilization condition is significantly valuable in the sense that it requires less computational complexity as well as providing larger MAUB than that of [26]. Meanwhile, based on the obtained control gain, Figure 1 shows the state responses of (42) with for and . Here, it can be found that the state converges to zero as time goes to infinity.


Methods Control gains NSV

Theorem [26] 4 BMI problem
Theorem [10] 7 131
Theorem 7 7 70

Remark 8. In Example 3, the matrix is given byThus, as mentioned in Remark 4, the following relation is satisfied: .

6. Concluding Remarks

In this paper, the problem of deriving an efficient stability criterion is investigated for discrete-time systems with time-varying delay. The main feature herein is that the conservatism of a stability criterion is reduced in spite of the requirement of less computational complexity. In addition, the stabilization problem of systems with time-delayed control input is addressed in the LMI framework.

Conflict of Interests

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

Acknowledgment

This work was supported by the National Research Foundation of Korea grant funded by the Korean Government (NRF-2015R1A1A1A05001131).

References

  1. R. Sipahi, T. Vyhlidal, S. I. Niculescu, and P. Pepe, Time Delay Systems: Methods, Applications and New Trends, Springer, New York, NY, USA, 2012.
  2. 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. View at: Publisher Site | Google Scholar
  3. J. Chiasson and J. J. Loiseau, Applications of Time Delay Systems, Springer, New York, NY, USA, 2007. View at: Publisher Site | MathSciNet
  4. K. Gu, V. L. Kharitonov, and J. Chen, Theory of Functional Differential Equations, Springer, New York, NY, USA, 1977.
  5. K. Gu, V. L. Kharitonov, and J. Chen, Stability of Time-Delay Systems, Birkhäuser, Boston, Mass, USA, 2003.
  6. J.-P. Richard, “Time-delay systems: an overview of some recent advances and open problems,” Automatica, vol. 39, no. 10, pp. 1667–1694, 2003. View at: Publisher Site | Google Scholar | MathSciNet
  7. H. Gao and T. Chen, “New results on stability of discrete-time systems with time-varying state delay,” IEEE Transactions on Automatic Control, vol. 52, no. 2, pp. 328–334, 2007. View at: Publisher Site | Google Scholar | MathSciNet
  8. J. Sun, G. P. Liu, J. Chen, and D. Rees, “Improved delay-range-dependent stability criteria for linear systems with time-varying delays,” Automatica, vol. 46, no. 2, pp. 466–470, 2010. View at: Publisher Site | Google Scholar | MathSciNet
  9. M. J. Park, O. M. Kwon, J. H. Park, and S. M. Lee, “A new augmented Lyapunov-Krasovskii functional approach for stability of linear systems with time-varying delays,” Applied Mathematics and Computation, vol. 217, no. 17, pp. 7197–7209, 2011. View at: Publisher Site | Google Scholar | MathSciNet
  10. O. M. Kwon, M. J. Park, J. H. Park, S. M. Lee, and E. J. Cha, “Stability and stabilization for discrete-time systems with time-varying delays via augmented Lyapunov-Krasovskii functional,” Journal of the Franklin Institute, vol. 350, no. 3, pp. 521–540, 2013. View at: Publisher Site | Google Scholar | MathSciNet
  11. S. H. Kim, “Relaxed inequality approach to robust H stability analysis of discrete-time systems with time-varying delay,” IET Control Theory & Applications, vol. 6, no. 13, pp. 2149–2156, 2012. View at: Publisher Site | Google Scholar | MathSciNet
  12. Y. He, M. Wu, and J.-H. She, “Delay-dependent exponential stability of delayed neural networks with time-varying delay,” IEEE Transactions on Circuits and Systems II: Express Briefs, vol. 53, no. 7, pp. 553–557, 2006. View at: Publisher Site | Google Scholar
  13. Y. He, Q.-G. Wang, L. Xie, and C. Lin, “Further improvement of free-weighting matrices technique for systems with time-varying delay,” IEEE Transactions on Automatic Control, vol. 52, no. 2, pp. 293–299, 2007. View at: Publisher Site | Google Scholar | MathSciNet
  14. E. Fridman and U. Shaked, “A descriptor system approach to H control of linear time-delay systems,” IEEE Transactions on Automatic Control, vol. 47, no. 2, pp. 253–270, 2002. View at: Publisher Site | Google Scholar | MathSciNet
  15. Q.-L. Han, “A descriptor system approach to robust stability of uncertain neutral systems with discrete and distributed delays,” Automatica, vol. 40, no. 10, pp. 1791–1796, 2004. View at: Publisher Site | Google Scholar | MathSciNet
  16. S. Xu, J. Lam, and Y. Zou, “Simplified descriptor system approach to delay-dependent stability and performance analyses for time-delay systems,” IEE Proceedings—Control Theory and Applications, vol. 152, no. 2, pp. 147–151, 2005. View at: Publisher Site | Google Scholar
  17. X.-L. Zhu and G.-H. Yang, “Jensen inequality approach to stability analysis of discrete-time systems with time varying delay,” in Proceedings of the American Control Conference, pp. 1644–1649, Seattle, Wash, USA, June 2008. View at: Publisher Site | Google Scholar
  18. H. Huang and G. Feng, “Improved approach to delay-dependent stability analysis of discrete-time systems with time-varying delay,” IET Control Theory & Applications, vol. 4, no. 10, pp. 2152–2159, 2010. View at: Publisher Site | Google Scholar | MathSciNet
  19. W. I. Lee and P. Park, “Second-order reciprocally convex approach to stability of systems with interval time-varying delays,” Applied Mathematics and Computation, vol. 229, pp. 245–253, 2014. View at: Publisher Site | Google Scholar | MathSciNet
  20. C. Peng, “Improved delay-dependent stabilisation criteria for discrete systems with a new finite sum inequality,” IET Control Theory & Applications, vol. 6, no. 3, pp. 448–453, 2012. View at: Publisher Site | Google Scholar | MathSciNet
  21. X. Meng, J. Lam, B. Du, and H. Gao, “A delay-partitioning approach to the stability analysis of discrete-time systems,” Automatica, vol. 46, no. 3, pp. 610–614, 2010. View at: Publisher Site | Google Scholar | MathSciNet
  22. P. Park, J. W. Ko, and C. Jeong, “Reciprocally convex approach to stability of systems with time-varying delays,” Automatica, vol. 47, no. 1, pp. 235–238, 2011. View at: Publisher Site | Google Scholar | MathSciNet
  23. H. Shao and Q.-L. Han, “New stability criteria for linear discrete-time systems with interval-like time-varying delays,” IEEE Transactions on Automatic Control, vol. 56, no. 3, pp. 619–625, 2011. View at: Publisher Site | Google Scholar | MathSciNet
  24. O. M. Kwon, M. J. Park, J. H. Park, S. M. Lee, and E. J. Cha, “Improved robust stability criteria for uncertain discrete-time systems with interval time-varying delays via new zero equalities,” IET Control Theory & Applications, vol. 6, no. 16, pp. 2567–2575, 2012. View at: Publisher Site | Google Scholar | MathSciNet
  25. S. H. Kim, “Improved approach to robust H stabilization of discrete-time T–S fuzzy systems with time-varying delays,” IEEE Transactions on Fuzzy Systems, vol. 18, no. 5, pp. 1008–1015, 2010. View at: Publisher Site | Google Scholar
  26. B. Zhang, S. Xu, and Y. Zou, “Improved stability criterion and its applications in delayed controller design for discrete-time systems,” Automatica, vol. 44, no. 11, pp. 2963–2967, 2008. View at: Publisher Site | Google Scholar | MathSciNet

Copyright © 2015 Sung Wook Yun and Sung Hyun Kim. 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.


More related articles

485 Views | 293 Downloads | 2 Citations
 PDF  Download Citation  Citation
 Download other formatsMore
 Order printed copiesOrder

Related articles