Region stability of linear stochastic discrete systems with time-delays

Abstract

In this paper, our aim is to investigate the region stability of stochastic discrete time-delay systems. Firstly, region stabilities of systems are defined by a spectrum operator. Secondly, with the aid of linear matrix inequality, some equivalent conditions and related results for region stabilities of systems are obtained. Finally, the relation between region stabilities and the convergence speed of the trajectories of systems is given.

1 Introduction

Stability is one of essential concepts in dynamical system theory, which has been considered by the researchers in many fields, such as [1,2,3,4,5,6,7,8], and [9,10,11,12]. For a linear system without delays, as is well known, the stability is related to the system matrix root-clustering in subregions of the complex plane. That is, the stability of systems has a close relation with the spectrum placement of the system matrix. For example, the further left the spectrum set of the considered system is located, the faster the system response rate is.

Mean square stability has become a hot issue, which has many important applications in system analysis and designs. Some equivalent conditions for mean square stability of linear stochastic systems have been obtained in terms of generalized algebraic Riccati equation (see [13,14,15,16,17]), or linear matrix inequality (LMI) (see [18,19,20,21] and [22,23,24,25]), or spectra of some operators (see [26,27,28]). The spectrum technique is very powerful in system analysis and design, which began with [26] for a stochastic system.

Region stability considered in this paper is related with the mean square stability. Region stability problem is to check whether the spectrum set of deterministic or stochastic systems lies in a given region of the complex plane, which has become a popular research focus in the past decades (see [29,30,31,32,33], and the references therein). Compared with deterministic systems, stochastic systems can describe the complexity of practical problems more accurately. For stochastic systems, a special case of region-stability and region-stabilization, called respectively interval stability and interval stabilization, was studied, and a sufficient condition was given for the interval stabilization of general linear stochastic systems with state and control dependent noises in [29]. In [30], the authors further defined and discussed a class of relative stability and stabilization, which is a more special case of region-stability and region-stabilization of linear stochastic systems. The objective of the present work is to make a further investigation in the region stability of linear stochastic discrete systems. New results concerning the region stability of linear stochastic discrete systems are developed. By means of LMI, some necessary and sufficient conditions are presented for region-stability with generalized LMI regions. To the best of our knowledge, there were no similar results reported for such dynamical systems up to now.

This paper is organized as follows: In Sect. 2, we introduce some LMI regions and generalized LMI regions. In Sect. 3, we give some definitions of region stability and obtain some equivalent conditions and related results for the region stability of stochastic discrete systems with delays.

For convenience, we adopt the following traditional notations: $\mathbb{S}^{n}$ is the set of all symmetric matrices, whose components may be complex; $\mathbb{R}^{n\times m}$ is the set of all $n\times m$ matrices, whose components are real; $A'$ ($\ker (A)$) denotes the transpose (kernel space) of the matrix A; $A\geq 0$ ($A>0$) is a positive semidefinite (positive definite) symmetric matrix; I is the identity matrix; $\sigma (L)$ is the spectral set of the operator or matrix L; $\mathbb{N}_{0}=\{0,1,2,\ldots \}$. Here ⊗ denotes Kronecker product operation of matrices (see [34] for details); $\mathbb{R}^{n}$ is the set of all n-dimensional vectors, whose components are real. For $x\in \mathbb{R}^{n}$, $\Vert x \Vert =\sqrt[2]{x'x}$.

2 LMI regions

In this paper, we shall discuss the stability of time-delay systems in generalized LMI regions. First of all, we introduce some definitions and related examples in LMI regions and generalized LMI regions.

Definition 2.1

([35])

A region D in the complex plane is called an LMI region if there exist symmetric matrices $H_{1}$ and $H_{2}$ such that

