Skip to main content

New stability criteria for asymptotic stability of time-delay systems via integral inequalities and Jensen inequalities

Abstract

This paper investigates the new stability criteria for the asymptotic stability of time-delay systems via integral inequalities and Jensen inequalities. Firstly, not only the known constant time delay, but also the unknown time-varying delay is considered for the linear system. Secondly, the new delay-dependent Lyapunov–Krasovskii functional based on the double integral inequalities and Jensen inequalities is introduced, such that the linear system with time-delay is asymptotically stable. Thirdly, two classes of delay-dependent stability conditions in terms of linear matrix inequalities (LMIs) are derived, such that the control design conditions are relaxed and computation complexity is reduced. Compared with previous works, the larger feasible solution region and less conservative results are obtained. Finally, some numerical examples are performed to show the effectiveness and advantage of the proposed method.

1 Introduction

Time delays exist in many dynamic systems, such as the chemical or process control systems, and often result in poor performance and instability [1,2,3,4]. Thus, it is necessary to investigate the stability analysis of the time-delay systems. For the practical applications, it may be important to determine the time-delay ranges or the numbers of decision variables (NoDv) for the time-delay systems, see [5,6,7,8] and the references therein. According to the dependence of time delay, the stability conditions of the time-delay systems can be classified into two categories: delay-independent ones and delay-dependent ones. It is well known that the delay-independent stability conditions tend to be conservative, especially for the small size time delay [9, 10]. Thus, the objective of this paper is to derive the less conservative delay-dependent stability conditions for the linear systems with constant time delay and time-varying delay, respectively.

The nonlinearities and uncertainties are often caused by the time delays. Due to the existence of time delay, the system performance may decline significantly. The time delay has become one of the most important reasons for producing the non-minimum phase [11, 12]. Especially, some stability conditions of the expected global exponential stability were proposed under high frequency sampling for the nonlinear globally Lipschitz time-delay systems [13]. With the above reasons, many effective control strategies were proposed to deal with the time delay, see [14, 15] and the references therein. For example, some novel inequalities have been proposed, such as the auxiliary function-based inequality and the Bessel–Legendre inequality, which can be obtained by choosing the Legendre polynomials as auxiliary functions [16]. These inequalities have been applied to the constant time-delay systems successfully. However, there are some difficulties in the applications of the time-varying delay system, because the bounds of the solutions contain the reciprocal convexity [16]. The integral inequalities method, as a class of effective control strategies, has attracted much attention for the theory research and practical applications [17, 18]. However, some free weighting matrices should be introduced to relax the matrix cross products in the stability analysis.

Recently, some integral terms have been introduced in the Lyapunov–Krasovskii functional to derive some less conservative stability conditions [6, 19]. In addition, due to the existence of function combinations with squared convex parameters, the double integral terms were not partitioned and cannot be handled easily [10, 20]. Thus, a novel method was proposed to handle the above problem by introducing some new integral terms with delay-dependent coefficients, such as \(\frac{1}{h ( t ) - h_{1}} \int _{t - h ( t )}^{t - h_{1}} x ( \alpha )\,d \alpha \) in the augmented term [21]. However, there still exist some conservative results, because the aforementioned approximation is still used in the derivation process of the stability conditions. To handle this problem, most of the existing delay-dependent stability conditions have been obtained by employing the Lyapunov–Krasovskii functional method. By employing the Lyapunov–Krasovskii functional, some less conservative stability conditions in terms of LMIs were obtained in the control system design [10, 22]. Recently, a new Lyapunov–Krasovskii functional with free weighting matrix was introduced in the stability analysis by employing the time delay \(x ( t - h ( t ) )\) and marginally time delay \(x ( t - h )\), (\(0 \le d ( t ) \le h \)) [23]. Note that the free weighting matrices make the stability conditions complicated, and the above stability conditions for the time-delay system are only applicable to the case that the lower bound of time delay is zero [24, 25]. Moreover, it should be pointed out that most of the above literature did not consider the Jensen inequalities. However, the Jensen inequalities play an important role in reducing the NoDv and computation complexity [26, 27]. The Jensen inequality is one of the most important results for convex (concave) functions defined in an interval with a natural geometrical interpretation. In order to obtain a characterization of the Jensen inequalities for the generalized Sugeno integral, it is clear that the classical conditions must be changed [28]. Thus, the Jensen inequalities for the generalized Sugeno integral were presented by maintaining the condition of convexity [28]. Besides, Jensen inequalities have the better ability to derive the delay-dependent results in the form of LMIs for the linear time-delay systems [29]. Thus, the improved Jensen inequalities were proposed based on the Wirtinger inequalities, and the improved integral inequalities in the form of infinite series were presented, such that the delay-dependent stability conditions in the form of LMIs were derived [29]. Particularly, if the linear system contains time delay, the system model will contain more uncertainties. Then the system output will become uncertain in values, and the required design conditions will become more conservative. Thus, dealing with the trade-off between the less conservative conditions and increased computation complexity remains an important subject. Thus, not only the Lyapunov–Krasovskii functional, but also the double integral inequalities and Jensen inequalities are introduced in this paper for the stability analysis.

This paper investigates the new stability criteria for the asymptotic stability of time-delay systems via integral inequalities and Jensen inequalities. The contributions of this paper are listed as follows: (1) The known constant time delay \(h > 0\) and the unknown time-varying delay \(0 \le h_{1} \le h ( t ) \le h_{2}\) are both considered in the linear system. (2) The delay-dependent Lyapunov–Krasovskii functional based on the double integral inequalities and Jensen inequalities is introduced, then the linear system is asymptotically stable and the larger feasible solution region is obtained. (3) Two classes of delay-dependent stability conditions are derived, then the control design conditions are relaxed, computation complexity is reduced, and less conservative results are obtained.

Notations. The notations in this paper are presented as follows. \(\mathbb{R}^{n}\) denotes the n-dimensional Euclidean space. \(\mathbb{R}^{n \times m}\) denotes the set of the \(n \times m\) real matrices. \(R > 0 \) (≥0) and \(R < 0\) (≤0) denote the positive definite (semi-positive definite) and negative definite (semi-negative definite) matrices, respectively. “I “and “0” denote the identity and the zero matrix with appropriate dimensions, respectively. The superscripts “T” and “−1” denote the matrix transposition and matrix inverse, respectively. \(\operatorname{diag} \{ \cdots \}\) denotes the block-diagonal matrix. \(\max \{ \bullet \}\) denotes the maximum value of the term “•”. “*” denotes the vector term that is induced by symmetry.

2 Preliminaries

In this section, we introduce some lemmas useful to proving our main results in the next section.

Lemma 1

([22])

For a given matrix \(R > 0\) and a differentiable function \(x: [ a, b ] \to \mathbb{R}^{n}\), the following inequalities hold:

