Skip to main content

Theory and Modern Applications

Finite-time stability of linear non-autonomous systems with time-varying delays

Abstract

In this paper, we investigate the problem of finite-time stability (FTS) of linear non-autonomous systems with time-varying delays. By constructing an appropriated function, we derive some explicit conditions in terms of matrix inequalities ensuring that the state trajectories of the system do not exceed a certain threshold over a pre-specified finite time interval. Finally, two examples are given to show the effectiveness of the main results.

1 Introduction

During the past decades, finite time stability (FTS) in linear systems has received considerable attention since it was first introduced in 1960s. FTS is a system property which concerns the quantitative behavior of the state variables over an assigned finite-time interval. A system is FTS if, given a bound on the initial condition, its state trajectories do not exceed a certain threshold during a pre-specified time interval. Hence, FTS enables us to specify quantitative bounds on the state of a linear system and plays an important role in addressing transient performances of the systems. Therefore, in recent years, many interesting results for FTS have been proposed, see [15] for instances. It should be noticed that FTS and Lyapunov asymptotic stability (LAS) are completely independent concepts. Indeed, a system can be FTS but not LAS, and vice versa [68]. Asymptotic stability in dynamical systems implies convergence of the system trajectories to an equilibrium state over the infinite horizon. However, in practice, it is desirable that a dynamical system possesses FTS, that is, its state norm does not exceed a certain threshold in finite time. Furthermore, LAS is concerned with the qualitative behavior of a system and it does not involve quantitative information (e.g., specific estimates of trajectory bounds), whereas FTS involves specific quantitative information.

In the process of investigating linear systems, time delays are frequently encountered [912]. And in hardware implementation, time delays usually cause oscillation, instability, divergence, chaos, or other bad performances of neural networks. In recent years, various interesting results have been obtained for the FTS of linear autonomous systems. For linear time-invariant systems with constant delay, some finite-time stability conditions have been derived in terms of feasible linear matrix inequalities based on the Lyapunov–Krasovskii functional methods [6, 1317]. It is worth noting that non-autonomous phenomena often occur in many realistic systems; for instance, when considering a long-term dynamical behavior of the system, the parameters of the system usually change along with time [1822]. Moreover, stability analysis for non-autonomous systems usually requires specific and quite different tools from the autonomous ones (systems with constant coefficients). To our knowledge, there are a few results concerned with the FTS of non-autonomous systems with time-varying delays. In addition, it should be noted that the conditions for FTS of the time-varying system are usually based on the Lyapunov or Riccati matrix differential equation [7, 23, 24], which leads to indefinite matrix inequalities and lacks effective computational tools to solve them. Therefore, when dealing with the FTS of time-varying systems with delays, an alternative approach is clearly needed, which motivates our present investigation.

In present paper, the problems of FTS are investigated for linear non-autonomous systems with discrete and distributed time-varying delays. By constructing an appropriated function, some sufficient conditions are derived to guarantee the FTS of the addressed linear non-autonomous systems. We do not impose any restriction on the states of the system in this sense, which is better than the results in [25]. The rest of this paper is organized as follows. In Sect. 2, some notations, definitions, and a lemma are given. In Sect. 3, we present the main results. Two examples are provided in Sect. 4 to demonstrate the effectiveness of the proposed criteria. Section 5 shows the summary of this paper.

2 Preliminaries

Notations

Let \(\mathbb{R}\) denote the set of real numbers, \(\mathbb{R}_{+}\) the set of positive numbers, \(\mathbb{R}^{n}\) the n-dimensional real spaces equipped with the norm \(\|x\|_{\infty}=\max_{i\in\underline{n}}|x_{i}|\) and \(\mathbb{R}^{n\times m}\) the \(n\times m\)-dimensional real spaces. I denotes the identity matrix with appropriate dimensions and \(\Lambda=\{1,2,\ldots,n\}\). For any interval \(J\subseteq\mathbb {R}\), set \(S\subseteq\mathbb{R}^{k}\) (\(1\leq k\leq n\)), \(C(J, S) =\{\varphi:J\rightarrow S\mbox{ is continuous}\}\). \(\mathscr{F}=\{\mu:\mathbb{R}_{+}\rightarrow\mathbb{R}_{+}\mbox{ is continuously differentiable}\}\) and \(A\vee B=\max\{A, B\}\) for constants A and B. \(u=(u_{i})\), \(v=(v_{i})\) in \(\mathbb{R}^{n}\), \(u\geq v\) iff \(u_{i}\geq v_{i}\), \(\forall i\in\Lambda\); \(u\gg v\) iff \(u_{i}>v_{i}\), \(i\in\Lambda\).

