Improved results on perturbed T-S fuzzy systems with mixed delays using geometric sequence division related partitioning methods

Abstract

This paper addresses improved stability results for T-S fuzzy systems with mixed delays and nonlinear perturbations. By introducing the geometric sequence division (GSD) method, the discrete delay interval can be separated into multiple subintervals with unequal lengths based on the common ratio α. Meanwhile integral partitioning method is applied to deal with the distributed delay. A Lyapunov-Krasovskii functional (LKF) is newly established with augmented factors and triple integral terms which are constructed by means of the length of every subintervals. In addition, in order to reduce the enlargement when we deal with the estimation of the LKF derivative, a free-matrix-based integral inequality, an extended reciprocal convex combination, and free weight matrices techniques are employed. A stability analysis of the delayed T-S fuzzy systems is presented with much less conservative criteria. At the end numerical examples are given to demonstrate the significant improvements of this proposed design.

1 Introduction

Because complex mathematical modeling in higher order commonly exists in engineering field, nonlinearity is frequently encountered in dynamic systems. The Takagi-Sugeno (T-S) fuzzy model introduced in [1], has recently attracted special attention for stability analysis and control design of complex dynamic systems due to its practical application. This T-S fuzzy based theory can be applied with expected approximation to the complex nonlinear systems. The T-S fuzzy system is commonly given by combining with various membership functions. In fact, the T-S fuzzy model is basically considered as a multi-mode method, where the sub-models can be directly consolidated to analyze the original nonlinear system behavior [2, 3]. Therefore, recently many efforts have been made as regards the stability analysis of the T-S fuzzy systems [4–6].

Time delay often exists in dynamic systems such as chemical reaction processes, communication networks, and biological systems; it is considered as the main source of poor performance and instability [7–9]. Stability analysis of time delayed T-S fuzzy systems has thus been paid special attention to; they are commonly classified into two categories: delay-independent and delay-dependent criteria [10, 11]. As much of information on the delay is concerned, the delay-dependent criteria are quite useful for providing less conservatism [6, 12, 13].

Delay partitioning, alternatively known as a fractionizing method, was first proposed in [14]. It was proved that delay partitioning method can improve the stability conditions significantly. Less conservative results can be obtained as soon as the partition segments get thinner [15, 16].

In the recent decades, distributed delay is researched as a different type of delays for stability analysis in nonlinear dynamic systems which commonly appears in some engineering applications, such as logistics, traffic communication, and biological systems. A number of research works have been carried out to investigate stability problems of systems with distributed delays [17–19]. In [17], Jensen’s inequality and elimination methods were applied to deal with inequalities to improve stability conditions under the effects of distributed delay. Another work was proposed by using an analytic solution to handle the Lyapunov functionals in [18]. Then the necessary and sufficient condition for this distributed delay system is derived by considering a bounded constant delay. Later on, research work on the neutral system in the case of both discrete and distributed delays has been studied [19–21]. However, due to the absence of the distributed delay information in the weighting matrices of the Lyapunov functionals, the proposed work may lead to conservative results. An integral partitioning technique is therefore proposed in [22], which is applied to the construction of a new form of LKF to enhance the feasible region of the distributed delay-dependent conditions. Motivated by this approach, it is expected one may employ this integral partitioning method to solve the stability issues of perturbed T-S fuzzy systems with mixed delays.

In addition, because of the existence of process uncertainties and slowly varying parameters, nonlinear perturbations commonly occur in both current and delayed states [23]. Under this circumstance, previously developed approaches for deterministic systems are rarely employed for the stability analysis under the appearance of nonlinear perturbations.

In this research work, stability criteria are investigated by considering a nonlinear perturbed T-S fuzzy system with the appearance of mixed delays. The main contribution of this paper is described as follows.

• (1) The discrete time delay interval is unequally separated into multiple segments with variable length which is based on the geometric sequence division (GSD) for a common ratio α. As a result, less conservatism is obtained efficiently. In addition, to deal with this distributed delay, integral partitioning method is introduced which is used to build a new form of LKF with double and triple integral forms.

• (2) By employing the free-matrix-based integral inequality, an extended reciprocal convex combination and free weight matrices techniques, the less enlargement of bounding the derivative of the LKF is achieved. The implementation in the Matlab/Simulink is enhanced efficiently.

• (3) Numerical results are given to show that the proposed stability conditions are much less conservative than some of the existing results. Significant stability conditions are derived in this proposed method in the case of T-S fuzzy systems with mixed delays and nonlinear perturbations.

Notations

$\mathbb{R}^{n}$ is the n-dimensional Euclidean space. $P > (\geq)\, 0$ means that the matrix P is positive (semi-positive) definite. $\mathrm{I}_{n}$ ($0_{n}$) is the identity (zero) matrix with n-dimensions; $A^{\mathrm{T}}$ denotes the transpose, and $\operatorname{He}(A)=A+A^{\mathrm{T}}$. The symbol ∗ denotes the elements below the main diagonal of a symmetric block matrix. $\|\bullet\|$ is the Euclidean norm in $\mathbb{R}^{n}$.

2 Problem statements and preliminaries

Considering a nonlinear perturbed T-S fuzzy system with mixed delays, for each $l=1,2,\ldots, r$ (r is the number of the plant rules), the lth rule of this fuzzy model with r plant rules is described as follows.

Rule l: IF $z_{1}(t)$ is $M_{l1}$ and $\cdots z_{p}(t)$ is $M_{lp}$ THEN

$$\begin{aligned}& \dot{x}(t)=A_{l}x(t)+B_{l}x \bigl(t-{\tau(t)} \bigr)+C_{l}f \bigl(x(t),t \bigr) \\& \hphantom{\dot{x}(t)={}}{}+D_{l}f \bigl(x\bigl(t-{\tau(t)}\bigr),t \bigr) +E_{l} \int_{t-d}^{t}x(s) \,\mathrm{d}s , \quad t\geq0, \\& x(t)=\varphi(t), \quad t\in [-\phi,0 ], \end{aligned}$$

(2.1)

where $x(t)\in\mathbb{R}^{n}$ is the state variable, $z_{s}(t)$, $M_{ls}$ ($s=1,2,\ldots,p$) are premise variables and the related fuzzy sets, respectively. $A_{l}$, $B_{l}$, $C_{l}$, $D_{l}$, $E_{l}$ are the real constant matrices with appropriate dimensions. $\tau(t)$ is the time-varying delay. $f (x(t),t )$ and $f (x(t-{\tau(t)}),t )$ are unknown nonlinear perturbations with respect to the current state $x(t)$ and the delayed state $x (t-{\tau(t)} )$. $\varphi (t)\in C ([-\tau_{q}, 0],\mathbb{R}^{n} )$ is the initial function, and $\phi=\max\{\tau_{q},d\}$.

Then the fuzzy model can be inferred to be

$$\begin{aligned}& \dot{x}(t) =\sum_{l=1}^{r} h_{l}(t) \biggl[A_{l}x(t)+B_{l}x \bigl(t-{\tau (t)} \bigr)+C_{l}f \bigl(x(t),t \bigr) \\& \hphantom{\dot{x}(t) ={}}{}+D_{l}f \bigl(x \bigl(t-{\tau (t)}\bigr),t \bigr)+E_{l} \int_{t-d}^{t}x(s) \,\mathrm{d}s \biggr] \\& \hphantom{\dot{x}(t)}=A(t)x(t)+B(t)x \bigl(t-{\tau(t)} \bigr)+C(t)f \bigl(x(t),t \bigr) \\& \hphantom{\dot{x}(t) ={}}{}+D(t)f \bigl(x\bigl(t-{\tau(t)}\bigr),t \bigr)+E(t) \int_{t-d}^{t}x(s) \,\mathrm{d}s,\quad t\geq0, \\& x(t) =\varphi(t),\quad t\in [-\phi,0 ], \end{aligned}$$

(2.2)

where r is the number of fuzzy implications, $h_{l}(t)=\frac{W_{l}(t)}{\sum_{l=1}^{r}{W_{l}(t)}}$, $W_{l}(t)=\prod_{s=1}^{p}M_{ls} (z_{s}(t) )$ with $M_{ls} (z_{s}(t) )$ is the grade of membership of $z_{s}(t)$ in $M_{ls}$. $A(t)=\sum_{l=1}^{r} h_{l}(t)A_{l}$, $B(t)=\sum_{l=1}^{r} h_{l}(t)B_{l}$, $C(t)=\sum_{l=1}^{r} h_{l}(t)C_{l}$, $D(t)=\sum_{l=1}^{r} h_{l}(t)D_{l}$, $E(t)=\sum_{l=1}^{r} h_{l}(t)E_{l}$. For $W_{l}(t)\geq0$, $h_{l}(t)\geq0$ and $\sum_{l=1}^{r} h_{l}(t)=1$ thus holds.

