Open Access

Stability of neutral-type descriptor systems with multiple time-varying delays

Advances in Difference Equations20122012:15

https://doi.org/10.1186/1687-1847-2012-15

Received: 3 October 2011

Accepted: 16 February 2012

Published: 16 February 2012

Abstract

This article deals with the problem of stability of descriptor neutral systems with multiple delays. Using Lyapunov functional and free-weighting matrix method, a delay-dependent stability criterion is obtained and formulated in the form of linear matrix inequalities, which can easily be checked by utilizing Matlab linear matrix inequality toolbox. Finally, a numerical example is presented to illustrate the effectiveness of the method.

Keywords

neutral-type descriptor systemsasymptotical stabilityfree-weighting matrixlinear matrix inequality

1. Introduction

Since the time delay is frequently viewed as a source of instability and encountered in various engineering systems such as chemical processes, long transmission lines in pneumatic systems, networked control systems, etc., the study of delay systems has received much attention and various topics have been discussed over the past years. Commonly, the existing results can be classified into two types: delay-independent conditions and delay-dependent conditions. In general, the delay-dependent case is more conservative than delay-independent case.

A neutral system with time-delays which contains delays both in its state and in its derivatives of state is encountered in many dynamic systems and their presences must be taken into account in real dynamic process such as circuit systems, population dynamics, automatic control, and heat exchangers, etc. Due to its profound and practical background, much attention has been focused on the problems of stability analysis for neutral time-delay system from mathematics and control communities [17]. Using Lyapunov method, Park [1] presented new sufficient conditions for the stability of the systems in terms of linear matrix inequality (LMI) which can be easily solved by various convex optimization algorithms. Some delay-independent stability criteria were given in terms of the characteristic equation of system, involving the measures, eigenvalues, spectral radius, and spectral norms of the corresponding matrices [3]. Although the conditions are easy to check, they require the matrix measure to be Hurwitz matrix. The problem of delay-dependent stability criteria for a class of constant time-delay neutral systems with time-varying structured uncertainties was investigated [4]. Han [5] obtained delay-dependent stability conditions for uncertain neutral time-varying system by model transformation method, due to cross terms of model transformation, results are less conservative. Zhao [6] dealt with the problem of delay-dependent robust stability for delay neutral type control system with time-varying structured uncertainties and time-varying delay. Some new delay and its derivative-dependent criteria were derived. He [7] concerned the problem of the delay-dependent robust stability of neutral systems with mixed delays and time-varying structured uncertainties. A new method based on linear matrix inequalities was presented that makes it easy to calculate both the upper stability bounds on the delays and the free weighting matrices. Since the criteria take the sizes of the neutral- and discrete-delays into account, it is less conservative than previous methods.

Recently, Li [8] studied the stability of the neutral-type descriptor system with mixed delays, and derived some stability criteria, but the criteria are all delay independent which do not include the information on delay, therefore have a some conservative in. However, the descriptor delay neutral system stability and control have not yet fully investigated, and their stability conditions are not given a strict linear matrix inequalities, it is difficult to achieve through the LMI toolbox in Matlab. Particularly delay-dependent sufficient conditions are few even non-existing in the published works.

In this article, the problem of stability of neutral type descriptor systems with time-varying delays is researched. Using free-weight matrix method in combination with Lyapunov-Krasovskii functional method is used to obtain the LMI-based delay-dependent sufficient conditions for stability. And we consider parameter uncertainties both in its state and in the derivatives of its state. Examples are given to illustrate the effectiveness of the condition.

Notations: The notation in this article is quite standard. R n and Rn × mdenote, respectively the n- dimensional Euclidean space and the set of all n × m real matrices. The superscript XT and X-1 denote, respectively, the transpose and the inverse of any square matrix X. I is the identity matrix of appropriate dimension. || · || will refer to the Euclidean vector norm. The symbol * always denotes the symmetric block in one symmetric matrix.

2. System description