Consider the following linear non-autonomous system with time-varying delays:

$$ \textstyle\begin{cases} \dot{x}(t)=A(t)x(t)+D(t)x(t-\tau(t))+G(t) \int^{t}_{t-\kappa (t)}x(s)\,ds,\quad t\geq0, \\ x(t)=\phi(t),\quad t\in[-d, 0], \end{cases} $$
(1)

where \(x(t)\in\mathbb{R}^{n}\) is the state; \(A(t)=(a_{ij}(t))\in \mathbb{R}^{n\times n}\), \(D(t)=(d_{ij}(t))\in\mathbb{R}^{n\times n}\), and \(G(t)=(g_{ij}(t))\in\mathbb{R}^{n\times n}\) are the system matrices; \(\tau(t)\) and \(\kappa(t)\) are time-varying delays satisfying \(0\leq\underline{\tau}\leq\tau(t)\leq\bar{\tau}\), \(0\leq\kappa(t)\leq\bar{\kappa}\), \(t\geq0\); \(\phi(t)=(\phi _{i}(t))\in C([-d, 0], \mathbb{R}^{n})\) is the initial condition, where \(d=\bar{\tau}\vee\bar{\kappa}\). Denote \(|\phi_{i}|=\sup_{-d\leq t\leq0}|\phi_{i}(t)|\) and \(\|\phi\|_{\infty}=\max_{i\in\Lambda}|\phi_{i}|\).

Definition 1

(Amato et al. [7])

Assume that \(x(t, \phi )=x(t,0,\phi)\) is the solution of system (1) through \((0,\phi )\). Given three positive constants \(r_{1}\), \(r_{2}\), T with \(r_{1}< r_{2}\), linear non-autonomous system (1) is said to be FTS with respect to \((T, r_{1}, r_{2})\) if

$$ \|\phi\|_{\infty}\leq r_{1} $$

implies that

$$ \bigl\Vert x(t, \phi) \bigr\Vert _{\infty}\leq r_{2}, \quad t\in[0,T]. $$

Definition 2

(Liao et al. [26])

Let \(I:=[0, +\infty)\), \(f(t)\in C(I, \mathbb{R})\). For any \(t\in I\), the following derivative

$$ D^{+}f(t):=\varlimsup_{h\rightarrow0^{+}}\frac {1}{h}\bigl(f(t+h)-f(t)\bigr)=\lim _{h\rightarrow0^{+}}\sup\frac {1}{h}\bigl(f(t+h)-f(t)\bigr) $$

is called right-upper derivative of \(f(t)\).

Let \(A(t)=(a_{ij}(t))\), \(D(t)=(d_{ij}(t))\), and \(G(t)=(g_{ij}(t))\) be given matrices with continuous elements. We make the following assumptions which are usually used for a time-varying system (also see [27]). For given \(T>0\), assume that:

(A1):

\(a_{ii}(t)\leq\bar{a}_{ii}\), \(i\in\Lambda\), \(|a_{ij}(t)|\leq \bar{a}_{ij}\), \(i\neq j\), \(i,j\in\Lambda\), \(t\in[0,T]\).

(A2):

\(|d_{ij}(t)|\leq\bar{d}_{ij}\), \(|g_{ij}(t)|\leq\bar{g}_{ij}\), \(i,j\in\Lambda\), \(t\in[0,T]\).

We denote \(\mathcal{A}=(\bar{a}_{ij})\), \(\mathcal{D}=(\bar{d}_{ij})\), \(\mathcal{G}=(\bar{g}_{ij})\). Next, we recall here some properties of a Metzler matrix. For more details, one can refer to [28]. A matrix \(A=(a_{ij})\) is called a Metzler matrix if \(a_{ij}\leq0\) whenever \(i\neq j\) and all principal minors of A are positive. The following lemma is used in our main results.

Lemma 1

(Hien et al. [29])

Let \(A=(a_{ij})\) be an off-diagonal non-positive matrix, \(a_{ii}>0\), \(i\in\Lambda\). Then the following statements are equivalent:

  1. (i)

    A is a nonsingular M-matrix.

  2. (ii)

    \(\operatorname{Re}\lambda_{k}(A)>0\) for all eigenvalues \(\lambda_{k}(A)\) of A.

  3. (iii)

    There exist a matrix \(B\geq0\) and a scalar \(s>\rho(B)\) such that \(A=sI_{n}-B\), where \(\rho(B)=\max\{|\lambda_{k}(A)|\}\) denotes the spectral radius of B.

  4. (iv)

    There exist a vector \(\xi\in\mathbb{R}^{n}\) and \(\xi\gg0\) such that \(A\xi\gg0\).

  5. (v)

    There exist a vector \(\eta\in\mathbb{R}^{n}\) and \(\eta\gg0\) such that \(A^{T}\eta\gg0\).