The time-varying delay $\tau(t)$ is considered as

$$ 0\leq\tau_{0}\leq\tau(t)\leq\tau_{q},\qquad \dot{\tau}(t)< \mu,\quad \forall t\geq0, $$

(2.3)

where $\tau_{0}$, $\tau_{q}$, μ are constants.

Assumption 1

$f(0,t)\equiv0$ and

$$ f^{\mathrm{T}}f\leq x^{\mathrm{T}}(t)F^{\mathrm{T}}Fx(t), $$

(2.4)

where F is for known constant matrices, $\forall x\in\mathbb {R}^{n}$, and f is short for the expressions of $f (x(t),t )$.

A few lemmas are used for stability analysis as follows.

Lemma 1

[24, 25]

For the $n\times n$ matrix $Q>0$, the scalar $\tau>0$, the vector-valued function $\dot{x}: [-\tau,0 ]\longrightarrow \mathbb{R}^{n}$ such that the following integrations are well defined:

$$\begin{aligned}& -\tau \int_{t-\tau}^{t}\dot{x}^{\mathrm{T}}(s)Q\dot{x}(s) \, \mathrm{d}s\leq \bigl[\textstyle\begin{array}{@{}c@{\quad}c@{}} x^{\mathrm{T}}(t) & x^{\mathrm{T}}(t-\tau) \end{array}\displaystyle \bigr] \begin{bmatrix} -Q & Q \\ \ast& -Q \end{bmatrix} \begin{bmatrix} x(t) \\ x(t-\tau) \end{bmatrix}, \end{aligned}$$

(2.5)

$$\begin{aligned}& -\frac{\tau^{2}}{2} \int_{-\tau}^{0} \int_{t+\theta}^{t}\dot {x}^{\mathrm{T}}(s)Q\dot{x}(s) \, \mathrm{d}s\,\mathrm{d}\theta \\& \quad \leq \Bigl[\textstyle\begin{array}{@{}c@{\quad}c@{}} \tau x^{\mathrm{T}}(t) & \int_{t-\tau}^{t} x^{\mathrm{T}}(s) \,\mathrm{d}s \end{array}\displaystyle \Bigr] \begin{bmatrix} -Q & Q \\ \ast& -Q \end{bmatrix} \begin{bmatrix} \tau x(t) \\ \int_{t-\tau}^{t} x(s) \,\mathrm{d}s \end{bmatrix} . \end{aligned}$$

(2.6)

Lemma 2

Free-matrix-based integral inequality [26]

Let x be a differentiable function: $[a,b]\rightarrow\mathbb{R}^{n}$, $Z\in\mathbb{R}^{n\times n}$ and $W_{1},W_{3}\in\mathbb{R}^{3n\times 3n}$ be symmetric matrices, and $W_{2}\in\mathbb{R}^{3n\times3n}$, $N_{1},N_{2}\in\mathbb{R}^{3n\times n}$ satisfying this condition:

$$ \begin{bmatrix} W_{1} & W_{2} & N_{1} \\ \ast& W_{3} & N_{2} \\ \ast& \ast& Z \end{bmatrix} \geq0, $$

we have

$$ - \int_{a}^{b}\dot{x}^{\mathrm{T}}(s)Z\dot{x}(s) \, \mathrm{d}s\leq \varpi^{\mathrm{T}}\Omega\varpi, $$

(2.7)

where $\varpi= [{x}^{\mathrm{T}}(b) \ {x}^{\mathrm{T}}(a)\ \frac{1}{b-a}\int _{a}^{b}x^{\mathrm{T}}(s) \,\mathrm{d}s] ^{\mathrm{T}}$, $\Omega=(b-a) (W_{1}+\frac{1}{3}W_{3} )+\operatorname{He}(N_{1}\Lambda_{1}+N_{2}\Lambda_{2})$, $\Lambda_{1}=\bar{e}_{1}-\bar{e}_{2}$, $\Lambda_{2}=2\bar{e}_{3}-\bar{e}_{1}-\bar{e}_{2}$, $\bar {e}_{1}=[ I \ 0 \ 0 ]$, $\bar{e}_{2}= [0 \ I \ 0]$, $\bar{e}_{3}= [0 \ 0 \ I]$.

Lemma 3

Extended reciprocal convex combination (RCC) [16]

For any vectors $f_{1},\ldots,f_{N}$ with appropriate dimensions, scalars $k_{i}(t)\in[0,1]$, $\sum_{i=1}^{N} k_{i}(t)=1$, and matrices $R_{i}>0$, there exists a matrix $S_{ij}$ ($i=1,\ldots, N-1$, $j=i+1,\ldots,N$) that satisfies

$$ \begin{bmatrix} R_{i} &S_{ij} \\ \ast& R_{j} \end{bmatrix} \geq0; $$

then the following inequality holds:

$$ -\sum_{i=1}^{N} \frac{1}{k_{i}(t)}f_{i}^{\mathrm{T}}R_{i}f_{i} \leq - \begin{bmatrix} f_{1} \\ \vdots\\ f_{N} \end{bmatrix} ^{\mathrm{T}} \begin{bmatrix} R_{1} & \cdots& S_{1,N} \\ \ast& \ddots& \vdots\\ \ast& \ast& R_{N} \end{bmatrix} \begin{bmatrix} f_{1} \\ \vdots\\ f_{N} \end{bmatrix}. $$

Proof

For $N=2$, the following inequality always holds:

$$ \begin{bmatrix} \sqrt{\frac{k_{2}(t)}{k_{1}(t)}}f_{1} \\ -\sqrt{\frac{k_{1}(t)}{k_{2}(t)}}f_{2} \end{bmatrix} ^{\mathrm{T}} \begin{bmatrix} R_{1} &S_{12} \\ \ast& R_{2} \end{bmatrix} \begin{bmatrix} \sqrt{\frac{k_{2}(t)}{k_{1}(t)}}f_{1} \\ -\sqrt{\frac{k_{1}(t)}{k_{2}(t)}}f_{2} \end{bmatrix} \geq0. $$

Because $k_{1}(t)+k_{2}(t)=1$, then it is deduced that

$$\begin{aligned} \frac{1}{k_{1}(t)}f_{1}^{\mathrm{T}}R_{1}f_{1}+ \frac{1}{k_{2}(t)}f_{2}^{\mathrm {T}}R_{2}f_{2} =& \frac{1}{k_{1}(t)}f_{1}^{\mathrm{T}} \bigl(k_{1}(t)+k_{2}(t) \bigr)R_{1}f_{1}+\frac{1}{k_{2}(t)}f_{2}^{\mathrm{T}} \bigl(k_{1}(t)+k_{2}(t) \bigr)R_{2}f_{2} \\ =&f_{1}^{\mathrm{T}}R_{1}f_{1}+ \frac{k_{2}(t)}{k_{1}(t)}f_{1}^{\mathrm {T}}R_{1}f_{1}+f_{2}^{\mathrm{T}}R_{2}f_{2}+ \frac{k_{1}(t)}{k_{2}(t)}f_{2}^{\mathrm {T}}R_{2}f_{2} \\ \geq& f_{1}^{\mathrm{T}}R_{1}f_{1}+f_{2}^{\mathrm{T}}R_{2}f_{2}+f_{1}^{\mathrm {T}}S_{12}f_{2}+f_{2}^{\mathrm{T}}S_{12}f_{1} \\ =& \begin{bmatrix} f_{1} \\ f_{2} \end{bmatrix} ^{\mathrm{T}} \begin{bmatrix} R_{1} & S_{1,2} \\ \ast& R_{2} \end{bmatrix} \begin{bmatrix} f_{1} \\ f_{2} \end{bmatrix}. \end{aligned}$$

In the case of $i=N$, the proof procedures are similar and omitted. □

Lemma 4

Finsler’s lemma [27]

Let $\zeta\in\mathbb{R}^{n}$, $\Phi=\Phi^{\mathrm{T}}\in\mathbb {R}^{n\times n}$, and $B\in\mathbb{R}^{m\times n}$ with $\operatorname{rank}(B)< n$. The following statements are equivalent:

• (i) $\zeta^{\mathrm{T}}\Phi\zeta<0$, $\forall B\zeta=0$, $\zeta\neq0$;

• (ii) ${B^{\perp}}^{\mathrm{T}}\Phi B^{\perp}<0$;

• (iii) $\exists\mathcal{L}\in\mathbb{R}^{n\times m}$: $\Phi+\operatorname{He}(\mathcal{L}B)<0$;

where ${B^{\perp}}\in\mathbb{R}^{n\times(n-\operatorname{rank}(B))}$ is the right orthogonal complement of B.

