Abstract

The problem of bounded-input bounded-output (BIBO) stabilization in mean square for a class of discrete-time stochastic control systems with mixed time-varying delays and nonlinear perturbations is investigated. Some novel delay-dependent stability conditions for the previously mentioned system are established by constructing a novel Lyapunov-Krasovskii function. These conditions are expressed in the forms of linear matrix inequalities (LMIs), whose feasibility can be easily checked by using MATLAB LMI Toolbox. Finally, a numerical example is given to illustrate the validity of the obtained results.

1. Introduction

Many dynamical systems not only depend on the present states but also involve the past ones, generally called the time-delay systems. Generally, as a source of poor or significantly deteriorated performance and instability for the concerned closed-loop system, the time delays are unavoidable in technology and nature. Many works have been done on the stability of time-delay systems; one can see [123] and the references therein. The dynamics analysis of continuous-time systems with distributed delay has been well studied in [912, 20]. The aspect of simulation and application in control systems, whereas, discrete-time control systems play a more important role than their continuous-time counterparts in the practical digital world. If one wants to simulate or compute the continuous-time systems, it is essential to formulate the discrete-time analogue so as to investigate the dynamical characteristics. It is necessary to take continuous distributed delays into account for modeling realistic systems, for example, neural networks; due to the presence of an amount of parallel pathways of a variety of axon sizes and lengths, a neural network usually has a spatial nature. Very recently, Liu et al. introduced the infinite distributed delay and distributed delay in the form of constant delay into the delay neural networks. See [1719].

In order to track out the reference input signal in real world, the bounded-input bounded-output stabilization has been investigated by many researchers, one can see [2032] and the references therein. In [22, 23], the sufficient conditions for BIBO stabilization of control systems with no delays were proposed by the Bihari type inequality. In [9, 10], by employing the parameters technique and the Gronwall inequality, the authors investigated the BIBO stability of the systems without distributed time delays. In [20, 27, 29], based on Riccati equations and by constructing appropriate Lyapunov functions, some BIBO stabilization conditions for a class of delayed control systems with nonlinear perturbations were established. In [30], the BIBO stabilization problem of a class of piecewise switched linear systems was further investigated. It should be pointed out that almost all results concerning the BIBO stability for control systems mainly concentrate on continuous-time models. Seldom works have been done for discrete-time control systems one can see [21, 28]. In addition, the previously mentioned works just considered the deterministic systems (see, e.g., [31, 32]). The deterministic systems often fluctuate due to noise, which is random or at least appears to be so. Therefore, we must move from deterministic problems to stochastic ones. So, the BIBO stabilization for stochastic control systems case is necessary and interesting. To the best of our knowledge, there is no work reported on the mean square BIBO stabilization for the discrete-time stochastic control systems with mixed time-varying delays.

It is well known that the classical technique applied in the study of stability is based on the Lyapunov direct method. However, the Lyapunov direct method has some difficulties with the theory and application to specific problems while discussing the stability of solutions in stochastic systems with time delay. In [33], the midpoint in the time delay’s variation interval is introduced, and the variation interval is divided into two subintervals with equal length, by constructing the Lyapunov functional which involved midpoint to reduce the conservatism of stability conditions. This method was first proposed to study the stability and stabilization problems for linear continuous-time systems, and then many successful applications were found in [1315]. In this paper, we will reconsider this method by introducing a new piecewise-like delay method, given that the point of the time delay’s variation interval is arbitrary point rather than midpoint.

Motivated by the aforementioned works, in this paper, we investigate BIBO stabilization in mean square for a class of discrete-time stochastic control systems with mixed time-varying delays and nonlinear perturbations. Some novel delay-dependent stability conditions for the previously mentioned system are derived by constructing a novel Lyapunov-Krasovskii function. These conditions are expressed in the forms of linear matrix inequalities, whose feasibility can be easily checked by using MATLAB LMI Toolbox. Finally, a numerical example is given to illustrate the validity of the obtained results.