Consider the following uncertain neutral type descriptor time-delay systems:
E ( t ) - i = 1 m ( D i + Δ D i ) ( t - h i ( t ) ) = ( A 0 + Δ A 0 ) x ( t ) + i = 1 m ( A i + Δ A i ) x ( t - d i ( t ) ) x ( t ) = φ ( t ) , t [ - max { h , d } , 0 ]
(1)
where x(t) R n is the state, φ(t) is a continuous vector-valued initial function, 0 < h 1 ( t ) < h 2 ( t ) < < h m ( t ) h , 0 = d 0 ( t ) < d 1 ( t ) < < d m ( t ) d , 0 < t ( t ) < τ i ( t ) < τ i τ 1 , 0 < i ( t ) < μ i μ 1 , A0, A i , D i R n , A i , D i are known constant matrices with appropriate dimensions. Where ΔA i , ΔD i are the constant matrices which denote time-varying parameter uncertainties and are assumed to belong to certain bounded compact sets. The parameter uncertainties are assumed to be of the following form:
Δ A 0 ( t ) Δ A i ( t ) Δ D i ( t ) = H F ( t ) E 0 E i 1 E i 2
(2)

where H, E ik (k = 1, 2) are known real constant matrices with appropriate dimensions, and F(t) is the uncertain matrix satisfying FT (t)F(t) ≤ I, t, I is unit matrix with appropriate dimensions.

Remark 1. When E = I, the system (1) reduces to the traditional uncertain neutral system with time-varying delays.

Remark 2. Li [8] considered the stability of neutral type descriptor systems with constant time-delay, and the system did not include parameter uncertainty in the derivative of its state. So the system (1) is more widely in our article.

Lemma 1 (Schur-complement) For any matrix S = S 11 S 12 S 12 T S 22 , with S 11 = S 11 T , S 12 = S 12 T , then the following conditions are equivalent:
( 1 ) S < 0 , ( 2 ) S 11 < 0 , S 22 - S 12 T S 11 - 1 S 12 < 0 , ( 3 ) S 22 < 0 , S 11 - S 12 S 22 - 1 S 12 T < 0
Lemma 2 [9] If there is symmetric matrix X, P 1 + X Q 1 Q 1 T R 1 > 0 , P 2 + X Q 2 Q 2 T R 2 > 0 if and only if
P 1 + P 2 Q 1 Q 2 Q 1 T R 1 0 Q 2 T 0 R 2 > 0
Lemma 3 [10] Given matrices Q = QT, H, E with appropriate dimensions, we have
Q + H F E + E T F T H T < 0 ,
for all F(t) satisfying FTFI if and only if there exists a constant ε > 0, such that
Q + ε H H T + ε - 1 E T E < 0 .

3. Main results

