# The Stability and Stabilization of Stochastic Delay-Time Systems

Authors: Gang Li; Ming Chen
Journal: Mathematical Problems in Engineering
 (2014)

---

## Abstract

The aim of this paper is to investigate the stability and the stabilizability of stochastic time-delay deference system. To do this, we use mainly two methods to give a list of the necessary and sufficient conditions for the stability and stabilizability of the stochastic time-delay deference system. One way is in term of the operator spectrum andH-representation; the other is by Lyapunov equation approach. In addition, we introduce the notion of unremovable spectrum of stochastic time-delay deference system, describe the PBH criterion of the unremovable spectrum of time-delay system, and investigate the relation between the unremovable spectrum and the stabilizability of stochastic time-delay deference system.


---

## Body

## 1. Introduction

The stochastic time-delay system is one of the fundamental research branches in the theory of control systems, which is usually applied in the fields of electronics, machinery, chemicals, life sciences, economics, and so on. As is well known, the stability is an essential concept in linear system theory, which is relative to the system matrix root-clustering in subregions of the complex plane, and also the spectral operator approach is effective in the study of the eigenvalue placement of a matrix (see [1]). Since two classic books [2, 3] appeared, stochastic stability and stabilization of Itô differential systems have been investigated by many researchers for several decades; we refer the reader to [4–6] and the references therein. More specifically, for linear time-invariant stochastic (LTIS) systems, most work is concentrated on the investigation of mean square stabilization, which has important applications in system analysis and design. Some necessary and sufficient conditions for the mean square stabilization of LTIS systems have been obtained in terms of generalized algebraic Riccati equation (GARE) or linear matrix inequality (LMI) in [7–14] or spectra of some operators in [5, 9, 15]. For the stochastic delay-time systems, the present results were mainly obtained by Lyapunov functional approach. We concentrate our attention upon the stability and stabilization of stochastic systems by the operator spectrum.The structure of this paper is as follows. In Section2, with the aid of the operator spectrum, H-representation, and Lyapunov equation approach, some necessary and sufficient conditions are given for the stability and the stabilizability of stochastic delay-time systems. In Section 3, the unremovable spectrum of stochastic delay-time systems is introduced, and PBH criterion of the stabilizability of stochastic delay-time systems is presented.For convenience, we adopt the following traditional notations.S
n: the set of all symmetric matrices, whose components may be complex; N
=
{
0,1
,
2
,
…
}; A
′
(
Ker
⁡
(
A
)
): the transpose (kernel space) of a matrix A; A
≥
0  (
A
>
0
) is a positive semidefinite (positive-definite) symmetric matrix A; I: identity matrix; σ
(
L
): spectral set of the operator or matrix L; C
-
(
C
-
0
): the open left (closed left) hand side complex plane. D
(
0
,
α
)
=
{
λ
∣
∥
λ
∥
<
α
}; ∥
·
∥ is the l
2-norm; L
F
t
2
(
R
+
,
R
n
x
): space of nonanticipative stochastic processes x
(
t
)
∈
R
n
x with respect to an increasing σ-algebra {
F
t
}
t
≥
0 satisfying E
∥
x
(
t
)
∥
2
<
∞. Finally, we make the assumption throughout this paper that all systems have real coefficients.


## 2. The Stability of Stochastic Delay-Time Systems