The paper is organized as follows. In Section 2, some notations and the problem formulation are proposed. The main results are given in Section 3. In Section 4, a numerical example is given to illustrate the validity of the obtained theory results. The conclusion is proposed in Section 5.

2. Notations and Problem Formulation

Firstly, we propose some notations which will be needed in the sequel. The notations are quite standard. Let and denote, respectively, the -dimensioned Euclidean space and the set of all real matrices. The superscript “” denotes the transpose and the notation (respective ) means that and are symmetric matrices and that is positive semidefinitive (respective positive definite). Let denote the Euclidean norm in , let denote the positive integer set, and let be the identity matrix with compatible dimension. If is a matrix, denote by its operator norm; that is, , where (resp., ) means the largest (resp., smallest) value of . Moreover, let be a complete probability space with a filtration satisfying the usual conditions (i.e., the filtration contains all -null sets and is right continuous). stands for the mathematical expectation operator with respect to the given probability measure . The asterisk in a matrix is used to denote term that is induced by its symmetry. Matrices, if not explicitly state are assumed to have compatible dimensions. Denote . Sometimes, the arguments of the functions will be omitted in the analysis without confusions.

In this paper, we consider the discrete-time stochastic control system with mixed time-varying delays and nonlinear perturbations with the following form: where denotes the state vector, is the control input vector, is the control output vector, , , , , , , , and represent the weighting matrices with appropriate dimension, and the positive integers and are the discrete-time-varying delay, distributed time-varying delay and respectively, satisfying that with , , , and being four known positive integers. For any given , . The initial conditions of the system (1) are given by

The nonlinear vector-valued perturbation , satisfies that where and are two positive constants. is a scalar Wiener process defined on with

Remark 1. The divides the discrete-time delay’s variation interval into two subintervals, that is, and , and divides the distributed time delay’s variation interval into two subintervals, that is, and . We will discuss the variation of differences of the Lyapunov-Krasovskii functional for each subinterval. Compared with the previous results in the works of [2732], the BIBO stability conditions are derived in this paper by checking the variation of in subintervals rather than in the whole variation interval of the delays.

In what follows, we describe the controller with the form where is the feedback gain matrix and is the reference input.

Assumption 2. For any , , , let where and are known constant scalars.

Remark 3. The constants , in Assumption 2 are allowed to be positive, negative, or zero. Hence, the function could be nonmonotonic and is more general than the usual sigmoid functions and the recently commonly used Lipschitz conditions.

At the end of this section, let us introduce some important definitions and lemmas as which will be used in the sequel.

Definition 4 (see [28, 31]). A vector function is said to be an element of , if , where denotes the Euclid norm in , or the norm of a matrix.

Definition 5 (see [28, 31]). The nonlinear stochastic control system (1) is said to be BIBO stability in mean square, if we can construct a controller (6) such that the output satisfies that where and are two positive constants.

Lemma 6 (see [28]). For any given vectors ,   , the following inequality holds:

Lemma 7 (see [28]). Let , and any positive-definite matrix . Then, one has

Lemma 8 (see [28]). Given the constant matrices , , and with appropriate dimensions, where and , then if and only if

3. BIBO Stabilization for the System (1)

In this section, we aim to establish our main results based on the LMI approach. For the conveniences, we denote

Theorem 9. For given positive integers , , , and , under Assumption 2, the nonlinear discrete-time stochastic control system (1) with the controller (6) is BIBO stabilization in mean square, if there exist symmetric positive-definite matrix , , , , , , and with appropriate dimensional, positive-definite diagonal matrices and some positive constants and such that the following two LMIs hold: where

