Mathematical Problems in Engineering
Volume 2015 (2015), Article ID 813123, 9 pages
http://dx.doi.org/10.1155/2015/813123

Research Article

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

Sung Wook Yun¹ and Sung Hyun Kim²

¹The 3rd R&D Institute, Agency for Defense Development (ADD), Daejeon 305-600, Republic of Korea
²Department of Electrical Engineering, University of Ulsan (UOU), Ulsan 680-749, Republic of Korea

Received 7 July 2015; Accepted 2 September 2015

Academic Editor: Qingling Zhang

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.

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 [1–3]. 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 [4–6]. 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 [7–11]: the free-weighting matrix approach [11–13], the descriptor system approach [14–16], the Jensen inequality approach [17–19], 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 as

and 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 that

where are defined in (13), (15), (18), (20), and (22), respectively.

Proof. The forward difference of becomes

where

Letting , the forward differences of , , and are, respectively, given by

where

Here, with the help of (9), and can be converted into

In particular, by Lemma 1, the following inequality holds:

which implies , where

Likewise, we can obtain

which implies , where

Hence, the forward difference of satisfies

Moreover, by adding to (21), where

we 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 for

where 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) and

where are defined in (13), (15), (18), (20), (26), and (27), respectively.

Proof. Let us redefine the augmented state as

and establish a block entry matrix such that . Then, the term is naturally converted into

and the uncertainty such that is represented as , where

As 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 that

where 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, define

and let and , where , and is a scalar variable. Then, pre- and postmultiplying by and yields :

In other words, the stabilization condition is given by

which 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.

Table 1: Example 1: MAUB of for various .

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.

Table 2: Example 2: MAUB of for various .

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.

Table 3: Example 3: MAUB of and control gains when .

Methods

Control gains
NSV

Theorem [26]
4

BMI problem

Theorem [10]
7

131

Theorem 7
7

70

Figure 1: State responses and time-varying delay .

Remark 8. In Example 3, the matrix is given by

Thus, 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

R. Sipahi, T. Vyhlidal, S. I. Niculescu, and P. Pepe, Time Delay Systems: Methods, Applications and New Trends, Springer, New York, NY, USA, 2012.

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.

J. Chiasson and J. J. Loiseau, Applications of Time Delay Systems, Springer, New York, NY, USA, 2007.

K. Gu, V. L. Kharitonov, and J. Chen, Theory of Functional Differential Equations, Springer, New York, NY, USA, 1977.

K. Gu, V. L. Kharitonov, and J. Chen, Stability of Time-Delay Systems, Birkhäuser, Boston, Mass, USA, 2003.

J.-P. Richard, “Time-delay systems: an overview of some recent advances and open problems,” Automatica, vol. 39, no. 10, pp. 1667–1694, 2003.

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.

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.

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.

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.

S. H. Kim, “Relaxed inequality approach to robust stability analysis of discrete-time systems with time-varying delay,” IET Control Theory & Applications, vol. 6, no. 13, pp. 2149–2156, 2012.

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.

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.

E. Fridman and U. Shaked, “A descriptor system approach to control of linear time-delay systems,” IEEE Transactions on Automatic Control, vol. 47, no. 2, pp. 253–270, 2002.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

S. H. Kim, “Improved approach to robust 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.

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.