3 Main results

Based on the geometric sequence division method, a new delay partitioning approach is proposed in Figure 1. The stability criteria of T-S fuzzy system in the presences of mixed delays and nonlinear perturbations are analyzed in this section. For any integral $q\geq1$, the delay interval $[\tau_{0}, \tau_{q}]$ is separated into q unequal geometric subintervals by

$$ \left \{ \textstyle\begin{array}{l} \delta_{i}=\alpha^{q-i+1}, \\ \tau_{i}=\tau_{0}+\sum_{a=1}^{i}\alpha^{q-a+1}, \quad i=1,2,\ldots,q, \end{array}\displaystyle \right . $$

(3.1)

where q is the number of segments of interval $[\tau_{0}, \tau_{q}]$. It is expressed as $[\tau_{0}, \tau_{q}]= [\tau_{0}, \tau_{1} ]\bigcup_{i=2}^{q} (\tau_{i-1}, \tau _{i} ]\triangleq I_{1}\cup I_{2}\cup\cdots\cup I_{q}$. α is a real positive number, and $\delta_{i}$ is the length of the ith subinterval which equals $\alpha^{q-i+1}$.

Figure 1

GSD based delay partitioning.

In addition, using the integral partitioning method proposed in [22], the distributed delay $[0, d]$ is divided into L equivalent segments as $\rho=\frac{d}{L}$. ρ is the length of the subinterval of the distributed delay.

The following expressions are used for notational simplification:

$$ e_{j}= \bigl[ \underbrace{0_{n},\ldots,0_{n}}_{j-1}, \mathrm{I}_{n} , \underbrace{0_{n},\ldots ,0_{n}}_{3q+L-j+7} \bigr] ^{\mathrm{T}} \in\mathbb{R}^{ (3q+L+7)n\times n} ,\quad j=1,2, \ldots,3q+L+7. $$

(3.2)

The augmented vector is defined by

$$\begin{aligned} \xi(t) =&\biggl[\dot{x}^{\mathrm{T}}(t), x^{\mathrm{T}}(t), x^{\mathrm {T}}(t-\tau_{0}), \sigma^{\mathrm{T}}(t) , x^{\mathrm{T}} \bigl(t-\tau(t) \bigr), \sigma^{\mathrm{T}}_{1}(t), \sigma^{\mathrm{T}}_{2}(t), \sigma^{\mathrm{T}}_{3}(t), \\ & \int_{t-(L+1)\rho}^{t-L\rho}x^{\mathrm{T}}(s)\,\mathrm{d}s, f^{\mathrm{T}}\bigl(x(t)\bigr), f^{\mathrm{T}} \bigl(x\bigl(t-\tau(t)\bigr) \bigr)\biggr]^{\mathrm{T}}, \end{aligned}$$

(3.3)

where

$$\begin{aligned}& \sigma(t)= \bigl[ x^{\mathrm{T}} (t-\tau_{1} ), \ldots, x^{\mathrm{T}} (t-\tau_{q} ) \bigr] ^{\mathrm{T}}, \\& \sigma_{1}(t)= \biggl[ \int_{t-\tau_{0}}^{t}x^{\mathrm{T}}(s)\,\mathrm{d}s, \ldots, \int_{t-\tau_{q-1}}^{t}x^{\mathrm{T}}(s)\,\mathrm{d}s \biggr] ^{\mathrm{T}}, \\& \sigma_{2}(t)= \biggl[\frac{1}{\delta_{1}}\int_{t-\tau_{1}}^{t-\tau _{0}}x^{\mathrm{T}}(s)\,\mathrm{d}s, \ldots,\frac{1}{\delta_{q}}\int _{t-\tau_{q}}^{t-\tau_{q-1}}x^{\mathrm{T}}(s)\,\mathrm{d}s \biggr] ^{\mathrm{T}}, \\& \sigma_{3}(t)= \biggl[\int_{t-\rho}^{t}x^{\mathrm{T}}(s)\,\mathrm{d}s , \int_{t-2\rho}^{t-\rho}x^{\mathrm{T}}(s)\,\mathrm{d}s, \ldots, \int_{t-L\rho}^{t-(L-1)\rho}x^{\mathrm{T}}(s)\,\mathrm{d}s \biggr] ^{\mathrm{T}}. \end{aligned}$$

Next, the new delay-dependent stability criteria are presented for the T-S fuzzy system in the presence of mixed delays and nonlinear perturbations described in (2.2).

Theorem 1

Given a positive integer q, L, and $\delta_{i}=\alpha^{q-i+1}$. The system (2.2) is asymptotically stable if there exist symmetric positive definite matrices $Z_{i}, \mathcal{Z}_{3}, Q_{i}, R_{2i}, R_{3i}, R_{4} \in\mathbb{R}^{n\times n}$ ($i=1,2, \ldots, q$), $\widetilde{Q}\in\mathbb{R}^{2n\times2n}$, $\mathcal{P}= [P_{ij} ]_{(q+1)\times(q+1)}\in\mathbb {R}^{(q+1)n\times(q+1)n}$, $\mathcal{Q}= [\mathcal{Q}_{ij} ]_{L\times L}\in\mathbb{R}^{Ln\times Ln}$, symmetric matrices $W_{1}, W_{3} \in\mathbb{R}^{3n\times3n}$, and $J\in\mathbb{R}^{n\times n}$, matrices $W_{2} \in\mathbb{R}^{3n\times3n}$, $N_{1},N_{2} \in\mathbb{R}^{3n\times n}$, $\widehat{N}_{1}, \widehat{N}_{2}, \widehat{N}_{3} \in\mathbb {R}^{n\times n}$ and $\mathcal{Y}\in\mathbb{R}^{(3q+L+7)n\times n}$, such that the following LMIs hold:

$$\begin{aligned}& W_{i}= \begin{bmatrix} W_{1} & W_{2} & N_{1} \\ \ast& W_{3} & N_{2} \\ \ast& \ast& Z_{i} \end{bmatrix} \geq0, \end{aligned}$$

(3.4)

$$\begin{aligned}& \Xi_{k,l}+\operatorname{He}(\mathcal{Y} \Gamma_{l})< 0,\quad l=1,2, \ldots, r, k=1,2,\ldots, q, \end{aligned}$$

(3.5)

where

$$\begin{aligned}& \Gamma_{l}=A_{l}e^{\mathrm{T}}_{2}+B_{l}e^{\mathrm{T}}_{q+4}+C_{l}e^{\mathrm {T}}_{3q+L+6}+D_{l}e^{\mathrm{T}}_{3q+L+7}+E_{l} \sum_{j=1}^{L}e^{\mathrm {T}}_{3q+4+j}-e^{\mathrm{T}}_{1} , \\& \Xi_{k,l}=\Xi_{1}+\Xi_{2}+\Xi_{3k}+ \Xi_{4}+\Xi_{l,5}+\Xi _{6}+e_{1} \mathcal{Z}e_{1}^{\mathrm{T}}, \\& \Xi_{1}=\operatorname{He} \left\{ \begin{bmatrix} e^{\mathrm{T}}_{2} \\ e^{\mathrm{T}}_{2q+5}\\ \vdots\\ e^{\mathrm{T}}_{3q+4} \end{bmatrix} ^{\mathrm{T}} \mathcal{P} \begin{bmatrix} e^{\mathrm{T}}_{1} \\ \frac{1}{\delta_{1}} (e^{\mathrm{T}}_{3}-e^{\mathrm{T}}_{4} )\\ \vdots\\ \frac{1}{\delta_{q}} (e^{\mathrm{T}}_{q+2}-e^{\mathrm {T}}_{q+3} ) \end{bmatrix} \right\}, \\& \Xi_{2}= \begin{bmatrix} e^{\mathrm{T}}_{2} \\ e^{\mathrm{T}}_{3q+L+6} \end{bmatrix} ^{\mathrm{T}} \widetilde{Q} \begin{bmatrix} e^{\mathrm{T}}_{2} \\ e^{\mathrm{T}}_{3q+L+6} \end{bmatrix} -(1-\mu) \begin{bmatrix} e^{\mathrm{T}}_{q+4} \\ e^{\mathrm{T}}_{3q+L+7} \end{bmatrix} ^{\mathrm{T}} \widetilde{Q} \begin{bmatrix} e^{\mathrm{T}}_{q+4} \\ e^{\mathrm{T}}_{3q+L+7} \end{bmatrix} \\& \hphantom{\Xi_{2}={}}{}+\sum_{i=1}^{q} \bigl(x^{\mathrm{T}}(t-\tau_{i-1})Q_{i}x(t-\tau _{i-1})-x^{\mathrm{T}}(t-\tau_{i})Q_{i}x(t- \tau_{i}) \bigr) \\& \hphantom{\Xi_{2}={}}{} + \begin{bmatrix} e^{\mathrm{T}}_{3q+5} \\ e^{\mathrm{T}}_{3q+6} \\ \vdots\\ e^{\mathrm{T}}_{3q+L+4} \end{bmatrix} ^{\mathrm{T}} \mathcal{Q} \begin{bmatrix} e^{\mathrm{T}}_{3q+5} \\ e^{\mathrm{T}}_{3q+6} \\ \vdots\\ e^{\mathrm{T}}_{3q+L+4} \end{bmatrix} - \begin{bmatrix} e^{\mathrm{T}}_{3q+6} \\ e^{\mathrm{T}}_{3q+7} \\ \vdots\\ e^{\mathrm{T}}_{3q+L+5} \end{bmatrix} ^{\mathrm{T}} \mathcal{Q} \begin{bmatrix} e^{\mathrm{T}}_{3q+6} \\ e^{\mathrm{T}}_{3q+7} \\ \vdots\\ e^{\mathrm{T}}_{3q+L+5} \end{bmatrix}, \\& \Xi_{3k}=\sum_{i=1,i\neq k}^{q} \begin{bmatrix} e^{\mathrm{T}}_{i+2} \\ e^{\mathrm{T}}_{i+3} \\ e^{\mathrm{T}}_{2q+4+i} \end{bmatrix} ^{\mathrm{T}} \Omega_{3} \begin{bmatrix} e^{\mathrm{T}}_{i+2} \\ e^{\mathrm{T}}_{i+3} \\ e^{\mathrm{T}}_{2q+4+i} \end{bmatrix} \\& \hphantom{\Xi_{3k}={}}{}+ \begin{bmatrix} e^{\mathrm{T}}_{k+2} \\ e^{\mathrm{T}}_{q+4} \\ e^{\mathrm{T}}_{k+3} \end{bmatrix} ^{\mathrm{T}} \begin{bmatrix} -Z_{k} & Z_{k}-J & J \\ \ast& -2Z_{k}+J^{\mathrm{T}}+J & Z_{k}-J \\ \ast& \ast& -Z_{k} \end{bmatrix} \begin{bmatrix} e^{\mathrm{T}}_{k+2} \\ e^{\mathrm{T}}_{q+4} \\ e^{\mathrm{T}}_{k+3} \end{bmatrix} \\& \hphantom{\Xi_{3k}={}}{}-e_{3q+5}\frac{1}{\rho}\mathcal{Z}_{3}e^{\mathrm{T}}_{3q+5}+e_{2} \rho \mathcal{Z}_{3}e^{\mathrm{T}}_{2}, \\& \Xi_{4}=\sum_{i=1}^{q} \begin{bmatrix} \tau_{i-1}e^{\mathrm{T}}_{2} \\ e^{\mathrm{T}}_{q+4+i} \end{bmatrix} ^{\mathrm{T}} \begin{bmatrix} -R_{2i} &R_{2i}\\ \ast& -R_{2i} \end{bmatrix} \begin{bmatrix} \tau_{i-1}e^{\mathrm{T}}_{2} \\ e^{\mathrm{T}}_{q+4+i} \end{bmatrix} \\& \hphantom{\Xi_{4}={}}{}+ \sum_{i=1}^{q}\delta^{2}_{i} \begin{bmatrix} e^{\mathrm{T}}_{2} \\ e^{\mathrm{T}}_{2q+4+i} \end{bmatrix} ^{\mathrm{T}} \begin{bmatrix} -R_{3i} &R_{3i} \\ \ast& -R_{3i} \end{bmatrix} \begin{bmatrix} e^{\mathrm{T}}_{2} \\ e^{\mathrm{T}}_{2q+4+i} \end{bmatrix} \\& \hphantom{\Xi_{4}={}}{}+ \begin{bmatrix} \rho e^{\mathrm{T}}_{2} \\ e^{\mathrm{T}}_{3q+5} \end{bmatrix} ^{\mathrm{T}} \begin{bmatrix} -R_{4} & R_{4} \\ \ast& -R_{4} \end{bmatrix} \begin{bmatrix} \rho e^{\mathrm{T}}_{2} \\ e^{\mathrm{T}}_{3q+5} \end{bmatrix}, \\& \Xi_{l,5}= \begin{bmatrix} e^{\mathrm{T}}_{1} \\ e^{\mathrm{T}}_{2}\\ e^{\mathrm{T}}_{q+4}\\ e^{\mathrm{T}}_{3q+L+6} \\ e^{\mathrm{T}}_{3q+L+7} \\ \sum_{j=1}^{L}e^{\mathrm{T}}_{3q+4+j} \end{bmatrix} ^{\mathrm{T}} \\& \hphantom{\Xi_{l,5}={}}{}\times \begin{bmatrix} -\widehat{N}_{1}-\widehat{N}_{1}^{\mathrm{T}} & \widehat {N}_{1}A_{l}-\widehat{N}_{2}^{\mathrm{T}}& \widehat{N}_{1}B_{l}& \widehat {N}_{1}C_{l}-\widehat{N}_{3}^{\mathrm{T}}& \widehat{N}_{1}D_{l} & \widehat {N}_{1}E_{l}\\ \ast& \widehat{N}_{2}A_{l}+A_{l}^{\mathrm{T}}\widehat{N}_{2}^{\mathrm{T}} & \widehat{N}_{2}B_{l}& \widehat{N}_{2}C_{l}+B_{l}^{\mathrm{T}}\widehat {N}_{3}^{\mathrm{T}}& \widehat{N}_{2}D_{l} & \widehat{N}_{2}E_{l} \\ \ast& \ast&0 & C_{l}^{\mathrm{T}}\widehat{N}_{3}^{\mathrm{T}}&0 &0 \\ \ast& \ast&\ast& \widehat{N}_{3}C_{l}+C_{l}^{\mathrm{T}}\widehat {N}_{3}^{\mathrm{T}} & \widehat{N}_{3}D_{l} &\widehat{N}_{3}E_{l} \\ \ast& \ast&\ast&\ast& 0&0 \\ \ast& \ast& \ast&\ast&\ast&0 \end{bmatrix} \\& \hphantom{\Xi_{l,5}={}}{}\times \begin{bmatrix} e^{\mathrm{T}}_{1} \\ e^{\mathrm{T}}_{2}\\ e^{\mathrm{T}}_{q+4}\\ e^{\mathrm{T}}_{3q+L+6} \\ e^{\mathrm{T}}_{3q+L+7} \\ \sum_{j=1}^{L}e^{\mathrm{T}}_{3q+4+j} \end{bmatrix}, \\& \Xi_{6}=e_{2}\lambda F^{\mathrm{T}}Fe_{2}^{\mathrm{T}}-e_{3q+L+6} \lambda \mathrm{I}e^{\mathrm{T}}_{3q+L+6} , \end{aligned}$$

with

$$\begin{aligned}& \mathcal{Z}=\sum_{i=1}^{q} \delta_{i}\alpha^{q-i+1}Z_{i} +\sum _{i=1}^{q}\frac{1}{4}\tau^{4}_{i-1}R_{2i}+ \sum_{i=1}^{q}\frac {1}{4}\bigl( \tau^{2}_{i}-\tau^{2}_{i-1} \bigr)^{2}R_{3i}+\frac{\rho^{4}}{4}R_{4}, \\& \Omega_{3}=\delta^{2}_{i} \biggl(W_{1}+ \frac{1}{3}W_{3} \biggr)+\delta _{i} \operatorname{He}(N_{1}\Lambda_{1}+N_{2} \Lambda_{2}). \end{aligned}$$

Proof

For any $t\geq0$, there should exist an integer $k\in \{ 1,2,\ldots, q \}$, such that $\tau(t)\in I_{k}$. The new Lyapunov-Krasovskii functional is as follows:

$$ V (x_{t},k )|_{\tau(t)\in I_{k}}=V_{1}(x_{t})+V_{2}(x_{t})+V_{3}(x_{t},k)+V_{4}(x_{t}), $$

(3.6)

where

$$\begin{aligned}& V_{1}(x_{t})=\epsilon^{\mathrm{T}}(t)\mathcal{P}\epsilon (t), \\& V_{2}(x_{t})= \int_{t-\tau(t)}^{t} \begin{bmatrix} x(s) \\ f(x(s)) \end{bmatrix} ^{\mathrm{T}} \widetilde{Q} \begin{bmatrix} x(s) \\ f(x(s)) \end{bmatrix} \,\mathrm{d}s \\& \hphantom{V_{2}(x_{t})={}}{}+\sum_{i=1}^{q} \int_{t-\tau_{i}}^{t-\tau_{i-1}}x^{\mathrm {T}}(t)Q_{i}x(t) \,\mathrm{d}s + \int_{t-\rho}^{t}\eta^{\mathrm{T}}_{3}(s) \mathcal{Q}\eta _{3}(s)\,\mathrm{d}s, \\& V_{3}(x_{t},k)=\sum_{i=1}^{q} \delta_{i} \int_{-\tau_{i}}^{-\tau_{i-1}} \int_{t+\beta}^{t}\dot{x}^{\mathrm {T}}(s)Z_{i} \dot{x}(s) \,\mathrm{d}s \,\mathrm{d}\beta+ \int_{-\rho }^{0} \int_{t+\theta}^{t}x^{\mathrm{T}}(s)\mathcal{Z}_{3}x(s) \,\mathrm{d}s \,\mathrm{d}\theta, \\& V_{4}(x_{t})=\sum_{i=1}^{q} \frac{\tau_{i-1}^{2}}{2} \int_{-\tau_{i-1}}^{0} \int_{\theta}^{0} \int_{t+\lambda}^{t}\dot{x}^{\mathrm {T}}(s)R_{2i} \dot{x}(s) \,\mathrm{d}s \,\mathrm{d}\lambda\,\mathrm{d}\theta \\& \hphantom{V_{4}(x_{t})={}}{}+ \sum _{i=1}^{q}\frac{\tau_{i}^{2}-\tau_{i-1}^{2}}{2} \int_{-\tau _{i}}^{-\tau_{i-1}} \int_{\theta}^{0} \int_{t+\lambda}^{t}\dot{x}^{\mathrm{T}}(s)R_{3i} \dot{x}(s) \,\mathrm{d}s \,\mathrm{d}\lambda \,\mathrm{d}\theta \\& \hphantom{V_{4}(x_{t})={}}{}+\frac{\rho^{2}}{2} \int_{-\rho}^{0} \int_{\theta}^{0} \int _{t+\lambda}^{t}\dot{x}^{\mathrm{T}}(s)R_{4} \dot{x}(s) \,\mathrm{d}s \,\mathrm{d}\lambda \,\mathrm{d}\theta \end{aligned}$$

with $\epsilon(t)= [x^{\mathrm{T}}(t), \sigma_{2}^{\mathrm{T}}(t)] ^{\mathrm{T}}$.

The derivative of the Lyapunov functional $V (x_{t},k )| _{\tau(t)\in I_{k}}$ along the trajectory of the T-S fuzzy system shown in (2.2) is given by

$$ \dot{V} (x_{t},k )|_{\tau(t)\in I_{k}}=\dot {V}_{1}(x_{t})+\dot{V}_{2}(x_{t})+ \dot{V}_{3}(x_{t},k)+\dot{V}_{4}(x_{t}), $$

(3.7)

where

$$\begin{aligned}& \dot{V}_{1}(x_{t})=2\epsilon^{\mathrm{T}}(t) \mathcal{P}\dot{\epsilon }(t)=\xi^{\mathrm{T}}(t)\Xi_{1}\xi(t), \end{aligned}$$

(3.8)

$$\begin{aligned}& \dot{V}_{2}(x_{t})\leq \begin{bmatrix} x(t) \\ f(x(t)) \end{bmatrix} ^{\mathrm{T}} \widetilde{Q} \begin{bmatrix} x(t) \\ f(x(t)) \end{bmatrix} -(1-\mu) \begin{bmatrix} x(t-\tau(t)) \\ f(x(t-\tau(t))) \end{bmatrix} ^{\mathrm{T}} \widetilde{Q} \begin{bmatrix} x(t-\tau(t)) \\ f(x(t-\tau(t))) \end{bmatrix} \\& \hphantom{\dot{V}_{2}(x_{t})\leq{}}{}+\sum_{i=1}^{q} \bigl(x^{\mathrm{T}}(t-\tau_{i-1})Q_{i}x(t-\tau _{i-1})-x^{\mathrm{T}}(t-\tau_{i})Q_{i}x(t- \tau_{i}) \bigr) \\& \hphantom{\dot{V}_{2}(x_{t})\leq{}}{}+\eta^{\mathrm{T}}_{3}(t)\mathcal{Q} \eta_{3}(t)-\eta^{\mathrm {T}}_{3}(t-\rho)\mathcal{Q} \eta_{3}(t-\rho) \\& \hphantom{\dot{V}_{2}(x_{t})}=\xi^{\mathrm{T}}(t)\Xi_{2}\xi(t), \end{aligned}$$

(3.9)

$$\begin{aligned}& \dot{V}_{3}(x_{t})=\dot{x}^{\mathrm{T}}(t) \Biggl(\sum _{i=1}^{q}\delta _{i} \alpha^{q-i+1}Z_{i} \Biggr)\dot{x}(t)- \sum _{i=1}^{q}\delta_{i} \int_{t-\tau_{i}}^{t-\tau_{i-1}}\dot{x}^{\mathrm{T}}(s)Z_{i} \dot {x}(s) \,\mathrm{d}s \\& \hphantom{\dot{V}_{3}(x_{t})={}}{}+x^{\mathrm{T}}(t)\rho\mathcal{Z}_{3}x(t)- \int_{t-\rho }^{t}x^{\mathrm{T}}(s)\mathcal{Z}_{3}x(s) \,\mathrm{d}s, \end{aligned}$$

(3.10)

$\tau(t)\in I_{k}$ ($1\leq k\leq q$), the second term in (3.10) is derived as follows:

$$\begin{aligned}& -\sum_{i=1}^{q} \delta_{i} \int_{t-\tau_{i}}^{t-\tau_{i-1}}\dot{x}^{\mathrm{T}}(s)Z_{i} \dot {x}(s) \,\mathrm{d}s \\& \quad =-\sum_{i=1,i\neq k}^{q} \delta_{i} \int_{t-\tau_{i}}^{t-\tau_{i-1}}\dot{x}^{\mathrm{T}}(s)Z_{i} \dot {x}(s) \,\mathrm{d}s -\delta_{k} \int_{t-\tau_{k}}^{t-\tau_{k-1}}\dot{x}^{\mathrm {T}}(s)Z_{k} \dot{x}(s) \,\mathrm{d}s. \end{aligned}$$

(3.11)

Using Lemma 2 to deal with (3.11), we have

$$ -\sum_{i=1,i\neq k}^{q} \delta_{i} \int_{t-\tau_{i}}^{t-\tau_{i-1}}\dot {x}^{\mathrm{T}}(s)Z_{i} \dot{x}(s) \,\mathrm{d}s \leq\sum_{i=1,i\neq k}^{q} \varpi^{\mathrm{T}}_{3i}(t)\Omega_{3}\varpi_{3i}(t), $$

(3.12)

where $\varpi_{3i}(t)=[ {x}^{\mathrm{T}}(t-\tau_{i-1})\ {x}^{\mathrm{T}}(t-\tau_{i})\ \frac {1}{\delta_{i}}\int_{t-\tau_{i}}^{t-\tau_{i-1}}x^{\mathrm{T}}(s) \,\mathrm{d}s ] ^{\mathrm{T}}$.

In the case of $i=k$, applying Jensen’s inequality and the extended RCC in Lemma 3, it is given by

$$\begin{aligned}& - (\tau_{k}-\tau_{k-1} ) \int_{t-\tau_{k}}^{t-\tau _{k-1}}\dot{x}^{\mathrm{T}}(s)Z_{k} \dot{x}(s) \,\mathrm{d}s \\& \quad = - (\tau_{k}-\tau_{k-1} ) \biggl( \int_{t-\tau(t)}^{t-\tau _{k-1}}\dot{x}^{\mathrm{T}}(s)Z_{k} \dot{x}(s) \,\mathrm{d}s + \int_{t-\tau_{k}}^{t-\tau(t)}\dot{x}^{\mathrm{T}}(s)Z_{k} \dot{x}(s) \,\mathrm{d}s \biggr) \\& \quad \leq-\frac{ (\tau_{k}-\tau_{k-1} )}{ (\tau(t)-\tau _{k-1} )} \biggl( \int_{t-\tau(t)}^{t-\tau_{k-1}}\dot {x}^{\mathrm{T}}(s) \,\mathrm{d}s \biggr)Z_{k} \biggl( \int_{t-\tau(t)}^{t-\tau_{k-1}}\dot{x}(s) \,\mathrm{d}s \biggr) \\& \qquad {} -\frac{ (\tau_{k}-\tau_{k-1} )}{ (\tau_{k}-\tau (t) )} \biggl( \int_{t-\tau_{k}}^{t-\tau(t)}\dot{x}^{\mathrm {T}}(s) \, \mathrm{d}s \biggr)Z_{k} \biggl( \int_{t-\tau_{k}}^{t-\tau (t)}\dot{x}(s) \,\mathrm{d}s \biggr) \\& \quad =-\frac{ (\tau_{k}-\tau_{k-1} )}{ (\tau(t)-\tau _{k-1} )} \begin{bmatrix} x(t-\tau_{k-1}) \\ x(t-\tau(t)) \end{bmatrix} ^{\mathrm{T}} \begin{bmatrix} Z_{k} & -Z_{k} \\ \ast&Z_{k} \end{bmatrix} \begin{bmatrix} x(t-\tau_{k-1}) \\ x(t-\tau(t)) \end{bmatrix} \\& \qquad {}-\frac{ (\tau_{k}-\tau_{k-1} )}{ (\tau_{k}-\tau (t) )} \begin{bmatrix} x(t-\tau(t)) \\ x(t-\tau_{k}) \end{bmatrix} ^{\mathrm{T}} \begin{bmatrix} Z_{k} & -Z_{k} \\ \ast& Z_{k} \end{bmatrix} \begin{bmatrix} x(t-\tau(t)) \\ x(t-\tau_{k}) \end{bmatrix} \\& \quad \leq -\eta^{\mathrm{T}}_{0}(t) \begin{bmatrix} Z_{k} & -Z_{k}+J & -J \\ \ast& 2Z_{k}-J^{\mathrm{T}}-J & -Z_{k}+J \\ \ast& \ast& Z_{k} \end{bmatrix} \eta_{0}(t), \end{aligned}$$

(3.13)

where $\sigma_{0}(t)=[ x^{\mathrm{T}}(t-\tau_{k-1})\ x^{\mathrm{T}}(t-\tau(t)) \ x^{\mathrm {T}}(t-\tau_{k}) ] ^{\mathrm{T}}$.

Using Jensen’s inequality, the last term of (3.10) is deduced:

$$ - \int_{t-\rho}^{t}x^{\mathrm{T}}(s)\mathcal{Z}_{3}x(s) \,\mathrm{d}s\leq-\frac{1}{\rho} \biggl( \int_{t-\rho}^{t}x(s)^{\mathrm{T}} \,\mathrm{d}s \biggr) \mathcal{Z}_{3} \biggl( \int_{t-\rho}^{t}x(s) \,\mathrm{d}s \biggr). $$

(3.14)

It follows from (3.10)-(3.14) that

$$\begin{aligned}& -\sum_{i=1}^{q} \delta_{i} \int_{t-\tau_{i}}^{t-\tau_{i-1}}\dot{x}^{\mathrm{T}}(s)Z_{i} \dot {x}(s) \,\mathrm{d}s +x^{\mathrm{T}}(t)\rho\mathcal{Z}_{3}x(t)- \int _{t-\rho}^{t}x^{\mathrm{T}}(s)\mathcal{Z}_{3}x(s) \,\mathrm{d}s \\& \quad \leq \xi^{\mathrm{T}}(t)\Xi_{3k}\xi(t). \end{aligned}$$

(3.15)

The derivative of $V_{4}(x_{t})$ is presented as

$$\begin{aligned} \dot{V}_{4}(x_{t}) =&\dot{x}^{\mathrm{T}}(t) \Biggl(\sum_{i=1}^{q}\frac {1}{4} \tau^{4}_{i-1}R_{2i}+\sum _{i=1}^{q}\frac{1}{4}\bigl( \tau^{2}_{i}-\tau ^{2}_{i-1} \bigr)^{2}R_{3i} \Biggr)\dot{x}(t) \\ &{}- \sum _{i=1}^{q}\frac{\tau_{i-1}^{2}}{2} \int_{-\tau_{i-1}}^{0} \int_{t+\theta}^{t}\dot{x}^{\mathrm{T}}(s)R_{2i} \dot{x}(s) \,\mathrm{d}s \,\mathrm{d}\theta \\ &{}-\sum_{i=1}^{q}\frac{\tau_{i}^{2}-\tau_{i-1}^{2}}{2} \int_{-\tau _{i}}^{-\tau_{i-1}} \int_{t+\theta}^{t}\dot{x}^{\mathrm{T}}(s)R_{3i} \dot{x}(s) \,\mathrm{d}s \,\mathrm{d}\theta \\ &{}-\frac{\rho^{2}}{2} \int_{-\rho}^{0} \int_{t+\theta}^{t}\dot{x}^{\mathrm{T}}(s)R_{4} \dot{x}(s) \,\mathrm{d}s \,\mathrm{d}\theta. \end{aligned}$$

(3.16)

By applying Lemma 1, the last three terms of (3.16) are derived as

$$\begin{aligned}& -\sum_{i=1}^{q} \frac{\tau_{i-1}^{2}}{2} \int_{-\tau_{i-1}}^{0} \int_{t+\theta}^{t}\dot{x}^{\mathrm{T}}(s)R_{2i} \dot{x}(s) \,\mathrm{d}s \,\mathrm{d}\theta \\& \quad \leq \sum_{i=1}^{q} \begin{bmatrix} \tau_{i-1}x(t) \\ \int_{t-\tau_{i-1}}^{t}x(s) \,\mathrm{d}s \end{bmatrix} ^{\mathrm{T}} \begin{bmatrix} -R_{2i} & R_{2i} \\ \ast& -R_{2i} \end{bmatrix} \begin{bmatrix} \tau_{i-1}x(t) \\ \int_{t-\tau_{i-1}}^{t}x(s) \,\mathrm{d}s \end{bmatrix} \\& \qquad {}-\sum_{i=1}^{q}\frac{\tau_{i}^{2}-\tau_{i-1}^{2}}{2} \int_{-\tau _{i}}^{-\tau_{i-1}} \int_{t+\theta}^{t}\dot{x}^{\mathrm{T}}(s)R_{3i} \dot{x}(s) \,\mathrm{d}s \,\mathrm{d}\theta \\& \quad \leq \sum_{i=1}^{q} \begin{bmatrix} (\tau_{i}-\tau_{i-1})x(t) \\ \int_{t-\tau_{i}}^{t-\tau_{i-1}}x(s) \,\mathrm{d}s \end{bmatrix} ^{\mathrm{T}} \begin{bmatrix} -R_{3i} & R_{3i} \\ \ast& -R_{3i} \end{bmatrix} \begin{bmatrix} (\tau_{i}-\tau_{i-1})x(t) \\ \int_{t-\tau_{i}}^{t-\tau_{i-1}}x(s) \,\mathrm{d}s \end{bmatrix} \\& \quad = \sum_{i=1}^{q}( \tau_{i}-\tau_{i-1})^{2} \begin{bmatrix} x(t) \\ \frac{1}{\delta_{i}}\int_{t-\tau_{i}}^{t-\tau_{i-1}}x(s) \,\mathrm{d}s \end{bmatrix} ^{\mathrm{T}} \begin{bmatrix} -R_{3i} & R_{3i} \\ \ast& -R_{3i} \end{bmatrix} \begin{bmatrix} x(t) \\ \frac{1}{\delta_{i}}\int_{t-\tau_{i}}^{t-\tau_{i-1}}x(s) \,\mathrm{d}s \end{bmatrix} \\& \qquad {}-\frac{\rho^{2}}{2} \int_{-\rho}^{0} \int_{t+\theta}^{t}\dot{x}^{\mathrm{T}}(s)R_{4} \dot{x}(s) \,\mathrm{d}s \,\mathrm{d}\theta \\& \quad \leq \begin{bmatrix} \rho x(t) \\ \int_{t-\rho}^{t}x(s) \,\mathrm{d}s \end{bmatrix} ^{\mathrm{T}} \begin{bmatrix} -R_{4} & R_{4} \\ \ast& -R_{4} \end{bmatrix} \begin{bmatrix} \rho x(t) \\ \int_{t-\rho}^{t}x(s) \,\mathrm{d}s \end{bmatrix}. \end{aligned}$$

(3.17)

Thus (3.16) implies that

$$ \dot{V}_{4}(x_{t})\leq\dot{x}^{\mathrm{T}}(t) \Biggl(\sum_{i=1}^{q}\frac{1}{4} \tau^{4}_{i-1}R_{2i} +\sum _{i=1}^{q}\frac{1}{4}\bigl( \tau^{2}_{i}-\tau^{2}_{i-1} \bigr)^{2}R_{3i}+\frac {\rho^{4}}{4}R_{4} \Biggr) \dot{x}(t) +\xi^{\mathrm{T}}(t)\Xi_{4}\xi(t). $$

(3.18)

According to the system in (2.1), with $\widehat{N}_{1}$, $\widehat{N}_{2}$ and $\widehat{N}_{3}$ are defined as $\widehat {N}_{1}=\sum_{l=1}^{r}h_{l}(t)\widehat{N}_{1l}$, $\widehat{N}_{2}=\sum_{l=1}^{r}h_{l}(t)\widehat{N}_{2l}$, and $\widehat{N}_{3}=\sum_{l=1}^{r}h_{l}(t)\widehat{N}_{3l}$; $\widehat{N}_{1l}$, $\widehat {N}_{2l}$, $\widehat{N}_{3l}$ are constant matrices. Then it is given as

$$\begin{aligned} 0 =&2 \bigl[\dot{x}^{\mathrm{T}}(t)\widehat{N}_{1}+x^{\mathrm {T}}(t) \widehat{N}_{2} +f^{\mathrm{T}} \bigl(x(t),t \bigr) \widehat{N}_{3} \bigr] \\ &{}\times \biggl[A_{l}x(t)+B_{l}x \bigl(t-{\tau(t)} \bigr)+C_{l}f \bigl(x(t),t \bigr) \\ &{}+D_{l}f \bigl(x\bigl(t-{ \tau(t)}\bigr),t \bigr) +E_{l} \int_{t-d}^{t}x(s) \,\mathrm{d}s-\dot{x}(t) \biggr] \\ =&\xi^{\mathrm{T}}(t)\Xi_{l,5}\xi(t). \end{aligned}$$

(3.19)

Referring to (2.4), for any scalars $\lambda\geq0$, the nonlinear perturbations can be derived as

$$ 0\leq\lambda \bigl( x^{\mathrm{T}}(t)F^{\mathrm{T}}Fx(t)-f^{\mathrm {T}}f \bigr)=\xi^{\mathrm{T}}(t)\Xi_{6}\xi(t). $$

(3.20)

Hence, the following inequality holds:

$$ \dot{V} (x_{t},k )|_{\tau(t)\in I_{k}}\leq\sum _{l=1}^{r} h_{l}(t)\xi^{\mathrm{T}}(t) \Xi_{k,l}\xi(t). $$

(3.21)

Using the augmented vector (3.3) with the simplification equation (3.2), the T-S fuzzy system (2.2) is represented as

$$ 0=\sum_{l=1}^{r}h_{l}(t) \Gamma_{l}\xi(t), $$

(3.22)

where $\Gamma_{l}$ is defined in Theorem 1.

Therefore, the asymptotic stability condition for the T-S fuzzy system (2.2) with mixed delays and nonlinear perturbations is expressed as

$$ \begin{aligned} &\sum_{l=1}^{r}h_{l}(t) \xi^{\mathrm{T}}(t)\Xi_{k,l}\xi(t)< 0 \\ &\quad \mbox{subject to: } 0=\sum_{i=1}^{r}h_{l}(t) \Gamma_{l}\xi(t). \end{aligned} $$

(3.23)

So, in terms of Lemma 4, there exists a matrix $\mathcal {Y}$ with appropriate dimensions such that (3.23) is equivalent to

$$ \sum_{l=1}^{r}h_{l}(t) \xi^{\mathrm{T}}(t) \bigl[\Xi_{k,l}+\operatorname{He}(\mathcal{Y} \Gamma_{l}) \bigr]\xi(t)< 0. $$

(3.24)

As a result, the derivative of the proposed Lyapunov functionals is derived as $\dot{V} (x_{t},k )|_{\tau(t)\in I_{k}}<0$. It means $\dot{V} (x_{t},k )|_{\tau(t)\in I_{k}}<\gamma\| x(t)\|^{2}$ for sufficiently small $\gamma>0$. Therefore, the T-S fuzzy system in (2.2) is globally asymptotically stable. This completes the proof. □

Remark 1

For the absence of a perturbation, that is, $C(t)=0$, $D(t)=0$, and $E(t)=0$, the T-S fuzzy system (2.2) is simplified as

$$ \begin{aligned} &\dot{x}(t)=A(t)x(t)+B(t)x \bigl(t-{ \tau(t)} \bigr) ,\quad t\geq0, \\ &x(t)=\varphi(t),\quad t\in [-\tau_{q},0 ]. \end{aligned} $$

(3.25)

This system has been widely researched [15, 28, 29]. The stability conditions for the system are presented below.

Theorem 2

Given a positive integer q, and $\delta_{i}=\alpha^{q-i+1}$. The system (3.25) is asymptotically stable if there exist symmetric positive definite matrices $Z_{i}, Q_{i}, R_{2i}, R_{3i},\widetilde{Q} \in\mathbb{R}^{n\times n}$ ($i=1,2\ldots, q$), $\mathcal{P}= [P_{ij} ]_{(q+1)\times(q+1)}\in\mathbb {R}^{(q+1)n\times(q+1)n}$, symmetric matrices $W_{1}, W_{3} \in\mathbb {R}^{3n\times3n}$, and $J\in\mathbb{R}^{n\times n}$, matrices $W_{2} \in\mathbb{R}^{3n\times3n}$, $N_{1},N_{2} \in\mathbb{R}^{3n\times n}$, $\widehat{N}_{1}, \widehat{N}_{2}\in\mathbb{R}^{n\times n}$ and $\mathcal{Y}\in\mathbb{R}^{(3q+4)n\times n}$, such that the following LMIs hold:

$$\begin{aligned}& \begin{bmatrix} W_{1} & W_{2} & N_{1} \\ \ast& W_{3} & N_{2} \\ \ast& \ast& Z_{i} \end{bmatrix} \geq0, \end{aligned}$$

(3.26)

$$\begin{aligned}& \widetilde{\Xi}_{k,l}+\operatorname{He}(\mathcal{Y} \Gamma_{l})< 0,\quad l=1,2,\ldots, r, k=1,2,\ldots, q, \end{aligned}$$

(3.27)

where $\Gamma_{l}=A_{l}e^{\mathrm{T}}_{2}+B_{l}e^{\mathrm {T}}_{q+4}-e^{\mathrm{T}}_{1}$.

By ignoring all the distributed delay and nonlinear perturbation related elements in Theorem  1, we find $\widetilde{\Xi}_{k,l}=\Xi_{1}+\widetilde{\Xi}_{2}+\widetilde{\Xi}_{3k} +\widetilde{\Xi}_{4}+\widetilde{\Xi}_{l,5}+e_{1}\widetilde{\mathcal {Z}}e_{1}^{\mathrm{T}}$, where $\widetilde{\Xi}_{2}$, $\widetilde{\Xi}_{3k}$, $\widetilde{\Xi }_{4}$, $\widetilde{\Xi}_{l,5}$, and $\widetilde{\mathcal{Z}}$ are amended by removing all the distributed delay related elements based on the definition in Theorem  1. Also $\widetilde{\Xi}_{l,5}$ are deduced by removing the perturbed elements $C_{l}f (x(t),t )$ and $D_{l}f (x(t-{\tau(t)}),t )$ in (3.19).

Proof

The Lyapunov-Krasovskii functional (3.6) is modified for system (3.25) for stability analysis. The augment vector (3.3) is modified as

$$ \widetilde{\xi}(t)=\bigl[ \dot{x}^{\mathrm{T}}(t), x^{\mathrm{T}}(t), x^{\mathrm{T}}(t-\tau_{0}), \sigma^{\mathrm{T}}(t) ,x^{\mathrm{T}} (t-\tau(t) ),\sigma_{1}^{\mathrm{T}}(t) ,\sigma_{2}^{\mathrm{T}}(t) \bigr] ^{\mathrm{T}}, $$

(3.28)

where $\sigma(t)$, $\sigma_{1}(t)$ and $\sigma_{2}(t)$ are defined in Theorem 1. Then following similar procedures to the proof of Theorem 1, the asymptotic stability condition for the T-S system (3.25) is equivalent to

$$ \sum_{l=1}^{r}h_{l}(t) \widetilde{\xi}^{\mathrm{T}}(t) \bigl[\widetilde{\Xi}_{k}+ \operatorname{He}(\mathcal{Y}\Gamma_{l}) \bigr]\widetilde{\xi}(t)< 0. $$

(3.29)

This completes the proof. □

Remark 2

Consider a fixed value of the common ratio α, i.e., the lengths of the subintervals are equal to each other. The existing research results using the equivalent partition method [15, 30, 31] can be considered as a special case of this proposed approach. So, the developed partitioning method is more general.

4 Numerical example

Numerical examples are conducted in this section, to investigate the stability of the T-S fuzzy system by considering the mixed delays and nonlinear perturbations.

Example 4.1

Consider the nominal T-S fuzzy systems (3.25) with the fuzzy rules described in [4, 5, 32] as follows:

$$ \begin{aligned} & \text{Rule 1:}\quad \text{If } z_{1}(t) \text{ is }\pm\pi/2 , \text{then } \dot {x}(t)=A_{1}x(t)+B_{1}x \bigl(t-\tau(t) \bigr) , \\ & \text{Rule 2:}\quad \text{If } z_{2}(t) \text{ is } \pm0 , \text{then } \dot {x}(t)=A_{2}x(t)+B_{2}x \bigl(t-\tau(t) \bigr), \end{aligned} $$

(4.1)

where the parameters widely discussed are given by

$$\begin{aligned}& A_{1}= \begin{bmatrix} -2.1 & 0.1 \\ -0.2 & -0.9 \end{bmatrix} , \qquad B_{1}= \begin{bmatrix} -1.1 & 0.1 \\ -0.2 & -0.9 \end{bmatrix} , \\& A_{2}= \begin{bmatrix} -1.9 & 0 \\ -0.2 & -1.1 \end{bmatrix} ,\qquad B_{2}= \begin{bmatrix} -0.9 & 0 \\ -1.1 & -1.2 \end{bmatrix} . \end{aligned}$$

In Rules 1 and 2, the membership function are $h_{1}(z(t))=\frac {1}{1+\exp (-2z(t) )}$, $h_{2}(z(t))=1-h_{1}(z(t))$.

Considering the lower bound $\tau_{0}=0$, different values of the delay derivative rate μ are selected to compare the upper bound of $h_{N}$ with some previous results in Table 1.

Table 1 Upper bounds of $\pmb{\tau_{q}}$ for $\pmb{\tau_{0}=0}$ and different values of μ

In Table 1, considering different values of μ, the comparisons of the maximum upper bounds $\tau_{q}$ are given for $\tau _{0}=0$. Remarkable improvements of this proposed partitioning method have been illustrated.

By means of the simulation results in Table 1, selecting $\mu=0$, $\tau_{q}=5.75$ and $\mu=0.5$, $\tau_{q}=4.17$ the state response of the T-S fuzzy system (4.1) is shown in Figure 2.

Figure 2

The state response of system ( 4.1 ).

Figure 2 displays the state response performance under the maximum tolerant delay $\tau_{q}$ shown in Table 1; the nominal T-S fuzzy system (4.1) is asymptotically stable.

Regarding the results of Example 4.1, by comparing with recent results in [5, 33, 34], one illustrates that the derived stability condition can increase the upper bound of the interval time-varying delay in T-S fuzzy system as given in Table 1. Figure 2 is presented to show that the system state response performs well based on the obtained results.

Example 4.2

Consider the T-S fuzzy systems (2.2) with mixed delays in the presence of nonlinear perturbations with the fuzzy rules as follows:

$$\begin{aligned} \text{Rule 1:}\quad &\text{If } z_{1}(t)\text{ is }\pm\pi/2 , \\ &\quad \text{then } \dot{x}(t)=A_{1}x(t)+B_{1}x \bigl(t- \tau(t) \bigr)+C_{1}f \bigl(x(t),t \bigr) \\ &\hphantom{\quad \text{then } \dot{x}(t)={}}{}+D_{1}f \bigl(x \bigl(t-{\tau(t)}\bigr),t \bigr)+E_{1} \int_{t-d}^{t}x(s) \,\mathrm{d}s , \\ \text{Rule 2:}\quad &\text{If } z_{2}(t)\text{ is }\pm0 , \\ &\quad \text{then } \dot{x}(t)=A_{2}x(t)+B_{2}x \bigl(t- \tau(t) \bigr)+C_{2}f \bigl(x(t),t \bigr) \\ &\hphantom{\quad \text{then } \dot{x}(t)={}}{}+D_{2}f \bigl(x \bigl(t-{\tau(t)}\bigr),t \bigr)+E_{2} \int_{t-d}^{t}x(s) \,\mathrm{d}s. \end{aligned}$$

(4.2)

Referring to Assumption 1, the system parameters are given by

$$\begin{aligned}& A_{1}= \begin{bmatrix} -2.1 & 0.1 \\ -0.2 & -0.9 \end{bmatrix} , \qquad B_{1}= \begin{bmatrix} -1.1 & 0.1 \\ -0.2 & -0.9 \end{bmatrix} , \\& A_{2}= \begin{bmatrix} -1.9 & 0 \\ -0.2 & -1.1 \end{bmatrix} ,\qquad B_{2}= \begin{bmatrix} -0.9 & 0 \\ -1.1 & -1.2 \end{bmatrix} , \\& C_{1}=C_{2}=D_{1}=D_{2}= \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix} ,\qquad E_{1}= \begin{bmatrix} 0.5 & -0.3 \\ 0.2 & 1.2 \end{bmatrix} , \\& E_{2}= \begin{bmatrix} 0.1 & 0.4 \\ -0.3 & -0.1 \end{bmatrix},\qquad F_{1}=F_{2}= \begin{bmatrix} 0.1 & 0 \\ 0 & 0.1 \end{bmatrix}. \end{aligned}$$

