Abstract

This paper discusses the mean-square exponential stability of uncertain neutral linear stochastic systems with interval time-varying delays. A new augmented Lyapunov-Krasovskii functional (LKF) has been constructed to derive improved delay-dependent robust mean-square exponential stability criteria, which are forms of linear matrix inequalities (LMIs). By free-weight matrices method, the usual restriction that the stability conditions only bear slow-varying derivative of the delay is removed. Finally, numerical examples are provided to illustrate the effectiveness of the proposed method.

1. Introduction

Dynamical systems, such as the distributed networks, electric power systems, and communication systems, can be efficiently modeled by neutral stochastic functional differential equations, which have been extensively studied in recent years, see [18] and references therein. Basically, sufficient conditions on stability of time delay systems are divided into two categories: delay-dependent and delay-independent cases. It is well known that the latter is less conservative than the former, especially when the delay is very small. Therefore, increasing attention has been focused on delay-dependent stability analysis of delay systems in recent years, see [125].

There are unstable systems without delay that can be stabilized with proper nonzero delay, see [26]. Therefore, it is of great significance to consider the stability of systems with interval time-varying delay, it is a time delay that varies in an interval, in which the lower bound is not restricted to 0. Recently, interval time-varying delay was introduced and investigated, see [1117].

In the past years, as an effective approach of improving the performance of delay-dependent stability criteria, free-weighting matrices method has attracted much attention, see [25, 1012]. The mean-square exponential stability was studied for neutral stochastic systems with fixed delays in [2, 3]. The global asymptotic stability for a class of neutral stochastic neural networks was studied in [4]. Improved delay-dependent robust stability criteria of uncertain stochastic systems with interval time-varying delay were proposed in [12].

The usual restriction on derivative of the time-varying delay that in [57, 18] brings conservatism, which shows that the resulting conditions can only bear slow-varying delay. In order to remove this limitation, fast-varying rate condition was studied in [4, 12, 23].

Stability of stochastic differential delay systems with nonlinear impulsive effects is studied in [24, 25], the equivalent relations are established between the stability of the stochastic differential delay equations with impulsive effects and that of a corresponding stochastic differential delay equations without impulses.

To our best knowledge, few works on the robust delay-dependent exponential stability analysis have been reported for uncertain neutral stochastic distributed system with fast-varying interval time-varying delay. This paper focuses on the stability analysis of uncertain neutral stochastic distributed system with interval time-varying delay. By Lyapunov-Krasovskii functional theory and free-weighting matrices method, a new delay-dependent mean-square exponential stability criterion is formulated in terms of LMI, and the usual restriction of is removed. Finally, three numerical example are given to illustrate the effectiveness of the proposed method.

Notation 1. Throughout this paper, the notations are standard. If is a vector or matrix, its transpose is denoted by . means that is a symmetric positive definite matrix. * denotes the symmetry part of a symmetry matrix. indicates terms that can be induced by symmetry, for example, and . Denote by and the maximum and minimum eigenvalue of a matrix, respectively. Let denote the spectral norm of a matrix, while refers to the Euclidean vector norm. Let be a complete probability space relative to an increasing family of algebras and the mathematical expectation operator with respect to the probability measure . denotes the space of square integrable vector functions over . Let and denote the family of all continuous valued functions on with the norm . Let be the family of all -measurable bounded -valued random variables .

2. Preliminaries

Consider the following uncertain Itô-type neutral stochastic system with both discrete and distributed interval time-varying delays where is the state vector; is a standard scalar Brownian motion defined on a complete probability space , we assume . is any given initial data in . Denote , is time-varying delays, satisfying

Remark 2.1. It should be noted that system (2.1)-(2.2) encompasses many state space models of neutral delay systems, which can be used to represent many important physical systems such as a large class of distributed networks containing lossless transmission lines, population ecology, heat exchangers, wind tunnel, and water resources systems (see [2729] and the references therein). For example, signal transformation cannot be finished in time due to the finite signal propagation speed in distributed networks containing lossless transmission lines, or to the finite switching speed of amplifiers in electronic networks, so the models only depending on the discrete time delays are not complete, the more exact models should include the distributed time delays, and the delays are found both in the states and in the derivatives of the states.