3 Main results

We are now in a position to state our main result as follows. In this section, we shall investigate the FTS of the linear non-autonomous system by constructing an appropriated function and using the Metzler matrix method.

Theorem 1

Under assumptions (A1) and (A2), linear non-autonomous system (1) is FTS with respect to \((T, r_{1}, r_{2})\), if there exist three positive scalars \(r_{1}\), \(r_{2} \), and T with \(r_{1}< r_{2}\), a function \(\mu(t)\in\mathscr{F}\), and three constants \(\beta_{i}\), \(i=1,2,3\), satisfying

$$ \begin{aligned} &\bigl(\mu(t)\vee1\bigr)\leq\frac{mr_{2}}{Mr_{1}},\quad t \in [0,T], \\ &\frac{\mu(t-\tau(t))}{\mu(t)}\leq\beta_{1},\qquad \frac{\int ^{t}_{t-\kappa(t)}\mu(s)\,ds}{\mu(t)}\leq \beta_{2}, \qquad \frac{\mu '(t)}{\mu(t)}\geq\beta_{3}. \end{aligned} $$
(2)

Moreover, there exists a vector \(\xi\in\mathbb{R}^{n}\) such that

$$ \mathcal{M}^{0}\xi\ll0, $$
(3)

where \(\mathcal{M}^{0}=\mathcal{A}+\beta_{1}\mathcal{D}+\beta _{2}\mathcal{G}-\beta_{3}I\), \(m=\min_{i\in\Lambda}\xi_{i}\), \(M=\max_{i\in\Lambda}\xi_{i}\).

Proof

If there exists \(\xi\in\mathbb{R}^{n}\) satisfying (3), then we have

$$(\mathcal{A}+\beta_{1}\mathcal{D}+\beta_{2}\mathcal{G}- \beta_{3}I)\xi \ll0, $$

that is,

$$ \sum_{j=1}^{n}(\bar{a}_{ij}+ \beta_{1}\bar{d}_{ij}+\beta_{2}\bar {g}_{ij})\xi_{j}\leq\beta_{3}\xi_{i}, \quad \forall i\in\Lambda. $$
(4)

For convenience, let \(x(t)=x(t,0,\phi)\) be the solution of (1) through \((0,\phi)\). It follows from (1) that

$$\begin{aligned} D^{+} \bigl\vert x_{i}(t) \bigr\vert =&\operatorname{sgn} \bigl(x_{i}(t)\bigr)\dot{x}_{i}(t) \\ \leq& a_{ii}(t) \bigl\vert x_{i}(t) \bigr\vert +\sum _{j=1,j\neq i}^{n} \bigl\vert a_{ij}(t) \bigr\vert \bigl\vert x_{j}(t) \bigr\vert +\sum _{j=1}^{n} \bigl\vert d_{ij}(t) \bigr\vert \bigl\vert x_{j}\bigl(t-\tau(t)\bigr) \bigr\vert \\ &{}+\sum _{j=1}^{n} \bigl\vert g_{ij}(t) \bigr\vert \int^{t}_{t-\kappa(t)} \bigl\vert x_{j}(s) \bigr\vert \,ds \\ \leq& \bar{a}_{ii} \bigl\vert x_{i}(t) \bigr\vert +\sum _{j=1,j\neq i}^{n}\bar{a}_{ij} \bigl\vert x_{j}(t) \bigr\vert +\sum_{j=1}^{n} \bar{d}_{ij} \bigl\vert x_{j}\bigl(t-\tau(t)\bigr) \bigr\vert \\ &{}+\sum_{j=1}^{n}\bar{g}_{ij} \int^{t}_{t-\kappa(t)} \bigl\vert x_{j}(s) \bigr\vert \,ds,\quad \forall t\geq0, i\in\Lambda, \end{aligned}$$
(5)

where \(D^{+}\) denotes the Dini upper-right derivative.

Denote the functions \(V_{i}(t)\), \(i\in\Lambda\), as follows:

$$V_{i}(t)= \textstyle\begin{cases} \frac{1}{m}\|\phi\|_{\infty}\xi_{i}, & t\in[-d, 0), \\ \frac{1}{m}\|\phi\|_{\infty}\xi_{i}(\mu(t)\vee1), &t\in[0, T], \end{cases} $$

we have

$$\begin{aligned}& \bar{a}_{ii}V_{i}(t)+\sum_{j=1,j\neq i}^{n} \bar{a}_{ij}V_{j}(t)+\sum_{j=1}^{n} \bar{d}_{ij}V_{j}\bigl(t-\tau(t)\bigr) +\sum _{j=1}^{n}\bar{g}_{ij} \int ^{t}_{t-\kappa(t)}V_{j}(s)\,ds \\& \quad = \frac{1}{m}\|\phi\|_{\infty}\Biggl(\bar{a}_{ii} \mu(t)\xi_{i}+\sum_{j=1,j\neq i}^{n}\bar{a}_{ij}\mu(t)\xi_{j}+\sum_{j=1}^{n} \bar{d}_{ij}\mu \bigl(t-\tau(t)\bigr)\xi_{j}+\sum _{j=1}^{n}\bar{g}_{ij}\xi_{j} \int^{t}_{t-\kappa (t)}\mu(s)\,ds \Biggr) \\& \quad = \frac{1}{m}\|\phi\|_{\infty}\mu(t) \Biggl(\bar{a}_{ii}\xi_{i}+\sum_{j=1,j\neq i}^{n} \bar{a}_{ij}\xi_{j}+\sum_{j=1}^{n} \bar{d}_{ij}\frac{\mu (t-\tau(t))}{\mu(t)}\xi_{j}+\sum _{j=1}^{n}\bar{g}_{ij}\xi_{j} \frac{\int ^{t}_{t-\kappa(t)}\mu(s)\,ds}{\mu(t)} \Biggr) \\& \quad \leq \frac{1}{m}\|\phi\|_{\infty}\mu(t) \Biggl(\bar{a}_{ii}\xi_{i}+\sum_{j=1,j\neq i}^{n} \bar{a}_{ij}\xi_{j}+\sum_{j=1}^{n} \bar{d}_{ij}\beta_{1}\xi _{j}+\sum _{j=1}^{n}\bar{g}_{ij}\beta_{2} \xi_{j} \Biggr) \\& \quad \leq \frac{1}{m}\|\phi\|_{\infty}\mu(t)\sum _{j=1}^{n} (\bar{a}_{ij}+\beta_{1} \bar{d}_{ij}+\beta_{2}\bar{g}_{ij} )\xi_{j} \\& \quad \leq \frac{1}{m}\|\phi\|_{\infty}\mu(t)\beta_{3} \xi_{i} \\& \quad \leq \frac{1}{m}\|\phi\|_{\infty}\mu(t)\frac{\mu'(t)}{\mu(t)}\xi _{i} \\& \quad = \frac{1}{m}\|\phi\|_{\infty}\mu'(t) \xi_{i},\quad \forall t\in[0, T], i\in\Lambda. \end{aligned}$$
(6)

Thus, it follows from (6) that

$$ \dot{V}_{i}(t)\geq \bar{a}_{ii}V_{i}(t)+\sum _{j=1,j\neq i}^{n}\bar{a}_{ij}V_{j}(t)+ \sum_{j=1}^{n}\bar{d}_{ij}V_{j} \bigl(t-\tau(t)\bigr)+\sum_{j=1}^{n}\bar{g}_{ij} \int^{t}_{t-\kappa(t)}V_{j}(s)\,ds,\quad t\geq0. $$

We claim that

$$\bigl\vert x_{i}(t) \bigr\vert \leq V_{i}(t),\quad \forall t\in[0,T], i\in\Lambda. $$

Let

$$\rho_{i}(t)= \bigl\vert x_{i}(t) \bigr\vert -V_{i}(t),\quad t\geq-d. $$

Then we have

$$\bigl\vert x_{i}(t) \bigr\vert \leq|\phi_{i}|\leq\| \phi\|_{\infty}\leq\frac{1}{m}\xi_{i}\| \phi \|_{\infty}=V_{i}(t),\quad t\in[-d,0], $$

and hence

$$\rho_{i}(t)\leq0,\quad t\in[-d,0], i\in\Lambda. $$

Next, we claim

$$D^{+}\rho_{i}(t)\leq0,\quad t\in[0, T]. $$

If not, assume that there exist an index \(i\in\Lambda\) and \(t_{1}\in(0,T]\) such that

$$\rho_{i}(t_{1})=0, \qquad \rho_{i}(t)>0,\quad t \in(t_{1},t_{1}+\delta), \delta>0 $$

and

$$\rho_{j}(t)\leq0, \quad \forall t\in[-d,t_{1}], j\in \Lambda. $$

Then

$$D^{+}\rho_{i}(t_{1})>0. $$

However, it follows from (5) and (6) that for \(t\in[0,t_{1}]\),

$$\begin{aligned} \begin{aligned} D^{+}\rho_{i}(t)&\leq\bar{a}_{ii}\rho_{i}(t)+\sum _{j=1,j\neq i}^{n}\bar{a}_{ij} \rho_{j}(t)+\sum_{j=1}^{n}\bar{d}_{ij}\rho_{j}\bigl(t-\tau (t)\bigr)+\sum _{j=1}^{n}\bar{g}_{ij} \int^{t}_{t-k(t)}\rho_{j}(s)\,ds \\ &\leq\bar{a}_{ii}\rho_{i}(t), \end{aligned} \end{aligned}$$

therefore,

$$D^{+}\rho_{i}(t_{1})\leq0, $$

which yields a contradiction. This shows that

$$\rho_{i}(t)\leq0,\quad t\in[0, T], i\in\Lambda, $$

thus, we obtain

$$\bigl\vert x_{i}(t) \bigr\vert \leq\frac{1}{m}\|\phi \|_{\infty}\xi_{i}\bigl(\mu(t)\vee1\bigr),\quad t\in [0, T], i\in \Lambda. $$

Consequently,

$$ \bigl\Vert x(t) \bigr\Vert _{\infty}\leq\frac{1}{m}\|\phi \|_{\infty}\|\xi\|_{\infty}\bigl(\mu (t)\vee1\bigr)\leq \frac{M}{m}\|\phi\|_{\infty}\bigl(\mu(t)\vee1\bigr),\quad t\in [0,T]. $$
(7)

If \(\|\phi\|_{\infty}\leq r_{1}\), then it follows from (2) and (7) that

$$\bigl\Vert x(t) \bigr\Vert _{\infty}\leq r_{2},\quad \forall t\in[0,T]. $$

This shows that system (1) is FTS with respect to \((T, r_{1}, r_{2})\). The proof is complete. □

Corollary 1

Under assumptions (A1) and (A2), linear non-autonomous system (1) is FTS with respect to \((T, r_{1}, r_{2})\) if there exist three positive scalars \(r_{1}\), \(r_{2} \), and T with \(r_{1}< r_{2}\), a function \(\mu(t)\) that is monotonous increasing and \(\mu(t)\geq1\), \(t\in[0, T]\), and three constants \(\beta_{i}\), \(i=1,2,3\), satisfying

$$\begin{aligned}& \mu(T)\leq\frac{mr_{2}}{Mr_{1}}, \quad t\in[0,T], \\& \frac{\mu(t-\tau(t))}{\mu(t)}\leq\beta_{1},\qquad \frac{\int ^{t}_{t-\kappa(t)}\mu(s)\,ds}{\mu(t)}\leq \beta_{2}=\bar{\kappa}, \qquad \frac {\mu'(t)}{\mu(t)}\geq\beta_{3}. \end{aligned}$$

Moreover, there exists a vector \(\xi\in\mathbb{R}^{n}\) such that

$$\mathcal{M}^{0}\xi\ll0, $$

where \(\mathcal{M}^{0}=\mathcal{A}+\beta_{1}\mathcal{D}+\bar{\kappa}\mathcal{G}-\beta_{3}I\), \(m=\min_{i\in\Lambda}\xi_{i}\), \(M=\max_{i\in\Lambda}\xi_{i}\).

Corollary 2

Under assumptions (A1) and (A2), linear non-autonomous system (1) is FTS with respect to \((T, r_{1}, r_{2})\), if there exist three positive scalars \(r_{1}\), \(r_{2} \), and T with \(r_{1}< r_{2}\), a function \(\mu(t)\equiv\mu>0\), and three scalars \(\beta_{i}\), \(i=1,2,3\), satisfying

$$\begin{aligned}& \mu\leq\frac{mr_{2}}{Mr_{1}},\quad t\in[0,T], \\& 1\leq\beta_{1},\qquad \kappa(t)\leq\beta_{2}, \qquad \beta_{3}\leq0. \end{aligned}$$

Moreover, there exists a vector \(\xi\in\mathbb{R}^{n}\) such that

$$\mathcal{M}^{0}\xi\ll0,$$

where \(\mathcal{M}^{0}=\mathcal{A}+\beta_{1}\mathcal{D}+\beta _{2}\mathcal{G}-\beta_{3}I\), \(m=\min_{i\in\Lambda}\xi_{i}\), \(M=\max_{i\in\Lambda}\xi_{i}\).

Remark 1

In [25], Hien considered the FTS of system (1) and derived some conditions for exponential estimation. In this paper, we study the FTS of system (1) via the auxiliary function μ, and some new sufficient conditions for FTS, which are different from the results in [25], are derived. In other words, our development result is more general than the result in [25].

4 Example

In this section, we present two numerical examples to illustrate the effectiveness of the proposed results.

Example 1

Consider the following system:

$$ \dot{x}(t)=A(t)x(t)+D(t)x\bigl(t-\tau(t)\bigr)+G(t) \int^{t}_{t-\kappa (t)}x(s)\,ds, \quad t\geq0, $$
(8)

where

$$\begin{aligned}& A(t)= \left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} -4 & |\cos t|\\ \sin^{2}{2t} & -4 \end{array}\displaystyle \right ), \qquad D(t)= \left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} \sin^{2} t & |\cos2\sqrt{t}| \\ 0 & \cos^{2} t \end{array}\displaystyle \right ), \\& G(t)=\left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} |\sin\sqrt{t}| & 0\\ \sin^{2}{3t} & |\cos2t| \end{array}\displaystyle \right ), \end{aligned}$$

