Advertisement

An enhanced stability criterion for linear time-delayed systems via new Lyapunov–Krasovskii functionals

  • 80 Accesses

Abstract

The stability problem of linear systems with time-varying delays is studied by improving a Lyapunov–Krasovskii functional (LKF). Based on the newly developed LKF, a less conservative stability criterion than some previous ones is derived. Firstly, to avoid introducing the terms with \(h^{2}(t)\), which are not convenient to directly use the convexity of linear matrix inequality (LMI), the type of integral terms \(\{\int _{s}^{t}\dot{x}(u)\,du, \int _{t-h}^{s}\dot{x}(u)\,du\}\) is used in the LKF instead of \(\{\int _{s}^{t}x(u)\,du, \int _{t-h}^{s}x(u)\,du\}\). Secondly, two couples of integral terms \(\{\int _{s}^{t}\dot{x}(u)\,du, \int _{t-h(t)}^{s}\dot{x}(u)\,du\}\), and \(\{\int _{s}^{t-h(t)}\dot{x}(u)\,du, \int _{t-h}^{s}\dot{x}(u)\,du\}\) are supplemented in the integral functionals \(\int _{t-h(t)}^{t}\dot{x}(u)\,du\) and \(\int _{t-h}^{t-h(t)}\dot{x}(u)\,du\), respectively, so that the time delay, its derivative, and information between them can be fully utilized. Thirdly, the LKF is further augmented by two delay-dependent non-integral items. Finally, three numerical examples are presented under two different delay sets, to show the effectiveness of the proposed approach.

Introduction

Time delays are of frequent occurrence in many practical systems, which often results in the major source of poor performance and instability. The stability problems of time-delayed systems have been a hot research topic. In this paper, the stability problems of time-delayed linear systems will be further analyzed via the LKF method application. The time-delayed linear system is described as follows:

$$ \textstyle\begin{cases} \dot{x}(t) = Ax(t) + A_{d}x(t-h(t)), \\ x(s)=\psi (s), \quad s\in [-h,0], \end{cases} $$
(1)

where \(x(t)\in \mathbb{R}^{n}\) is the state vector of the system. A and \(A_{d}\) are real constant matrices with appropriate dimensions. \(h(t)\) is the time-varying delay, which is a continuous and differentiable functional satisfying the following constraint condition:

$$ 0\leq h(t)\leq h,\qquad \bigl\vert \dot{h}(t) \bigr\vert \leq \mu < 1,\quad \forall t \geq 0, $$
(2)

where h and μ are positive constants.

To analyze the stability problem of system (1) based on the Lyapunov theorem [1,2,3,4,5], the main efforts are concentrated on the following several directions: one is finding an appropriate LKF, for example, LKF with delay partitioning approach [6,7,8,9], LKF with augmented terms [10,11,12], LKF with triple-integral and quadruple-integral terms [13, 14], and so on. The other is reducing the upper bounds of the time derivative of LKF as much as possible by developing various inequality techniques, such as Jensen inequality [15], Wirtinger-based inequality [16], auxiliary function based inequality [17], Bessel–Legendre inequality [18], and so on. Besides, further increasing the freedom of solving LMI, additional free-weighting-matrix technique is frequently introduced into the derivatives of LKF, for instance, the generalized zero equality [19], the one or second-order reciprocally convex combination [20,21,22], the free-weighting-matrix approach [23], and so on. Inspired by the research of [16,17,18, 24, 25], the tighter inequality technique seems to lead to less conservative stability criteria. Recently, Zhang [26] considered the effect of the LKFs while discussing the relationship between the inequality technique and the conservatism of results. The results illustrate that the integral inequality that makes the upper bound closer to the true value does not always reduce the conservatism of the corresponding stability results unless an appropriate LKF is constructed. Thus, it is very important to construct a proper LKF. Recently, a novel LKF with the single integral items deliberately augmented by adding state derivative-related integral terms was proposed by Lee et al. [27] as follows:

$$\begin{aligned} V(t)={} &\eta _{1}(t)^{T}P\eta _{1}(t)+ \int _{t-h(t)}^{t}\eta _{2}(t,s)^{T}Q \eta _{2}(t,s)\,ds \\ &{}+ \int ^{t-h(t)}_{t-h}\eta _{2}(t,s)^{T}S \eta _{2}(t,s)\,ds+ \int _{-h}^{0} \int _{t+\theta }^{t}\dot{x}^{T}(s)R \dot{x}(s)\,ds\,d\theta , \end{aligned}$$
(3)

where \(P>0\), \(Q>0\), \(S>0\), and \(R>0\) are the corresponding Lyapunov matrices which need to be determined and

η1T(t)=[xT(t)xT(th(t))xT(th)th(t)tx(s)dsthth(t)x(s)ds1h(t)h(t)0t+θtx(s)dsdθ1hh(t)hh(t)t+θth(t)x(s)dsdθ],η2T(t,s)=[xT(s)x˙T(s)stx˙T(u)duthsx˙T(u)du].