$$\begin{aligned}& \int _{a}^{b} \dot{x}^{T} ( s )R\dot{x} ( s )\,ds \ge \frac{1}{b - a}\varOmega _{1}^{T}R\varOmega _{1} + \frac{3}{b - a}\varOmega _{2}^{T}R\varOmega _{2} + \frac{5}{b - a}\varOmega _{3}^{T}R\varOmega _{3}, \end{aligned}$$
(1)
$$\begin{aligned}& \int _{a}^{b} \int _{u}^{b} \dot{x}^{T} ( s )R\dot{x} ( s ) \,ds \,du \ge 2\varOmega _{4}^{T}R\varOmega _{4} + 4 \varOmega _{5}^{T}R \varOmega _{5}, \end{aligned}$$
(2)

where

$$ \textstyle\begin{cases} \varOmega _{1} = x ( b ) - x ( a ), \\ \varOmega _{2} = x ( b ) + x ( a ) - \frac{2}{b - a}\int _{a}^{b} x ( s )\,ds, \\ \varOmega _{3} = x ( b ) - x ( a ) + \frac{6}{b - a}\int _{a}^{b} x ( s )\,ds - \frac{12}{ ( b - a ) ^{2}}\int _{a}^{b} \int _{u}^{b} x ( s ) \,ds \,du, \\ \varOmega _{4} = x ( b ) - \frac{1}{b - a}\int _{a}^{b} x ( s )\,ds, \\ \varOmega _{5} = x ( b ) + \frac{2}{b - a}\int _{a}^{b} x ( s )\,ds - \frac{6}{ ( b - a )^{2}}\int _{a}^{b} \int _{u}^{b} x ( s ) \,ds \,du. \end{cases} $$

Lemma 2 is presented to reduce the conservatism of (2) in Lemma 1.

Lemma 2

For a given matrix \(R > 0\) and a differentiable function \(x: [ a, b ] \to \mathbb{R}^{n}\), the following double integral inequality holds:

$$ \int _{a}^{b} \int _{u}^{b} \dot{x}^{T} ( s )R\dot{x} ( s ) \,ds \,du \ge 2\varOmega _{4}^{T}R\varOmega _{4} + 4 \varOmega _{5}^{T}R \varOmega _{5} + 6\varOmega _{6}^{T}R\varOmega _{6}, $$
(3)

where \(\varOmega _{4}\) and \(\varOmega _{5}\) are defined in (2), and

$$ \begin{aligned}[b] \varOmega _{6} &= x ( b ) - \frac{3}{b - a} \int _{a}^{b} x ( s )\,ds + \frac{24}{ ( b - a )^{2}} \int _{a}^{b} \int _{u}^{a} x ( s ) \,ds \,du \\&\quad{}- \frac{60}{ ( b - a ) ^{3}} \int _{a}^{b} \int _{u}^{b} \int _{s}^{b} x ( r )\,dr \,ds \,du. \end{aligned} $$
(4)

Proof

Let us define

$$ \textstyle\begin{cases} p_{i} = \int _{a}^{b} \int _{u}^{b} \varphi _{i}^{2} ( s ) \,ds \,du, \\ \varOmega _{i} ( w ) = \int _{a}^{b} \int _{u}^{b} \varphi _{i} ( s )w ( s ) \,ds \,du, \end{cases} $$
(5)

where \(\varphi ( s )\) and \(w ( s )\) are the differentiable functions in \([ a, b ] \to \mathbb{R}^{n}\).

If there exists

$$ \int _{a}^{b} \int _{u}^{b} \varphi _{i} ( s )\varphi _{j} ( s ) \,ds \,du = 0,\quad i = 1, 2, 3 \ldots \text{ and }i \ne j, $$
(6)

one can obtain

$$ 0 \le \int _{a}^{b} \int _{u}^{b} \bigl( w ( s ) - z ( s ) \bigr)^{T}R \bigl( w ( s ) - z ( s ) \bigr) \,ds \,du = W - \sum _{i = 1}^{\infty } \frac{1}{p_{i}} \varOmega _{i}^{T} ( w )R\varOmega _{i} ( w ), $$
(7)

where

$$ \textstyle\begin{cases} z ( s ) = \sum_{i = 1}^{\infty } \frac{1}{p_{i}}\varphi _{i} ( s )\varOmega _{i} ( w ), \\ W = \int _{a}^{b} \int _{u}^{b} w^{T} ( s )Rw ( s ) \,ds \,du, \end{cases} $$

which leads to

$$ \int _{a}^{b} \int _{u}^{b} w^{T} ( s )Rw ( s ) \,ds \,du \ge \sum_{i = 1}^{\infty } \frac{1}{p_{i}}\varOmega _{i}^{T} ( w )R\varOmega _{i} ( w ). $$
(8)

Let

$$ \textstyle\begin{cases} \varphi _{1} = 1, \\ \varphi _{2} = s - \frac{2b + a}{3}, \\ \varphi _{3} = ( s - \frac{3b + 2a}{5} )^{2} - \frac{3 ( b - a )^{2}}{20}. \end{cases} $$
(9)

From (9), it can be seen that \(\varphi _{i} \) (\(i = 1, 2, 3 \)) satisfies (6), then one has

$$ \textstyle\begin{cases} p_{1} = \frac{ ( b - a )^{2}}{2}, \\ p_{2} = \frac{ ( b - a )^{4}}{36}, \\ p_{3} = \frac{ ( b - a )^{6}}{600}. \end{cases} $$
(10)

With (8) and (10), one has

$$ V \ge \frac{2}{ ( b - a )^{2}}\varOmega _{1}^{T}R\varOmega _{1} + \frac{36}{ ( b - a )^{4}}\varOmega _{2}^{T}R\varOmega _{2} + \frac{600}{ ( b - a )^{6}}\varOmega _{3}^{T}R\varOmega _{3}. $$
(11)

Let \(w ( s ) = \dot{x} ( s )\), one has

$$ \textstyle\begin{cases} \varOmega _{1} ( \dot{x} ) = ( b - a ) \{ x ( b ) - \frac{1}{b - a}\int _{a}^{b} x ( s )\,ds \}, \\ \varOmega _{2} ( \dot{x} ) = \frac{ ( b - a )^{2}}{3} \{ x ( b ) + \frac{2}{b - a}\int _{a}^{b} x ( s )\,ds - \frac{6}{ ( b - a )^{2}}\int _{a}^{b} \int _{u}^{b} x ( s ) \,ds \,du \}, \\ \varOmega _{3} ( \dot{x} ) = \frac{ ( b - a )^{3}}{10} \{ x ( b ) - \frac{3}{b - a}\int _{a}^{b} x ( s )\,ds + \frac{24}{ ( b - a )^{2}}\int _{a}^{b} \int _{u}^{b} x ( s ) \,ds \,du\\ \hphantom{\varOmega _{3} ( \dot{x} ) =}{} - \frac{60}{ ( b - a ) ^{3}}\int _{a}^{b} \int _{u}^{b} \int _{s}^{b} x ( r )\,dr \,ds \,du \}. \end{cases} $$
(12)