Theorem 1 The nominal system of the system (1) is asymptotically stable, if there exist nonsingular symmetric matrix P, and positive-definite symmetric matrices Q i , S i , R i and any appropriate dimensional matrices Ni 0, N ij , M ij (i, j = 1, 2,. .., m), such that the following LMI holds:
E T P = P T E 0
(3a)
Ω Γ T S ̄ Γ T R ̄ - N ̄ * - S 0 0 * * - R 0 * * * - R < 0
(3b)
where
Ω = Ω 00 Ω 0 m Ω 0 m + 1 Ω 02 m + 1 Ω m m Ω m m + 1 Ω m 2 m + 1 * Ω m + 1 m + 1 Ω m + 12 m + 1 * * * Ω 2 m + 12 m + 1 , N ̄ i = N i 0 N i m M i 1 M i m S ̄ = S 1 S 2 S m , R ̄ = d 1 R 1 d 2 R 2 d m R m , Γ = A 0 A 1 A m D 1 D m , N ̄ = d 1 N ̄ 1 d 2 N ̄ 2 d m N ̄ m , S = diag { S 1 , S 2 , , S m } , R = diag { d 1 R 1 , d 2 R 2 , , d m R m } , Ω 00 = P T A 0 + A 0 T P + i = 0 m [ N i 0 E + E T N i 0 T ] + i = 1 m Q i , Ω 0 k = P A k - N k 0 E + i = 0 m E T N i k T , Ω 0 m + k = P D k + i = 0 m E T M i k T , Ω k k = - ( 1 - μ i ) Q k - ( N k k E + E T N k k T ) , k = 1 , 2 , , m , Ω l m + k = - E T M l k T , l , k = 1 , 2 , , m , Ω l k = - N k l E - E T N l k T , l = 1 , 2 , , m , l < k m , Ω m + k m + k = - ( 1 - τ i ) E T S k E , k = 1 , 2 , , m ,
Proof: Constructing a Lyapunov-Krasovskii functional as follows:
V ( x , t ) = V 1 + V 2 + V 3 + V 4
(4)
in which
V 1 = x T ( t ) E T P x ( t ) , V 2 = i = 0 m t - d i ( t ) t x T ( s ) Q i x ( s ) d s , V 3 = i = 0 m t - h i ( t ) t T ( s ) E T S i E ( s ) d s , V 4 = i = 0 m - d i ( t ) 0 t + θ t T ( s ) E T R i E ( s ) d s d θ ,
The time derivative of V(x, t) along the trajectory of system (1) is given by
V · = V · 1 + V · 2 + V · 3 + V · 4 V · 1 = 2 x T ( t ) PE ( t ) = 2 x T ( t ) P A 0 x ( t ) + i = 0 m A i x ( t - d i ( t ) ) + i = 0 m D i ( t - h i ( t ) ) V · 2 = i = 1 m x T ( t ) Q i x ( t ) - i = 1 m ( 1 - μ i ) x T ( t - d i ( t ) ) Q i x ( t - d i ( t ) ) , V · 3 = i = 1 m T ( t ) E T S i E ( t ) - i = 1 m ( 1 - τ i ) T ( t - h i ( t ) ) E T S i E ( t - h i ( t ) ) V · 4 = i = 1 m d i T ( t ) E T R i E ( t ) - i = 1 m t - d i ( t ) t T ( s ) E T R i E ( s ) d s
(5)
According to Newton-Leibniz formula, apparently for any appropriate dimensional matrices Ni 0, N ij , M ij (i, j = 1, 2,..., m), then
2 i = 0 m x T ( t ) N i 0 + j = 1 m x T ( t - d i ( t ) ) N i j + j = 1 m T ( t - h j ( t ) ) M i j E x ( t ) - E x ( t - d i ( t ) ) - t - d i ( t ) t E ( s ) d s = 0 ,
(6)
As for any appropriate dimensional matrix X i ≥ 0, (i = 1, 2,..., m), then
i = 0 m ξ 1 T ( t ) X i ξ 1 ( t ) - t - d i ( t ) t ξ 1 T ( t ) X i ξ 1 ( t ) d s = 0 ,
(7)
where
X i = X i 00 X i 0 m X i 0 m + 1 X i 02 m + 1 X i m m X m m + 1 X i m 2 m + 1 * X i m + 1 m + 1 X i m + 12 m + 1 * * * X i 2 m + 12 m + 1 , ξ 1 T ( t ) = x T ( t ) x T ( t - d 1 ( t ) ) x T ( t - d m ( t ) ) T ( t - h m ( t ) ) T ( t - h m ( t ) )
from (6),(7) and (5), lead to
V · = ξ 1 T ( t ) Ω + i = 0 m d i X i + i = 0 m Γ T ( S i + d i R i ) Γ ξ 1 ( t ) - t - d i ( t ) t ξ 2 T ( t , s ) Ψ i ξ 2 ( t , s ) d s
(8)
in which
ξ 2 T ( t , s ) = ξ 1 T ( t ) ( E ( s ) ) T , Ψ i = d i X i d i N i * d i R i
If
Ω + i = 0 m d i X i + i = 0 m Γ T ( S i + d i R i ) Γ < 0 , Ψ i 0
(9)
According to Lyapunov-Krasovskii stability theorem, the system (1) is asymptotically stable. According to Schur-complement,
Ω + i = 0 m d i X i + i = 0 m Γ T ( S i + h i R i ) Γ < 0
Ω + i = 0 m d i X i Γ T S ̄ Γ T R ̄ * - S 0 * * - R < 0 , - Ω - i = 0 m d i X i - Γ T S ̄ - Γ T R ̄ * S 0 * * R > 0
(10)
Ψ i 0 d i X i d i N i * d i R i > 0
(11)
According to Lemma 2, from (10) and (11), if and only if
- Ω - i = 0 m d i X i - Γ T S ̄ Γ T R ̄ - N ̄ * S 0 0 * * R 0 * * * R > 0 Ω Γ T S ̄ Γ T R ̄ - N ̄ * - S 0 0 * * - R 0 * * * - R < 0

