Stability Criterion for Discrete-Time Systems

Recently, the problem of delay-dependent stability analysis for time-delay systems has received considerable attention, and lots of significant results have been reported; see, for example, Chen et al. [1], He et al. [2], Lin et al. [3], Park [4], and Xu and Lam [5], and the references therein. Among these references, we note that the delay-dependent stability problem for discrete-time systems with interval-like time-varying delays (i.e., the delay satisfies ) has been studied by Fridman and Shaked [6], Gao and Chen [7], Gao et al. [8], and Jiang et al. [9], where some LMI-based stability criteria have been presented by constructing appropriate Lyapunov functionals and introducing free-weighting matrices. It should be pointed out that the Lyapunov functionals considered in these references are more restrictive due to the ignorance of the term Moreover, the term is also ignored in Gao and Chen [7] and Gao et al. [8]. The ignorance of these terms may lead to considerable conservativeness.

On the other hand, in the study of stabilization for the discrete-time linear systems, traditional idea of the control schemes is to construct a control signal according to the current system state [10]. However, as pointed out by Xiong and Lam [11], in practice there is often a system that itself is not time-delayed but time-delayed may exist in a channel from system to controller. A typical example for the existence of such delays is the measurement and the network transmission of signals. In this case, a time-delayed controller is naturally taken into account. It is worth noting that the closed-loop system resulting from a delayed controller is actually a time-delay system. Therefore, stability results of time-delay systems could be applied to design time-delayed controller.

The present study, based on a new Lyapunov functional, an improved delay-dependent stability criterion for discrete-time systems with time-varying delays is presented in terms of LMIs. It is shown that the obtained result is less conservative than those by Fridman and Shaked [6], Gao and Chen [7], Gao et al. [8], Jiang et al. [9], and Zhang et al. [12].

Fact 1.

For any positive scalar and vectors and the following inequality holds:

(2.1)

Let us denote

Lemma 2.1 (see [13]).

The zero solution of difference system is asymptotic stability if there exists a positive definite function such that

(2.2)

along the solution of the system. In the case the above condition holds for all , say one that the zero solution is locally asymptotically stable.

Lemma 2.2 (see [13]).

For any constant symmetric matrix , scalar , vector function , one has

(2.3)

In this section, we give a novel delay-dependent stability condition for discrete-time systems with interval-like time-varying delays. Now, consider the following system:

(3.1)

where is the state vector, and are known constant matrices, and is a time-varying delay satisfying , where and are positive integers representing the lower and upper bounds of the delay. For (3.1), we have the following result.

Theorem 3.1.

Give integers and . Then, the discrete time-delay system (3.1) is asymptotically stable for any time delay satisfying , if there exist symmetric positive definite matrices satisfying the following matrix inequalities:

(3.2)

where , .

Proof.

Consider the Lyapunov function , where

(3.3)

with being symmetric positive definite solutions of (3.2) and

Then difference of along trajectory of solution of (3.1) is given by

(3.4)

where

(3.5)

(3.6)

where Fact 1 is utilized in (3.6), respectively.

Note that

(3.7)

and hence

(3.8)

Then we have

(3.9)

Using Lemma 2.2, we obtain

(3.10)

From the above inequality it follows that

(3.11)

where , , and

(3.12)

By condition (3.2), is negative definite; namely, there is a number such that and hence, the asymptotic stability of the system immediately follows from Lemma 2.1. This completes the proof.

Remark 3.2.

Theorem 3.1 gives a sufficient condition for stability criterion for discrete-time systems (3.1). These conditions are described in terms of certain diagonal matrix inequalities, which can be realized by using the linear matrix inequality algorithm proposed in [14]. But Zhang et al. in [12] proved that these conditions are described in terms of certain symmetric matrix inequalities, which can be realized by using the Schur complement lemma and linear matrix inequality algorithm proposed in [14].

In this paper, an improved delay-dependent stability condition for discrete-time linear systems with interval-like time-varying delays has been presented in terms of an LMI.