Compared with the LKFs proposed in [28], \(\eta _{1}(t)\) included the state-related vectors, that is, single- and double-integral terms, to coordinate with the application of the second-order affine Bessel–Legendre inequality; and to avoid introducing the terms with \(h^{2}(t)\), the integral items \(\int _{s}^{t}\dot{x}(u)\,du\) and \(\int _{t-h}^{s}\dot{x}(u)\,du\) were added into the integrand vector \(\eta _{2}(t,s)\) instead of \(\int _{s}^{t}x(u)\,du\) and \(\int _{t-h}^{s}x(u)\,du\), which can be solved conveniently by Matlab LMI-Tool box. A less conservative stability condition than some previous ones was obtained in [27] via LKF (3). However, if the integral terms \(\int _{s}^{t}\dot{x}(u)\,du\) and \(\int _{t-h}^{s} \dot{x}(u)\,du\) are divided into \(\{\int _{s}^{t}\dot{x}(u)\,du, \int _{t-h(t)}^{s}\dot{x}(u)\,du\}\), and \(\{\int _{s}^{t-h(t)}\dot{x}(u)\,du, \int _{t-h}^{s}\dot{x}(u)\,du\}\), respectively, rather than considering about them directly, the relationships of part \(\eta _{2}(t,s)\)-related states can be tightly characterized by correlative Lyapunov matrices. So, there is still room for improvement in the conservatism of stability conditions by constructing a new LKF based on the above analysis.

This paper contributes to the stability problem of time-delayed linear systems via a new LKF application. Firstly, the type of integral terms \(\{\int _{s}^{t}\dot{x}(u)\,du, \int _{t-h}^{s}\dot{x}(u)\,du\}\) is chosen in the LKF instead of \(\{\int _{s}^{t}x(u)\,du, \int _{t-h}^{s}x(u)\,du\}\). Secondly, two couples of integral terms \(\{\int _{s}^{t}\dot{x}(u)\,du, \int _{t-h(t)}^{s}\dot{x}(u)\,du\}\), and \(\{\int _{s}^{t-h(t)}\dot{x}(u)\,du, \int _{t-h}^{s}\dot{x}(u)\,du\}\) are involved in \(\eta _{2}(t,s)\), respectively, such that the time delay, its derivative and some single integral-related states information between them can be tightly characterized by correlative Lyapunov matrices. Finally, a less conservative stability criterion than some existing ones is given based on the new LKF.

For intuitive and simple understanding, the main contributions are summed up as follows:

  • Two integral terms \(\{\int _{s}^{t}\dot{x}(u)\,du, \int _{t-h(t)}^{s} \dot{x}(u)\,du\}\), and \(\{\int _{s}^{t-h(t)}\dot{x}(u)\,du, \int _{t-h} ^{s}\dot{x}(u)\,du\}\) are supplemented in the integrand vectors \(\eta _{2}(t,s)\), respectively, which can be seen as a complement to the terms \(\{\int _{t-h(t)}^{t}\dot{x}(u)\,du\mbox{ and }\int _{t-h}^{t-h(t)} \dot{x}(u)\,du\}\). The time delay, its derivative, and some single integral-related states information between them can be fully utilized through the Lyapunov matrices \(Q_{1}\) and \(Q_{2}\).

  • The type of integral terms \(\{\int _{s}^{t}\dot{x}(u)\,du, \int _{t-h} ^{s}\dot{x}(u)\,du\}\) is chosen in the integrand vectors \(\eta _{2}(t,s)\) of the LKF instead of \(\{\int _{s}^{t}x(u)\,du, \int _{t-h}^{s}x(u)\,du\}\), which can be solved conveniently by using the convexity of LMI without introducing any additional inequalities.

  • The affine Bessel–Legendre inequality proposed in [27] is used to bound the derivative of the LKF instead of Bessel–Legendre inequality proposed in [18], because the former is the affine version of the length of the integral interval not the reciprocal of the integral interval, that is, \(b-a\) is linear in affine Bessel–Legendre inequality, which can be easily solved by the convex property.

Notation

\(P>0\) (<0) means that matrix P is a positive (negative) definite matrix. \(I_{n}\) and \(0_{n}\) represent an n-dimensional unit matrix and an n-dimensional zero matrix. \(\operatorname{diag} \{ \cdots \} \) stands for a block-diagonal matrix, and \(e_{i}\) (\(i=1,\ldots ,m\)) are block entry matrices with \(e_{3}^{T}=[0\ 0\ I \ \underbrace{0\cdots 0}_{m-3}]\), where m is the length of the vector \(\xi (t)\) in theorems and corollaries. ∗ denotes the symmetric terms in a block matrix. \(F{[h(t),d(t)]}\), \(G[x(t)]\) denote F, G are the functions of \(h(t)\), \(d(t)\), and \(x(t)\), respectively. \(\operatorname{Sym}\{B\}=B+B^{T}\).

Problem formulation

This paper mainly derives a new stability criterion for the time-delayed linear system (1) satisfying condition (2) via a modified LKF application. To achieve this purpose, the following lemma is very important.

Lemma 1

(Affine Bessel–Legendre inequality [27])

For given matrices \(R>0\), Xand a continuous and differentiable function \(\{x( s )\mid s\in [ a , b ]\}\), the following integral inequality holds for all integer \(N\in \mathbb{N}\):

$$ \int _{a}^{b}\dot{x}^{T}(s)R \dot{x}(s)\,ds\geq \xi _{N}^{T} \bigl[XH_{N}+H _{N}^{T}X^{T}-(b-a)X\tilde{R}^{-1}X^{T} \bigr]\xi _{N}, $$
(4)

where