Then, we can get the theorem easily.

According to Theorem 1 and Lemma 3, it can be generalized to its structure uncertain neutral generalized time-delay systems, we have the following theorem:

Theorem 2 The system (1) is robustly asymptotically stable, if there exists constant ε1 > 0, nonsingular symmetric matrix P, positive-definite symmetric matrices Q i , S i , R i and any appropriate dimensional matrices Ni 0, N ij , M ij (i, j = 1, 2,. .., m), such that the following LMI holds:
E T P = P T E 0
(12a)
Ω Γ T S ̄ Γ T R ̄ ε Θ 1 Θ 2 T - N ̄ * - S 0 0 0 0 * * - R 0 0 0 * * * - ε I 0 0 * * * * - ε I 0 * * * * * - R < 0
(12b)
in which
Θ 1 T = H T P H T S ̄ H T R ̄ , Θ 2 = E 0 E 11 E m 1 E 12 E m 2
Proof: Replacing A i , D i in (3b) with A i + ΔA i , D i + ΔD i respectively, we find that (2) for (1) is equivalent to the following condition:
Ω Γ T S ̄ Γ T R ̄ - N ̄ * - S 0 0 * * - R 0 * * * - R + Θ 1 F ( t ) Θ 2 + Θ 2 T F T ( t ) Θ 1 T < 0
(13)
By Lemma 3, a sufficient condition guaranteeing (13) for (1) is that there exists a positive number ε > 0 such that
Ω Γ T S ̄ Γ T R ̄ - N ̄ * - S 0 0 * * - R 0 * * * - R + ε Θ 1 Θ 1 T + ε - 1 Θ 2 T Θ 2 < 0
(14)

Applying the Schur complement shows that (14) is equivalent to (12b).The proof is completed.

Remark 3. In the proof of the theorem, it is worth noting that the method taking the relationship between Ex(t) and E x ( t - d i ( t ) ) - t - d i ( t ) t E ( s ) d s into account is suitable or deriving LMI conditions of the stability.

4. Numerical examples

Consider the system (1) described by
E = 1 0 0 0 , A 0 = 1 0 . 3 1 - 2 , A 1 = 2 1 - 0 . 3 0 . 5 , A 2 = 0 . 5 0 0 - 0 . 2 , D 1 = 0 . 1 0 . 3 0 0 . 2 , D 2 = 0 . 2 0 0 . 3 0 . 1 , H = 0 . 1 0 . 5 0 . 2 - 0 . 1 , E 0 = - 0 . 2 0 . 1 0 . 1 0 . 3 , E 1 = 0 . 1 0 0 0 . 3 , E 2 = 0 . 1 0 . 3 - 0 . 15 0 . 2 , E 3 = 0 . 2 0 . 3 - 0 . 1 0 . 2 , E 4 = 0 . 2 0 - 0 . 15 0 . 1 , d 1 = 1 . 2 , d 2 = 1 . 5 , τ 1 = 0 . 3 , τ 2 = 0 . 4 , μ 1 = 0 . 6 , μ 2 = 0 . 8 , ε = 0 . 01
According to the theorem, form (12a), (12b) by LMI toolbox in Matlab, lead to
p = - 0 . 3494 3 . 7287 3 . 7287 - 4 . 6081 , Q 1 = 1 0 8 3 . 0945 - 0 . 0510 - 0 . 0510 - 3 . 1127 , Q 2 = 1 0 8 4 . 7370 0 . 0538 0 . 0538 4 . 7511 , S 1 = 1 0 - 3 0 . 2771 - 0 . 3533 - 0 . 3533 0 . 6516 , S 2 = 0 . 0010 - 0 . 0016 - 0 . 0016 - 0 . 0031 , R 1 = 1 0 - 3 0 . 0558 - 0 . 1204 - 0 . 1204 0 . 3384 , R 2 = 1 0 - 3 0 . 0446 - 0 . 0963 - 0 . 0963 0 . 2707 , N 10 = 1 0 - 3 - 0 . 0575 0 . 2862 - 0 . 0725 - 0 . 0215 , N 11 = 0 . 0018 0 . 0010 0 . 0006 0 . 0006 , N 12 = - 0 . 0001 0 . 0001 - 0 . 0013 - 0 . 0007 , M 11 = 1 0 - 8 - 0 . 1552 - 0 . 1066 0 . 2627 0 . 1663 , M 12 = 1 0 - 8 0 . 2665 0 . 2039 - 0 . 2238 - 0 . 1461 , N 20 = 1 0 - 3 - 0 . 3006 - 0 . 0287 0 . 0327 - 0 . 0163 , N 21 = - 0 . 0011 - 0 . 0004 - 0 . 0005 - 0 . 0002 , N 22 = 1 0 - 3 0 . 2400 - 0 . 0615 0 . 5240 0 . 2985 , M 21 = 1 0 - 9 0 . 7342 0 . 4191 - 0 . 9933 - 0 . 6986 , M 22 = 1 0 - 8 - 0 . 2313 - 0 . 1270 0 . 0793 0 . 0460