In Rules 1 and 2, the membership function are $h_{1}(z(t))=\frac {1}{1+\exp (-2z(t) )}$, $h_{2}(z(t))=1-h_{1}(z(t))$.

For the delay derivative $\mu=0.1$, by considering the integral partitioning number $L=3$ and the GSD partitioning number $q=3$ and $q=4$, respectively, the lower bounds are selected as $\tau_{0}=0$ and $\tau_{0}=0.8$ with the distributed delay $d=0.1$ and $d=0.5$ to find the upper bound of $\tau_{q}$ in Table 2.

Table 2 Upper bounds of $\pmb{\tau_{q}}$ for $\pmb{\mu=0.1}$ with different values of d and $\pmb{\tau_{0}}$

Considering nonlinear perturbations with different values of d and $\tau_{0}$ and $\mu=0.1$, the upper bound of delays are conducted. It is shown that the proposed method works well in the perturbed T-S fuzzy system (2.2). For $\mu=0.1$, selecting $\tau_{0}=0.8$, $\tau_{q}=1.68$, $d=0.5$, the state responses of the T-S system (4.2) are presented in Figure 3.

Figure 3

The state response of system ( 4.1 ) with $\pmb{\mu=0.1}$ , $\pmb{\tau_{0}=0.8}$ , $\pmb{\tau_{q}=1.68}$ , $\pmb{d=0.5}$ .