Then substituting (12) into (11), inequality (3) is obtained. This completes the proof of Lemma 2. □

Lemma 3

([30])

For a given matrix \(R > 0\) and a differentiable function \(\varphi : [ a, b ] \to \mathbb{R}^{n}\), the following inequality holds:

$$ I_{R}^{q} ( \varphi ) \ge \frac{1}{b - a} \biggl( \int _{a} ^{b} \varphi ( s )\,ds \biggr)^{T}R \biggl( \int _{a}^{b} \varphi ( s )\,ds \biggr), $$
(13)

where \(I_{R}^{q} ( \varphi ) = \int _{a}^{b} \varphi ^{T} ( s )R\varphi ( s ) \,ds\).

Lemma 4

([24])

For a given matrix \(R > 0\) and a differentiable function \(\varphi : [ a, b ] \to \mathbb{R}^{n}\), the following inequality holds:

$$ J_{R}^{g} ( \varphi ) \ge \frac{3}{b - a}\zeta _{1}^{T}R \zeta _{1} $$
(14)

with

$$ \textstyle\begin{cases} \zeta _{1} = \int _{a}^{b} \varphi ( s )\,ds - \frac{2}{b - a}\int _{a}^{b} \int _{a}^{s} \varphi ( u ) \,du \,ds, \\ J_{R}^{g} ( \varphi ) = I_{R}^{q} ( \varphi ) - ( ( b - a )\zeta _{0}^{T}R\zeta _{0} )^{ - 1}, \end{cases} $$

where

$$ \zeta _{0} = \int _{a}^{b} \varphi ( s ) \,ds. $$

Lemma 5

For a given matrix \(R > 0\) and a differentiable function \(\varphi : [ a, b ] \to \mathbb{R}^{n}\), the following Jensen inequality holds:

J R g (φ) 1 b a [ ζ 1 ζ 2 ] T [ 3 R 0 0 5 R ] [ ζ 1 ζ 2 ] ,
(15)

where \(\zeta _{1}\) is defined in (14), and

$$ \zeta _{2} = \int _{a}^{b} \varphi ( s )\,ds - \frac{6}{b - a} \int _{a}^{b} \int _{a}^{s} \varphi ( u )\,du \,ds + \frac{12}{ ( b - a )^{2}} \int _{a}^{b} \int _{a}^{s} \int _{a}^{u} \varphi ( v ) \,dv \,du \,ds. $$
(16)

Remark 1

From the proof of Lemma 5, it can be seen that the vector term [ ζ 1 T ζ 2 T ] T in (15) contains single and double integrals. Thus, for \(\varphi : [ a, b ] \to \mathbb{R}^{n}\), the extra information of the time delay can be used in the system design, such as introducing the double integrals into the augmented vectors [26].

Proof

The proof is divided into three steps.

Step 1: For any \(\varphi : [ a, b ] \to \mathbb{R}^{n}\), the approximation function \(\psi : [ a, b ] \to \mathbb{R}^{n}\) of φ is defined as follows:

$$ \psi ( t ) = \varphi ( t ) - \frac{1}{b - a} \int _{a}^{b} \varphi ( s )\,ds + p ( t )\chi , $$
(17)

where \(p ( t )\) is a real-valued function for \(t \in [ a, b ]\). \(\chi \in \mathbb{R}^{n}\) defined as \(\chi = \frac{ - \lambda }{ ( \alpha ( b - a )^{2} ) \zeta _{1}}\), where α and λ are the scalars.

Let

