Skip to main content

Theory and Modern Applications

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

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.

1 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}\).

2 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}.

3 Main results

3.1 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.

3.2 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
figure 1

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.

4 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
figure 2

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
figure 3

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].

5 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. Norkin, S., et al.: Introduction to the Theory and Application of Differential Equations with Deviating Arguments. Academic Press, San Diego (1973)

    MATH  Google Scholar 

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

    Book  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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

    Article  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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

    Article  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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

    Article  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Chapter  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Book  Google Scholar 

Download references

Funding

This work is partly supported by the National NSF of China (61603325), NSF of Jiangsu Province under Grant (BK20160441), Outstanding Young Teacher of Jiangsu ‘Blue Project’, the Yellow Sea Rookie of Yancheng Institute of Technology, and Talent Introduction Project of Yancheng Institute of Technology (xj201516).

Author information

Authors and Affiliations

Authors

Contributions

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.

Corresponding author

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

Check for updates. 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). https://doi.org/10.1186/s13662-019-2439-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-019-2439-z

Keywords