For different values of $\tau_{0}$ and d, and $L=3$, $q=3$, the upper bound of $\tau_{q}$ of this proposed work is evaluated for $\mu=0$ and $\mu=0.1$ in Table 3.

Table 3 Upper bounds of $\pmb{\tau_{q}}$ for different values of $\pmb{\tau_{0}}$ , d , and μ

Table 3 shows the upper bound of the time-varying discrete delay with different values of μ. From the simulation results in Table 3, for $\mu=0$, $\tau _{0}=0.8$, $\tau_{q}=1.56$, $d=0.5$ the state responses are given in Figure 4.

Figure 4

The state response of system ( 4.1 ) with $\pmb{\mu=0}$ , $\pmb{\tau_{0}=0.8}$ , $\pmb{\tau_{q}=1.56}$ , $\pmb{d=0.5}$ .

Remark 3

Selecting different values of $\tau_{0}$ and μ, simulations are given to show the remarkable improvements of the proposed method. Based on the numerical results, it is noticed that the upper bound of the time-varying delay is reduced when the derivative μ increasing. Conservatism can be dramatically reduced for the nominal T-S fuzzy system by comparing with the results in [5, 33, 34].

Remark 4

Based on the geometric progression method, excellent stability criteria are presented in the T-S fuzzy systems with nonlinear perturbations by splitting the delay interval into unequal subintervals. Table 2 shows less conservativeness can be provided by increasing the partitioning number from $q=3$ to $q=4$. However, a system with a high number of dimensions will increase the computation burden so one can hardly find the feasible solutions. Commonly, systems with a lower number of dimensions are employed for stability analysis. In addition, the cost time becomes longer as soon as the delay partitioning number is increased. We will focus on reducing the number of dimensions of the researched system and find a better solution for compromising the computation cost in the future.

5 Conclusions

In this paper, by introducing the geometric sequence division and integral delay partitioning approaches, stability problems of the perturbed T-S fuzzy systems with mixed delays are investigated. Comparing with some existing work, in a nominal T-S fuzzy system, the maximum upper bound $\tau_{q}$ is conducted to show the improvements of the proposed method with less conservative results. Numerical results are obtained in LMI toolbox of Matlab/Simulink to demonstrate that remarkable stability criteria are provided in the case of T-S fuzzy systems with mixed delays and nonlinear perturbations. Recently, the control design of T-S systems has attracted special attention. Future work will focus on the implementation of $H_{\infty}$ control with stochastic disturbances and uncertainties.