$$\begin{aligned}& D=\bigl\{ z\in {C}\vert H_{1}+zH_{2}+ \overline{z}H_{2}'< 0\bigr\} . \end{aligned}$$

(1)

Here we give two examples of LMI region.

Example 2.1

In the complex plane, the circle region $D(q,r)$, which has center ${(q,0)}$ and radius r, is an LMI region, where q and r satisfy $\vert q \vert +r<1$.

Example 2.2

If $r\in {(0,1]}$, then the fan-shaped region

$$\begin{aligned}& D(r,\theta )=\biggl\{ z=x+jy\vert x,y\in \mathbb{R},\tan \theta < - \frac{ \vert y \vert }{x}, \vert z \vert =\sqrt{x ^{2}+y^{2}}< r \biggr\} \end{aligned}$$

(2)

is an LMI region.

Different from an LMI region, we introduce another region, which is defined as follows.

Definition 2.2

([33])

For a symmetric matrix

$$R=\left(\begin{array}{cc}{R}_1& R_2\\ R_2^{\prime }& R_3\end{array}\right),$$

(3)

the region

$$\begin{aligned}& D_{R}=\bigl\{ z\in {C}\vert R_{1}+zR_{2}+ \overline{z}R_{2}'+z\overline{z}R_{3}< 0 \bigr\} \end{aligned}$$

(4)

in the complex plane is called a generalized LMI region.

Example 2.3

The ring-shaped region $D(0,\alpha ,\beta )$, ${0}\leq {\alpha }<{\beta }\leq {1}$ is a generalized LMI region. Indeed, the matrix in (3) of Definition 2.2 can be written as

$$R=\left(\begin{array}{cccc}-{\beta }^2& 0& 0& 0\\ 0& -{\alpha }^2& 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& -1\end{array}\right).$$

Remark 2.1

In fact, let $R_{3}=0$ in the matrix of (3). Then the region in (4) becomes the region in (1). That is, LMI region is regarded as a special case of a generalized region. The details about the LMI region and generalized region are found in [35].

3 Criteria of region-stability

In this section, we shall investigate the region stability of a kind of linear stochastic discrete systems with time-delays:

$$\begin{aligned}& \textstyle\begin{cases} x(t+1)=\sum_{j=0}^{m}[F_{j}x(t-j)+G_{j}x(t-j)\omega (t)], \\ x(k)=\varphi (k)\in {\mathbb{R}^{n}}, \quad k=0,-1,\ldots,-m, t\in \mathbb{N}_{0}, \end{cases}\displaystyle \end{aligned}$$

(5)

where $x(t) \in \mathbb{R}^{n}$ is a column vector, $F_{j},G_{j} \in \mathbb{R}^{n\times n}$, $j = 0,1,\ldots, m$ are constant coefficient matrices, $\varphi (k) \in \mathbb{R}^{n}$, $k \in [-m, 0]$ is a deterministic initial condition, $\{w(t), t \in \mathbb{N}_{0}\}$ is a scalar Brownian motion defined on a complete probability space $(\varOmega , \mathcal{F},\mathcal{F}_{t},\mu )$ with $E[w(t)]=0$ and $E[w(t)w(s)]=\delta _{s,t}$, where $\delta _{s,t}$ is the Kronecker delta with $\mathcal{F}_{t}=\sigma \{w(s)\vert 0\leq s \leq t\}$. For briefness, system (5) is denoted by $[\sum_{j=0}^{m}F_{j},\sum_{j=0}^{m}G_{j}]$.

To study the stability of system (5), first of all, we define two vectors $\overline{x}(t)$ and $\overline{x}(0)$ as follows:

$$\begin{aligned}& \overline{x}(t)=\bigl[x'(t),x'(t-1), \ldots,x'(t-m)\bigr]'\in \mathbb{R}^{n(m+1)}, \\& \overline{x}(0)=\bigl[\varphi '(0), \varphi '(-1), \ldots,\varphi '(-m)\bigr]'= \overline{x}_{0} \in \mathbb{R}^{n(m+1)}. \end{aligned}$$

So system (5) can become the following equivalent stochastic system:

$$\begin{aligned}& \textstyle\begin{cases} \overline{x}(t+1)=F\overline{x}(t)+G\overline{x}(t)\omega (t), \\ \overline{x}(0)=\overline{x}_{0}, \quad t\in \mathbb{N}_{0}, \end{cases}\displaystyle \end{aligned}$$

(6)

where

$$F=\left(\begin{array}{ccccc}{F}_0& F_1& \dots & F_{m-1}& F_m\\ I& 0& \dots & 0& 0\\ ⋮& ⋮& \ddots & ⋮& ⋮\\ 0& 0& \dots & I& 0\end{array}\right),G=\left(\begin{array}{ccccc}{G}_0& G_1& \dots & G_{m-1}& G_m\\ 0& 0& \dots & 0& 0\\ ⋮& ⋮& \ddots & ⋮& ⋮\\ 0& 0& \dots & 0& 0\end{array}\right).$$

Let $X(t)=E[\overline{x}(t)\overline{x}'(t)]$, and suppose $X(t)$ satisfies

$$ X(t+1)=FX(t)F'+GX(t)G'. $$

Now we define a general Lyapunov operator as follows:

$$\begin{aligned}& L_{F,G}: X(t)\in \mathbb{S}^{n(m+1)}\rightarrow FX(t)F'+GX(t)G'\in \mathbb{S}^{n(m+1)}. \end{aligned}$$

(7)

Now we give some definitions of region-stability of stochastic time-delay systems by the spectrum operator $\sigma (L_{F,G})$.

Definition 3.1

System (5) is $D_{R}$-stable, if ${\sigma (L_{F,G})}\subset {D_{R}}\subset {D(0,1)}$.

Definition 3.2

System (5) is $D(q,r)$-stable, if ${\sigma (L_{F,G})}\subset {D(q,r)}\subset {D(0,1)}$.

Definition 3.3

System (5) is $D(r,\theta )$-stable, if ${\sigma (L_{F,G})}\subset {D(r,\theta )}\subset {D(0,1)}$.

Definition 3.4

System (5) is $D(0,\alpha ,\beta )$-stable, if ${\sigma (L_{F,G})}\subset {D(0,\alpha ,\beta )}\subset {D(0,1)}$.

Now we give some equivalent conditions of these region stabilities.

Theorem 3.1

The time-delay system (5) is $D_{R}$-stable if and only if there exists a positive matrix $P>0$ such that

$$\begin{aligned}& R_{1}\otimes P+R_{2}\otimes \bigl(P\varTheta \bigl(H(n,m),F,G\bigr)\bigr)+R_{2}'\otimes \bigl( \varTheta \bigl(H(n,m),F,G\bigr)'P\bigr) \\& \quad {}+R_{3}\otimes (\varTheta \bigl(H(n,m),F,G \bigr)'P\bigl(\varTheta \bigl(H(n,m),F,G\bigr)\bigr)< 0, \end{aligned}$$

where $\varTheta (H(n,m),F,G) =[H(n,m)'H(n,m)]^{-1}H(n,m)'[{F}\otimes {F}+{G}\otimes {G}]H(n,m)$.

Proof

Let $X(t)=E[\overline{x}(t)\overline{x}'(t)]$. Then system (5) can be rewritten as a stochastic system

$$\begin{aligned}& X(t+1)=FX(t)F'+GX(t)G'. \end{aligned}$$

(8)

With the knowledge of Kronecker matrix product, system (8) becomes

$$\begin{aligned}& \overrightarrow{X}(t+1)=\widehat{F}\overrightarrow{X}(t), \end{aligned}$$

(9)

where $\overrightarrow{X}(t)=[X_{1,1}(t),\ldots,X_{1,n}(t),\ldots,X _{1,n(m+1)}(t),\ldots,X_{n(m+1),n(m+1)}(t)]'\in \mathbb{R}^{n^{2}(m+1)^{2}}$ and $\widehat{F}=F\otimes F+G\otimes G$. By the theory of H representation method in [36], there exists a full column rank matrix $H(n,m)\in \mathbb{R}^{n^{2}(m+1)^{2}\times \frac{n(m+1)[n(m+1)+1]}{2}}$ such that $\overrightarrow{X}=H(n,m) \widetilde{X}$, $\widetilde{X}\in \mathbb{R}^{ \frac{n(m+1)[n(m+1)+1]}{2}}$, so system (9) is equivalent to the following discrete system:

$$ \widetilde{X}(t+1)=\varTheta \bigl(H(n,m),F,G\bigr)\widetilde{X}(t), $$

where $\varTheta (H(n,m),F,G) =[H(n,m)'H(n,m)]^{-1}H(n,m)'[{F}\otimes {F}+{G}\otimes {G}]H(n,m)$. By Theorem 1 in [33], we immediately obtain the result. □

From Eqs. (8) and (9) in Theorem 3.1 and Theorem 1 in [27], the relation between the spectrum of operator $L_{F,G}$ and matrix $\varTheta (H(n,m),F,G)$ is obtained as follows.

Corollary 3.1

$\sigma (L_{F,G})=\sigma (\varTheta (H(n,m),F,G))$.

Remark 3.1

From Theorem 3.1, we know that the time-delay system (5) is $D_{R}$-stable if and only if a certain LMI is feasible.

Similar to Theorem 3.1, it is easy to draw some results as follows.

Theorem 3.2

System (5) is $D(q,r)$-stable if and only if there exists a positive matrix $P>0$ such that the following inequality holds:

$$\begin{array}{c}\left(\begin{array}{cc}-r& -q\\ -q& -r\end{array}\right)\otimes P+\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)\otimes \left(P\Theta (H(n,m),F,G)\right)\hfill \\ +{\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)}^{\prime }\otimes \left(\Theta {(H(n,m),F,G)}^{\prime }P\right)<0.\hfill \end{array}$$

Theorem 3.3

System (5) is $D(r,\theta )$-stable if and only if there exists a positive matrix $P>0$ satisfying the inequality in Theorem 3.2 and the following inequality:

$$\left(\begin{array}{cc}M& N\\ N^{\prime }& M\end{array}\right)<0,$$

where

$$\begin{aligned}& M=\sin \theta \bigl(\varTheta \bigl(H(n,m),F,G\bigr)P+P\varTheta \bigl(H(n,m),F,G\bigr)'\bigr), \\& N=\cos \theta \bigl(\varTheta \bigl(H(n,m),F,G\bigr)P-P\varTheta \bigl(H(n,m),F,G\bigr)'\bigr). \end{aligned}$$

Theorem 3.4

System (5) is $D(0,\alpha ,\beta )$-stable if and only if there exists a positive matrix $P>0$ satisfying

$$\left(\begin{array}{cc}-{\beta }^2& 0\\ 0& {\alpha }^2\end{array}\right)\otimes P+\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)\otimes {\left(\Theta (H(n,m),F,G)\right)}^{\prime }P\Theta (H(n,m),F,G)<0.$$

Using MATLAB, it is quick to check the above criterion of $D_{R}$-stability with LMI. Now we give an example as follows.

Example 3.1

In the time-delay system $[\sum_{j=0}^{m}F _{j},\sum_{j=0}^{m}G_{j}]$, let

$$ F_{0}=-\frac{1}{4}, \quad\quad F_{1}= \frac{1}{8}, \quad\quad G_{0}=\frac{1}{16}, \quad \quad G_{1}=\frac{1}{32}. $$

Then

$$F=\left(\begin{array}{cc}-\frac{1}{4}& \frac{1}{8}\\ 1& 0\end{array}\right),G=\left(\begin{array}{cc}-\frac{1}{16}& \frac{1}{32}\\ 0& 0\end{array}\right).$$

Through a simple calculation, we can obtain that

$$H(1,1)=\left(\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right),\Theta (H(1,1),F,G)=\left(\begin{array}{ccc}0.0664& -0.0664& 0.0166\\ -0.2500& 0.1250& 0\\ 1.0000& 0& 0\end{array}\right).$$

Given $q=\frac{1}{4}$, $r=\frac{1}{6}$, using MATLAB, we cannot find a feasible solution of the inequality in Theorem 3.2. That is, system (5) is not $D(\frac{1}{4},\frac{1}{6})$-stable.

Choosing $q=\frac{1}{4}$, $r=\frac{1}{2}$ and using MATLAB, we can obtain that there exists a positive region matrix

$$P=\left(\begin{array}{ccc}29.7165& 0.8568& 0.0985\\ 0.8568& 16.4863& 2.7158\\ 0.0985& 2.7158& 3.2825\end{array}\right)>0$$

such that

$$\left(\begin{array}{cc}-\frac{1}{6}P& -\frac{1}{4}P+P\Theta (H(1,1),F,G)\\ -\frac{1}{4}P+\Theta {(H(1,1),F,G)}^{\prime }P& -\frac{1}{6}P\end{array}\right)<0.$$

By Theorem 3.2, the system is $D(\frac{1}{4},\frac{1}{2})$-stable.

We use the LMI toolbox of Matlab and commands for obtaining P as follows:

H=[1 0 0;0 1 0;0 1 0;0 0 1];

F=[-1/4 1/8;1 0];

G=[-1/16 1/32;0 0];

T1=H.'*H;

T3=[kron(F,F)+kron(G,G)]*H;

T=inv(T1)*H.'*T3;

E=[1 0 0;0 1 0;0 0 1];

q=1/4;

A2=-q*E+T;

r=1/2;

B1=-r*E;

setlmis([])

P=lmivar(1,[3,1])

lmiterm([1 1 1 P],B1,1)

lmiterm([1 1 2 P],1,A2)

lmiterm([1 2 2 P],B1,1)

lmiterm([-2 1 1 P],1,1)

lmisys=getlmis;

[tmin,xfeas]=feasp(lmisys)

P=dec2mat(lmisys,xfeas,P)

eig(P)

Remark 3.2

Theorems 3.1–3.4 give a kind of characterization for region stability. But the relation between region stabilities and the convergence speed of the trajectories of a system need to be further investigated, which is an interesting and practical problem.

Theorem 3.5

System (5) is $D(0,\alpha ,\beta )$-stable if and only if system (1) is such for arbitrary sufficiently small real number $\varepsilon >0$, the convergence speed of the system $[\sum_{j=0}^{m}F_{j},\sum_{j=0}^{m}G_{j}]$ is slower than $O((\alpha +\varepsilon )^{t})$, but is faster than $O((\beta -\varepsilon )^{t})$. That is, there exist two constants $C_{1}>0$, $C_{2}>0$ such that

$$ C_{2}{ \Vert \overline{x}_{0} \Vert }^{2}(\alpha +\varepsilon )^{t} \leq E{ \bigl\Vert x(t) \bigr\Vert }^{2}\leq {C_{1}{ \Vert \overline{x}_{0} \Vert }^{2} (\beta -\varepsilon )^{t}}. $$

Proof

(Necessity) Assume that system (5) is $D(0,\alpha ,\beta )$-stable. For ${\lambda _{i}}\in {\sigma (L_{F,G})}$, $i=1,2,\ldots, \frac{n(m+1)[n(m+1)+1]}{2}$, without loss of generality, let

$$ \max \vert \lambda _{i} \vert = \vert \lambda _{1} \vert < \beta , \quad\quad \min \vert \lambda _{i} \vert = \vert \lambda _{2} \vert >\alpha . $$

And let $X(t)=E[\overline{x}(t)\overline{x}'(t)]$, where $\overline{x}(t)=[x'(t),x'(t-1),\ldots,x'(t-m)]'$; $x(t)$ is the orbit of system (5) satisfying the initial condition $x(k)=\varphi (k)$, $k=0,-1,\ldots,-m$ (i.e., $\overline{x}_{0}=[\varphi '(0),\varphi '(-1),\ldots,\varphi '(-m)]'$). Using the same proof process as that of Theorem 2.1 in [27], system (5) is equivalent to

$$\begin{aligned}& X(t+1)=L_{F,G}\bigl(X(t)\bigr). \end{aligned}$$

(10)

By the theory of H representation method in [36], the initial problem of system (10) is equivalent to the initial problem of the following discrete system:

$$\begin{aligned}& \textstyle\begin{cases} \widetilde{X}(t+1)=\varTheta (H(n,m),F,G)\widetilde{X}(t), \\ \widetilde{X}(0)=[H(n,m)'H(n,m)]^{-1}H(n,m)'\overrightarrow{X}(0). \end{cases}\displaystyle \end{aligned}$$

(11)

By the stability theory of linear deterministic discrete system, there exist two positive real constants $c_{0}$ and $c^{0}$ such that the following inequality holds:

$$\begin{aligned}& { \bigl\Vert \widetilde{X}(t) \bigr\Vert }\leq {c_{0}{ \bigl\Vert \widetilde{X}(0) \bigr\Vert }\Biggl(\sum_{i=1} ^{r_{1}}t^{i-1}\Biggr) \vert \lambda _{1} \vert ^{t}}, \\& { \bigl\Vert \widetilde{X}(t) \bigr\Vert }\geq {c^{0}{ \bigl\Vert \widetilde{X}(0) \bigr\Vert }\Biggl(\sum_{i=1} ^{r_{2}}t^{i-1}\Biggr) \vert \lambda _{2} \vert ^{t}}, \end{aligned}$$

here $r_{1}$ and $r_{2}$ are respectively the multiplicities of the characteristic roots $\lambda _{1}$ and $\lambda _{2}$. For $\vert \lambda _{1} \vert <\beta$, $\vert \lambda _{2} \vert >\alpha$, by the denseness of real numbers, there exists a sufficiently small number $\varepsilon >0$, such that $\vert \lambda _{1} \vert -\beta +\varepsilon <0$, $\vert \lambda _{2} \vert -\alpha -\varepsilon >0$, and so, by the results in [29], we can obtain the following inequality:

$$ E{ \Vert \overline{x} \Vert }^{2}\leq {\sqrt{n(m+1)} { \Vert \widetilde{X} \Vert }}, \quad \quad { \Vert \widetilde{X} \Vert }\leq {\sqrt{ \frac{n(m+1)+1}{2}}E{ \Vert \overline{x} \Vert }^{2}}. $$

So

$$ E{ \bigl\Vert \overline{x}(t) \bigr\Vert }^{2}\leq {c_{1}{ \Vert \overline{x}_{0} \Vert }^{2}( \beta -\varepsilon )^{t}}, \qquad E{ \bigl\Vert \overline{x}(t) \bigr\Vert }^{2}\geq {c_{2}{ \Vert \overline{x}_{0} \Vert }^{2}( \alpha +\varepsilon )^{t}}, $$

where

$$\begin{aligned}& c_{1}=c_{0}\sqrt{\frac{n(m+1)[n(m+1)+1]}{2}}\sup _{t\in [0,\infty )}\Biggl( \sum_{i=1}^{r_{1}}{t^{i-1}} \Biggr) \biggl(\frac{ \vert \lambda _{1} \vert }{\beta -\varepsilon }\biggr)^{t}< \infty , \\& c_{2}=c^{0}\sqrt{\frac{2}{n(m+1)[n(m+1)+1]}}. \end{aligned}$$

Hence, from the above inequality, we can obtain that there exist two constants $C_{1}>0$, $C_{2}>0$ such that

$$ E{ \bigl\Vert x(t) \bigr\Vert }^{2}\leq {C_{1}{ \Vert \overline{x}_{0} \Vert }^{2}{(\beta - \varepsilon )^{t}}}, \qquad E{ \bigl\Vert x(t) \bigr\Vert }^{2}\geq {C_{2}{ \Vert \overline{x}_{0} \Vert }^{2}(\alpha +\varepsilon )^{t}}. $$

(Sufficiency) Suppose that system (5) is $(\alpha ,\beta )$ region stable. For arbitrary real number $\varepsilon >0$, the convergence speed of the system $[\sum_{j=0}^{m}F_{j},\sum_{j=0}^{m}G _{j}]$ is slower than $O((\alpha +\varepsilon )^{t})$, but is faster than $O((\beta -\varepsilon )^{t})$. That is, there exist two constants $C_{1}>0$, $C_{2}>0$ such that

$$ C_{2}{ \Vert \overline{x}_{0} \Vert }^{2}(\alpha +\varepsilon )^{t} \leq E{ \bigl\Vert x(t) \bigr\Vert }^{2}\leq {C_{1}{ \Vert \overline{x}_{0} \Vert }^{2} (\beta -\varepsilon )^{t}}. $$

Note that $\overline{x}(t)=[x'(t),x'(t-1),\ldots,x'(t-m)]'$, and it is easy to obtain that there exist two numbers $c_{1}$, $c_{2}$ satisfying

$$\begin{aligned}& c_{2}{ \Vert \overline{x}_{0} \Vert }^{2}(\alpha +\varepsilon )^{t} \leq E{ \bigl\Vert \overline{x}(t) \bigr\Vert }^{2}\leq {c_{1}{ \Vert \overline{x}_{0} \Vert }^{2} (\beta - \varepsilon )^{t}}. \end{aligned}$$

(12)

Note that $\overline{x}(t)$ is the trajectory of system (6), so from (12), we can obtain $\sigma (L_{F,G})\subset {D(0,\alpha ,\beta )} \subset D(0,1)$. The proof is completed. □

Corollary 3.2

If system (5) is $D_{R}$-stable then there exists a constant $C>0$ such that $\lim_{t \rightarrow +\infty }E { \Vert x(t) \Vert }^{2}=0$.

Corollary 3.3

If system (5) is $D(q,r)$-stable then there exist two constants $C_{1}>0$, $C_{2}>0$ such that $C_{2}{ \Vert \overline{x} _{0} \Vert }^{2}( \Vert q \Vert +\varepsilon )^{t} \leq E{ \Vert x(t) \Vert }^{2}\leq {C_{1} { \Vert \overline{x}_{0} \Vert }^{2} (( \Vert q \Vert +r)-\varepsilon )^{t}}$.

Corollary 3.4

If system (5) is $D(r,\theta )$-stable then there exists a constant $C>0$ such that $E{ \Vert x(t) \Vert }^{2}\leq {C{ \Vert \overline{x}_{0} \Vert }^{2} (r-\varepsilon )^{t}}$.

Remark 3.3

From Theorem 3.5 and Corollaries 3.2–3.4, region stabilities defined in this paper imply mean square stability of system (5).

4 Conclusion

In this paper, we investigated the region stability of discrete stochastic time-delay systems. First of all, we defined the notions of region-stability of discrete stochastic time-delay systems. We then gave some equivalent conditions for the region stabilization of linear stochastic discrete time-delay systems. We only considered the stability of discrete stochastic time-delay systems on some LMI regions. But the stability of discrete stochastic time-delay systems on general regions is still a challenging problem.