In this section, we will investigate the stability and stabilizability of the stochastic time-delay deference system using the spectrum of operator and Lyapunov equation approach. At first, we introduce a Lyapunove operator. Consider the following linear difference system with constant delays:(1)
x
(
t
+
1
)
=
F
0
x
(
t
)
+
G
0
x
(
t
)
w
(
t
)
+
∑
j
=
1
m
[
F
j
x
(
t
-
j
)
+
G
j
x
(
t
-
j
)
w
(
t
)
]
,
t
∈
N
,
with the initial condition
(2)
x
(
k
)
=
φ
(
k
)
,
k
=
0
,
-
1
,
-
2
,
…
,
-
m
.
Here, x
∈
R
n is a column vector, F
j
,
G
j
∈
R
n
×
n, j
=
0,1
,
…
,
m, are constant coefficient matrices, φ
(
k
)
∈
R
n is a deterministic initial condition, {
w
(
t
)
∈
R
,
t
∈
N
} is a sequence of real random variables defined on a complete probability space {
Ω
,
F
,
F
t
,
μ
} which is a wide sense stationary, second-order process with E
(
w
(
t
)
)
=
0 and E
(
w
(
t
)
w
(
s
)
)
=
δ
s
,
t, where δ
s
,
t is the Kronecker delta with F
t
=
σ
{
w
(
s
)
:
0
≤
s
≤
t
}.Definition 1.
The trivial stationary solutionx
(
t
)
=
0 of the system (1) is called mean square stable if, for any arbitrarily small number ɛ
>
0, there exists a number δ
>
0, when ∥
φ
∥
<
δ, such that
(3)
E
∥
x
(
t
)
∥
2
<
ɛ
,
for a solution x
(
t
)
=
x
(
t
,
φ
) of (1).Definition 2.
The trivial stationary solutionx
(
t
)
=
0 of the system (1) is called asymptotically mean square stable if it is stable in the sense of Definition 1 and, moreover, any solution x
(
t
)
=
x
(
t
,
φ
) of (1) satisfies
(4)
lim
⁡
t
→
+
∞
⁡
E
∥
x
(
t
)
∥
2
=
0
.We consider the problem of finding criteria and sufficient conditions for the mean square asymptotic stability of the trivial stationary solutionx
(
t
)
=
0 by operator spectra. Since the stochastic system (1) is a system with time-delays, it seems impossible to construct the operator directly for (1) like the operator in [15]. So, first of all, we introduce the following column vector x
~
(
t
) of new variables of dimension n
(
m
+
1
):
(5)
x
~
(
t
)
=
[
x
′
(
t
)
,
x
′
(
t
-
1
)
,
…
,
x
′
(
t
-
m
)
]
′
.The stochastic system (1) with time-delays can now be written in the form of an equivalent stochastic system of dimension n
(
m
+
1
) without delay; namely,
(6)
x
~
(
t
+
1
)
=
[
F
+
G
ω
(
t
)
]
x
~
(
t
)
,
where F and G denote the following n
(
m
+
1
)
×
n
(
m
+
1
) matrices:
(7)
F
=
(
F
0
F
1
⋯
F
m
-
1
F
m
I
0
⋯
0
0
⋮
⋮
⋮
⋮
⋮
0
0
⋯
I
0
)
,
G
=
(
G
0
G
1
⋯
G
m
-
1
G
m
0
0
⋯
0
0
⋮
⋮
⋮
⋮
⋮
0
0
⋯
0
0
)
.If we setX
(
t
)
=
E
x
~
(
t
)
x
~
′
(
t
), X
(
t
) satisfies the following difference equation:
(8)
X
(
t
+
1
)
=
F
X
(
t
)
F
′
+
G
X
(
t
)
G
′
.
Motivated by (8), we introduce the following linear Lyapunov operator:
(9)
L
F
,
G
:
X
∈
S
n
(
m
+
1
)
⟼
F
X
(
t
)
F
′
+
G
X
(
t
)
G
′
∈
S
n
(
m
+
1
)
.
With the use of the Kronecker matrix product, the matrix equation (8) can be rewritten in the vector matrix form as follows:
(10)
X
→
(
t
+
1
)
=
F
^
X
→
,
where X
→
(
t
) denotes the n
2
(
m
+
1
)
2-dimensional column vector
(11)
X
→
(
t
)
=
[
X
1,1
(
t
)
,
…
,
X
1
,
n
(
t
)
,
…
,
i
i
i
i
X
1
,
n
(
m
+
1
)
(
t
)
,
…
,
X
n
(
m
+
1
)
,
n
(
m
+
1
)
(
t
)
]
′
and F
^
∈
R
n
2
(
m
+
1
)
2
×
n
2
(
m
+
1
)
2 has the form F
^
=
F
⊗
F
+
G
⊗
G.Now, we are in a position to give a spectral description for the stability of system (1) by H-representation in [14].Lemma 3.
LetH
n
(
m
+
1
) be a n
2
(
m
+
1
)
2
×
(
n
(
m
+
1
)
[
n
(
m
+
1
)
+
1
]
/
2
) matrix and rank
⁡
(
H
n
(
m
+
1
)
)
=
(
n
(
m
+
1
)
[
n
(
m
+
1
)
+
1
]
)
/
2; then H
n
(
m
+
1
)
′
H
n
(
m
+
1
) is invertible.Theorem 4.
The trivial solutionx
(
t
)
=
0 of system (1) is asymptotically mean square stable if and only if σ
(
L
F
,
G
)
⊂
D
(
0,1
).Proof.
If we setX
(
t
)
=
E
x
~
(
t
)
x
~
′
(
t
), X
(
t
) satisfies
(12)
X
(
t
+
1
)
=
F
X
(
t
)
F
′
+
G
X
(
t
)
G
′
,
X
(
k
)
=
x
~
(
k
)
x
~
′
(
k
)
∈
S
n
(
m
+
1
)
,
k
=
0
,
-
1
,
-
2
,
…
,
-
m
,
t
∈
N
.
Since X
(
·
) is real symmetric, (12) is a linear matrix equation with n
(
m
+
1
)
[
n
(
m
+
1
)
+
1
]
/
2 different variables; that is, it is in fact an n
(
m
+
1
)
[
n
(
m
+
1
)
+
1
]
/
2 th-order linear system. We define a map L
~ from S
n
(
m
+
1
) to C
n
(
m
+
1
)
[
n
(
m
+
1
)
+
1
]
/
2 as follows.
For anyY
=
(
Y
i
j
)
n
(
m
+
1
)
×
n
(
m
+
1
)
∈
S
n
(
m
+
1
), set
(13)
Y
~
=
L
~
(
Y
)
=
(
Y
11
,
…
,
Y
1
,
n
(
m
+
1
)
,
…
,
Y
n
(
m
+
1
)
-
1
,
n
(
m
+
1
)
-
1
,
i
i
i
i
i
i
Y
n
(
m
+
1
)
-
1
,
n
(
m
+
1
)
,
…
,
Y
n
(
m
+
1
)
,
n
(
m
+
1
)
)
′
;
then there exists an unique matrix θ
(
H
n
(
m
+
1
)
)
∈
R
(
n
(
m
+
1
)
[
n
(
m
+
1
)
+
1
]
/
2
)
×
(
n
(
m
+
1
)
[
n
(
m
+
1
)
+
1
]
/
2
), by H-representation of [14], such that (12) is equivalent to
(14)
X
~
(
t
+
1
)
=
L
~
(
L
F
,
G
(
X
)
)
=
θ
(
H
n
(
m
+
1
)
)
X
~
(
t
)
,
X
~
(
k
)
=
[
H
n
(
m
+
1
)
′
H
n
(
m
+
1
)
]
-
1
H
n
(
m
+
1
)
′
×
X
→
(
k
)
∈
R
n
(
m
+
1
)
[
n
(
m
+
1
)
+
1
]
/
2
,
k
=
0
,
-
1
,
-
2
,
…
,
-
m
,
t
∈
N
,
where θ
(
H
n
(
m
+
1
)
)
=
[
H
n
(
m
+
1
)
′
H
n
(
m
+
1
)
]
-
1
H
n
(
m
+
1
)
′
[
F
⊗
F
+
G
⊗
G
]
H
n
(
m
+
1
), X
~
∈
R
n
(
m
+
1
)
[
n
(
m
+
1
)
+
1
]
/
2. Obviously, since the system of (14) for moments is deterministic, the proof of the theorem is carried out by the standard method for deterministic difference equations. Seeking the general solution of system (14) in the exponential form X
~
(
t
)
=
c
λ
t, where c
,
λ = const, we arrive at the characteristic equation det
⁡
(
λ
I
-
θ
(
H
n
(
m
+
1
)
)
)
=
0. That is, lim
⁡
t
→
+
∞
E
x
~
(
t
)
x
~
′
(
t
)
=
lim
⁡
t
→
+
∞
X
(
t
)
=
0
⇔
lim
⁡
t
→
+
∞
X
~
(
t
)
=
0
⇔
σ
(
θ
(
H
n
(
m
+
1
)
)
)
⊂
D
(
0,1
).
By (9) and (14), for any eigenvalue λ and its corresponding eigenvector Y
=
(
Y
i
j
)
n
×
n
∈
S
n of L
F
,
G, from L
F
,
G
(
Y
)
=
λ
Y, we have L
~
(
L
F
,
G
(
Y
)
)
=
θ
(
H
n
(
m
+
1
)
)
Y
~
=
λ
Y
~, which yields σ
(
L
F
,
G
)
=
σ
(
θ
(
H
n
(
m
+
1
)
)
). The above discussion concludes the proof of Theorem 4. The proof of Theorem 4 is complete.Remark 5.
In Theorem4, a necessary and sufficient condition for the asymptotically mean square stability of system (1) via the spectrum of L
F
,
G is presented, which can be called “spectral criterion.”Theorem 6.
The trivial solutionx
=
0 of system (1) is asymptotically mean square stable if and only if, for any Q
∈
S
n
(
m
+
1
) with Q
>
0, there exists a P
∈
S
n
(
m
+
1
) such that P
>
0 and P is a solution of the following Lyapunov equation:
(15)
P
-
L
F
,
G
(
P
)
=
Q
.Proof.
We introduce ann
2
(
m
+
1
)
2-parameter stochastic Lyapunov function as a quadratic form:
(16)
V
(
X
→
(
t
)
)
=
X
→
′
P
X
→
,
P
∈
S
n
(
m
+
1
)
.
The role of parameters is played byn
2
(
m
+
1
)
2 elements of the positive-definite matrix, which should be determined. The statement of the theorem can be established in a way that is standard for the method of Lyapunov functions for stochastic difference equations. So the trivial solution x
~
(
t
)
=
0 of system (6) is asymptotically mean square stable if and only if for any Q
>
0, the Lyapunov equation (15) has a solution P
>
0. By the proof of Theorem 4, the trivial solution x
=
0 of system (1) is asymptotically mean square stable if and only if the trivial solution x
~
(
t
)
=
0 of system (6) is asymptotically mean square stable. The proof of Theorem 6 is complete.From the proof of Theorem4 and the method of Lyapunov functions for difference equations, we immediately get the following result.Theorem 7.
The trivial solutionx
=
0 of system (1) is asymptotically mean square stable if and only if, for any Q
∈
S
n
(
m
+
1
)
[
n
(
m
+
1
)
+
1
]
/
2 with Q
>
0, there exists a P
∈
S
n
(
m
+
1
)
[
n
(
m
+
1
)
+
1
]
/
2 such that P
>
0 and P is a solution of the following Lyapunov equation:
(17)
P
-
F
^
′
P
F
^
=
Q
.Corollary 8.
Ifσ
(
L
F
,
G
)
⊂
D
(
0,1
), then σ
(
F
)
⊂
D
(
0,1
).Proof.
By Theorems4 and 6, σ
(
L
F
,
G
)
⊂
D
(
0,1
) holds if and only if there is a matrix P
∈
S
n
(
m
+
1
) such that P
>
0 and P is a solution of the following Lyapunov equation:
(18)
P
-
L
F
,
G
(
P
)
=
Q
,
for any Q
>
0. So, there exists a P
∈
P
∈
S
n
(
m
+
1
) such that P
>
0 and P is a solution of the following Lyapunov equation:
(19)
P
-
F
′
P
F
>
0
,
which is equivalent to σ
(
F
)
⊂
D
(
0,1
); that is, the system
(20)
x
(
t
+
1
)
=
F
0
x
(
t
)
+
∑
1
j
=
m
‍
F
j
x
(
t
-
j
)
,
x
(
k
)
=
φ
(
k
)
,
k
=
0
,
-
1
,
-
2
,
…
,
-
m
,
t
∈
N
,
is asymptotically Lyapunov stable. The proof of Corollary 8 is complete.Now, we present some results about mean square stability of system (1). From the process of Theorems 4–7, we easily obtain the following Theorems 9–10, so we omit their proofs.Theorem 9.
If the trivial stationary solutionx
=
0 of the system (1) is mean square stable, then σ
(
L
F
,
G
)
⊂
D
¯
(
0,1
).Theorem 10.
σ
(
L
F
,
G
)
⊂
D
¯
(
0,1
) if and only if one of the following conditions holds.(1)
For anyɛ
>
0 and Q
>
0, the following Lyapunov equation
(21)
P
-
L
e
-
ɛ
F
,
e
-
ɛ
G
(
P
)
=
Q
has a positive-definite solution P.
(2)
σ
(
L
e
-
ɛ
F
,
e
-
ɛ
G
)
⊂
D
(
0,1
).Corollary 11.
Ifσ
(
L
F
,
G
)
⊂
D
¯
(
0,1
), then σ
(
F
)
⊂
D
¯
(
0,1
).Proof.
Sinceσ
(
L
F
,
G
)
⊂
D
¯
(
0,1
), we have, for any sufficient small ɛ
>
0, σ
(
L
e
-
ɛ
F
,
e
-
ɛ
G
)
⊂
D
(
0,1
). By Theorem 4, (
e
-
ɛ
F
,
e
-
ɛ
G
) is mean square stable, which implies σ
(
L
e
-
ɛ
F
)
⊂
D
(
0,1
) by Corollary 8. Let ɛ
→
0, we have σ
(
F
)
⊂
D
¯
(
0,1
) by continuity of spectrum [16]. The proof of Corollary 11 is complete.Remark 12.
σ
(
F
)
⊂
D
¯
(
0,1
) does not imply σ
(
L
F
,
G
)
⊂
D
¯
(
0,1
), which is one of the essential differences between stochastic system and deterministic system.Theorem 13.
The trivial solutionx
=
0 of system (1) is mean square stable if and only if, for any Q
≥
0, there exists a P
∈
S
n
(
m
+
1
) such that P
>
0 and P is a solution of the following Lyapunov equation:
(22)
P
-
L
F
,
G
(
P
)
=
Q
.Proof.
We introduce ann
2
(
m
+
1
)
2-parameter stochastic Lyapunov function as a quadratic form:
(23)
V
(
X
→
(
t
)
)
=
X
→
′
P
X
→
,
P
∈
R
n
(
m
+
1
)
×
n
(
m
+
1
)
.
By the method of Lyapunov functions for stochastic difference equations, we can get the result. The proof of Theorem 13 is complete.Now, we give an example to show how to solve the spectrum of stochastic time-delay deference system byH-representation.Example 14.
Consider the following stochastic system:(24)
x
(
t
+
1
)
=
a
x
(
t
)
+
b
x
(
t
-
1
)
+
c
x
(
t
)
ω
(
t
)
+
d
x
(
t
-
1
)
ω
(
t
)
.
Letting x
¯
(
t
)
=
(
x
(
t
)
,
x
(
t
-
1
)
)
′,
(25)
x
¯
(
t
+
1
)
=
(
a
b
1
0
)
x
¯
(
t
)
+
(
c
d
0
0
)
x
¯
(
t
)
ω
(
t
)
.
Letting X
(
t
)
=
E
x
¯
(
t
)
x
¯
′
(
t
),
(26)
X
(
t
+
1
)
=
(
a
b
1
0
)
X
(
t
)
(
a
1
b
0
)
+
(
c
d
0
0
)
X
(
t
)
(
c
0
d
0
)
.
Letting F
=
(
a
b
1
0
), G
=
(
c
d
0
0
), X
→
(
t
)
=
(
x
11
,
x
12
,
x
12
,
x
22
)
′,
(27)
X
→
(
t
+
1
)
=
(
F
⊗
F
+
G
⊗
G
)
X
→
(
t
)
=
(
a
2
+
c
2
a
b
+
c
d
a
b
+
c
d
b
2
+
d
2
a
0
b
0
a
b
0
0
1
0
0
0
)
X
→
(
t
)
.
Choose
(28)
H
2
=
(
1
0
0
0
1
0
0
1
0
0
0
1
)
.
Let X
~
(
t
)
=
(
x
11
,
x
12
,
x
22
)
′; then X
→
(
t
)
=
H
2
X
~
(
t
) and
(29)
X
~
(
t
+
1
)
=
(
H
2
′
H
2
)
-
1
H
2
′
(
F
⊗
F
+
G
⊗
G
)
H
2
X
~
(
t
)
.
So σ
(
(
H
2
′
H
2
)
-
1
H
2
′
(
F
⊗
F
+
G
⊗
G
)
H
2
)
=
σ
(
L
) if we choose a
=
1, b
=
0, c
=
0, d
=
1
/
4, and σ
(
L
)
=
{
0,1
/
2,1
/
2
}.
For a state feedback control lawu
(
t
)
=
K
x
(
t
), we introduce a linear operator L
K associated with the closed-loop system:
(30)
x
(
t
+
1
)
=
F
0
x
(
t
)
+
M
0
u
(
t
)
+
(
G
0
x
(
t
)
+
N
0
u
(
t
)
)
w
(
t
)
+
∑
j
=
1
m
[
F
j
x
(
t
-
j
)
+
M
j
u
(
t
-
j
)
iiiiiiiiiiiii
+
(
G
j
x
(
t
-
j
)
+
N
j
u
(
t
-
j
)
)
w
(
t
)
]
,
x
(
k
)
=
φ
(
k
)
∈
R
n
,
k
=
0
,
-
1
,
…
,
-
m
,
t
∈
N
,
where x
∈
R
n is a column vector, F
j
,
G
j
∈
R
n
×
n, j
=
0,1
,
…
,
m are constant coefficient matrices, φ
(
k
) is a deterministic initial condition, and u
(
t
)
∈
R
n is a control input.Definition 15.
The trivial stationary solutionx
(
t
)
=
0 of the system (30) is called mean square stabilization if there exists an input feedback K such that, for any arbitrarily small number ɛ
>
0, one can find a number δ
>
0, when ∥
φ
∥
<
δ, satisfying
(31)
E
∥
x
(
t
)
∥
2
<
ɛ
,
for a solution x
(
t
)
=
x
(
t
,
φ
) of (30).Definition 16.
The trivial stationary solutionx
(
t
)
=
0 of the system (30) is called asymptotically mean square stabilization if it is stable in the sense of Definition 15 and, moreover,
(32)
lim
⁡
t
→
+
∞
⁡
E
∥
x
(
t
)
∥
2
=
0
.We introduce the following column vectorsx
¯
(
t
) and u
¯
(
t
) of new variables of dimension n
(
m
+
1
):
(33)
x
¯
(
t
)
=
[
x
′
(
t
)
,
x
′
(
t
-
1
)
,
…
,
x
′
(
t
-
m
)
]
′
,
u
¯
(
t
)
=
[
u
′
(
t
)
,
u
′
(
t
-
1
)
,
…
,
u
′
(
t
-
m
)
]
′
.The stochastic system (30) with time-delays can now be written in the form of an equivalent stochastic system of dimension n
(
m
+
1
) without time-delay; namely,
(34)
x
¯
(
t
+
1
)
=
F
¯
x
¯
(
t
)
+
M
¯
u
¯
(
t
)
+
(
G
¯
x
¯
(
t
)
+
N
¯
u
¯
(
t
)
)
ω
(
t
)
,
where
(35)
F
¯
=
(
F
0
F
1
⋯
F
m
-
1
F
m
I
0
⋯
0
0
⋮
⋮
⋯
⋮
⋮
0
0
⋯
I
0
)
,
G
¯
=
(
G
0
G
1
⋯
G
m
-
1
G
m
0
0
⋯
0
0
⋮
⋮
⋮
⋮
⋮
0
0
⋯
0
0
)
.
(36)
M
¯
=
(
M
0
M
1
⋯
M
m
-
1
M
m
0
0
⋯
0
0
⋮
⋮
⋮
⋮
⋮
0
0
⋮
0
0
)
,
N
¯
=
(
N
0
N
1
⋯
N
m
-
1
N
m
0
0
⋯
0
0
⋮
⋮
⋮
⋮
⋮
0
0
⋯
0
0
)
.
Take a control input u
¯
(
t
)
=
K
¯
x
¯
(
t
) with
(37)
K
¯
=
(
K
0
⋯
0
0
0
K
⋯
0
0
⋮
⋮
⋮
⋮
⋮
0
0
⋯
0
K
)
,
and set X
(
t
)
=
E
x
¯
(
t
)
x
¯
′
(
t
); X
(
t
) satisfies the following difference equation:
(38)
X
(
t
+
1
)
=
(
F
¯
+
M
¯
K
¯
)
X
(
t
)
(
F
¯
+
M
¯
K
¯
)
′
+
(
G
¯
+
N
¯
K
¯
)
X
(
t
)
(
G
¯
+
N
¯
K
¯
)
′
.
Motivated by (38), we introduce the following linear Lyapunov operator:
(39)
L
K
¯
:
X
∈
S
n
(
m
+
1
)
⟼
(
F
¯
+
M
¯
K
¯
)
X
(
t
)
(
F
¯
+
M
¯
K
¯
)
′
+
(
G
¯
+
N
¯
K
¯
)
X
(
t
)
(
G
¯
+
N
¯
K
¯
)
′
∈
S
n
(
m
+
1
)
.
With the use of the Kronecker matrix product, the matrix equation (38) can be rewritten in the vector matrix form as follows:
(40)
X
→
(
t
+
1
)
=
A
^
X
→
,
where X
→
(
t
) denotes the n
2
(
m
+
1
)
2-dimensional column vector
(41)
X
→
(
t
)
=
[
X
1,1
(
t
)
,
…
,
X
1
,
n
(
t
)
,
…
,
i
i
i
i
X
1
,
n
(
m
+
1
)
(
t
)
,
…
,
X
n
(
m
+
1
)
,
n
(
m
+
1
)
(
t
)
]
′
and A
^
=
(
F
¯
+
M
¯
K
¯
)
⊗
(
F
¯
+
M
¯
K
¯
)
+
(
G
¯
+
N
¯
K
¯
)
⊗
(
G
¯
+
N
¯
K
¯
)
∈
S
n
2
(
m
+
1
)
2.From Theorems4–13, we can easily obtain the following results.Corollary 17.
The trivial solutionx
=
0 of system (30) is asymptotical mean square stabilizaton if and only if σ
(
L
K
¯
)
⊂
D
(
0,1
).Corollary 18.
The trivial solutionx
(
t
)
=
0 of system (30) is asymptotically mean square stable if and only if, for any Q
∈
S
n
(
m
+
1
) with Q
>
0, there exists a P
∈
S
n
(
m
+
1
) such that P
>
0 and P is a solution of the following Lyapunov equation:
(42)
P
-
L
F
¯
+
M
¯
K
¯
,
G
¯
+
N
¯
K
¯
(
P
)
=
Q
.Corollary 19.
The trivial solutionx
=
0 of system (30) is asymptotically mean square stable if and only if, for any Q
∈
S
n
(
m
+
1
)
[
n
(
m
+
1
)
+
1
]
/
2 with Q
>
0, there exists a P
∈
S
n
(
m
+
1
)
[
n
(
m
+
1
)
+
1
]
/
2 such that P
>
0 and P is a solution of the following Lyapunov equation:
(43)
P
-
θ
(
H
n
(
m
+
1
)
K
)
′
P
θ
(
H
n
(
m
+
1
)
K
)
=
Q
,
where
(44)
θ
(
H
n
(
m
+
1
)
K
)
=
[
H
n
(
m
+
1
)
′
H
n
(
m
+
1
)
]
-
1
H
n
(
m
+
1
)
′
×
[
(
F
¯
+
M
¯
K
¯
)
⊗
(
F
¯
+
M
¯
K
¯
)
i
i
i
i
i
i
i
+
(
G
¯
+
N
¯
K
¯
)
⊗
(
G
¯
+
N
¯
K
¯
)
]
H
n
(
m
+
1
)
.Corollary 20.
The trivial solutionx
=
0 of system (30) is asymptotically mean square stable if and only if, for any Q
∈
S
n
2
(
m
+
1
)
2, Q
>
0, there exists a P
∈
S
n
2
(
m
+
1
)
2 such that P
>
0 and P is a solution of the following Lyapunov equation:
(45)
P
-
A
^
′
P
A
^
=
Q
.Corollary 21.
The trivial solutionx
=
0 of system (30) is mean square stable if and only if, for any Q
∈
S
n
(
m
+
1
) with Q
≥
0, there exists a P
∈
S
n
(
m
+
1
) such that P
>
0 and P is a solution of the following Lyapunov equation:
(46)
P
-
L
F
¯
+
M
¯
K
¯
,
G
¯
+
N
¯
K
¯
(
P
)
=
Q
.Corollary 22.
The trivial solutionx
=
0 of system (1) is mean square stable if and only if, for any Q
∈
S
n
(
m
+
1
)
[
n
(
m
+
1
)
+
1
]
/
2 with Q
≥
0, there exists a P
∈
S
n
(
m
+
1
)
[
n
(
m
+
1
)
+
1
]
/
2 such that P
>
0 and P is a solution of the following Lyapunov equation:
(47)
P
-
θ
(
H
n
(
m
+
1
)
K
)
′
P
θ
(
H
n
(
m
+
1
)
K
)
=
Q
,
where
(48)
θ
(
H
n
(
m
+
1
)
K
)
=
[
H
n
(
m
+
1
)
′
H
n
(
m
+
1
)
]
-
1
×
H
n
(
m
+
1
)
′
[
F
⊗
F
+
G
⊗
G
]
H
n
(
m
+
1
)
.Corollary 23.
The trivial solutionx
=
0 of system (1) is mean square stable if and only if, for any Q
≥
0, there exists a P
∈
S
n
2
(
m
+
1
)
2 such that P
>
0 and P is a solution of the following Lyapunov equation:
(49)
P
-
A
^
′
P
A
^
=
Q
.