Proof. We construct the following Lyapunov-Krasovskii function for the system (1): where Calculating the difference of and taking the mathematical expectation, by Lemma 6, we have Note that where When , it is easy to compute that When , similarly we can have From (20), (22), and (23), we have When , by Lemma 6, it is easy to get When , similarly we can have From (25) and (26), we have From (7), it follows that which are equivalent to where denotes the unit column vector having one element on its th row and zeros elsewhere.
Then from (29), for any matrices , it follows that Note that, by Lemma 7, we get
Then from (18) to (31), we have where If the LMI (14) holds, by using Lemma 8, it follows that there exists a sufficient small positive , such that It is easy to derive that with For any , it follows from (34) and (35) that Summing up both sides of (37) from to , we can obtain Also it is easy to compute that Substituting (39) into (38) leads to where , , .
Since , , there must exist a positive such that , . Then we have On the other hand, by (16) we can get Combining (41) with (42), we have Thus, where   ,   . By Definition 5, the nonlinear discrete-time stochastic control system (1) is BIBO stability in mean square. This completes the proof.

If the stochastic term is removed in (1), then the following results can be obtained.

Theorem 10. For given positive integers , , , and , under Assumption 2, the nonlinear discrete-time stochastic control system (1) with the controller (6) is BIBO stabilization in mean square, if there exist symmetric positive-definite matrix , , , , , , and with appropriate dimensional positive-definite diagonal matrices and two positive constants and such that the following two LMIs hold: where

Proof. The proof is straightforward and hence omitted.

Corollary 11. System (1) is also stabilization in mean square when all the conditions in Theorems 9 and 10 are satisfied, if the bounded input in (6).

Remark 12. In this paper, a novel BIBO stability criterion for system (1) is derived by checking the variation of derivatives of the Lyapunov-Krasovskii functionals for each subinterval. It is different from [2732], which checked the variation of the Lyapunov functional in the whole variation interval of the delay.

Remark 13. The BIBO stabilization criteria for discrete-time systems have been investigated in the recently reported paper [28]. However, the stochastic disturbances and nonlinear perturbations have not been taken into account in the control systems. In [28], the time delay is constant time, which is a special case of this paper when .

Remark 14. The mean square stabilization conditions in Theorem 9 in this paper depend on the time-delays upper bounds and the lower bounds, time-delays interval, and time-delay interval segmentation point and relate to the delays themselves.

Remark 15. In [33], the time-delay interval is divided into two equal subintervals; the interval segmentation point is midpoint. In this paper, the time-delay interval is divided into two any subintervals; the interval segmentation point is any point in the time-delay interval.

4. An Example

In this section, a numerical example will be presented to show the validity of the main results derived in Section 3.

Example 1. As a simple application of Theorem 9, consider the stochastic control system (1) with the control law (6); the parameters are given by , , , , , , , , .

It is easy to verify that , , , , and

Meanwhile, the corresponding values of for various are listed in Table 1.

By using the MATLAB LMI Toolbox, we solve LMIs (13), (14) and obtain six groups of feasible solutions; we list one case as follows.

When , , , and , .

The system (1) exhibits stabilization in mean square behavior as shown in Figure 1.

5. Conclusions

In this paper, we have derived some conditions for the BIBO stabilization in mean square for a class of discrete-time stochastic control systems with mixed time-varying delays. The results have been obtained by constructing a novel Lyapunov-Krasovskii function. The conditions are expressed in the forms of linear matrix inequalities, which can be easily checked by using MATLAB LMI Toolbox. A numerical example is given to illustrate the validity of the obtained results.

Acknowledgments

The work of Xia Zhou is supported by the National Natural Science Foundation of China (no. 11226140) and the Anhui Provincial Colleges and Universities Natural Science Foundation (no. KJ2013Z267). The work of Yong Ren is supported by the National Natural Science Foundation of China (nos. 10901003 and 11126238), the Distinguished Young Scholars of Anhui Province (no. 1108085J08), the Key Project of Chinese Ministry of Education (no. 211077), and the Anhui Provincial Natural Science Foundation (no. 10040606Q30).