Acta Guang 2007
Acta Guang 2007
regular, impulse free, and stable for all admissible uncer- By Lemma 3, it follows from (10) that
tainties ∆A and ∆Ad .
In this paper, we shall address the following problem. 0 > ÃT P̃ + P̃ T Ã + d¯X̃ + Q̃ + Ỹ Ẽ + Ẽ T Ỹ T +
Delay-dependent robust stabilization problem.
P̃ T Ãd − Ỹ Ẽ + (P̃ T Ãd − Ỹ Ẽ)T − Q̃ ≥ (11)
For a given scalar d¯ > 0, design a state feedback controller
T T
u (t) = Kx x(t), K ∈ Rm×n for system (1) such that the (Ã + Ãd ) P̃ + P̃ (Ã + Ãd )
resultant closed-loop system is robustly stable for any con-
stant time delay d satisfying 0 ≤ d ≤ d. ¯ In this case, the According to Lemma 1, we can deduce from (9) and (11)
system is said to be robustly stabilizable. that the pair (Ẽ, Ã + Ãd ) is regular and impulse free.
We conclude this section by presenting several prelimi- Since rank Ẽ = rank E = r ≤ n, there exist nonsingular
nary results, which will be used in the proof of our main matrices M and N such that
results.
Lemma 1[6] . The singular system Eẋ x(t) = Ax x(t) is Ir 0
Ê = M ẼN = (12)
regular, impulse free, and stable, if and only if there exists 0 0
a matrix P such that
Denote
P TE = ETP ≥ 0 (5)
A11 A12
P T A + AT P < 0 (6) Â = M ÃN =
A21 A22
P11 P12
Lemma 2[7] . Given matrices Ω, Γ, and Ξ with appro- P̂ = M −T P̃ N = (13)
P21 P22
priate dimensions and with Ω symmetrical, Ω + ΓF Ξ +
Ξ T F T ΓT < 0 for any F satisfying F T F ≤ I, if and only if Y11 Y12
there exists a scalar ε > 0 such that Ω + εΓΓT + ε−1 Ξ T Ξ < Ŷ = N T Ỹ M −1 =
Y21 Y22
0.
Lemma 3[8] . For symmetric positive-definite matrix Q From (9) and using the expressions of Ê and P̂ in (12) and
and matrices P and R with appropriate dimensions, matrix (13), it is easy to obtain P12 = 0, P11 ≥ 0; therefore,
inequality P T R + RT P ≤ RT QR + P T Q−1 P holds.
P11 0
3 Main results P̂ =
P21 P22
Initially, we present the following theorem for the singu-
From (10), we get
lar delay system (4), which will play a key role in the proof
of our main results.
ÃT P̃ + P̃ T Ã + Ỹ Ẽ + Ẽ T Ỹ T < 0 (14)
Theorem 1. For a prescribed scalar d¯ > 0, the singular
delay system (4) is regular, impulse free, and stable for any
¯ if there exist Now, pre-multiplying and post-multiplying (14) by N T and
constant time delay d satisfying 0 ≤ d ≤ d,
symmetric positive-definite matrices P1 , Q, Z and matrices N , respectively, we can obtain AT T
22 P22 + P22 A22 < 0. This
S, P2 , P3 , X11 , X12 , X22 , Y1 , and Y2 such that implies that A22 is nonsingular, and thus the pair (Ẽ, Ã) is
regular and impulse free.
⎡ ⎤
Ω11 Ω12 P2T Ad − Y1 E Noting the fact that det (sE − A) = det (sẼ − Ã),
Ω =⎣ ∗ −P3 − P3T + dX ¯ 22 + dZ
¯ P3T Ad − Y2 E ⎦ deg(det (sE − A))) = deg(det (sẼ − Ã))) = rank Ẽ =
∗ ∗ −Q rank E, det (sE − (A + Ad )) = det (sẼ − (Ã + Ãd )), and
<0 (7) deg(det (sE − (A + Ad ))) = deg(det (sẼ − (Ã + Ãd ))) =
rank Ẽ = rank E, we can easily see that the pairs (E, A)
⎡ ⎤ and (E, A + Ad ) are regular and impulse free, and thus
X11 X12 Y1 system (4) is regular and impulse free.
⎣ ∗ X22 Y2 ⎦ > 0 (8) Next, we will show that system (4) is stable. To the end,
∗ ∗ Z we propose the following function.
It is clear that S, P2 , P3 , X11 , X12 , X22 , Y1 , and Y2 such that both (8)
⎡ ⎤T ⎡ ⎤⎡ ⎤ and the following linear matrix inequality hold.
t x (t) X11 X12 Y1 x (t) ⎡ ⎤
⎣ Eẋx(t) ⎦ ⎣ ∗ X22 Y2 ⎦ ⎣ Eẋ
x(t) ⎦ dα ≥ 0 Ω11 Ω12 P2T AT
d − Y1 E
T
t−d x(α)
Eẋ ∗ ∗ Z x(α)
Eẋ ⎣ ∗ T
−P3 − P3 + dX ¯ 22 + dZ¯ P3 Ad − Y2 E ⎦ < 0
T T T
∗ ∗ −Q
Thus, (17)
t where R ∈ Rn×l is any matrix satisfying ER = 0 and
x(t)T E T ZEẋ
xt ) ≤ d¯ẋ
V̇2 (x x(t) − x(α)T E T ZEẋ
ẋ x(α)dα+ Ω11 = P2T AT + AP2 + dX ¯ 11 + Q + Y1 E T + EY1T
t−d Ω12 = EP1 + SRT − P2T + AP3 + EY2T + dX ¯ 12
⎡ ⎤T ⎡ ⎤
t x (t) X11 X12 Y1 Remark 4. Sufficient conditions of Theorem 1 and The-
⎣ Eẋ x(t) ⎦ ⎣ ∗ X22 Y2 ⎦ × orem 2 may lead to different results. Hence, we can sepa-
t−d x(α)
Eẋ ∗ ∗ Z rately apply Theorem 1 and Theorem 2 and then choose
⎡ ⎤ the less conservative one.
x (t) Next, based on Theorem 1, we give the following delay-
⎣ Eẋx(t) ⎦ dα ≤ dependent robust stability criterion.
x(α)
Eẋ Theorem 3. For a prescribed scalar d¯ > 0, the un-
T certain singular delay system (1) is robustly stable for any
x (t) X11 X12 x (t) constant time delay d satisfying 0 ≤ d ≤ d, ¯ if there exist
d¯ +
x(t)
Eẋ X21 X22 x(t)
Eẋ scalar ε > 0 and symmetric positive-definite matrices P1 ,
T Q, Z and matrices S, P2 , P3 , X11 , X12 , X22 , Y1 , and Y2
x (t) Y1 E
2 x(t) − x (t − d)]+
[x such that the linear matrix inequalities (8) and (18) hold.
x(t)
Eẋ Y2 E
⎡ ⎤
x(t)T E T ZEẋ
d¯ẋ x(t). Ξ11 Ξ12 P2T Ad − Y1 E + εN1T N2 P2T M
⎢ ∗ Ξ22 P3T Ad − Y2 E P3T M ⎥
⎢ ⎥<0
Hence, ⎣ ∗ ∗ −Q + εN2 N2T
0 ⎦
xt ) ≤ ξ (t)T Ωξξ (t)
V̇ (x ∗ ∗ ∗ −εI
(18)
where ξ (t) = [xx(t)T (Eẋ
x(t))T x (t − d)T ]T . From (7), we get where R ∈ Rn×l is any matrix satisfying E T R = 0 and
xt ) < 0, and thus system (4) is stable.
V̇ (x Ξ11 = P2T A + AT P2 + dX ¯ 11 + Q + Y1 E + E T Y1T + εN1T N1
Remark 2. In the proof of Theorem 1, it is noted that Ξ12 = E P1 + SR − P2T + AT P3 + E T Y2T + dX
T T ¯ 12
neither model transformation nor bounding technique for Ξ22 = −P3 − P3T + dX ¯ 22 + dZ¯
cross terms, which are usually used in the existing results, Proof. Using Schur complement, we obtain from (18)
is required. Hence, the derivation procedure is simpler and that
the condition of Theorem 1 is less conservative than those Ω + ε−1 M M T + εN T N < 0 (19)
of existing ones, which will be demonstrated by examples.
If the matrices, in (8), Y1 = 0, Y2 = 0, X12 = 0 and where Ω is same as that on the left side of (7) and M =
X11 = X22 = Z = εI/d¯ (ε → 0), then Theorem 1 provides [ M T P2 M T P3 0 ]T , N = [N1 0 N2 ].
the result on delay-independent stability analysis, which is By Lemma 2, it follows from (19) that
stated as follows. ⎡ ⎤
Corollary 1. The singular delay system (4) is regular, Ψ11 Ψ12 P2T (Ad + ∆Ad ) − Y1 E
impulse free, and stable, if there exist symmetric positive- ⎣ ∗ Ξ22 P3 (Ad + ∆Ad ) − Y2 E ⎦ < 0
T
(20)
definite matrices P1 , Q, Z and matrices S, P2 , and P3 such ∗ ∗ −Q
that
⎡ T ⎤ where
P2 A + AT P2 + Q Π12 P2T Ad Ψ11 = P2T (A + ∆A) + (A + ∆A)T P2 + dX ¯ 11 + Q+
⎣ ∗ −P3 − P3T P3T Ad ⎦ < 0 (15) T T
Y1 E + E Y1
∗ ∗ −Q Ψ12 = E T P1 + SRT − P2T + (A + ∆A)T P3 + E T Y2T + dX ¯ 12
According to Theorem 1 and Definition 3, we have the de-
where R follows the same definition as that in Theorem 1 sired result immediately.
and Π12 = E T P1 + SRT − P2T + AT P3 . Now, we are in the position to present the result on the
Remark 3. As we have seen above, the result of The- problem of delay-dependent robust stabilization.
orem 1 is powerful in the sense that it provides suffi- Theorem 4. For a prescribed scalar d¯ > 0, the uncer-
cient conditions for both the delay-dependent and delay- tain singular delay system (1) is robustly stabilizable for
independent cases. any constant time delay d satisfying 0 ≤ d ≤ d, ¯ if there
Since the solution of det (sE − A − e−sd Ad ) = 0 is same exist scalars ε > 0 and , symmetric positive-definite ma-
as that of det (sE T − AT − e−sd AT d ) = 0, system (4) is trices P1 , Q, Z and matrices S, P2 , X, X11 , X12 , X22 , Y1
regular, impulse free, and stable, if and only if the system and Y2 such that the linear matrices inequalities (8) and
(21) hold,
E Tζ̇ζ (t) = ATζ (t) + AT
d ζ (t − d) (16) ⎡ ⎤
Π11 Π12 P2T AT
d − Y1 E
T
(N1 P2 + N3 X)T (N2 P2 )T
⎢ ∗ Π22 P2T AT T
(N1 P2 + N3 X)T (N2 P2 )T ⎥
is regular, impulse free, and stable. Hence, using ⎢ d − Y2 E ⎥
⎢ ∗ ∗ −Q + εM M T ⎥ <0
Theorem 1 for system (16) leads to the following theorem: ⎢ 0 0 ⎥
⎣ ∗ ∗ ∗ −εI 0 ⎦
Theorem 2. For a prescribed scalar d¯ > 0, the singular ∗ ∗ ∗ ∗ −εI
delay system (4) is regular, impulse free, and stable for any (21)
constant time delay d satisfying 0 ≤ d ≤ d, ¯ if there exist where R ∈ Rn×l is any matrix satisfying ER = 0 and
symmetric positive-definite matrices P1 , Q, Z and matrices Π11 = P2T AT + X T B T + AP2 + BX + dX
¯ 11 + Q+
No. 7 WU Zheng-Guang and ZHOU Wu-Neng: Delay-dependent Robust Stabilization for · · · 717