$$ \begin{aligned}[b] J_{R}^{g} ( \psi ) &= J_{R}^{g} ( \varphi ) + ( b - a ) \bigl( m_{1} \bigl( p^{2} \bigr) - m_{1}^{2} ( p ) \bigr)\chi ^{T}R\chi \\ &\quad {}+ 2\chi ^{T}R \biggl( \bigl( p ( b ) - m_{1} ( p ) \bigr) \int _{a}^{b} \varphi ( s )\,ds - p' ( b ) \int _{a}^{b} \int _{a}^{u} \varphi ( v )\,dv\,du \\&\quad{}+ \int _{a}^{b} p'' ( s ) \int _{a}^{s} \int _{a}^{u} \varphi ( v )\,dv \,du \,ds \biggr), \end{aligned} $$
(18)

where

$$ m_{1} ( p ) = \frac{1}{b - a} \int _{a}^{b} p ( s ) \,ds. $$

Step 2: For any \(p \in \mathbb{{P}}_{1} [ a, b ]\), let us define \(p ( t ) = \alpha t + \beta \), where \(\alpha \ne 0\) and β are the scalars. Then from (18), one has

$$ J_{R}^{g} ( \psi ) = J_{R}^{g} ( \varphi ) + \frac{ \alpha ^{2} ( b - a )^{3}}{12}\chi ^{T}R\chi + \alpha ( b - a )\chi ^{T}R\zeta _{1}. $$
(19)

According to Lemmas 34, one has

$$ \textstyle\begin{cases} J_{R}^{g} ( \varphi ) \ge - \alpha ( b - a ) \chi ^{T}R\zeta _{1} - \frac{\alpha ^{2} ( b - a )^{3}}{12} \chi ^{T}, \\ R\chi =: R ( J_{R}^{g} ( \varphi ) ), \end{cases} $$
(20)

then one can obtain

$$ R \bigl( J_{R}^{g} ( \varphi ) \bigr) = \frac{1}{ ( b - a ) ( \lambda - \lambda ^{2} / 12 )\zeta _{1} ^{T}R\zeta _{1}}. $$

It is easy to verify that \(\max \{ \frac{\lambda - \lambda ^{2}}{12} \} = 3\) for \(\lambda = 6\), thus, one can obtain

$$ J_{R}^{g} ( \varphi ) \ge R \bigl( J_{R}^{g} ( \varphi ) \bigr) = \frac{3}{b - a}\zeta _{1}^{T}R\zeta _{1}. $$
(21)

Via the similar approach of Step 1 with

$$ \psi ( t ) = \varphi ( t ) - \frac{2}{ ( b - a )^{2}} \int _{a}^{b} \int _{s}^{b} \varphi ( u ) \,du \,ds + p ( t )\chi , $$
(22)

one can obtain

$$ \begin{aligned}[b] &\int _{a}^{b} \int _{s}^{b} \varphi ^{T} ( u )R \varphi ( u ) \,du \,ds \\ &\quad \ge \frac{2}{ ( b - a )^{2}} \biggl( \int _{a}^{b} \int _{s}^{b} \varphi ( u ) \,du \,ds \biggr)^{T}R \biggl( \int _{a}^{b} \int _{s}^{b} \varphi ( u ) \,du \,ds \biggr) + \frac{4}{ ( b - a )^{2}}\gamma ^{T}R\gamma , \end{aligned} $$
(23)

where

$$ \gamma = 2 \int _{a}^{b} \int _{s}^{b} \varphi ( u ) \,du \,ds - \frac{6}{b - a} \int _{a}^{b} \int _{s}^{b} \int _{u}^{b} \varphi ( v ) \,dv \,du \,ds. $$

Step3: With (21), one has

$$ J_{R}^{g} ( \psi ) \ge \frac{3}{b - a} \biggl( \int _{a} ^{b} \psi ( t )\,dt - \frac{2}{b - a} \int _{a}^{b} \int _{a} ^{s} \psi ( u ) \,du \,ds \biggr). $$
(24)

With (18) and (24), one has

$$ J_{R}^{g} ( \varphi ) \ge R \bigl( J_{R}^{g} ( \varphi ) \bigr): = \kappa \chi ^{T}R\chi + 2\chi ^{T}R \tilde{\zeta }_{2} + \frac{3}{b - a}\zeta _{1}^{T}R \zeta _{1} $$
(25)

with

$$\begin{aligned}& \kappa = ( b - a ) \bigl( 3 \bigl( m_{1} ( p ) - m_{2} ( p ) \bigr)^{2} + m_{1}^{2} ( p ) - m_{1} \bigl( p^{2} \bigr) \bigr), \end{aligned}$$
(26)
$$\begin{aligned}& \tilde{\zeta }_{2} = r_{1} \int _{a}^{b} \varphi ( s )\,ds + r_{2} \int _{a}^{b} \int _{a}^{s} \varphi ( u ) \,du \,ds - p'' \int _{a}^{b} \int _{a}^{s} \int _{a}^{u} \varphi ( v )\,dv \,du \,ds, \end{aligned}$$
(27)

where

$$ \textstyle\begin{cases} m_{2} ( p ) = \frac{2}{ ( b - a )^{2}}\int _{a}^{b} \int _{a}^{s} p ( u ) \,du \,ds, \\ r_{1} = 4m_{1} ( p ) - 3m_{2} ( p ) - p ( b ), \\ r_{2} = p' ( b ) - \frac{6}{b - a} ( m_{1} ( p ) - m_{2} ( p ) ). \end{cases} $$

Then from (25), one has

$$ R \bigl( J_{R}^{g} ( \varphi ) \bigr) = \frac{1}{b - a} \bigl( 3\zeta _{1}^{T}R\zeta _{1} + L_{\lambda } \zeta _{2}^{T}R\zeta _{2} \bigr), $$
(28)

where \(L_{\lambda } = \frac{2\lambda - \lambda ^{2}}{5}\). Note that \(L_{\lambda } - 5 = - \frac{1}{5 ( \lambda - 5 )^{2}} \le 0\) for any λ. Thus, \(R ( J_{R}^{g} ( \varphi ) )\) achieves the maximum value. This completes the proof of Lemma 5. □

Remark 2

It should be pointed out that inequality (21) does not depend on the selection of first-order polynomial \(p ( t )\). That is, the proposed approximation function (17) leads to (21) for any first-order polynomial \(p ( t )\). In [31], the particular first-order polynomial \(p ( t ) = 3 ( a + b - 2t ) / ( b - a )^{2}\) was introduced and the similar proof in Step 2 was presented to derive a similar inequality as (21).

Lemma 6

([31])

For some positive definite symmetric matrices \(R_{1} \in \mathbb{R}^{n \times n}\) and \(R_{2} \in \mathbb{R}^{m \times m}\), if there exists a matrix \(X \in \mathbb{R} ^{n \times m}\) such that

[ R 1 X R 2 ] 0,
(29)

then

[ 1 α R 1 0 0 1 1 α R 2 ] [ R 1 X R 2 ] ,α(0,1).
(30)

3 Stability analysis

In this section, two classes of stability analysis are presented. The stability analysis is presented for the linear system with known constant time delay h in Sect. 3.1. The stability analysis is presented for the linear system with unknown time-varying delay \(h ( t )\) in Sect. 3.2.

3.1 Linear system with known constant time delay

Consider the linear system with known constant time delay

$$ \textstyle\begin{cases} \dot{x} ( t ) = Ax ( t ) + A_{d}x ( t - h ) + A_{D}\int _{t - h}^{t} x ( s )\,ds, \\ x ( t ) = \phi ( t ), \quad t \in [ - h, 0 ], \end{cases} $$
(31)

where \(x ( t ) \in \mathbb{R}^{n}\) is the state vector, A, \(A_{d}\), \(A_{D} \in \mathbb{R}^{n \times n}\) are the system gain matrices, \(\phi ( t )\) is the continuous vector-valued initial function, and h is the known constant time delay satisfying \(h > 0\).

Theorem 1

For system (31), if there exist the positive definite matrices \(P \in \mathbb{R}^{4n \times 4n}\) and \(Q, S, R \in \mathbb{R}^{n \times n}\) such that

$$ \begin{aligned}[b] \psi &= \operatorname{sym} \bigl( \varPi _{1}^{T}P\varPi _{2} \bigr) + e_{1}^{T}Qe_{1} - e _{2}^{T}Qe_{2} + h^{2}e_{0}^{T}Se_{0} + \frac{h^{2}}{2}e_{0}^{T}Re _{0} \\ &\quad {}- \varPi _{3}^{T}S\varPi _{3} - 3\varPi _{4}^{T}S\varPi _{4} - 5\varPi _{5}^{T}S \varPi _{5} - 2\varPi _{6}^{T}R\varPi _{6} - 4 \varPi _{7}^{T}R\varPi _{7} - 6\varPi _{8}^{T}R \varPi _{8} < 0, \end{aligned} $$
(32)

where

$$\begin{aligned}& \textstyle\begin{cases} \varPi _{1} = [ e_{1}^{T}, e_{3}^{T}, e_{4}^{T}, e_{5}^{T} ] ^{T}, \qquad \varPi _{2} = [ e_{0}^{T}, e_{1}^{T} - e_{2}^{T}, he_{1}^{T} - e_{3}^{T}, \frac{h^{2}}{2}e_{1}^{T} - e_{4}^{T} ]^{T}, \\ \varPi _{3} = e_{1} - e_{2},\qquad \varPi _{4} = e_{1} + e_{2} - \frac{2}{h}e_{3}, \\ \varPi _{5} = e_{1} - e_{2} + \frac{6}{h}e_{3} - \frac{12}{h^{2}}e_{4},\qquad \varPi _{6} = e_{1} - \frac{1}{h}e_{3}, \\ \varPi _{7} = e_{1} + \frac{2}{h}e_{3} - \frac{6}{h^{2}}e_{4},\qquad \varPi _{8} = e _{1} - \frac{3}{h}e_{3} + \frac{24}{h^{2}}e_{4} - \frac{60}{h^{3}}e _{5}, \end{cases}\displaystyle \\& \textstyle\begin{cases} e_{0} = Ae_{1} + A_{d}e_{2} + A_{D}e_{3}, \\ e_{i} = [ 0_{n \times ( i - 1 )n}, I_{n}, 0_{n \times ( 5 - i )n} ],\quad e_{i} \in \mathbb{R}^{n \times 5n} \textit{ and } i = 1, 2, \ldots , 5. \end{cases}\displaystyle \end{aligned}$$

Then system (31) is asymptotically stable for the known constant time delay \(h > 0\).

Proof

For system (31), consider the Lyapunov–Krasovskii functional

$$ V ( t ) = \sum_{i = 1}^{4}V_{i} ( t ) $$
(33)

with

$$ \textstyle\begin{cases} V_{1} ( t ) = \eta ^{T} ( t )P\eta ( t ), \\ V_{2} ( t ) = \int _{t - h}^{t} x^{T} ( s )Qx ( s )\,ds, \\ V_{3} ( t ) = h\int _{t - h}^{t} \int _{u}^{t} \dot{x}^{T} ( s ) S\dot{x} ( s ) \,ds \,du, \\ V_{4} ( t ) = \int _{t - h}^{t} \int _{u}^{t} \int _{s}^{t} \dot{x}^{T} ( r )R\dot{x} ( r )\,dr \,ds \,du, \end{cases} $$

where

$$ \eta ( t ) = \biggl[ x^{T} ( t ), \int _{t - h} ^{t} x^{T} ( s )\,ds, \int _{t - h}^{t} \int _{u}^{t} x^{T} ( s ) \,ds \,du, \int _{t - h}^{t} \int _{u}^{t} \int _{s}^{t} x ^{T} ( r )\,dr \,ds \,du \biggr]^{T}. $$

Taking the time derivative of \(V ( t )\) along (31), one has

$$ \begin{aligned}[b] \dot{V} ( t ) &= \sum _{i = 1}^{4}\dot{V}_{i} ( t ) \\ &= 2\dot{\eta }^{T} ( t )P\eta ( t ) + x^{T} ( t )Qx ( t ) - x^{T} ( t - h )Qx ( t - h ) + h^{2}\dot{x}^{T} ( t )S\dot{x} ( t ) \\ &\quad {}- h \int _{t - h}^{t} \dot{x}^{T} ( s )S\dot{x} ( s )\,ds + 0.5h^{2}\dot{x}^{T} ( t )R\dot{x} ( t ) - \int _{t - h}^{t} \int _{u}^{t} \dot{x}^{T} ( s )R \dot{x} ( s ) \,ds \,du. \end{aligned} $$
(34)

For the problem formulated, equality (34) is rewritten as

$$ \begin{aligned}[b] \dot{V} ( t ) &= \sum _{i = 1}^{4}\dot{V}_{i} ( t ) \\ &= \xi ^{T} ( t ) \biggl\{ \operatorname{sym} \bigl( \varPi _{1}^{T}P \varPi _{2} \bigr) + e_{1}^{T}Qe_{1} - e_{2}^{T}Qe_{2} + h^{2}e_{0}^{T}Se _{0} + \frac{h^{2}}{2}e_{0}^{T} Re_{0} \biggr\} \xi ( t ) \\ &\quad {}- h \int _{t - h}^{t} \dot{x}^{T} ( s )S\dot{x} ( s )\,ds - \int _{t - h}^{t} \int _{u}^{t} \dot{x}^{T} ( s )R \dot{x} ( s ) \,ds \,du, \end{aligned} $$
(35)

where \(\xi ( t )\) is defined as

$$ \xi ( t ) = \biggl[ x^{T} ( t ), x^{T} ( t - h ), \int _{t - h}^{t} x^{T} ( s )\,ds, \int _{t - h}^{t} \int _{u}^{t} x^{T} ( s ) \,ds \,du, \int _{t - h}^{t} \int _{u}^{t} \int _{s}^{t} x^{T} ( r )\,dr \,ds \,du \biggr]^{T}. $$

Applying Lemmas 12 to (35), one has

$$\begin{aligned}& - h \int _{t - h}^{t} \dot{x}^{T} ( s )S\dot{x} ( s )\,ds \le \xi ^{T} ( t ) \bigl( - \varPi _{3}^{T}S\varPi _{3} - 3\varPi _{4}^{T}S\varPi _{4} - 5\varPi _{5}^{T}S\varPi _{5} \bigr)\xi ( t ), \end{aligned}$$
(36)
$$\begin{aligned}& - \int _{t - h}^{t} \int _{u}^{t} \dot{x}^{T} ( s )R\dot{x} ( s ) \,ds \,du \le \xi ^{T} ( t ) \bigl( - 2\varPi _{6}^{T}R \varPi _{6} - 4\varPi _{7}^{T}R\varPi _{7} - 6 \varPi _{8}^{T}R\varPi _{8} \bigr) \xi ( t ). \end{aligned}$$
(37)

Thus, one can obtain \(\dot{V} ( t ) \le \xi ^{T} ( t ) \psi \xi ( t )\). This completes the proof of Theorem 1. □

Remark 3

The objective of this paper is to derive some new refinements of the integral inequalities and Jensen inequalities to use the available forms of Lyapunov–Krasovskii functionals. Thus, based on equality (18), we only consider: \(p ( t )\) is a polynomial and the order of \(p ( t )\) is at most two. It should be pointed out that inequality (15) can be derived for any \(p \in [ a, b ]\) as shown in Step 3 of the proof for Lemma 5. From Theorem 1, it can be seen that the stability analysis of the linear system with known constant time delay is presented. However, the stability analysis in Theorem 1 is more conservative, because the stability analysis of the linear system with unknown time-varying delay \(h ( t )\) is not considered in Theorem 1. Thus, Theorem 2 is presented in Sect. 3.2.

3.2 Linear system with unknown time-varying delay

Consider the linear system with unknown time-varying delay

$$ \textstyle\begin{cases} \dot{x} ( t ) = Ax ( t ) + A_{d}x ( t - h ( t ) ), \\ x ( t ) = \phi ( t ), t \in [ - h_{2}, 0 ], \end{cases} $$
(38)

where \(x ( t ) \in \mathbb{R}^{n}\) is the state vector, A, \(A_{d}\) are the system gain matrices, \(\phi ( t )\) is the continuous vector-valued initial function, \(h ( t )\) is the unknown time-varying delay satisfying \(0 \le h_{1} \le h ( t ) \le h_{2}\) and \(\dot{h} ( t ) \le \mu \). \(h_{1}\) and \(h_{2}\) are the lower bound and the upper bound of \(h ( t )\), μ is the upper bound of \(\dot{h} ( t )\).

Theorem 2

For system (38), if there exist positive definite symmetric matrices \(P \in \mathbb{R}^{4n \times 4n}\), \(Q_{i}, R_{i}, S \in \mathbb{R}^{n \times n}\) (\(i = 1, 2\)), and matrices X, F with appropriate dimensions such that

Φ= [ R ˜ 2 X R ˜ 2 ] 0
(39)
$$\begin{aligned}& \varOmega ( h ) = \varXi _{0} ( h ) + \varXi _{1} + \varXi _{2} - \varXi _{3} - \varXi _{4} - \varGamma ^{T} \varPhi \varGamma < 0 \end{aligned}$$
(40)

with

$$ \textstyle\begin{cases} \tilde{R}_{i} = \operatorname{diag} \{ R_{i}, 3R_{i}, 5R_{i} \}, \quad i = 1, 2. \\ \varXi _{0} ( h ) = G^{T} ( h )PG_{0} + G_{0}^{T}PG ( h ), \\ \varXi _{1} = e_{1}^{T}Q_{1}e_{1} - e_{2}^{T}Q_{1}e_{2} + e_{2}^{T}Q_{2}e _{2} - e_{4}^{T}Q_{2}e_{4}, \\ \varXi _{2} = {\mathcal{A}}^{T} ( h_{1}^{2}R_{1} + h_{12} ^{2}R_{2} + 1 / 2h_{12}^{2}S ){\mathcal{A}}, \\ \varXi _{3} = G_{1}^{T}F^{T}\tilde{R}_{1}FG_{1}, \\ \varXi _{4} = 2G_{4}^{T}\hat{S}G_{4} + 4G_{5}^{T}\hat{S}G_{5}, \\ \varGamma = \operatorname{col} \{ FG_{2}, FG_{3} \}, \end{cases} $$
(41)

where

{ G 0 = [ A e 1 e 2 e 2 e 4 h 1 ( e 1 e 5 ) ] G ( h ) = [ e 1 h 1 e 5 ( h h 1 ) e 6 + ( h 2 h ) e 7 h 1 2 / 2 e 8 ] , { G 1 = col { e 1 , e 2 , e 5 , e 8 } , G 2 = col { e 2 , e 3 , e 6 , e 9 } , G 3 = col { e 3 , e 4 , e 7 , e 10 } , G 4 = col { e 2 e 6 , e 3 e 7 } , G 5 = col { e 2 + 2 e 6 3 e 9 , e 3 + 2 e 7 3 e 10 } , { A = A e 1 + A d e 3 , S ˆ = diag { S , S } , h 12 = h 2 h 1 ,

in which \(e_{i} \in \mathbb{R}^{n \times 10n}\), \(e_{i} = [ 0_{n \times ( i - 1 )n}, I_{n}, 0_{n \times ( 10 - i )n} ]\), \(i = 1, 2, \ldots , 10\).

Then system (38) is asymptotically stable for the unknown time-varying delay \(0 \le h_{1} \le h ( t ) \le h_{2}\).

Proof

For system (38), consider the Lyapunov–Krasovskii functional

$$ \begin{aligned}[b] V ( x_{t}, \dot{x}_{t} ) &= \tilde{x}^{T} ( t )P \tilde{x} ( t ) + \int _{t - h_{1}}^{t} x^{T} ( s )Q _{1} x ( s )\,ds + \int _{t - h_{2}}^{t - h_{1}} x^{T} ( s ) Q_{2}x ( s )\,ds \\&\quad{}+ h_{1} \int _{ - h_{1}}^{0} \int _{t + s}^{t} \dot{x}^{T} ( u )R_{1}\dot{x} ( u ) \,du \,ds \\ &\quad {}+ h_{12} \int _{ - h_{2}}^{ - h_{1}} \int _{t + s}^{t} \dot{x}^{T} ( u )R_{2}\dot{x} ( u ) \,du \,ds \\&\quad{}+ \int _{ - h_{2}}^{ - h _{1}} \int _{s}^{ - h_{1}} \int _{t + u}^{t} \dot{x}^{T} ( \theta )S \dot{x} ( \theta )\,d\theta \,du \,ds, \end{aligned} $$
(42)

where

x ˜ (t)= [ x ( t ) t h 1 t x ( s ) d s t h 2 t h 1 x ( s ) d s h 1 0 t + s t x ( u ) d u d s ] .

Taking the time derivative of \(V ( x_{t}, \dot{x}_{t} )\) along (38), one has

$$ \begin{aligned}[b] \dot{V} ( x_{t}, \dot{x}_{t} ) &= \chi _{0}^{T} ( t ) \bigl( \varXi _{0} ( h ) + \varXi _{1} + \varXi _{2} \bigr)\chi _{0} ( t ) - h_{1} \int _{t - h_{1}}^{t} \dot{x}^{T} ( s )R_{1} \dot{x} ( s )\,ds \\ &\quad{}- h_{12} \int _{t - h_{2}}^{t - h_{1}} \dot{x}^{T} ( s )R _{2} \dot{x} ( s )\,ds - \int _{ - h_{2}}^{ - h_{1}} \int _{t + s}^{t - h_{1}} \dot{x}^{T} ( u )S\dot{x} ( u ) \,du \,ds, \end{aligned} $$
(43)

where

χ 0 (t)=col { [ x ( t ) x ( t h 1 ) x ( t h ( t ) ) x ( t h 2 ) ] , [ 1 h 1 t h 1 t x ( s ) d s 1 h ( t ) h 1 t h ( t ) t h 1 x ( s ) d s 1 h 2 h ( t ) t h 2 t h ( t ) x ( s ) d s ] , [ 2 h 1 2 h 1 0 t + s t x ( u ) d u d s 2 ( h ( t ) h 1 ) 2 h ( t ) h 1 t + s t x ( u ) d u d s 2 ( h 2 h ( t ) ) 2 h 2 h ( t ) t + s t x ( u ) d u d s ] } .

According to Lemma 5, one has

$$ - h_{1} \int _{t - h_{1}}^{t} \dot{x}^{T} ( s )R_{1} \dot{x} ( s )\,ds \le - \chi _{1}^{T} ( t )F^{T} \tilde{R}_{1}F\chi _{1} ( t ), $$
(44)

where \(\chi _{1} ( t ) = G_{1}\chi _{0} ( t )\). Substituting \(\chi _{1} ( t ) = G_{1}\chi _{0} ( t )\) into (44), one has

$$ - h_{1} \int _{t - h_{1}}^{t} \dot{x}^{T} ( s )R_{1} \dot{x} ( s )\,ds \le - \chi _{0}^{T} ( t )G_{1} ^{T}F^{T}\tilde{R}_{1}FG_{1} \chi _{0} ( t ). $$
(45)

It is easy to verify that

$$ \int _{t - h_{2}}^{t - h_{1}} \dot{x}^{T} ( s )R_{2} \dot{x} ( s )\,ds = \int _{t - h ( t )}^{t - h _{1}} \dot{x}^{T} ( s )R_{2}\dot{x} ( s )\,ds + \int _{t - h_{2}}^{t - h ( t )} \dot{x}^{T} ( s )R _{2}\dot{x} ( s )\,ds. $$
(46)

Applying Lemmas 56 to the integral term \(- h_{12}\int _{t - h_{2}}^{t - h_{1}} \dot{x}^{T} ( s )R _{2}\dot{x} ( s )\,ds\) in (43), one has

h 12 t h 2 t h 1 x ˙ T (s) R 2 x ˙ (s)ds [ χ 2 ( t ) χ 3 ( t ) ] T [ R ˜ 2 X R ˜ 2 ] [ χ 2 ( t ) χ 3 ( t ) ] ,
(47)

where

$$ \textstyle\begin{cases} \chi _{2} ( t ) = FG_{2}\chi _{0} ( t ), \\ \chi _{3} ( t ) = FG_{3}\chi _{0} ( t ), \end{cases} $$
(48)

which leads to

$$ - h_{12} \int _{t - h_{2}}^{t - h_{1}} \dot{x}^{T} ( s )R _{2}\dot{x} ( s )\,ds \le - \chi _{0}^{T} ( t ) \varGamma ^{T}\varPhi \varGamma \chi _{0} ( t ). $$
(49)

Note

$$ \begin{aligned}[b] &\int _{ - h_{2}}^{ - h_{1}} \int _{t + s}^{t - h_{1}} \dot{x}^{T} ( u )S\dot{x} ( u ) \,du \,ds \\ &\quad \ge \int _{ - h ( t )} ^{ - h_{1}} \int _{t + s}^{t - h_{1}} \dot{x}^{T} ( u )S \dot{x} ( u ) \,du \,ds + \int _{ - h_{2}}^{ - h ( t )} \int _{t + s}^{t - h ( t )} \dot{x}^{T} ( u )S \dot{x} ( u ) \,du \,ds. \end{aligned} $$
(50)

With (23) and (50), one has

$$ - \int _{ - h_{2}}^{ - h_{1}} \int _{t + s}^{t - h_{1}} \dot{x}^{T} ( u )S\dot{x} ( u ) \,du \,ds \le - \chi _{0}^{T} ( t )\varXi _{4}\chi _{0} ( t ). $$
(51)

Thus, with (43)–(51), one can obtain \(\dot{V} ( x_{t}, \dot{x} _{t} ) \le \chi _{0}^{T} ( t )\varOmega ( h ) \chi _{0} ( t )\). This completes the proof of Theorem 2. □

4 Numerical examples

4.1 Example 1

Consider system (31) with the system gain matrices

A= [ 2 0 0 0.9 ] , A d = [ 0 1 0 0 ] , A D = [ 1 0 1 1 ] .

The comparison results are computed by the LMIs toolbox and listed in Table 1. For comparison purpose, the time-delay ranges and numbers of decision variables (NoDv) are shown in Table 1. From Table 1, it can be seen that the larger time-delay range is obtained by employing Theorem 1 compared with [5, 14, 17, 24, 32]. This implies that the larger stability region is obtained in this paper. That is, the proposed method is effective, and the proposed Theorem 1 provides much larger feasible solution region and a limited number of matrix variables.

Table 1 The comparison results of time-delay ranges and NoDv (Example 1)

Remark 4

Different from [5, 14, 17, 24, 32], the new delay-dependent Lyapunov–Krasovskii functional based on the double integral inequalities and Jensen inequalities is introduced, such that the linear system with constant time-delay is asymptotically stable. Moreover, unlike [5, 14, 17, 24, 32], since the Lyapunov–Krasovskii functional includes the triple integral term, the integral term is extended in the augmented vector \(\xi ( t )\). Thus, Theorem 1 is proposed to obtain a tighter lower bound of the double integral term.

4.2 Example 2

Consider system (38) with the system gain matrices

A= [ 1 0 0 1.5 ] , A d = [ 1 0 1 1 ] .

The comparison results are computed by the LMIs toolbox and listed in Tables 23. For comparison purpose, the intervals of lower bounds \(h_{1}\) are chosen as \(h_{1} \in \{ 1.05, 1.10, 1.15, 1.20, 1.25, 1.30, 1.35 \}\) and \(h_{1} \in \{ 1, 2, 3, 4, 5, 6, 7 \}\) for Table 2 and Table 3, respectively. By computing the upper bounds \(h_{2}\) with different \(h_{1}\), the comparison results are shown in Tables 23. From Tables 23, it can be seen that the larger upper bound \(h_{2}\) is obtained by employing Theorem 2 compared with [6, 9, 10, 26, 31], even if the different upper bounds of time derivatives \(\mu = 0.2\) and \(\mu = 0.5\) are considered. This implies that the larger stability region is obtained in this paper. That is, the proposed method is effective, and Theorem 2 has better ability to provide some less conservative conditions and less conservative results.

Table 2 The comparison results of upper bounds \(h_{2}\) with different \(h_{1}\) for \(\mu = 0.2\) (Example 2)
Table 3 The comparison results of upper bounds \(h_{2}\) with different \(h_{1}\) for \(\mu = 0.5\) (Example 2)

Remark 5

Compared with the existing results [6, 9, 10, 26, 31], the proposed Lyapunov functional contains some double integral terms and triple integral terms. The above Lyapunov functional is very effective to reduce the conservatism of the system [10]. This is one reason why Theorem 2 is less conservative than the existing ones. Another reason is that the lower bound \(h_{1}\) and the upper bound \(h_{2}\) of the time-varying delay are presented in the Lyapunov functional by introducing the integral terms \(\int _{t - h_{1}}^{t} x ^{T} ( s )Q_{1} x ( s )\,ds\) and \(\int _{t - h _{2}}^{t - h_{1}} x^{T} ( s ) Q_{2}x ( s )\,ds\).

5 Conclusions

This paper investigates the new stability criteria for the asymptotic stability of time-delay systems via integral inequalities and Jensen inequalities. The known constant time delay \(h > 0\) and unknown time-varying delay \(0 \le h_{1} \le h ( t ) \le h_{2}\) are both considered in the linear system. By introducing the delay-dependent Lyapunov–Krasovskii functional based on the double integral inequalities and Jensen inequalities, the asymptotic stability of the linear system with time-delay is guaranteed and the larger feasible solution region is obtained. By deriving two classes of delay-dependent stability conditions, the control design conditions are relaxed, computation complexity is reduced, and less conservative results are obtained. Finally, some numerical examples are performed to show the effectiveness and advantage of the proposed method. And the proposed method will be extended to the time-varying delay system with some novel Lyapunov–Krasovskii functionals in the future.

References

  1. Chen, H., Zhong, S.: New results on reachable set bounding for linear time delay systems with polytopic uncertainties via novel inequalities. J. Inequal. Appl. 2017, 277 (2017)

    Article  MathSciNet  Google Scholar 

  2. Li, P., Liu, X.Z., Zhao, W.: Finite-gain \(L_{\infty } \) stability from disturbance to output of a class of time delay system. J. Inequal. Appl. 2017, 18 (2017)

    Article  MathSciNet  Google Scholar 

  3. Cui, Y.K., Shen, J., Chen, Y.: Stability analysis for positive singular systems with distributed delays. Automatica 94, 170–177 (2018)

    Article  MathSciNet  Google Scholar 

  4. Zhang, X.M., Han, Q.L., 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 

  5. Chen, W.H., Zheng, W.X.: Delay-dependent robust stabilization for uncertain neutral systems with distributed delays. Automatica 43, 95–104 (2007)

    Article  MathSciNet  Google Scholar 

  6. Shao, H.Y.: New delay-dependent stability criteria for systems with interval delay. Automatica 45, 744–749 (2009)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  8. Shen, J., Lam, J.: \(l_{\infty } /L_{\infty } \) gain analysis for positive linear systems with unbounded time-varying delays. IEEE Trans. Autom. Control 60, 857–862 (2015)

    Article  MathSciNet  Google Scholar 

  9. Fridman, E., Shaked, U., Liu, K.: New conditions for delay-derivative-dependent stability. Automatica 45, 2723–2727 (2009)

    Article  MathSciNet  Google Scholar 

  10. Sun, J., Liu, G.P., Chen, J., Rees, D.: Improved delay-range-dependent stability criteria for linear systems with time-varying delays. Automatica 46, 466–470 (2010)

    Article  MathSciNet  Google Scholar 

  11. Tan, Y.S., Tang, S.Y., Yang, J., Liu, Z.J.: Robust stability analysis of impulsive complex-valued neural networks with time delays and parameter uncertainties. J. Inequal. Appl. 2017, 215 (2017)

    Article  MathSciNet  Google Scholar 

  12. Wu, M., He, Y., She, J.H., Liu, G.P.: Delay-dependent criteria for robust stability of time-varying delay systems. Automatica 40, 1435–1439 (2017)

    Article  MathSciNet  Google Scholar 

  13. Pepe, P., Fridman, E.: On global exponential stability preservation under sampling for globally Lipschitz time-delay systems. Automatica 82, 295–300 (2018)

    Article  MathSciNet  Google Scholar 

  14. Liu, K., Suplin, V., Fridman, E.: Stability of linear systems with general sawtooth delay. IMA J. Math. Control Inf. 27, 419–436 (2010)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  17. Solomon, O., Fridman, E.: New stability conditions for systems with distributed delays. Automatica 49, 3467–3475 (2013)

    Article  MathSciNet  Google Scholar 

  18. Zeng, H.B., He, Y., Wu, M., She, J.H.: New results on stability analysis forsystems with discrete distributed delay. Automatica 60, 189–192 (2016)

    Article  Google Scholar 

  19. Zhang, C.K., He, Y., Jiang, L., Wu, M.: An improved summation inequality to discrete-time systems with time-varying delay. Automatica 74, 10–15 (2017)

    Article  MathSciNet  Google Scholar 

  20. Zhang, C.K., He, Y., Jiang, L., Wu, M.: Stability analysis for delayed neural networks considering both conservativeness and complexity. IEEE Trans. Neural Netw. Learn. Syst. 27, 1486–1501 (2017)

    Article  MathSciNet  Google Scholar 

  21. Liu, Y., Hu, L.S., Shi, P.: A novel approach on stabilization for linear systems with time-varying input delay. Appl. Math. Comput. 218, 5937–5947 (2012)

    MathSciNet  MATH  Google Scholar 

  22. Park, P.G., Lee, W.I., Lee, S.Y.: 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 

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

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  25. Zhang, C.K., He, H., Jiang, L., Wu, M., Zeng, H.B.: Delay-variation-dependent stability of delayed discrete-time systems. IEEE Trans. Autom. Control 61, 2663–2669 (2017)

    Article  MathSciNet  Google Scholar 

  26. Park, P.G., Ko, J.W., Jeong, C.: Reciprocally convex approach to stability of systems with time-varying delays. Automatica 47, 235–238 (2011)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  28. Jaddi, M., Ebadian, A., Sen, M.D.L., Abbaszadeh, S.: An equivalent condition to the Jensen inequality for the generalized Sugeno integral. J. Inequal. Appl. 2017, 285 (2017)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  30. Gu, G., Kharitonov, V.L., Chen, J.: Stability of Time-Delay Systems, Birkhäuser, Basel, pp. 1–28 (2003)

    Book  Google Scholar 

  31. Seuret, A., Gouaisbaut, F., Fridman, E.: Stability of systems with fast-varying delay using improved Wirtinger’s inequality. In: 52nd IEEE Conference on Decision and Control, December 10–13 Florence, Italy, pp. 946–951 (2013)

    Chapter  Google Scholar 

  32. Park, M.J., Kwon, O.M.: Stability of time-delay systems via Wirtinger-based double integral inequality. Automatica 55, 204–208 (2014)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors are grateful to the editor and the anonymous reviewers for their valuable comments and suggestions that have helped improve the presentation of the paper.

Funding

This paper was financially supported by the National Natural Science Foundation of China (Grant No. 61473248; 61773333; 61271142; 61673336) and the Natural Science Foundation of Hebei Province (Grant No. F2016203496).

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final paper.

Corresponding author

Correspondence to Wei Zheng.

Ethics declarations

Competing interests

All the authors declare that there is no conflict of interest regarding the publication of this paper.

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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zheng, W., Wang, H., Sun, F. et al. New stability criteria for asymptotic stability of time-delay systems via integral inequalities and Jensen inequalities. J Inequal Appl 2019, 30 (2019). https://doi.org/10.1186/s13660-019-1984-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-019-1984-z

Keywords