Remark 2.2. It is worth pointing out that, when a time-varying delay appears, it is usually assumed that is satisfied and the lower bound of the delay is restricted to be zero in the literature [5, 7, 8] and so forth. However, in this paper, we only require , in addition, the range of delay may vary in a range for which the lower bound is not restricted to be zero. Therefore, the time-varying delay in this paper is more general.
, are known real constant matrices of appropriate dimensions; , are unknown matrices representing time-varying parameter uncertainties. For the sake of convenience, we assume that the uncertainties are norm-bounded and can be described as where , are known real constant matrices, is an unknown real time-varying function with appropriate dimension satisfying It is assumed that the elements of are Lebesgue measurable. Throughout this paper, the following assumption, definitions, and lemmas will be used to develop our results.

Assumption 2.3. The difference operator matrix satisfies .

Definition 2.4 (see [1]). The neutral stochastic delay system (2.1)-(2.2) is said to be mean-square exponentially stable if there is a pair of positive constants such that

Lemma 2.5 (see [30]). If there exists a vector function such that and are well defined, then the following inequality: holds for any pair of symmetric positive definite matrix and .

Lemma 2.6 (see [31]). For any vectors , matrices , and are real matrices of appropriate dimensions with and , the following inequalities hold:(1); (2)for any scalar such that , then ;(3).

3. Main Results

In this section, a robustly stochastically exponentially stable criterion for the uncertain linear neutral stochastic distributed delayed system will be established by applying the Lyapunov-Krasovskii theory and free-weighting matrices method.

For convenience, define a new state variable and a new perturbation variable Then, system (2.1) becomes Applying Leibniz-Newton formula to (2.1), it yields the following zero equations which will be used in our main result: where , , and are any matrices with appropriate dimensions, and With zero equations (3.4) above, we obtain the following theorem.

Theorem 3.1. For given scalars and , system is robustly stochastically exponentially stable for all time-varying delays satisfying (2.3) and for all admissible uncertainties satisfying (2.4) and (2.5), if there exist symmetric positive definite matrices , scalars and any matrices with appropriate dimensions, such that the following LMI (3.6) holds:
where with

Proof. Choose a Lyapunov-Krasovskii functional candidate as where According to Itô's differential formula [1], the stochastic differential is where Direct computations give By of Lemma 2.6, for any scalar , we have and by of Lemma 2.6, for any satisfying , we have For any scalar satisfying , the following inequality holds:
In addition, it follows from (3.4), (3)  of Lemma 2.6 and Lemma 2.5 that Note that Applying inequalities from (3.13) to (3.19) to (3.12), it yields where with being defined in Theorem 3.1.
By applying the Schur complement to (3.6) results in , which implies therefore, where . Now, integrating both sides of (3.23) from to , and then taking the expectation, we obtain On the other hand, it follows from (3.9) that Therefore, by (3.24) and (3.25) Since , choose such that , which implies , denote . Let be any nonnegative real number. For all , it follows from (1) of Lemma 2.6 that Hence By (3.25), (3.27), and (3.28), we then derive that for all , However, this holds for all as well. Therefore, Since and , we obtain that By supremum property, By (3.31) and (3.32), For any , it follows from (3.26), (3.33) and being an arbitrary nonnegative real number that Since is an arbitrary nonnegative number, we have Then, applying Gronwall-Bellman lemma to (3.35), it yields Note that there exists a scalar such that Denote , then we have By Definition 2.4, system () is robustly stochastically mean-square exponentially stable.

Remark 3.2. Theorem 3.1 provides a delay-dependent condition with a new Lyapunov-Krasovskii functional, which makes full use of the relationship among the time-varying delay, its upper and lower bounds, and their difference. It is noted that this condition is obtained by free-weighting matrices techniques; model transformation is not resorted to in the derivation of Theorem 3.1. Thus, the conservatism caused by model transformation will be reduced.
If , then . Applying Leibniz-Newton formula to (2.1), it yields the following zero equations: where is any matrices with appropriate dimension, and With zero equations (3.39) above, we obtain the following corollary.

Corollary 3.3. For given constant delay , system is robustly stochastically exponentially stable for all admissible uncertainties satisfying (2.4) and (2.5), if there exist symmetric positive definite matrices , scalars and any matrices with appropriate dimensions such that the following LMI (3.41) holds: where with