5. Conclusion

The stability of neutral type descriptor systems with time-varying delays has been solved in terms of LMI approach. Using Lyapunov-Krasovskii functional method, and free-weight matrix method, a criterion for stability of systems is given. In the criterion, the relationship between Ex(t) and E x ( t - d i ( t ) ) - t - d i ( t ) t E ( s ) d s is taken into account. The criterion is presented in terms o linear matrix inequalities, which can be easily solved by Matlab Toolbox. Finally, a numerical example is presented to illustrate the effectiveness of the method.

Declarations

Acknowledgements

This article was supported by the National Science Council, Republic of China, under Grant No. 60974004. The Project was supported by the National Science Foundation of China (No. 60974004).

Authors’ Affiliations

(1)
College of Science, Yanshan University

References

  1. Park J, Won S: Stability analysis for neutral delay-differential systems. J Frankl Inst 2000, 337(1):1–9. 10.1016/S0016-0032(99)00040-XMATHMathSciNetView ArticleGoogle Scholar
  2. Chen J, Lien CH, Fan KK, Chou JH: Criteria for asymptotic stability of a class of neutral systems via a LMI approach. IEEE Proc Control Theory Appl 2001, 148: 442–447. 10.1049/ip-cta:20010772View ArticleGoogle Scholar
  3. Li H, Zhong S, Li H: Some new simple stability criteria of linear neutral systems with a single delay. J Comput Appl Math 2007, 200(1):441–447. 10.1016/j.cam.2006.01.016MATHMathSciNetView ArticleGoogle Scholar
  4. Chen D, Jin C: Delay-dependent stability criteria for a class of uncertain neutral systems. Acta Automatica Sinica 2008, 34(8):989–992.MathSciNetView ArticleGoogle Scholar
  5. Han QL: On robust stability of neutral systems with time-varying discrete delay and norm-bounded uncertainty. Automatica 2004, 40(6):1087–1092. 10.1016/j.automatica.2004.01.007MATHMathSciNetView ArticleGoogle Scholar
  6. Zhao Z, Wang W, Yang B: Delay and its time-derivative dependent robust stability of neutral control system. Appl Math Comput 2007, 187(2):1326–1332. 10.1016/j.amc.2006.09.042MATHMathSciNetView ArticleGoogle Scholar
  7. He Y, Wu M, She JH, Liu GP: Delay-dependent robust stability criteria for uncertain neutral systems with mixed delays. Syst Control Lett 2004, 51(1):57–65. 10.1016/S0167-6911(03)00207-XMATHMathSciNetView ArticleGoogle Scholar
  8. Li H, Li H, Zhong S: Stability of neutral type descriptor system with mixted delays. Chaos Solitons Fractals 2007, 33: 1796–1800. 10.1016/j.chaos.2006.03.055MATHMathSciNetView ArticleGoogle Scholar
  9. Gu K: A further refinement of discretized Lyapunov functional method for the stability of time-delay systems. Int J Control 2001, 7: 967–976.View ArticleGoogle Scholar
  10. Xu SY, Dooren PV, Stefan R, Lam J: Robust stability and stabilization for singular systems with state delay and parameter uncertainty. IEEE Trans Automat Control 2002, 7: 1122–1128.Google Scholar

Copyright

© Zhao and Ma; licensee Springer. 2012

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.