ξN={[xT(b)xT(a)]T,if N=0,[xT(b)xT(a)1baΩ0T1baΩN1T]T,if N>0,ΓN(k)={[InIn],if N=0,[In(1)k+1InγNk0InγNkN1In],if N>0,Ωk=abLk(s)x(s)ds,γNki={(2i+1)(1(1)k+i),if ik,0,if ik+1,Lk(s)=(1)kl=0k[(1)l(kl)(k+ll)](saba)l,HN=[ΓNT(0)ΓNT(1)ΓNT(N)]T,R˜=diag{R,3R,,(2N+1)R}.

Main results

A modified LKF

For simplicity of presentation, we define the following notations:

hd=1h˙(t),h12=hh(t),v1(t)=th(t)tx(s)h(t)ds,v2(t)=thth(t)x(s)h12ds,u1(t)=h(t)0t+θtx(s)h2(t)dsdθ,u2(t)=hh(t)t+θth(t)x(s)h122dsdθ,ζT(t)=[xT(t)xT(th(t))xT(th)h(t)v1T(t)h12v2T(t)h(t)u1T(t)h12u2T(t)],ζaT(t)=[xT(t)xT(th(t))xT(th)v1T(t)u1T(t)],ζbT(t)=[xT(t)xT(th(t))xT(th)v2T(t)u2T(t)],η1T(t,s)=[xT(s)x˙T(s)stx˙T(u)duth(t)sx˙T(u)du],η2T(t,s)=[xT(s)x˙T(s)sth(t)x˙T(u)duthsx˙T(u)du],ξT(t)=[xT(t)xT(th(t))xT(th)x˙T(t)x˙T(th(t))x˙T(th)v1T(t)v2T(t)u1T(t)u2T(t)].

Now, we construct the following new LKF:

$$\begin{aligned} V(t)={} &\zeta (t)^{T}P\zeta (t)+h(t)\zeta (t)_{a}^{T}P_{a} \zeta _{a}(t)+h _{12}\zeta _{b}(t)^{T}P_{b} \zeta _{b}(t)+ \int _{t-h(t)}^{t}\eta _{1}(t,s)^{T}Q _{1}\eta _{1}(t,s)\,ds \\ &{}+ \int ^{t-h(t)}_{t-h}\eta _{2}(t,s)^{T}Q_{2} \eta _{2}(t,s)\,ds+ \int _{-h} ^{0} \int _{t+\theta }^{t}\dot{x}^{T}(s)R \dot{x}(s)\,ds\,d\theta , \end{aligned}$$
(5)

where \(P>0\), \(P_{a}>0\), \(P_{b}>0\), \(Q_{1}>0\), \(Q_{2}>0\), and \(R>0\) are the corresponding Lyapunov matrices which need to be determined.

Remark 1

Compared with LKFs (3) in this paper and (7) in [29], two delay-dependent terms \(h(t)\zeta (t)_{a}^{T}P _{a}\zeta _{a}(t)\), \(h_{12}\zeta _{b}(t)^{T}P_{b}\zeta _{b}(t)\) are added into the non-integral items and two different vectors \(\eta _{1}(t,s)\) and \(\eta _{2}(t,s)\) in the new LKF (5) are further augmented by supplementing \(\int _{t-h(t)}^{s}\dot{x}(u)\,du\) and \(\int _{s}^{t-h(t)} \dot{x}(u)\,du\) corresponding to different integral intervals, respectively, so that two different integral intervals \([t-h(t),t]\) and \([t-h,t-h(t)]\) correspond to two different integral vectors \(\eta _{1}(t,s)\) and \(\eta _{2}(t,s)\), not just the same integral vector \([x^{T}(s)\ \dot{x}^{T}(s)\ \int _{s}^{t}\dot{x}^{T}(u)\,du\ \int _{t-h}^{s}\dot{x}^{T}(u)\,du]\). Moreover, for the domain of integration, the whole integral domain of \(\int _{t-h(t)}^{t}\dot{x}(s)\,ds\) and \(\int ^{t-h(t)}_{t-h}\dot{x}(s)\,ds\) is just the sum of the two integral domains of the integral items \(\int _{t-h(t)}^{s}\dot{x}(u)\,du\) and \(\int _{s}^{t}\dot{x}(u)\,du\) and the sum of the two integral domains of the integral items \(\int _{t-h}^{s} \dot{x}(u)\,du\) and \(\int _{s}^{t-h(t)}\dot{x}(u)\,du\), respectively. Thus, the two supplementary integral items can be seen as the complements to the terms \(\int _{s}^{t}\dot{x}(u)\,du\) and \(\int _{t-h}^{s}\dot{x}(u)\,du\), where the time delay, its derivative, and some single integral-related states coupling information between them can be tightly characterized through the positive-definite matrices \(Q_{1}\) and \(Q_{2}\). Three numerical examples in Sect. 4 will show that it is very helpful for the two complementary terms to reduce the conservatism of the stability criterion.

Remark 2

Recently, LKFs with \(\int _{a}^{b}x(u)\,du\) in \(\eta _{1}(t,s)\) and \(\eta _{2}(t,s)\) instead of \(\int _{a}^{b}\dot{x}(u)\,du\) were constructed in [11, 28], which was aimed at coordinating with the second-order B-L integral inequality with the integral items \(u_{1}(t)\) and \(u_{2}(t)\). However, they had to introduce the terms with \(h^{2}(t)\) when bounding the derivative of the LKFs, which led to adding some additional inequality constraints into the main results. Indeed, the coupling relationship between the two integral items \(u_{1}(t)\) and \(u_{2}(t)\) already included in the derivative of \(\zeta (t)^{T}P \zeta (t)\). Thus, to avoid introducing the terms with \(h^{2}(t)\), the type of \(\int _{a}^{b}\dot{x}(u)\,du\) integral items is chosen in \(\eta _{1}(t,s)\) and \(\eta _{2}(t,s)\), respectively, which can be solved conveniently by using the convexity of LMI without introducing any additional inequality constraints.

Remark 3

The time delay concerned in this paper is time varying, differentiable and its change rate should be smaller than 1. Indeed, the delay may be undifferentiable for some practical systems [30, 31]. Thus, our methods can be extended to the case of undifferentiable delay by reconstructing some augmented terms in our LKF. For example, \(\zeta ^{T}(t)=[x^{T}(t)\ x^{T}(t-h)\ \int _{t-h}^{t}x^{T}(s)\,ds\ \int _{-h}^{0} \int _{t+\theta }^{t}x^{T}(s)\,ds\,d\theta ]\), \(\int _{t-h}^{t}\eta _{1}^{T}(t,s)Q\eta _{1}(t,s)\), and so on.

Stability conditions

Theorem 1

For given values of \(h\geq 0\), \(\mu <1\), if there exist real positive definite matrices \(P\in \mathbb{R}^{7n\times 7n}\), (\(P_{a}\), \(P_{b}\in \mathbb{R}^{5n\times 5n}\)), (\(Q_{i}\in \mathbb{R} ^{4n\times 4n}\)), (\(R\in \mathbb{R}^{n\times n}\)) and any matrices (\(\bar{U}\in \mathbb{R}^{3n\times n}\)), \(X_{i}\in \mathbb{R}^{4n\times 3n}\) (\(i=1,2\)) such that the following LMIs hold for \(d\in \{-\mu , \mu \}\), then system (1) is stable under constraint conditions (2):

$$\begin{aligned}& \begin{bmatrix} \varPi {[0, d]} &hE_{2}X_{2} \\ * &-h\tilde{R} \end{bmatrix}< 0, \end{aligned}$$
(6)
$$\begin{aligned}& \begin{bmatrix} \varPi {[h, d]} &hE_{1}X_{1} \\ * &-h\tilde{R} \end{bmatrix}< 0, \end{aligned}$$
(7)

where

Π[h(t),h˙(t)]=Sym{Π1[h(t),h˙(t)]}+Π2[h˙(t)]+Π3,Π1[h(t),h˙(t)]=Δ1PaΩ1T+Δ2PbΩ2T+G0[h(t)]PG1T[h˙(t)]+Π1U¯Π2T+G2[h(t)]Q1G3T[h˙(t)]+G4[h(t)]Q2G5T[h˙(t)],Δ1=[e1e2e3e7e9],Δ2=[e1e2e3e8e10],Ω1=[h(t)e4h(t)hde5h(t)e6e1hde2h˙(t)e7e1hde72h˙(t)e9],Ω2=[h12e4h12hde5h12e6hde2e3+h˙(t)e8hde2e8+2h˙(t)e10],G0[h(t)]=[e1e2e3h(t)e7h12e8h(t)e9h12e10],G1[h˙(t)]=[e4hde5e6e1hde2hde2e3e1hde7h˙(t)e9hde2e8+h˙(t)e10],G2[h(t)]=[h(t)e7e1e2h(t)(e1e7)h(t)(e7e2)],G3[h˙(t)]=[00e4hde5],G4[h(t)]=[h12e8e2e3h12(e2e8)h12(e8e3)],G5[h˙(t)]=[00hde5e6],Π2[h˙(t)]=h˙(t)Δ1PaΔ1Th˙(t)Δ2PbΔ2T+[e1e40e1e2]Q1[e1e40e1e2]Thd[e2e5e1e20]Q1[e2e5e1e20]T+hd[e2e50e2e3]Q2[e2e50e2e3]T[e3e6e2e30]Q2[e3e6e2e30]T,Π3=he4Re4TE1[X1H+HTX1T]E1TE2[X2H+HTX2T]E2T,E1=[e1e2e7e9],E2=[e2e3e8e10],R˜=diag{R,3R,5R},Π1=[e1e2e4],Π2=e1AT+e2AdTe4,H=[InIn0n0nInIn2In0nInIn6In12In].

Proof

Construct LKF (5). The time derivative of \(V(t)\) with respect to time is as follows:

$$\begin{aligned} \dot{V}(t)={} &2\zeta ^{T}(t)P\dot{\zeta }(t)+2h(t)\zeta _{a}^{T}(t)P_{a} \dot{\zeta }_{a}(t)+2h_{12}\zeta _{b}^{T}(t)P_{b} \dot{\zeta }_{b}(t) \\ &{}+\dot{h}(t)\zeta _{a}^{T}(t)P_{a}\zeta _{a}(t)-\dot{h}(t)\zeta _{b} ^{T}(t)P_{b} \zeta _{b}(t) \\ &{}+\eta _{1}^{T}(t,t)Q_{1}\eta _{1}(t,t)-h_{d}\eta _{1}^{T} \bigl(t,t-h(t)\bigr)Q _{1}\eta _{1}\bigl(t,t-h(t)\bigr) \\ &{}+h_{d}\eta _{2}^{T}\bigl(t,t-h(t) \bigr)Q_{2}\eta _{1}\bigl(t,t-h(t)\bigr)-\eta _{2}^{T}(t,t-h)Q _{2}\eta _{2}(t,t-h) \\ &{}+2 \int _{t-h(t)}^{t}\eta _{1}^{T}(t,s)Q_{1} \frac{\partial (\eta _{1}(t,s))}{ \partial t}\,ds+2 \int _{t-h}^{t-h(t)}\eta _{2}^{T}(t,s)Q_{2} \frac{\partial (\eta _{2}(t,s))}{\partial t}\,ds \\ &{}+h\dot{x}^{T}(t)R\dot{x}(t)- \int _{t-h}^{t}\dot{x}^{T}(s)R \dot{x}(s)\,ds. \end{aligned}$$

We can get the following facts:

ζT(t)=ξT(t)[e1e2e3h(t)e7h12e8h(t)e9h12e10],
(8)
ζ˙(t)=[e4hde5e6e1hde2hde2e3e1hde7h˙(t)e9hde2e8+h˙(t)e10]Tξ(t),
(9)
ζaT(t)=ξT(t)[e1e2e3e7e9],ζbT(t)=ξT(t)[e1e2e3e8e10],
(10)
h(t)ζ˙a(t)=[h(t)e4h(t)hde5h(t)e6e1hde2h˙(t)e7e1hde72h˙(t)e9]Tξ(t),
(11)
h12ζ˙a(t)=[h12e4h12hde5h12e6hde2e3+h˙(t)e8hde2e8+2h˙(t)e10]Tξ(t),
(12)
η1T(t,t)=ξT(t)[e1e40e1e2],η1T(t,th(t))=ξT(t)[e2e5e1e20],
(13)
η2T(t,th(t))=ξT(t)[e2e50e2e3],η2T(t,th)=ξT(t)[e3e6e2e30],
(14)
th(t)tη1T(t,s)ds=ξT(t)[h(t)e7e1e2h(t)(e1e7)h(t)(e7e2)],
(15)
thth(t)η2T(t,s)ds=ξT(t)[h12e8e2e3h12(e2e8)h12(e8e3)],
(16)
(η1(t,s))t=[00e4hde5]Tξ(t),
(17)
(η2(t,s))t=[00hde5e6]Tξ(t).
(18)

For any appropriately dimensioned matrices \(\bar{U}^{T}=[U_{1}^{T}\ U_{2}^{T}\ U_{3}^{T}]\), it is true that

0=2ξT(t)[e1e2e4]U¯[A¯x(t)+A¯dx(th(t))x˙(t)].
(19)

It follows from Lemma 1 with \(N=2\) that

$$\begin{aligned} - \int _{t-h}^{t}\dot{x}^{T}(s)R \dot{x}(s)\,ds = &- \int _{t-h(t)}^{t}\dot{x} ^{T}(s)R \dot{x}(s)\,ds- \int ^{t-h(t)}_{t-h}\dot{x}^{T}(s)R \dot{x}(s)\,ds \\ \leq&-\xi ^{T}(t)E_{1} \bigl[X_{1}H+H^{T}X_{1}^{T}-h(t)X_{1} \tilde{R}^{-1}X_{1}^{T} \bigr]E_{1}^{T}\xi (t) \\ &{}-\xi ^{T}(t)E_{2} \bigl[X_{2}H+H^{T}X_{2}^{T}-h_{12}X_{2} \tilde{R} ^{-1}X_{2}^{T} \bigr]E_{2}^{T} \xi (t). \end{aligned}$$

Finally, from the above derivation, we have

$$ \dot{V}(t)\leq \xi ^{T}(t) \bigl\{ \varPi \bigl[h(t),\dot{h}(t) \bigr]+h(t)E _{1}X_{1}\tilde{R}^{-1}X_{1}^{T}E_{1}^{T}+h_{12} E_{2}X_{2}^{T} \tilde{R}^{-1}X_{2}E_{2}^{T} \bigr\} \xi (t). $$
(20)

Then one can see that \(\varPi [h(t),\dot{h}(t)]+h(t)E_{1}X_{1} \tilde{R}^{-1}X_{1}^{T}E_{1}^{T}+h_{12} E_{2}X_{2}^{T}\tilde{R}^{-1}X _{2}E_{2}^{T}\) is linear on the two time delay variables \(h(t)\) and \(\dot{h}(t)\). Thus, inequalities (6)–(7) hold for \(h(t)\in [0,h]\), \(\dot{h}(t)\in [-\mu ,\mu ]\), which implies that \(\dot{V}(t)<0\) by the transformation of Schur complement equivalence. This shows that system (1) is stable from Lyapunov stability theory, which completes the proof. □

Remark 4

Indeed, Theorem 1 can be generalized to an N-dependent stability criterion based the N-dependent affine Bessel–Legendre inequality. For the sake of simplicity, \(N=2\) is chosen in this paper. Therefore, in the case of \(N>2\), an appropriate LKF can be obtained by adding the following form of state vectors in \(\zeta ^{T}(t)\), \(\zeta _{a}^{T}(t)\), and \(\zeta _{b}^{T}(t)\): \(v_{N}(t)=\int _{-h(t)}^{0}\int _{t+\theta _{1}}^{t}\int _{t+\theta _{2}} ^{t}\cdots \int _{t+\theta _{N-1}}^{t}\frac{x(s)}{h^{N-1}(t)}\,ds\,d\theta _{N-1}\,d\theta _{N-2}\cdots\, d\theta _{1}\) and \(\bar{v}_{N}(t)=\int _{-h} ^{-h(t)}\int _{t+\theta _{1}}^{t-h(t)}\int _{t+\theta _{2}}^{t-h(t)} \cdots \int _{t+\theta _{N-1}}^{t-h(t)}\frac{x(s)}{h_{12}^{N-1}(t)}\,ds\,d\theta _{N-1}\,d\theta _{N-2}\cdots\, d\theta _{1}\). So the stability criterion derived via the N-dependent LKF is also hierarchy of LMI conditions, that is, the conservatism of the stability criterion decreases as N increases.

Remark 5

It is worth noting that the author of [32] pointed out that the delay set is a polyhedral set, and two main characterizations of the allowable delay set were given, that is, the usual assumptive delay set \(\mathcal{H}_{1}\) satisfying \([h(t),\dot{h}(t)]\in \mathcal{H}_{1}=[0,h]\times [-\mu ,\mu ]\) and another new allowable delay set \(\mathcal{H}_{2}\) satisfying \([h(t),\dot{h}(t)]\in \mathcal{H}_{2}=\{(0,0),(0,\mu ),(h,0),(h,- \mu )\}\). Figure 1 depicts the graphical interpretation of the above two delay sets \(\mathcal{H}_{1}\) and \(\mathcal{H}_{2}\), where we can find that once the values of h, μ are given, \(\mathcal{H}_{2}\) is included in \(\mathcal{H}_{1}\). In the next section of this paper, the two allowable delay sets, that is, the usual delay set \(\mathcal{H} _{1}\) and the refined allowable delay set \(\mathcal{H}_{2}\), will be used to show the effectiveness of Theorem 1.

Figure 1
figure1

Graphical interpretation of \(\mathcal{H}_{1}\) and \(\mathcal{H}_{2}\)

In addition, the original forms of inequalities (6) and (7) are not LMIs because of their dependence on the two time-varying delay variables \(h(t)\) and \(\dot{h}(t)\). Indeed, the conditions can be rearranged as the following form:

$$ \varXi _{1}+\dot{h}(t)\bigl[\varXi _{2}+h(t)\varXi _{3}\bigr]< 0, $$
(21)

where \(\varXi _{i}\), \(i=1,2,3\), are time-independent matrix-combinations. According to the convex combination technique [33], the original forms of inequalities (6) and (7) hold if the following LMIs hold for the above two allowable delay sets \(\mathcal{H}_{1}\) and \(\mathcal{H}_{2}\), respectively:

$$\begin{aligned}& \mathcal{H}_{1}\mbox{:} \quad \varXi _{1}+\dot{h}(t) \bigl[\varXi _{2}+h(t)\varXi _{3}\bigr]_{\{[h(t),\dot{h}(t)]=[0,h]\times [-\mu ,\mu ]\}}< 0, \end{aligned}$$
(22)
$$\begin{aligned}& \mathcal{H}_{2}\mbox{:} \quad \varXi _{1}+\dot{h}(t) \bigl[\varXi _{2}+h(t)\varXi _{3}\bigr]_{\{(h(t),\dot{h}(t))=\{(0,0),(0,\mu ),(h,0),(h,-\mu )\}\}}< 0, \end{aligned}$$
(23)

which implies that the solution of inequalities (6)–(7) becomes the feasibility-checking of the LMIs.

Numerical example

In the following content, the maximum allowable upper bounds (MAUBs) in three numerical examples will be calculated by Theorem 1 under the two delay sets \(\mathcal{H}_{1}\) and \(\mathcal{H}_{2}\). The main program tools for obtaining the MAUBs is Matlab LMI-based toolbox. And the corresponding values of MAUB and the numbers of decision variables (NoVs) will be carefully compared with some recent methods, which is provided to illustrate the effectiveness of Theorem 1.

Example 1

Consider the following systems:

$$ \dot{x}(t)= \begin{bmatrix} 0 &1 \\ -1 &-1 \end{bmatrix}x(t)+ \begin{bmatrix} 0 &0 \\ 0 &-1 \end{bmatrix}x\bigl(t-h(t)\bigr). $$
(24)

The corresponding values of MAUB and NoV compared among some recent previous results and Theorem 1 are listed in Table 1. To confirm the obtained result (\(h=3.118\)), the simulation result is shown in Fig. 2. As you can see from Fig. 2, the state responses of system (24) with \(h(t)=\frac{3.118}{2}+\frac{3.118}{2}\sin (\frac{0.1t}{3.118} )\) and the initial vector \([0.2 -0.3]^{T}\) converge to zero.

Figure 2
figure2

The state responses for Example 1

Table 1 MAUBs h under different μ for Example 1

Example 2

Consider another system:

$$ \dot{x}(t)= \begin{bmatrix} 0&1 \\ -1 &-2 \end{bmatrix}x(t)+ \begin{bmatrix} 0 &0 \\ -1 &1 \end{bmatrix}x\bigl(t-h(t)\bigr). $$
(25)

Table 2 shows the MAUBs calculated by using Theorem 1 and other methods in the references under different bounds of delay derivative. To confirm the obtained result (\(h=20.8822\)), the simulation result is shown in Fig. 3. We can find from the figure that the state responses of system (25) with \(h(t)=\frac{20.8822}{2}+\frac{20.8822}{2} \sin (\frac{0.2t}{20.8822} )\) and the initial vector \([0.5 0.3]^{T}\) converge to zero.

Figure 3
figure3

The state responses for Example 2

Table 2 MAUBs under different μ for Example 2

Example 3

Consider the following system:

$$ \dot{x}(t)= \begin{bmatrix} -2&0 \\ 0 &-0.9 \end{bmatrix}x(t)+ \begin{bmatrix} -1 &0 \\ -1 &-1 \end{bmatrix}x\bigl(t-h(t)\bigr). $$
(26)

[40] gave the MAUB \(h_{\mathrm{max}}=6.1725\) by delay sweeping techniques (see, for instance, [40]). The comparative results among some other methods in the references and Theorem 1 are listed in Table 3.

Table 3 MAUBs h for different μ (Example 3)

From Tables 13, we can find the following five observations:

  • For the delay sets \(\mathcal{H}_{1}\) and \(\mathcal{H}_{2}\), it is obvious that the MAUBs obtained by Theorem 1 are all larger than those obtained by other methods proposed in [11, 23, 24, 26,27,28, 34,35,36,37,38,39], especially for the delay set \(\mathcal{H}_{2}\).

  • It is seen that the NoVs in our criterion is larger than those in [24, 26, 34], smaller than those in [10, 11, 23, 28, 32, 35,36,37,38,39], and the same as that in [27].

  • From Table 3, for the case of slow-varying delays and the delay set \(\mathcal{H}_{2}\), only Theorem 8 in [32] is less conservative than Theorem 1. However, Theorem 1 becomes less conservative than the condition in [32] with the smaller NoVs for the case of fast-varying delays.

  • The effectiveness of Theorem 1 is more obvious under the fast-varying delays than the slow-varying delays by comparing the corresponding increase percentages.

  • The choice of the delay set, such as \(\mathcal{H}_{2}\), has a great effect on increasing the MAUBs, which matches the description in [32].

Conclusions

This paper considers the stability problem of time-delayed linear systems. A modified LKF is proposed with two couples of integral terms supplemented in the integral functionals. A less conservative stability criterion is derived based on the new LKF and Lemma 1. Three numerical examples illustrate the effectiveness of the proposed result.

References

  1. 1.

    Norkin, S., et al.: Introduction to the Theory and Application of Differential Equations with Deviating Arguments. Academic Press, San Diego (1973)

  2. 2.

    Hale, J.: Theory of Functional Differential Equations. Springer, Berlin (1977)

  3. 3.

    Datko, R.: Lyapunov functionals for certain linear delay differential equations in a Hilbert space. J. Math. Anal. Appl. 76, 37–57 (1980)

  4. 4.

    Khusainov, D.: A method of construction of Lyapunov–Krasovskii functionals for linear systems with deviating argument. Ukr. Math. J. 41, 338–342 (1989)

  5. 5.

    Khusainov, D., Shatyrko, A.: Absolute stability of multi-delay regulation systems. J. Autom. Inf. Sci. 27, 33–42 (1995)

  6. 6.

    Feng, J., Lam, J., Yang, G.: Optimal partitioning method for stability analysis of continuous/discrete delay systems. Int. J. Robust Nonlinear Control 25, 559–574 (2015)

  7. 7.

    Ding, L., He, Y., Wu, M., Zhang, Z.: A novel delay partitioning method for stability analysis of interval time-varying delay systems. J. Franklin Inst. 354, 1209–1219 (2017)

  8. 8.

    Shen, C., Li, Y., Zhu, X., Duan, W.: Improved stability criteria for linear systems with two additive time-varying delays via a novel Lyapunov functional. J. Comput. Appl. Math. 363, 312–324 (2020)

  9. 9.

    Duan, X., Tang, F., Duan, W.: Improved robust stability criteria for uncertain linear neutral-type systems via novel Lyapunov–Krasovskii functional. Asian J. Control (2019). https://doi.org/10.1002/asjc.2142

  10. 10.

    Liu, B., Jia, X.: New absolute stability criteria for uncertain Lur’e systems with time-varying delays. J. Franklin Inst. 355, 4015–4031 (2018)

  11. 11.

    Chen, J., Park, J., Xu, S.: Stability analysis of continuous-time systems with time-varying delay using new Lyapunov–Krasovskii functionals. J. Franklin Inst. 355, 5957–5967 (2018)

  12. 12.

    Long, F., Zhang, C., Jiang, L., He, Y., Wu, M.: Stability analysis of systems with time-varying delay via improved Lyapunov–Krasovskii functionals. IEEE Trans. Syst. Man Cybern. Syst. (2019). https://doi.org/10.1109/TSMC.2019.2914367

  13. 13.

    Sun, J., Han, Q., Chen, J., Liu, G.: Less conservative stability criteria for linear systems with interval time-varying delays. Int. J. Robust Nonlinear Control 25, 475–485 (2015)

  14. 14.

    Qian, W., Yuan, M., Wang, L., Bu, X., Yang, J.: Stabilization of systems with interval time-varying delay based on delay decomposing approach. ISA Trans. 70, 1–6 (2017)

  15. 15.

    Gu, K.: An integral inequality in the stability problem of time-delay systems. In: Proceedings of the Conference of the IEEE Industrial Electronics, Sydney, Australia (2010)

  16. 16.

    Seuret, A., Gouaisbaut, F.: Wirtinger-based integral inequality: application to time-delay systems. Automatica 49, 2860–2866 (2013)

  17. 17.

    Park, P., Lee, W., Lee, S.: Auxiliary function-based integral inequalities for quadratic functions and their applications to time-delay systems. J. Franklin Inst. 352, 1378–1396 (2015)

  18. 18.

    Seuret, A., Gouaisbaut, F.: Hierarchy of LMI conditions for the stability analysis of time-delay systems. Syst. Control Lett. 81, 1–7 (2015)

  19. 19.

    Park, P., Lee, W., Lee, S.: Improved stability criteria for linear systems with interval time-varying delays: generalized zero equalities approach. Appl. Math. Comput. 292, 336–348 (2017)

  20. 20.

    Qian, W., Wang, L., Chen, M.: Local consensus of nonlinear multiagent systems with varying delay coupling. IEEE Trans. Syst. Man Cybern., Part B, Cybern. 99, 1–8 (2017)

  21. 21.

    Lee, W., Lee, S., Park, P.: A combined first- and second-order reciprocal convexity approach for stability analysis of systems with interval time-varying delays. J. Franklin Inst. 353, 2104–2116 (2016)

  22. 22.

    Long, F., Jiang, L., He, Y., Wu, M.: Stability analysis of systems with time-varying delay via novel augmented Lyapunov–Krasovskii functionals and an improved integral inequality. Appl. Math. Comput. 357, 325–337 (2019)

  23. 23.

    Zeng, H., He, Y., Wu, M., She, J.: Free-matrix-based integral inequality for stability analysis of systems with time-varying delay. IEEE Trans. Autom. Control 60, 2768–2772 (2015)

  24. 24.

    Zhang, C., He, Y., Jiang, L., Wu, M., Zeng, H.: Stability analysis of systems with time-varying delay via relaxed integral inequalities. Syst. Control Lett. 92, 52–61 (2016)

  25. 25.

    Lian, Z., He, Y., Zhang, C., Shi, P.: Robust \(\mathrm{H}_{\infty }\) control for T-S fuzzy systems with state and input time-varying delays via delay-product-type functional method. IEEE Trans. Fuzzy Syst. (2019). https://doi.org/10.1109/TFUZZ.2019.2892356

  26. 26.

    Zhang, C., He, Y., Jiang, L., Wu, M.: Notes on stability of time-delay systems: bounding inequalities and augmented Lyapunov–Krasovskii functionals. IEEE Trans. Autom. Control 62, 5331–5336 (2017)

  27. 27.

    Lee, W., Lee, S., Park, P.: Affine Bessel–Legendre inequality: application to stability analysis for systems with time-varying delays. Automatica 93, 535–539 (2018)

  28. 28.

    Zhang, X., Han, Q., Seuret, A., Gouaisbaut, F.: An improved reciprocally convex inequality and an augmented Lyapunov–Krasovskii functional for stability of linear systems with time-varying delay. Automatica 84, 221–226 (2017)

  29. 29.

    Liu, X., Zeng, H., Wangi, W., Chen, G.: Stability analysis of systems with time-varying delays using Bessel–Legendre inequalities. In: 2018 5th International Conference on Information, Cybernetics, and Computational Social Systems (ICCSS), pp. 38–43 (2018)

  30. 30.

    Seuret, A., Liu, K., Gouaisbaut, F.: Generalized reciprocally convex combination lemmas and its application to time-delay systems. Automatica 95, 488–493 (2018)

  31. 31.

    Zhang, C., He, Y., Jiang, L., Wu, M., Wang, Q.: An extended reciprocally convex matrix inequality for stability analysis of systems with time-varying delay. Automatica 85, 481–485 (2017)

  32. 32.

    Seuret, A., Gouaisbaut, F.: Stability of linear systems with time-varying delays using Bessel–Legendre inequalities. IEEE Trans. Autom. Control 63, 225–232 (2018)

  33. 33.

    Park, P., Jeong, W.: Stability and robust stability for systems with a time-varying delay. Automatica 43, 1855–1858 (2007)

  34. 34.

    Kim, J.: Further improvement of Jensen inequality and application to stability of time-delayed systems. Automatica 64, 121–125 (2016)

  35. 35.

    Lee, T., Park, J., Xu, S.: Relaxed conditions for stability of time-varying delay systems. Automatica 75, 11–15 (2017)

  36. 36.

    Lee, T., Park, J.: A novel Lyapunov functional for stability of time-varying delay systems via matrix-refined-function. Automatica 80, 239–242 (2017)

  37. 37.

    Lee, T., Park, J.: Improved stability conditions of time-varying delay systems based on new Lyapunov functionals. J. Franklin Inst. 355, 1176–1191 (2018)

  38. 38.

    Kwon, W., Koo, B., Lee, S.: Novel Lyapunov–Krasovskii functional with delay-dependent matrix for stability of time-varying delay systems. Appl. Math. Comput. 320, 149–157 (2018)

  39. 39.

    Park, M., Kwon, O., Ryu, J.: Advanced stability criteria for linear systems with time-varying delays. J. Franklin Inst. 355, 520–543 (2018)

  40. 40.

    Gu, K., Kharitonov, V., Chen, J.: Stability of Time-Delay Systems. Birkhäuser, Boston (2003)

Download references

Author information

WD conceived the research idea and co-wrote the paper. YL conducted the numerical simulations. JC conducted the English expression and format, and he recalculated part of the data in Sect. 4. All authors read and approved the final manuscript.

Correspondence to Wenyong Duan.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Duan, W., Li, Y. & Chen, J. An enhanced stability criterion for linear time-delayed systems via new Lyapunov–Krasovskii functionals. Adv Differ Equ 2020, 21 (2020) doi:10.1186/s13662-019-2439-z

Download citation

Keywords

  • Delay-dependent stability
  • Lyapunov–Krasovskii functional
  • Linear matrix inequalities
  • Time-delayed system
  • Time-varying delay