and \(\tau(t)=|\sin4t|\), \(\kappa(t)=|\cos t|\).

It is easy to see that (A1) and (A2) hold, and then we have

$$ \mathcal{A}= \left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} -4 & 1\\ 1 & -4 \end{array}\displaystyle \right ),\qquad \mathcal{D}= \left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} 1 & 1 \\ 0 & 1 \end{array}\displaystyle \right ),\qquad \mathcal{G}=\left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} 1 & 0\\ 1 & 1 \end{array}\displaystyle \right ). $$

Let

$$\mu(t)=1+0.01t,\quad t\geq0. $$

Thus, we have

$$\begin{aligned}& \frac{\mu(t-\tau(t))}{\mu(t)} =\frac{1+0.01(t-\tau (t))}{1+0.01t}\leq1, \\& \frac{\int^{t}_{t-\kappa(t)}\mu (s)\,ds}{\mu(t)} =\frac{\int^{t}_{t-\kappa(t)}(1+0.01s)\,ds}{1+0.01t} \leq\frac{(1+0.01t)\kappa(t)}{1+0.01t}= \kappa(t)\leq\bar{\kappa}, \\& \frac{\mu'(t)}{\mu(t)}= \frac{0.01}{1+0.01t}\geq\frac {0.01}{1+0.01T}. \end{aligned}$$

Let

$$\beta_{1}=1,\qquad \beta_{2}=\bar{\kappa},\qquad \beta_{3}=\frac{0.01}{1+0.01T}. $$

It should be noted that system (8) does not satisfy the Lyapunov stability conditions proposed in [27]. More precisely, in this case the matrix \(\mathcal{M}=\mathcal{A}+\mathcal{D}+\bar{\kappa}\mathcal{G}\) is not invertible, and hence it does not satisfy conditions of Theorem 2.5 in [27]. However, \(\mathcal {M}^{0}=\mathcal{M}-\beta_{3}I\) satisfies (3) and the domain of the solution \(\xi\in R^{2}\) of (3) is defined by \(\frac {2}{2+\beta_{3}}\xi_{1}<\xi_{2}<\frac{2+\beta_{3}}{2}\xi_{1}\).

Case I. Let us take \(r_{1}=1\), \(r_{2}=1.25\), and then system (8) is FTS with respect to \((T, r_{1}, r_{2})\) for any finite time \(0< T\leq T_{\mathrm{max}}=25\), and in this case \(\beta_{3}=0.08\). Note that in [25], the maximum value of T is \(T_{\mathrm{max}}=21.3144\). Hence, our result is more general than [25].

Case II. Let us take \(r_{1}=1\), when \(T=21.3144\), we obtain \(\beta _{3}=0.8243\) and \(r_{2}=1.213144\).

It should be mentioned that the simulation in Fig. 1 of Example 1 is FTS with respect to \((T, r_{1}, r_{2})\), but not LAS.

Figure 1
figure 1

Simulation for Example 1 when \((T, r_{1},r_{2})=(21.3144,1,1.213144)\)

Example 2

Consider system (8) with parameters as follows:

$$\begin{aligned}& A(t)= \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} -4 & |\cos t|& |\sin2t|\\ \sin^{2}{3t} & -3 & -2 \\ |\sin4t|&-2&-4 \end{array}\displaystyle \right ),\qquad D(t)= \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} \cos^{2} t &0& |\cos4t| \\ 0 & \cos^{2} 3t &0 \\ \sin^{2}{4t}&0&|\sin5t| \end{array}\displaystyle \right ), \\& G(t)=\left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} |\sin t| &\sin^{2} t&0\\ \sin^{2} 2t&0&0 \\ 0&0&|\sin5t| \end{array}\displaystyle \right ), \end{aligned}$$