## 3. Popov-Belevith-Hautus Criterion of the Stabilizability

In this section, we will investigate the properties of unremovable spectrum of time-delay deference system and the relation between unremovable spectrum and the stabilizability of time-delay deference system. Consider the following linear stochastic system with time-delays:(50)
x
(
t
+
1
)
=
F
0
x
(
t
)
+
M
0
u
(
t
)
+
(
G
0
x
(
t
)
+
N
0
u
(
t
)
)
w
(
t
)
+
∑
j
=
1
m
[
F
j
x
(
t
-
j
)
+
M
j
u
(
t
-
j
)
i
i
i
i
i
i
i
i
+
(
G
j
x
(
t
-
j
)
+
N
j
u
(
t
-
j
)
)
w
(
t
)
]
,
x
(
k
)
=
φ
(
k
)
∈
R
n
,
k
=
0
,
-
1
,
-
2
,
…
,
-
m
,
t
∈
N
.Definition 24.
We say thatλ is an unremovable spectrum of system (50) with state feedback if there exists Z
≠
0
∈
S
n
(
m
+
1
), such that,for any K
¯
∈
R
n
(
m
+
1
)
×
n
(
m
+
1
),
(51)
L
K
¯
*
(
Z
)
=
(
F
¯
+
M
¯
K
¯
)
′
Z
(
F
¯
+
M
¯
K
¯
)
+
(
G
¯
+
N
¯
K
¯
)
′
Z
(
G
¯
+
N
¯
K
¯
)
=
λ
Z
holds.Remark 25.
It is easy to see that the operatorL
K
¯
* is the adjoint operator of the operator L
K
¯ with the inner product 〈
Z
,
Y
〉
=
trace
(
Z
*
,
Y
) for any Z
,
Y
∈
S
n
(
m
+
1
). As we restrict the coefficients to real matrices, σ
(
L
K
¯
*
)
=
σ
(
L
K
¯
). By Corollaries 17–23, we know that any one of them can characterize the stabilizability of system (50).Obviously, ifλ is an unremovable spectrum, then it can be regarded as an uncontrollable mode as in deterministic systems. We give a theorem with respect to the unremovable spectrum below.Theorem 26.
(Stochastic PBH criterion)λ is an unremovable spectrum of system (50) if and only if there exists Z
≠
0
∈
S
n
(
m
+
1
), such that the following three equalities hold simultaneously:
(52)
F
¯
′
Z
F
¯
+
G
¯
′
Z
G
¯
=
λ
Z
,
F
¯
′
Z
M
¯
+
G
¯
′
Z
N
¯
=
0
,
N
¯
′
Z
N
¯
=
-
M
¯
′
Z
M
¯
.Proof.
Note that (51) can be written as
(53)
F
¯
′
Z
F
¯
+
K
¯
′
M
¯
′
Z
M
¯
K
¯
+
G
¯
′
Z
G
¯
′
+
K
¯
′
N
¯
′
Z
N
¯
K
¯
+
(
F
¯
′
Z
M
¯
+
G
¯
′
Z
N
¯
)
K
¯
+
K
¯
′
(
M
¯
′
Z
F
¯
+
N
¯
′
Z
G
¯
)
=
λ
Z
,
so if (52) holds, then (53) automatically holds. So the sufficiency is proved.
To prove the necessity, we first takeK
¯
=
0 in (51), then
(54)
F
¯
′
Z
F
¯
+
G
¯
Z
G
¯
′
=
λ
Z
holds. Again, from (53), it follows that
(55)
K
¯
′
M
¯
Z
M
¯
′
K
¯
+
K
¯
N
¯
Z
N
¯
′
K
¯
′
+
(
F
¯
′
Z
M
¯
+
G
¯
′
Z
N
¯
)
K
¯
+
K
¯
′
(
M
¯
′
Z
F
¯
+
N
¯
′
Z
G
¯
)
=
0
.
Let F
=
F
¯
′
Z
M
¯
+
G
¯
′
Z
N
¯, M
=
M
¯
Z
M
¯
′, N
=
N
¯
Z
N
¯
′; then (55) becomes
(56)
F
K
¯
+
K
¯
′
F
′
=
-
K
¯
′
M
K
¯
-
K
¯
′
N
K
¯
.
Since the left-hand side in (56) is linear with respect to K
¯, we must have M
+
N
=
0. In fact, due to the linearity of the following equation
(57)
(
K
¯
+
K
¯
)
′
(
M
+
N
)
(
K
¯
+
K
¯
)
=
4
K
¯
′
(
M
+
N
)
K
¯
=
2
K
¯
′
(
M
+
N
)
K
,
¯
K
¯
′
(
M
+
N
)
K
¯
=
0. Because of the arbitrariness of K
¯, it is necessary that M
+
N
=
0; that is, M
¯
Z
M
¯
′
=
-
N
¯
Z
N
¯
′. To prove F
=
0 or F
¯
′
Z
M
¯
+
G
¯
′
Z
N
¯
=
0, we note that (56) becomes K
¯
′
F
′
=
-
F
K
¯. Denote F
=
(
f
i
j
)
n
(
m
+
1
)
×
n
(
m
+
1
), and take
(58)
K
¯
=
K
¯
i
j
=
(
k
l
s
)
n
(
m
+
1
)
×
n
(
m
+
1
)
=
{
1
,
l
=
i
,
s
=
j
,
0
,
otherwise
.
From K
¯
′
F
′
=
-
F
K
¯, one knows that f
i
j
=
0, i
,
j
=
1,2
,
…
,
n
(
m
+
1
); that is, F
=
0. The proof of Theorem 26 is complete.Theorem 27.
If system (50) is asymptotically mean square stabilizable, then all unremovable spectra of system (50) must belong to D
(
0,1
).Proof.
If there is an unremovable spectrumμ of (50) with |
μ
|
≥
1, then, by Theorem 26, there exists Z
≠
0
∈
S
n
(
m
+
1
), such that the following three equalities hold simultaneously:
(59)
F
¯
′
Z
F
¯
+
G
¯
′
Z
G
¯
=
μ
Z
,
F
¯
′
Z
M
¯
+
G
¯
′
Z
N
¯
=
0
,
N
¯
′
Z
N
¯
=
-
M
¯
′
Z
M
¯
.
So, for any feedback gain K
¯, we obtain L
K
¯
(
Z
)
=
μ
Z
,
μ
∉
D
(
0,1
). The proof of Theorem 27 is complete. It follows that, for any K
¯, μ
∈
σ
(
L
K
¯
), which contradicts the asymptotical mean square stabilization of system (50).
By Theorems26 and 27, the deterministic Popov-Belevith-Hautus Criterion can be stated in another form as follows.Corollary 28.
Assume thatG
j
=
N
j
=
0, j
=
0,1
,
…
,
m; then system (50) is asymptotically stabilizable if and only if all of the unremovable spectra of system (50) belong to D
(
0,1
); that is, there does not exist a nonzero Z
∈
S
n
(
m
+
1
), and λ
∉
D
(
0,1
) satisfying
(60)
F
¯
′
Z
F
¯
=
λ
Z
,
Z
M
¯
=
0
.Proof.
The necessity is obvious. To prove the sufficiency part, we note that if(
F
0
,
M
0
) is not stabilizable, then, by Popov-Belevith-Hautus Criterion, there exists a nonzero ξ
∈
C
n
(
m
+
1
), λ
∉
D
(
0,1
) satisfying ξ
′
F
¯
=
λ
ξ
′, ξ
′
M
¯
=
0. Take Z
=
ξ
ξ
′, then (60) holds, which contradicts the given condition. Corollary 28 is proved.Remark 29.
Corollary28 indicates that there is no difference between unremovable spectrum and uncontrollable mode for deterministic systems.Theorem 30.
If system (50) is mean square stabilizable, then all the existing unremovable spectra of (50) must belong to D
¯
(
0,1
).Proof.
If there is an unremovable spectrumμ of system (50) with μ
∉
D
¯
(
0,1
), then, by Theorem 26, there exists Z
≠
0
∈
S
n
(
m
+
1
), such that the following three equalities hold simultaneously:
(61)
F
¯
′
Z
F
¯
+
G
¯
′
Z
G
¯
=
μ
Z
,
F
¯
′
Z
M
¯
+
G
¯
′
Z
N
¯
=
0
,
N
¯
′
Z
N
¯
=
-
M
¯
′
Z
M
¯
.
So for any feedback gain K
¯, we obtain L
K
¯
*
(
Z
)
=
μ
Z, μ
∉
D
¯
(
0,1
). It follows that, for any K
¯, μ
∈
σ
(
L
K
¯
), which contradicts mean square stabilization of system (50). The proof of Theorem 30 is complete.


## 4. Conclusion

In this paper, we investigate the stability and stabilizability of stochastic delay-time systems. ByH-representation, present the spectral criteria of the stability and stabilizability. By generalized Lyapunov equation approach, the equivalent conditions of mean square stabilizability and asymptotically mean square stabilizability of system (50) are given. We introduce the notion of unremovable spectrum of stochastic time-delay deference system, present the PBH criterion of the unremovable spectrum of stochastic time-delay system, and investigate the relation between the unremovable spectrum and the stabilizability of stochastic time-delay deference system.



---

*Source: 272745-2014-06-03.xml*