Consider the following Lyapunov-Krasovskii functional :
$$\begin{aligned} V(t) = \sum \limits _{i = 1}^6 {V_i (t)} \end{aligned}$$
(3.12)
where
$$\begin{aligned} \begin{array}{l} V_1 (t) = x^T(t)P_1 x(t) + y^T(t)P_2 y(t),\\ V_2 (t) = \int _{t - \tau (t)}^t {x^T(s)P_3 x(s)ds},\\ V_3 (t) = \tau \int _{ - \tau }^0 {\int _{t + \theta }^t {{\dot{x}}^T(s)P_4 {\dot{x}}(s)dsd\theta } } ,\\ V_4 (t) = \int _{t - h}^t {x^T(s)P_5 x(s)ds} + \int _{t - h}^t {y^T(s)P_6 y(s)ds},\\ V_5 (t) = h\int _{ - h}^0 {\int _{t + \theta }^t {{\dot{x}}^T(s)P_7 \dot{x}(s)dsd\theta } } + h\int _{ - h}^0 {\int _{t + \theta }^t {{\dot{y}}^T(s)P_8 {\dot{y}}(s)dsd\theta } },\\ V_6 (t) = \tau \int _{ - \tau (t)}^0 {\int _{t + \theta }^t {{\dot{x}}^T(s)P_9 {\dot{x}}(s)dsd\theta } }.\\ \end{array} \end{aligned}$$
Then take the derivative of
V(
t) along the system (
2.9) ,
$$\begin{aligned} {\dot{V}}_1 (t)= & {} 2x^T(t)P_1 {\dot{x}}(t) + 2y^T(t)P_2 {\dot{y}}(t), \end{aligned}$$
(3.13)
$$\begin{aligned} {\dot{V}}_2 (t)\le & {} x^T(t)P_3 x(t) - (1 - {\bar{\tau }})x^T(t - \tau (t))P_3 x(t - \tau (t)), \end{aligned}$$
(3.14)
$$\begin{aligned} {\dot{V}}_3 (t)= & {} \tau ^2{\dot{x}}^T(t)P_4 {\dot{x}}(t) - \tau \int _{t - \tau }^t {{\dot{x}}^T(s)P_4 {\dot{x}}(s)ds},\nonumber \\\le & {} \tau ^2{\dot{x}}^T(t)P_4 {\dot{x}}(t) - 2x^T(t - \tau (t))P_4 x(t - \tau (t)) + 2x^T(t - \tau (t))P_4 x(t - \tau ) \nonumber \\&-\, x^T(t - \tau )P_4 x(t - \tau ) - x^T(t)P_4 x(t) + 2x^T(t)P_4 x(t - \tau (t)) \end{aligned}$$
(3.15)
$$\begin{aligned} {\dot{V}}_4 (t)= & {} x^T(t)P_5 x(t) - x^T(t - h)P_5 x(t - h) + y^T(t)P_6 y(t) - y^T(t - h)P_6 y(t - h),\nonumber \\ \end{aligned}$$
(3.16)
$$\begin{aligned} {\dot{V}}_5 (t)= & {} h^2{\dot{x}}^T(t)P_7 {\dot{x}}(t) - h\int _{t - h}^t {\dot{x}^T(s)P_7 {\dot{x}}(s)ds} + h^2{\dot{y}}^T(t)P_8 {\dot{x}}(t) \nonumber \\&-\, h\int _{t - h}^t {{\dot{x}}^T(s)P_8 {\dot{x}}(s)ds}\nonumber \\\le & {} h^2{\dot{x}}^T(t)P_7 {\dot{x}}(t) - 2x^T(t - h(t))P_7 x(t - h(t)) + 2x^T(t - h(t))P_7 x(t - h) \nonumber \\&-\, x^T(t - h)P_7 x(t - h)- x^T(t)P_7 x(t) + 2x^T(t)P_7 x(t - h(t)) \nonumber \\&+\,h^2{\dot{y}}^T(t)P_8 {\dot{y}}(t)- 2y^T(t - h(t))P_8 y(t - h(t)) + 2y^T(t -h(t))P_8 y(t - h)\nonumber \\&-\, y^T(t - h)P_8 y(t - h) - y^T(t)P_8 y(t) + 2y^T(t)P_8 y(t - h(t)), \end{aligned}$$
(3.17)
$$\begin{aligned} {\dot{V}}_6 (t)\le & {} \tau ^2{\dot{x}}^T(t)P_9 {\dot{x}}(t) - \tau (1 - \bar{\tau })\int _{t - \tau (t)}^t {{\dot{x}}^T(s)P_9 {\dot{x}}(s)ds}\nonumber \\\le & {} \tau ^2{\dot{x}}^T(t)P_9 {\dot{x}}(t) - (1 - {\bar{\tau }})x^T(t)P_9 x(t) + 2(1 - {\bar{\tau }})x^T(t)P_9 x(t - \tau (t)) \nonumber \\&-\, (1 - {\bar{\tau }})x^T(t - \tau (t))P_9 x(t - \tau (t)). \end{aligned}$$
(3.18)
In addition,
$$\begin{aligned} 0= & {} 2[x^T(t) + {\dot{x}}^T(t)]Q_1 [ - {\dot{x}}(t) + {\dot{x}}(t)] \nonumber \\= & {} 2[x^T(t) + {\dot{x}}^T(t)]Q_1 [ - {\dot{x}}(t) - \varLambda x(t) + y(t) + Kx(t - h(t))] \nonumber \\= & {} - 2x^T(t)Q_1 {\dot{x}}^T(t) - 2x^T(t)Q_1 \varLambda x(t) + 2x^T(t)Q_1 y(t) + 2x^T(t)Q_1 Kx(t - h(t)) \nonumber \\&-\, 2{\dot{x}}^T(t)Q_1 {\dot{x}}(t) - 2{\dot{x}}^T(t)Q_1 \varLambda x(t) + 2\dot{x}^T(t)Q_1 y(t) + 2{\dot{x}}^T(t)Q_1 Kx(t - h(t)).\nonumber \\ \end{aligned}$$
(3.19)
$$\begin{aligned} 0= & {} 2[y^T(t) + {\dot{y}}^T(t)]Q_2 [ - {\dot{y}}(t) + {\dot{y}}(t)]\nonumber \\= & {} 2[y^T(t) + {\dot{y}}^T(t)]Q_2 [ - {\dot{y}}(t) - Ax(t) - By(t) + Cf(x(t)) + Df(x - \tau (t))\nonumber \\&+\, My(t - h(t))]\nonumber \\= & {} - 2y^T(t)Q_2 {\dot{y}}(t) - 2y^T(t)Q_2 Ax(t) - 2y^T(t)Q_2 By(t) + 2y^T(t)Q_2 Cf(x(t)) \nonumber \\&+\, 2y^T(t)Q_2 Df(x(t - \tau (t)) + 2y^T(t)Q_2 My(t - h(t)) \nonumber \\&-\, 2{\dot{y}}^T(t)Q_2 {\dot{y}}(t) - 2{\dot{y}}^T(t)Q_2 Ax(t) - 2\dot{y}^T(t)Q_2 By(t) + 2{\dot{y}}^T(t)Q_2 Cf(x(t)) \nonumber \\&+ \,2{\dot{y}}^T(t)Q_2 Df(x(t - \tau (t)) + 2{\dot{y}}^T(t)Q_2 My(t - h(t)). \end{aligned}$$
(3.20)
$$\begin{aligned} 0\le & {} - [f(x(t)) - L^ - x(t)]^TU_1 [f(x(t)) - L^ + x(t)] \nonumber \\= & {} - f^T(x(t))U_1 f(x(t)) + x^T(t)U_1 (L^ - + L^ + )f(x(t)) - x^T(t)L^ - U_1 L^ + x(t). \end{aligned}$$
(3.21)
$$\begin{aligned} 0\le & {} - [f(x(t - \tau (t))) - L^ - x(t - \tau (t))]^TU_2 [f(x(t - \tau (t))) - L^ + x(t - \tau (t))] \nonumber \\= & {} - f^T(x(t - \tau (t)))U_2 f(x(t - \tau (t))) + x^T(t - \tau (t))U_2 (L^ - + L^ + )f(x(t - \tau (t))) \nonumber \\&-\, x^T(t - \tau (t))L^ - U_2 L^ + x(t - \tau (t)). \end{aligned}$$
(3.22)
Based on (
3.13)–(
3.22), let
$$\begin{aligned} \xi (t)= & {} \left[ x^T(t),{\dot{x}}^T(t), x^T(t - \tau (t)), x^T(t - \tau ), x^T(t - h(t)), x^T(t - h), \right. \nonumber \\&\left. y^T(t), {\dot{y}}^T(t),y^T(t - h(t)), y^T(t - h),f^T(x(t)), f^T(x(t - \tau (t)))\right] ^T \end{aligned}$$
we have
$$\begin{aligned} {\dot{V}}(t) \le \xi ^T(t)\varPi \xi (t). \end{aligned}$$
(3.23)
From (
3.23), it can be seen that
$$\begin{aligned} V(t) - \int _0^t {\xi ^T(s)\varPi \xi (s)} ds \le V(0),\quad t \ge 0. \end{aligned}$$
(3.24)
Moreover,
$$\begin{aligned} \begin{aligned} V(0)&\le [\lambda _{max} (P_1 ) + \tau \lambda _{max} (P_3 ) + \frac{1}{2}\tau ^3\lambda _{max} (P_4 ) + h\lambda _{max} (P_5 ) + \frac{1}{2}h^3\lambda _{max} (P_7 ) \\&\quad + \frac{1}{2}\tau ^3\lambda _{max} (P_9 )]\varPhi ^2 + [\lambda _{max} (P_2 ) + h\lambda _{max} (P_6 ) + \frac{1}{2}h^3\lambda _{max} (P_8 )]\varPsi ^2 \\&< +\infty , \end{aligned} \end{aligned}$$
(3.25)
where
$$\begin{aligned} \varPhi = max\{\mathop {sup}\limits _{t \in [ - {\bar{h}},0]} \left\| {\varphi (t)} \right\| ,\mathop {sup}\limits _{t \in [ - {\bar{h}},0]} \left\| {{\dot{\varphi }}(t)} \right\| \},\\ \varPsi = max\{\mathop {sup}\limits _{t \in [ - h,0]} \left\| {\phi (t)} \right\| ,\mathop {sup}\limits _{t \in [ - h,0]} \left\| {{\dot{\phi }}(t)} \right\| \}. \end{aligned}$$
On the other hand, by the definition of
V(
t), we get
$$\begin{aligned} \begin{aligned} V(t)&\ge x^T(t)P_1 x(t) + y^T(t)P_2 y(t) \\&\ge \lambda _{\min } (P_1 )x^T(t)x(t) + \lambda _{\min } (P_2 )y^T(t)y(t) \\&= \lambda _{\min } (P_1 )\left\| {x(t)} \right\| ^2 + \lambda _{\min } (P_2 )\left\| {y(t)} \right\| ^2 \\&\ge \min \{\lambda _{\min } (P_1 ),\lambda _{\min } (P_2 )\}[\left\| {x(t)} \right\| ^2 + \left\| {y(t)} \right\| ^2]. \end{aligned} \end{aligned}$$
(3.26)
Then, combining (
3.24), (
3.25) and (
3.26), one has
$$\begin{aligned} \left\| {x(t)} \right\| ^2 + \left\| {y(t)} \right\| ^2 \le \frac{V(0)}{\min \{\lambda _{\min } (P_1 ),\lambda _{\min } (P_2 )\}} < + \infty \end{aligned}$$
(3.27)
which demonstrates that the solution of (
2.9) is uniformly bound on
\([0, + \infty )\). Next, we shall prove that
\((\left\| {x(t)} \right\| ,\left\| {y(t)} \right\| ) \rightarrow (0,0)\) as
\(t \rightarrow + \infty \). On the one hand, the boundedness of
\(\left\| {{\dot{x}}(t)} \right\| \) and
\(\left\| {{\dot{y}}(t)} \right\| \) can be deduced from (
2.9) and (
3.27). On the other hand, from (
3.23), we have
$$\begin{aligned} {\dot{V}}(t) \le \xi ^T(t)\varPi \xi (t) \le \lambda _{\min } (\varPi )(x^T(t)x(t) + y^T(t)y(t)) \end{aligned}$$
(3.28)
So,
\(\int _0^t {x^T(s)x(s)} ds < + \infty \) and
\(\int _0^t {y^T(s)y(s)} ds < + \infty \). In view of Lemma
3, we have
\((\left\| {x(t)} \right\| ,\left\| {y(t)} \right\| ) \rightarrow (0,0)\). That is, the equilibrium point of the system (
2.9) is globally asymptotically stable.