and \(\tau(t)=|\cos2t|\), \(\kappa(t)=|\cos3t|\).

It is easy to see that (A1) and (A2) hold, and we have

$$ \mathcal{A}= \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} -4 &1 & 1\\ 1 & -3&-2 \\ 1&-2&-4 \end{array}\displaystyle \right ),\qquad \mathcal{D}= \left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} 1 &0& 1 \\ 0 & 1 &0\\ 1&0&1 \end{array}\displaystyle \right ), \qquad \mathcal{G}=\left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} 1 & 1& 0\\ 1 & 0&0 \\ 0&0&1 \end{array}\displaystyle \right ). $$

Let

$$\mu(t)=0.5+0.05t,\quad t\geq0. $$

Thus, we have

$$\begin{aligned}& \frac{\mu(t-\tau(t))}{\mu(t)} =\frac{0.5+0.05(t-\tau (t))}{0.5+0.05t}\leq1, \\& \frac{\int^{t}_{t-\kappa(t)}\mu (s)\,ds}{\mu(t)} =\frac{\int^{t}_{t-\kappa(t)}(0.5+0.05s)\,ds}{0.5+0.05t} \leq\frac{(0.5+0.05t)\kappa(t)}{0.5+0.05t}= \kappa(t)\leq\bar{\kappa}, \\& \frac{\mu'(t)}{\mu(t)}= \frac{0.05}{0.5+0.05t}\geq\frac {0.05}{0.5+0.05T}. \end{aligned}$$

Let

$$\beta_{1}=1,\qquad \beta_{2}=\bar{\kappa}, \qquad \beta_{3}=\frac{0.05}{0.5+0.05T}. $$

In this case the matrix \(\mathcal{M}=\mathcal{A}+\mathcal{D}+\bar{\kappa}\mathcal{G}\) is not invertible, and hence it does not satisfy conditions of Theorem 2.5 in [27]. However, \(\mathcal {M}^{0}=\mathcal{M}-\beta_{3}I\) satisfies (3) and the domain of the solution \(\xi\in R^{3}\) of (3) is defined by

$$2\xi_{2}+2\xi_{3}< (2+\beta_{3})\xi_{1}, \qquad 2\xi_{1}-2\xi_{3}< (2+\beta_{3}) \xi_{2},\qquad 2\xi_{1}-2\xi_{2}< (2+ \beta_{3})\xi_{3}. $$

Let us take \(r_{1}=1\), \(r_{1}=2.5\), and then system (8) is FTS with respect to \((T, r_{1}, r_{2})\) for any finite time \(0< T\leq T_{\mathrm{max}}=15\), and in this case \(\beta_{3}=0.04\), see Fig. 2.

Figure 2
figure 2

Simulation for Example 2 when \((T, r_{1},r_{2})=(15,1,2.5)\)

5 Conclusion

In the present paper, we have investigated the FTS of a class of non-autonomous systems with time-varying delays. Some new sufficient conditions for FTS have been derived in terms of inequalities for a type of Metzler matrixes. Finally, two examples were provided to show the effectiveness of the proposed method.

References

  1. Stojanovic, S.: Further improvement in delay-dependent finite-time stability criteria for uncertain continuous-time systems with time-varying delays. IET Control Theory Appl. 10, 926–938 (2016)

    Article  MathSciNet  Google Scholar 

  2. Amato, F., Carannante, G., Tommasi, G., Pironti, A.: Input–output finite-time stability of linear systems: necessary and sufficient conditions. IEEE Trans. Autom. Control 57, 3051–3063 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  3. Pang, D., Jiang, W.: Finite-time stability analysis of fractional singular time-delay systems. Adv. Differ. Equ. 2014(1), 259 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  4. Yang, W., Sun, J.: Finite-time stability of quantum systems with impulses. IET Control Theory Appl. 8, 641–646 (2014)

    Article  MathSciNet  Google Scholar 

  5. Kang, W., Zhong, S., Shi, K., Cheng, J.: Finite-time stability for discrete-time system with time-varying delay and nonlinear perturbations. ISA Trans. 60, 67–73 (2016)

    Article  Google Scholar 

  6. Amato, F., Ariola, M., Cosentino, C.: Finite-time stabilization via dynamic output feedback. Automatica 42, 337–342 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  7. Amato, F., Ambrosino, R., Ariola, M., Cosentino, C.: Finite-time stability of linear time-varying systems with jumps. Automatica 45, 1354–1358 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  8. Lin, X., Du, H., Li, S., Zou, Y.: Finite-time boundedness and finite-time \(l_{2}\) gain analysis of discrete-time switched linear systems with average dwell time. J. Franklin Inst. 350, 911–928 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  9. Li, X., Wu, J.: Stability of nonlinear differential systems with state-dependent delayed impulses. Automatica 64, 63–69 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  10. Rakkiyappan, R., Udhayakumar, K., Velmurugan, G., et al.: Stability and Hopf bifurcation analysis of fractional-order complex-valued neural networks with time delays. Adv. Differ. Equ. 2017(1), 225 (2017)

    Article  MathSciNet  Google Scholar 

  11. Li, X., Song, S.: Stabilization of delay systems: delay-dependent impulsive control. IEEE Trans. Autom. Control 62, 406–411 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  12. Li, X., Cao, J.: An impulsive delay inequality involving unbounded time-varying delay and applications. IEEE Trans. Autom. Control 62, 3618–3625 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  13. He, S., Liu, F.: Observer-based finite-time control of time-delayed jump systems. Appl. Math. Comput. 217, 2327–2338 (2010)

    MathSciNet  MATH  Google Scholar 

  14. Xiang, W., Xiao, J., Iqbal, M.: Robust finite-time bounded observer design for a class of uncertain non-linear Markovian jump systems. IMA J. Math. Control Inf. 29, 551–572 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  15. Zhang, Y., Liu, C., Mu, X.: Robust finite-time stabilization of uncertain singular Markovian jump systems. Appl. Math. Model. 36, 5109–5121 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  16. Lin, X., Du, H., Li, S., Zou, Y.: Finite-time boundedness and finite-time \(l_{2}\) gain analysis of discrete-time switched linear systems with average dwell time. J. Franklin Inst. 350, 911–928 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  17. Hou, L., Zong, G., Wu, Y.: Observer-based finite-time exponential \(l_{2}\)-\(l_{\infty}\) control for discrete-time switched delay systems with uncertainties. Trans. Inst. Meas. Control 35, 310–320 (2013)

    Article  Google Scholar 

  18. Stamova, I., Stamov, T., Li, X.: Global exponential stability of a class of impulsive cellular neural networks with supremums. Int. J. Adapt. Control Signal Process. 28(11), 1227–1239 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  19. Li, X., Song, S.: Impulsive control for existence, uniqueness and global stability of periodic solutions of recurrent neural networks with discrete and continuously distributed delays. IEEE Trans. Neural Netw. Learn. Syst. 24, 868–877 (2013)

    Article  Google Scholar 

  20. Wang, X., Jiang, M., Fang, S.: Stability analysis in Lagrange sense for a non-autonomous Cohen–Grossberg neural network with mixed delays. Nonlinear Anal., Theory Methods Appl. 70, 4294–4306 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  21. Li, X., Bohner, M., Wang, C.: Impulsive differential equations: periodic solutions and applications. Automatica 52, 173–178 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  22. Thuan, M., Hien, L., Phat, V.: New results on exponential stabilization of time-varying delay neural networks via Riccati equations. Appl. Math. Comput. 246, 533–545 (2014)

    MathSciNet  MATH  Google Scholar 

  23. Yang, X., Li, X.: Robust finite-time stability of singular nonlinear systems with interval time-varying delay. J. Franklin Inst. 355, 1241–1258 (2018)

    Article  MathSciNet  Google Scholar 

  24. Amato, F., Ariola, M., Cosentino, C.: Finite-time control of discrete-time linear systems: analysis and design conditions. Automatica 46, 919–924 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  25. Hien, L.: An explicit criterion for finite-time stability of linear non-autonomous systems with delays. Appl. Math. Lett. 30, 12–18 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  26. Liao, X., Wang, L., Yu, P.: Stability of Dynamical Systems. Elsevier, Amsterdam (2007)

    Book  MATH  Google Scholar 

  27. Ngoc, P.: On exponential stability of nonlinear differential systems with time-varying delay. Appl. Math. Lett. 25, 1208–1213 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  28. Berman, A., Plemmons, R.: Nonnegative Matrices in the Mathematical Sciences. SIAM, Philadelphia (1987)

    MATH  Google Scholar 

  29. Hien, L., Son, D.: Finite-time stability of a class of non-autonomous neural networks with heterogeneous proportional delays. Appl. Math. Comput. 251, 14–23 (2015)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This work was supported by the National Natural Science Foundation of China (11301308, 61673247), and the Research Fund for Distinguished Young Scholars and Excellent Young Scholars of Shandong Province (JQ201719, ZR2016JL024). The paper has not been presented at any conference.

Author information

Authors and Affiliations

Authors

Contributions

The main idea of this paper was proposed by YX and LX. YX prepared the manuscript initially and performed all the steps of the proofs in this research. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Xiaodi Li.

Ethics declarations

Competing interests

The authors declare that none of the authors have any competing interests in the manuscript.

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

Yang, X., Li, X. Finite-time stability of linear non-autonomous systems with time-varying delays. Adv Differ Equ 2018, 101 (2018). https://doi.org/10.1186/s13662-018-1557-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-018-1557-3

Keywords