If , then, system (2.1) becomes where Applying Leibniz-Newton formula to (3.44), it yields the following zero equations which will be used in our main result where , and are any matrices with appropriate dimensions, and With zero equation (3.46) above, we obtain the following corollary.

Corollary 3.4. For given scalars and , system (3.44) is robustly stochastically exponentially stable for all time-varying delays satisfying (2.3) and for all admissible uncertainties satisfying (2.4) and (2.5), if there exist symmetric positive definite matrices , scalars and any matrices with appropriate dimensions, such that the following LMI (3.48) holds: where with

If , , then and (2.1) becomes where Applying Leibniz-Newton formula to (3.51), it yields the following zero equations where is any matrices with appropriate dimension, and With zero equations (3.53) above, we obtain the following corollary.

Corollary 3.5. For given constant delay , system (3.51) is robustly stochastically exponentially stable, if there exist symmetric positive definite matrices , any matrices with appropriate dimensions, such that the following LMI (3.41) holds: where with

Deterministic systems may be regarded as special class of stochastic systems, let , then system (2.1)-(2.2) becomes the following uncertain neutral system with both discrete and distributed interval time-varying delays Applying Leibniz-Newton formula to (3.58), it yields the following zero equations which will be used in our main result: where ,  , and are any matrices with appropriate dimensions, and is defined in (3.5). With zero equations (3.60) above, we obtain

Corollary 3.6. For given scalars and , system is robustly stochastically exponentially stable for all time-varying delays satisfying (2.3) and for all admissible uncertainties satisfying (2.4) and (2.5), if there exist symmetric positive definite matrices , scalars and any matrices with appropriate dimensions, such that the following LMI (3.61) holds: where with

Proof. Choose a Lyapunov-Krasovskii functional candidate as where are defined in (3.9). It can be concluded from Theorem 3.1.

If , , then and (2.1) becomes Applying Leibniz-Newton formula to (3.65), it yields the following zero equations: where is any matrices with appropriate dimension, , and With zero equations (3.66) above, we obtain the following corollary.

Corollary 3.7. For given constant delay , system (3.65) is robustly stochastically exponentially stable, if there exist symmetric positive definite matrices , and any matrices with appropriate dimensions, such that the following LMI (3.68) holds: where with

4. Numerical Examples

Example 4.1. Consider the uncertain neutral linear stochastic time-varying delay system () with and , set , in this situation, . Set , where are random initial values with zero mean and variance , and , the trajectories of and are shown in Figure 1. According to Theorem 3.1, the lower bounds and the upper bounds on the time delay to guarantee the system is robustly stochastically mean-square exponentially stable are listed in Table 1.

Example 4.2. Consider the uncertain linear stochastic system (3.44) with According to Corollary 3.4, for , the upper bounds on the time delay to guarantee the system is robustly stochastically mean-square exponentially stable are listed in Table 2. At the same time, Table 2 also lists the upper bounds obtained from the criterion in [15].

Example 4.3. Consider the uncertain neutral linear stochastic system (3.51) with If Corollary 3.5 in this paper is applied, the maximal admissible delay of this example is .

Example 4.4. Consider the uncertain neutral linear stochastic system (3.65) with The maximum upper bound for this system in case of different s is listed in Table 3, which shows that the results obtained by the methods proposed in this paper are less conservative than that in [19].

5. Conclusion

The mean-square exponential stability for uncertain neutral stochastic system with both discrete and distributed time-varying delays has been investigated in this paper. Sufficient conditions have been established without ignoring any terms in the weak infinitesimal operator of Lyapunov-Krasovskii functional by considering the relationship among the time-varying delay, its upper bounds, and their difference. The usual restriction that has been removed by free-weight matrices method. According to the numerical examples, it has been shown that the proposed results improve some existing ones.

Acknowledgments

The authors would like to thank the associate editor and the reviewers for their valuable and constructive comments and suggestions to improve the quality of this paper. This work is supported by National Natural Science Foundation of China (Grant nos. 60874114, 60904032, 61273126, 11201495), Natural Science Foundation of Guangdong Province (Grant no. 10251064101000008), Doctoral fund of Ministry of Education of China (Grant no. 20090171120022), and Principal Fund of South China Agricultural University (Grant no. 2009X008).