 Research
 Open Access
 Published:
Delaydependent stability and stabilization criteria for T–S fuzzy singular systems with interval timevarying delay by improved delay partitioning approach
SpringerPlus volume 5, Article number: 349 (2016)
Abstract
This paper deals with the stability analysis and fuzzy stabilizing controller design for a class of Takagi–Sugeno fuzzy singular systems with interval timevarying delay and linear fractional uncertainties. By decomposing the delay interval into two unequal subintervals and seeking a appropriate ρ, a new Lyapunov–Krasovskii functional is constructed to develop the improved delaydependent stability criteria, which ensures the considered system to be regular, impulsefree and stable. Furthermore, the desired fuzzy controller gains are also presented by solving a set of strict linear matrix inequalities. Compared with some existing results, the obtained ones give the result with less conservatism. Finally, some examples are given to show the improvement and the effectiveness of the proposed method.
Background
During the past few decades, fuzzy technique has been widely used in nonlinear system modelling, especially for systems with incomplete plant information. Thus, a number of significant results have been reported to solve the different problems of fuzzy systems, such as stability analysis (Chadli et al. 2014; Su et al. 2013, 2014b), filter design (Shi et al. 2015; Su et al. 2014a, 2015), robust control (Mourad et al. 2013; Tian et al. 2010), etc. Among these conclusions, it is worth mentioning that, the problem of Hankelnorm output feedback controller design for T–S fuzzy stochastic systems have been investigated in Su et al. (2014b). For a class of T–S fuzzy switched systems with stochastic perturbation, the dissipativitybased filtering problem was considered in Shi et al. (2015). In addition, the fault detection filtering problem have been solved for nonlinear switched stochastic system in the T–S fuzzy framework in Su et al. (2015). Recently, a wider class of fuzzy systems that are described by the singular form have been studied, where the model is the extended of T–S fuzzy systems (Taniguchi et al. 2000). It is known that a singular model can describes a practical system better than a standard dynamic model. So fuzzy singular model provides a new way to the analysis and synthesis of the nonlinear singular system and can be found in many applications, because it can combine the flexibility of fuzzy logic theory and fruitful linear singular system theory into a unified framework to approximate complex nonlinear singular systems, for details see Fridman (2002) and Lin et al. (2006). Meanwhile, time delays always exist in many dynamical systems and delays are the sources of poor stability and deteriorated performance of a system. Therefore, lots of stability analysis and control synthesis results (Wang et al. 2014; Mourad et al. 2013; Huang 2013; Han et al. 2012; Zhang et al. 2009) have been reported for T–S fuzzy singular systems with timedelay. It should be pointed out that almost all of the existing results on fuzzy systems with time delays, the maximum allowable delay bound has been used as an important performance index for measuring the conservatism of the obtained conditions.
On the other hand, in order to reduce the conservativeness of the delaydependent criteria for fuzzy systems, input–ouput approach (Su et al. 2013; Zhao et al. 2013), delay partitioning method (Yang et al. 2015; Xia et al. 2014), convex combination technique (Su et al. 2014a; An and Wen 2011; Peng and Fei 2013; Park et al. 2011), and free weighting matrices approach (Souza et al. 2014; Liu et al. 2010; Tian et al. 2010) have been well used. The most noteworthy is the delay partitioning approach: the delay interval is divided into multiple uniform or nonuniform segments. It has been proved that less conservative results may be expected with the increasing of delaypartitioning segments. Recently, by nonuniformly dividing the time delay into multiple segments, An and Wen (2011) has established less conservative delaydependent stability criteria than those in Li et al. (2009) using a convex way for uncertain T–S fuzzy systems with interval timevarying delay. Based on the input–output technique and delay partitioning approach, some new stability conditions of discretetime T–S fuzzy systems with time delays have been proposed by applying scaled smallgain theorem in Su et al. (2013) , while an induced \(\ell _{2}\) performance is guaranteed. On the basis of delaypartitioning approach and new integral inequality established by reciprocally convex approach in Park et al. (2011) and Peng and Fei (2013) has developed less conservative stability criteria than those in Peng et al. (2011), Lien et al. (2007) and Tian and Chen (2006) for uncertain T–S fuzzy delay system. However, an important characteristic of fuzzy singular systems is the possible impulse behavior, which is harmful to the physical system and is undesired in system control. It’s means that the aforementioned delay partitioning approach and the obtained results can not be directly applied to fuzzy singular system with additional algebraic constraints, because it requires considering not only stability, but also regularity and impulsefree conditions. Therefore, the motivation of this study is mainly focus on how to improve the delay partitioning approach and reduce the conservativeness of existing results for fuzzy singular systems because of its theoretical and practical significance.
More recently, some research works on stability analysis (Mourad et al. 2013; Zhang et al. 2009; Chadli et al. 2014; Wang et al. 2014) and controller design (Zhu et al. 2016; Ma et al. 2015; Zhao et al. 2015; Han et al. 2012) have been extended for T–S fuzzy singular systems with timevarying delay. In Zhang et al. (2009), the problems of delaydependent stability and \(H_{\infty }\) control were discussed utilizing model transformation techniques, but model transformation may lead to considerable conservativeness. In Han et al. (2012), the problems of sliding mode control for fuzzy descriptor systems were presented using delay partitioning approach, but the timedelay is constant. Using freeweight matrix method, Mourad et al. (2013) discussed the problems of delaydependent stability and \(L_{2}L_{\infty }\) control, however, the freeweighting matrices may be redundant and increase the computational burden in case of stability analysis for deterministic delay systems. In Chadli et al. (2014), by using quadratic method, sufficient conditions on stability and stabilization were proposed in terms of LMI for uncertain T–S fuzzy singular systems. Based on delay partitioning approach, some less conservative stability and stabilization criteria for fuzzy singular systems with timevarying delay have been investigated in Wang et al. (2014). In Ma et al. (2015), a delaycentralpoint method was presented to develop less conservative delaydependent conditions for memory dissipative control for fuzzy singular timevarying delay systems under actuator saturation.
It is wellknown that the challenges of deriving a less conservative result are to construct an appropriate LKF that includes more useful state information and to reduce the enlargement in bounding the derivative of LKF as much as possible. Inspired by the methods mentioned above, when revisiting the stability problem for T–S fuzzy singular systems with interval timevarying delay, we find that the existing works still leave plenty of room for improvement on the reduction of conservatism for the following reasons. (1) All the given stability conditions in Han et al. (2012), Mourad et al. (2013), and Wang et al. (2014) are not all in strict LMIs form due to equality constraints, which cannot be solved directly using standard LMI procedures; (2) In Wang et al. (2014), the integral item \(\int _{t\tau _{2}}^{t\tau _{1}}{\dot{x}}^{T}(s)E^{T}RE{\dot{x}}(s)ds\) is directly magnified as \((\tau _{2}\tau (t))\int _{t\tau _{2}}^{t\tau (t)}{\dot{x}}^{T}(s)E^{T}RE{\dot{x}}(s)ds(\tau (t)\tau _{1})\int _{t\tau (t)}^{t\tau _{2}}{\dot{x}}^{T}(s)E^{T}RE{\dot{x}}(s)ds\), some useful timevarying delaydependent integral items are ignored in the derivation of results; (3) More freeweighting matrices are employed to deduce the stabilization results in Yang et al. (2015) and Mourad et al. (2013), which have not considered the gain variations might be caused by the inaccuracies of controller implementation. The objective of this paper is to revisit the delaydependent stability analysis and give new stabilization criteria by improved delay partitioning approach.
The main contributions of this paper lie in that, firstly, by seeking an appropriate \(\rho\), a maximum admissible upper bound of the time delay can be obtained for T–S fuzzy singular systems with interval timevarying delay. The tunable parameter \(\rho\) which divide \([\tau _{1},\tau _{2}]\) into two variable subintervals plays a crucial role in reducing the conservativeness of stability conditions. Secondly, new LKF is established by partitioning time delay \([0,\tau _{1}]\) into N segments, and the timevarying delay \(x(t\frac{n}{N}\tau _{1})\) is included in the LKF, which takes fully account of the relationship between the state vectors \(x(t\frac{n}{N}\tau _{1})\) and \(x(t\tau _{\rho })\). Thirdly, some new results on tighter bounding inequalities have been employed to reduce the enlargement in bounding the derivative of LKF when designing the controller with linear fractional uncertainties. Then, the newly developed conditions of stability and stabilization are expected to be less conservative than the previous ones.
The rest of this paper is organized as follows. The system description and some useful lemmas are presented in “Problem formulation” section. In “Main results” section, we show the results on stability conditions and fuzzy controller design scheme. In “Numerical examples” section, several numerical examples are given to demonstrate the effectiveness and merits of the proposed methods. Finally, a brief conclusion is drawn in “Conclusion”.
Notations: Throughout the paper, \({\mathbb{R}}^{n}\) denotes the ndimensional real Euclidean space; I denotes the identity matrix; the superscripts T and \(1\) stand for the matrix transpose and inverse, respectively; notation \(X>0(X\ge 0)\) means that matrix X is real symmetric positive definite (positive semidefinite); \(\Vert \cdot \Vert\) is the spectral norm. If not explicitly stated, all matrices are assumed to have compatible dimensions for algebraic operations. The symbol “\(*\)” stands for matrix block induced by symmetry.
Problem formulation
Consider a class of nonlinear singular system with interval timevarying delay, which can be represented by the following extended T–S fuzzy singular model:
where \(x(t)\in {\mathbb{R}}^{n}\) is the state vector, \(u(t)\in {\mathbb{R}}^{m}\) is the control input vector. The fuzzy basis functions are given by \(\mu _{i}(\xi (t))=\beta _{i}(\xi (t))/\sum _{j=1}^{r}\beta _{j}(\xi (t))\) with \(\beta _{i}(\xi (t))= \prod _{i=1}^{p}M_{ij}(\xi (t))\), where \(M_{ij}\) is fuzzy sets, \(M_{ij}(\xi _{j}(t))\) represents the grade of membership of \(\xi _{j}(t)\) in \(M_{ij}\). Here, it is easy to find that \(\beta _{i}(\xi (t))\ge 0, (i=1,2,\ldots ,r)\), \(\sum _{j=1}^{r}\beta _{j}(\xi (t))>0\) and \(\mu _{i}(\xi (t))\ge 0, (i=1,2,\ldots ,r)\), \(\sum _{j=1}^{r}\mu _{j}(\xi (t))=1\) for all \(t>0\), r is the number of IF–THEN rules. \(\xi _{1}(t),\ldots ,\xi _{p}(t)\) are the premise variables, which do not depend on the input variable u(t). \(\phi _{i}(t)\) is a vectorvalued initial continuous function defined on the interval \([\tau _{2},0]\). \(E\in {\mathbb{R}}^{n\times n}\) is a constant matrix, which may be singular, that is, rank\((E)=g\le n\). \(A_{i}\), \(A_{\tau i}\), \(B_{i}\) are the constant real matrices of appropriate dimensions. \(\Delta A_{i}(t)\) and \(\Delta A_{\tau i}(t)\) denote the normbounded parameter uncertainties in the system and are defined as:
where \(M_{i}\), \(N_{1i}\) and \(N_{2i}\) are known matrices, F(t) is unknown timevarying matrix, which satisfies \(F^{T}(t)F(t)\le I\). The delay \(\tau (t)\) in above systems is assumed to be interval time varying and satisfies
where \(\tau _{1}\), \(\tau _{2}\) and d are constants.
Before proceeding further, we will introduce some definitions and lemmas to be needed in the development of main results throughout this paper. Consider an unforced singular timedelay system described by
Definition 1
(Xu et al. 2002)

1.
The pair (E, A) is said to be regular if \(\det (sEA)\) is not identically zero.

2.
The pair (E, A) is said to be impulse free if \(deg (\det (sEA))= rank(E)\).

3.
The pair (E, A) is said to be asymptotically stable, if all roots of \(\det (sEA)=0\) lie inside the unit disk with center at the origin.

4.
The delayed singular system (4) is said to be admissible if the pair (E, A) is regular, impulse free and asymptotically stable.
Definition 2
(Xu et al. 2002)

1.
The singular system (4) is said to be regular and impulse free if the pair (E, A) is regular and impulse free.

2.
The singular system (4) is said to be asymptotically stable, if for any \(\varepsilon >0\), there exists a scalar \(\delta (\varepsilon )>0\) such that for any compatible initial conditions, \(\phi (t)\) with \(sup_{\tau (t)\le t\le 0}\Vert \phi (t)\Vert <\delta (\varepsilon )\), the solution x(t) of (4) satisfies \(\Vert x(t)\Vert <\varepsilon\) for \(t\ge 0\) and \(\lim _{t\rightarrow \infty }x(t)=0\).
Lemma 3
(Liu 2013) For any positive semidefinite matrices \(X=(X_{ij})_{3 \times 3}\ge 0\), the following integral inequality holds:
where \(\beta (t,s)=[x^{T}(t)\ x^{T}(t\tau (t)) \ {\dot{x}}^{T}(s) ]\).
Lemma 4
(Han 2005) For any constant matrix \(X\in {\mathbb{R}}^{n\times n}\), \(X=X^{T}>0\), scalar \(r>0\), and vector function \({\dot{x}}:[r,0]\rightarrow {\mathbb{R}}^{n}\) such that the following integration is well defined, then
Lemma 5
(Xie 1996) Given a symmetric matrix \(\Omega\) and matrices \(\Gamma\), \(\Xi\) with appropriate dimensions, \(\Omega +\Gamma \Delta \Xi +\Xi ^{T}\Delta ^{T}\Gamma ^{T}<0\) for all \(\Delta\) satisfying \(\Delta ^{T}\Delta \le I\), if and only if there exists a scalar \(\varepsilon >0\) such that \(\Omega +\varepsilon \Gamma \Gamma ^{T}+\varepsilon ^{1}\Xi ^{T}\Xi <0\)
Lemma 6
(Fridman 2002) If a functional \(V:C_{n}[\tau ,0]\rightarrow {\mathbb{R}}\) is continuous and \(x(t,\phi )\) is a solution to (4), we define \(\dot{V}(\phi )=\lim \nolimits _{h\rightarrow 0^{+}}sup \frac{1}{h}(V(x(t+h,\phi ))V(\phi ))\). Denote the system parameters of (4) as
Assume that the singular system (4) is regular and impulse free, \(A_{22}\) is invertible, \(\rho (A_{22}^{1}A_{\tau 22})<1\). Then, the system (4) is stable if there exists positive numbers \(\alpha , \mu , \nu\) and a continuous function, \(V:C_{n}[\tau ,0]\rightarrow {\mathbb{R}}\), such that
where \(x_{t}=x(t+\theta )\) with \(\theta \in [\tau , 0]\) and \(\phi =[\phi _{1}^{T} \ \phi _{2}^{T}]\) with \(\phi _{1}\in {\mathbb{R}}^{q}\).
Main results
Delaydependent admissibility
In this section, we suggest to develop a delaydependent stability condition for the nominal unforced fuzzy singular system of (1), which can be written as
where \(A(t)=\sum _{i=1}^{r}\mu _{i}(\xi (t))A_{i}\), \(A_{\tau }(t)=\sum _{i=1}^{r}\mu _{i}(\xi (t))A_{\tau i}\). In order to derive a maximum admissible upper bound of system (5), the delay interval \([\tau _{1},\tau _{2}]\) is divided into two subintervals with unequal width as Case I: \([\tau _{1},\tau _{\rho }]\) and Case II: \([\tau _{\rho },\tau _{2}]\), where \(\tau _{\rho }=\tau _{1}+\rho \delta\), \(\delta =\tau _{2}\tau _{1}\), \(0<\rho <1\). Based on the Lyapunov–Krasovskii stability theorem, the following result is obtained.
Theorem 7
For the given scalars \(\tau _{1}\), \(\tau _{2}\), d and tuning parameter \(\rho\), system (5) is admissible for any timevarying delay \(\tau (t)\) satisfying (3), if there exist matrices \(P_{1}>0\), \(Q_{n}>0\), \(W_{n}>0\; (n=1,2,\ldots ,N)\), \(\Lambda ^{T}(Y_{ij})_{3\times 3}\Lambda =\hat{Y}\ge 0\), \(\Lambda ^{T}(Z_{ij})_{3\times 3}\Lambda =\hat{Z}\ge 0\), \(\Lambda ={\mathrm{diag}}\{E,E,E\}\), \(S_{1}>0\), \(S_{2}>0\), \(S_{3}>0\), \(R_{1}>0\), \(R_{2}>0\), some appropriate dimension matrices S, \(P_{2}\), \(P_{3}\) and the constant matrix R satisfying \(E^{T}R=0\) such that the following set of LMIs hold:
and
where
with
Case I when \(\tau _{1} \le \tau (t) \le \tau _{\rho }\)
Case II when \(\tau _{\rho } \le \tau (t) \le \tau _{2}\)
Proof
The proof of this theorem is divided into two parts. The first one is concerned with the regularity and the impulse free characterizations, and the second one treats the stability property of system (5). Since rank\((E)=g\le n\), there must exist two invertible matrices \(G \in {\mathbb{R}}^{n\times n}\) and \(H \in {\mathbb{R}}^{n\times n}\) such that
Similar to (14), we define
Since \(\Theta ^{i}<0\) and \(Q_{1}>0\), \(S_{1}>0\), we can formulate the following inequality easily:
Then, pre and postmultiplying \(\Upsilon _{i}<0\) by \(H^{T}\) and H, respectively, (16) yields
Since \(\tilde{\Upsilon }_{11}\) and \(\tilde{\Upsilon }_{12}\) are irrelevant to the results of the following discussion, the real expression of these two variables are omitted here. From Eq. (17), it is easy to see that
Since \(\mu _{i}(\xi (t))\ge 0\) and \(\sum _{i=1}^{r}\mu _{i}(\xi (t))=1\), we have
This implies that \(\sum _{i=1}^{r}\mu _{i}(\xi (t))\tilde{A}_{i22}\) is nonsingular. Therefore, the unforced fuzzy singular system (5) is regular and impulse free.
Next, we will show the stability of the system (5). Similar to (14)–(15), we define
If condition (6) holds, we have
Premultiplying and postmultiplying the preceding inequality by \(\begin{bmatrix} H^{T} \ H \end{bmatrix}\) and its transpose, respectively, since \(Q_{1}>0\) and with definitions (18), we can obtain
which implies that
Then, premultiplying and postmultiplying (20) by \([\vartheta ^{T}\ I]\) and its transpose, respectively, (20) yields \(\vartheta ^{T}\tilde{S}_{1,22}\vartheta (1d)\tilde{S}_{1,22}<0\), which shows that \(\rho (\vartheta )<1\) holds for all allowable \(\mu _{i}\) with \(\vartheta =\big (\sum _{i=1}^{r}\mu _{i}\tilde{A}_{i22}\big )^{1} \big (\sum _{i=1}^{r}\mu _{i}\tilde{A}_{\tau i22}\big )\).
Then, we define the following Lyapunov–Krasovskii functional for the unforced fuzzy singular system (5),
where
where the unknown matrices \(P_{1}>0\), \(S_{1}>0\), \(S_{2}>0\), \(S_{3}>0\), \(R_{1}>0\), \(R_{2}>0\), \(Q_{n}>0\) and \(W_{n}>0(n=1,2,\ldots ,N)\) are to be determined. Here, in order to reduce the conservativeness and give a set of strict LMIs stability conditions for system (5), we rewrite (5) as follows:
where
.
Then, we have
where \(\bar{P}=\begin{bmatrix}P_{1}E+RS^{T}&0 \\ P_{2}&P_{3} \end{bmatrix}\) with \({\bar{E}}^{T}\bar{P}=\bar{P}^{T}{\bar{E}}\).
Therefore, the time derivatives of \(V_{1}(t)\) along the trajectories of the systems (22) satisfies
where
Similarly, \(V_{2}(t)\) and \(V_{3}(t)\) along the trajectories of the systems (5) satisfy
For convenience of notations, in the sequel, we denote \(\hat{Y}_{ij}=E^{T}Y_{ij}E\), \(\hat{Z}_{ij}=E^{T}Z_{ij}E\). Then, for the Case I, when \(\tau _{1} \le \tau (t) \le \tau _{\rho }\), the following equations are true:
By utilizing Lemma 3 and the Leibniz–Newton formula, we have
Similarly, we obtain
Substituting (25)–(28) into (24), by Lemma 4, a straightforward computation gives
where \(\zeta ^{T}(t)=[x^{T}(t) \ x^{T}(th) \ \cdots \ x^{T}(t\tau _{1}) \ x^{T}(t\tau _{\rho }) \ x^{T}(t\tau (t)) \ x^{T}(t\tau _{2}) \ (E{\dot{x}}(t))^{T}]\). When \(R_{1}Y_{33}\ge 0\), \(R_{2}Z_{33} \ge 0\), and \(\tau _{1}\le \tau (t) \le \tau _{\rho }\), the last two terms in (29) are all less than 0. Therefore, if the conditions (6)–(7) hold, there exist \(\alpha >0\) such that \(\dot{V}(x_{t})<\alpha \Vert x_{t}\Vert\). By Lemma 6, we conclude that the unforced fuzzy singular system (5) is stable.
For the Case II, when \(\tau _{\rho } \le \tau (t) \le \tau _{2}\), the following equations are true:
Then, the proof can be completed in a similar formulation to Case I and is omitted here for simplification. Therefore, if LMIs (6)–(7) hold, the fuzzy singular system (5) is admissible for the Cases I and II, respectively. This completes the proof. \(\square\)
For uncertain T–S fuzzy system of (5), the following result can be easily derived by applying Lemma 5 and Schur complement.
Corollary 8
For the given scalars \(\tau _{1}\), \(\tau _{2}\), d and \(\rho\), the uncertain fuzzy system of (5) is robustly admissible for any timevarying delay \(\tau (t)\) satisfying (3), if there exist matrices \(P_{1}>0\), \(Q_{n}>0\), \(W_{n}>0\;(n=1,2,\ldots ,N)\), \(\Lambda ^{T}(Y_{ij})_{3\times 3}\Lambda =\hat{Y}\ge 0\), \(\Lambda ^{T}(Z_{ij})_{3\times 3}\Lambda =\hat{Z}\ge 0\), \(\Lambda ={\mathrm{diag}}\{E,E,E\}\), \(S_{1}>0\), \(S_{2}>0\), \(S_{3}>0\), \(R_{1}>0\), \(R_{2}>0\), and positive scalars \(\varepsilon _{1i}\), some appropriate dimension matrices S, \(P_{2}\), \(P_{3}\) and the constant matrix R satisfying \(E^{T}R=0\) such that the following set of LMIs hold:
with
and \(\Theta ^{i}\) are defined in Theorem 7.
Remark 9
Different from the results in Yang et al. (2015), Zeng et al. (2014), Souza et al. (2014), Peng et al. (2011), Peng and Fei (2013), Liu et al. (2010) and An and Wen (2011), by dividing the constant part of timevarying delay \([0, \tau _{1}]\) into N segments, that is, \([0,\frac{1}{N}\tau _{1}]\), \([\frac{1}{N}\tau _{1}, \frac{2}{N}\tau _{1}]\), \(\cdots\), \([\frac{N1}{N}\tau _{1},\tau _{1}]\), we define different energy functional \(Q_{n}(n=1,2,\ldots ,N)\) in each different delay subinterval segment. Because the piecewise Lyapunov function candidates are much richer than the globally quadratic functions, so the obtained stability criteria based on this method can further reduce the conservativeness of analysis and synthesis.
Remark 10
Since the interval \([\tau _{1}, \tau _{2}]\) is divided into two unequal variable subintervals \([\tau _{1},\tau _{\rho }]\) and \([\tau _{\rho },\tau _{2}]\) in which \(\rho\) is a tunable parameter, it is clear that the LKF defined in Theorem 7 is more general and simple than Zhang et al. (2009) and Mourad et al. (2013) by seeking a appropriate \(\rho\) satisfying \(0<\rho <1\). For different \(\rho\), the LKF matrices may be different and the LMIs also may be different in stability conditions, and thus compared with the methods using the same LKF matrices (Wang et al. 2014) or the uniformly dividing delay subintervals (Yang et al. 2015), the variable and different LKF matrices may lead to less conservativeness.
Remark 11
The decomposition method in Theorem 7 may increase the maximum allowable upper bounds on \(\tau _{2}\) for the fixed lower bound \(\tau _{1}\), if one can set a suitable dividing point with relation to \(\rho\). For seeking an appropriate \(\rho\), a algorithm is given as follows:

Step 1:
For the given d, choose upper bound on \(\delta\) satisfying (6)–(7), select this upper bound as initial value \(\delta _{0}\) of \(\delta\).

Step 2:
Set step lengths, \(\delta _{step}\) and \(\rho _{step}\) for \(\delta\) and \(\rho\), respectively. Set k as a counter and choose \(k=1\). Meanwhile, let \(\delta =\delta _{0}+\delta _{step}\) and the initial value \(\rho _{0}\) of \(\rho\) equals \(\rho _{step}\).

Step 3:
Let \(\rho =k\rho _{step}\), if (6)–(7) are feasible, go to Step 4; otherwise, go to Step 5.

Step 4:
Let \(\delta _{0}=\delta\), \(\rho _{0}=\rho\), \(k=1\) and \(\delta =\delta _{0}+\delta _{step}\), go to Step 3.

Step 5:
Let \(k=k+1\), if \(k\rho _{step}<1\), then go to Step 3. otherwise, stop.
Remark 12
In order to further reduce the enlargement of the derivative of LKF, inspired by Liu (2013), a new integral inequality is employed to estimate the integral term, which will be helpful to increase the maximum admissible upper bound of time delay. Moreover, when the information of the timederivative of delay is unknown or the time delay is not differentiable, just let \(S_{1}=0\) and proceed in a similar way as the previous proof, some new stability criteria can be obtained from Theorem 7. Due to limited space, no more tautology here.
Fuzzy controller design
In this section, based on Theorem 7, we will proposed a design method of fuzzy controller. Consider the controller gain variations might be caused by the inaccuracies of controller implementation, we employ the following controller form with PDC scheme:
Controller rule i: IF \(\xi _{1}(t)\) is \(M_{i1}\) and \(\ldots\) and \(\xi _{p}(t)\) is \(M_{ip}\) THEN
where \(K_{i}\) are the local gain matrices to be determined, and \(\Delta K_{i}(t)\) is the controller gain perturbations and satisfies
where \(M_{ai}\) and \(N_{ai}\) are known matrices, and \(F_{a}(t)\) is an unknown timevarying matrix satisfying \(F_{a}^{T}(t)F_{a}(t)\le I\).
Then, the resulting closedloop system from (1) and (32) can be written as
The aim of this section is to design a state feedback controller in the form of (32) with the gain perturbations satisfying (33), such that the closedloop system (34) is regular, impulsefree, and asymptotically stable.
Theorem 13
For the given scalars \(\tau _{1}\), \(\tau _{2}\), d and tuning parameter \(\rho\), the closedloop fuzzy singular system (34) under fuzzy control (32) is robustly admissible for any timevarying delay \(\tau (t)\) satisfying (3), if there exist matrices \(X>0\), \(V_{j}\), \(\bar{P}_{1}>0\), \(\bar{Q}_{n}>0\), \(\bar{W}_{n}>0\), \(\tilde{W}_{n}>0\) \((n=1,2,\ldots ,N)\), \(\bar{S}_{1}>0\), \(\bar{S}_{2}>0\), \(\bar{S}_{3}>0\), \(\bar{R}_{1}>0\), \(\bar{R}_{2}>0\), \(\bar{Y}=(\bar{Y}_{ij})_{3\times 3}\ge 0\), \(\bar{Z}=(\bar{Z}_{ij})_{3\times 3}\ge 0\), some positive scalars \(\varepsilon _{1i}\), \(\varepsilon _{2ij}\) and any matrices \(\bar{S}\), \(\bar{P}_{2}\), \(\bar{R}\) with appropriate dimension such that the following set of LMIs hold for \(i,j=1,2,\ldots ,r\):
and
where
with
Case I: when \(\tau _{1} \le \tau (t) \le \tau _{\rho }\)
Case II: when \(\tau _{\rho } \le \tau (t) \le \tau _{2}\)
Moreover, if the aforementioned condition is feasible, the gain matrices of controller in the form of (32) can be designed by \(K_{j}=V_{j}X^{1}\).
Proof
For the uncertain closedloop T–S fuzzy singular system (34), replacing \(A_{i}\) and \(A_{\tau i}\) with \(((A_{i}+\Delta A_{i}(t))+B_{i}(K_{j}+\Delta K_{j}(t)))\), \(A_{\tau i }+\Delta A_{\tau i}(t)\) in system (5), respectively. Then, according to (2) and (33), the condition (6) can be rewritten as
where \(\Xi ^{ij}_{1}=\begin{bmatrix} \ \Xi _{11}^{ij}&\quad \Xi _{12}^{ij} \ \\ \ *&\quad \Xi _{22}^{i} \ \end{bmatrix}\) and
with
and other matrix elements such as \(\Theta _{ij}\) are defined in Theorem 7. By Lemma 5, we get from (46) that
where scalars \(\varepsilon _{1ij}>0\) and \(\varepsilon _{2ij}>0\). Then, by Schur complement, inequality (50) equals to
where
In order to obtain the control gain matrix, take \(P_{3}=\lambda P_{2}\), where \(\lambda\) is the designing parameter and define the following matrices variables:
Then, pre and postmultiplying both sides of inequality (51) with \({\mathrm{diag}}\{X^{T},\ldots ,X^{T},I,I,I,I\}\) and its transpose, respectively, we can obtain the conditions (35) and (36), which means that the closedloop fuzzy singular system (34) is regular, impulsefree and stable under fuzzy control (32). This completes the proof. \(\square\)
Remark 14
Different from the work in Su et al. (2013) concerned with dynamic output controller design for discretetime T–S fuzzy delay systems, this study is mainly focused on the state feedback controller design for T–S fuzzy singular systems with timevarying delay while the gain variations may be caused by the inaccuracies of controller implementation. In addition, the input–output technique (Su et al. 2013; Zhao et al. 2013) is employed to reduce the conservativeness in stability analysis, however, the model transformation of the original system will result in approximation error. In this study, only need to select a appropriate \(\rho\) in the new constructed LKF, less conservative stability and stabilization conditions can be directly obtained. In Examples 1–3, the comparison results with input–output approach in Su et al. (2013) and other methods to deal with time delays are presented to illustrate the advantages of the proposed approach.
Remark 15
It should be mentioned that the main character of delay partitioning approach lies in that when the number of subintervals N is increased, the conservatism of the result decreases. Meanwhile, the computational complexity increases, see Yang et al. (2015), Wang et al. (2014) and Peng and Fei (2013). Therefore, the choice of the number of subintervals N generally depends on the tradeoff between the conservatism reduction and the computational burden. However, according to the examples presented in the next section, we can see that our results (\(N=1\)) used less partitioning segments is much better than the one in Wang et al. (2014) (\(N=2\)), Peng and Fei (2013) (\(N=3\)) and Yang et al. (2015) (\(N=3\)), It is means that the presented approach has higher computational efficiency, especially when the number of delay partitioning segments is large.
Numerical examples
In this section, four examples are given to demonstrate the effectiveness of the proposed approaches. The first three examples are presented to show the improvement of our results over the existing ones. The last example is used to demonstrate the applicability of the controller design method.
Example 16
Consider the following timedelayed nonlinear system:
which can be exactly expressed as a nominal T–S delayed system with the following rules:
where the membership functions for above rule 1 and rule 2 are \(h_{1}(\theta (t))=sin^{2}(\theta (t))\), \(h_{2}(\theta (t))=cos^{2}(\theta (t))\) with \(\theta (t)=x_{1}(t)\), and the system matrices are:
For this example, because the timederivative of delay \(\tau (t)\) is unknown and the considered systems is nonsingular, we set \(S_{1}=0\), \(E=I_{2\times 2}\) in Theorem 7 and choose the delay interval segmentation parameter \(\rho =0.7\) in Case I, \(\rho = 0.3\) in Case II, respectively. The upper delay bounds \(\tau _{2}\) derived by the input–output method (Zhao et al. 2013), convex combination technique (An and Wen 2011; Peng and Fei 2013), free weighting matrices approach (Tian et al. 2009; Souza et al. 2014) and the improved delay partitioning method proposed in this paper are tabulated in Table 1 under different values of \(\tau _{1}\). It is seen from Table 1 that the results obtained from Theorem 7 of this paper are significantly better than those obtained from the other methods. When the system matrices of rule 2 are given as Lien et al. (2007) with
the improvement of this paper is shown in Table 2. It can be concluded that the obtained results in our method are less conservative than those of Souza et al. (2014), Peng et al. (2011), Tian et al. (2009), Tian and Chen (2006) and Lien et al. (2007). Moreover, it is shown in Tables 1 and 2 that the conservatism is gradually reduced with the increase of N while guaranteeing asymptotically stability of the considered system.
Example 17
Consider the following uncertain fuzzy system with two rules:
where
and the membership functions for rules 1 and 2 are the same as Example 16. For various d, by utilizing Corollary 8 and the conditions in Yang et al. (2015), Zeng et al. (2014), Liu et al. (2010) and Lien et al. (2007), the computed upper bounds that guarantee the robust stability of the considered system are summarized in Table 3. It can be concluded that the result proposed in this paper is better than the aforementioned results. In addition, compared with the results in Yang et al. (2015), assume that \(i=2\), there are (\(13n(n+1)/2)+7n^{2}\) (\(N=3\)) scalar decision variables and six LMIs in their Theorem 1. However, different from the delay interval \([\tau _{1},\tau _{2}]\) is divided into multiple segments, we divide the delay interval into two unequal subintervals by seeking a appropriate \(\rho\). Thus, only \((10n(n+1)/2)+4n^{2}\) (\(N=1\)) scalar decision variables and four LMIs are required to improve the results. Especially, when N is increased, less number of decision variables and LMIs may reduce the mathematical complexity and computational load.
Example 18
Consider a continuous fuzzy singular system composed of two rules and the following system matrices:
In order to compare with the existing results, supposing that \(\tau (t)\) satisfies (3) and with \(\tau _{1}=2\). Then, setting \(\rho =0.45\), \(\rho =0.95\) in Cases I and II, respectively. Table 4 presents a comparison results with various d, which show that the stability condition in Theorem 7 give less conservative results than those in Wang et al. (2014), Mourad et al. (2013) and Zhang et al. (2009). It is worth mention that the stability conditions in the aforementioned works are not in strict LMIs form due to equality constraints. However, by introducing the variable R, much better results are obtained by solving strict LMIs via the existing numerical convex optimization method.
Example 19
Consider the following nonlinear timedelay systems borrowed from Lin et al. (2006):
The range of \(\dot{\theta }(t)\) is assumed to satisfy \(\dot{\theta }(t)<\varphi\), \(\varphi =2\). u(t) is the control input. \(\tau (t)=0.85+0.05 sin(10t)\) is the timevarying delay (thus, \(\tau _{1}=0.8\), \(\tau _{2}=0.9\), \(d=0.5\)). For the simulation purpose, the system parameter is given as \(a=0.3\), \(b=0.5\), \(e=0.2\), \(c=1\), \(c_{\tau }=0.8\). As in Lin et al. (2006), we introduce new variables \(x(t)=[x_{1}(t)\ x_{2}(t) \ x_{3}(t)]^{T}\) with \(x_{1}(t)=\theta (t)\), \(x_{2}(t)=\dot{\theta }(t)\) and \(x_{3}(t)=\ddot{\theta }(t)\). The system is described by
Then this system can be expressed exactly by the following fuzzy singular form with respect to uncertainties described by (2):
where
The membership functions can be chosen as
Here, we set \(\rho =0.5\), \(\lambda =1\) and assume that the parameters uncertainty matrices in \(\Delta A_{i}(t)\) and \(\Delta A_{\tau i}(t)\) in (2) are given as follows:
In this example, considering the case of controller gain variation in the form of (33), the parameters are given as
Then, according to Theorem 13 and by solving LMIs (35)–(43) with (44), we can obtain the feasible solution for Case I (\(N=1\)) as follows: (due to space consideration, we do not list all the matrices here)
Then, the feedback controller gains are designed as
Similarly, according to Theorem 13 and by solving LMIs (35)–(43) with (45), we can obtain that the feedback controller gains in Case II are designed as:
Then, let the initial condition be \(x_{1}(t)=1\), \(x_{2}(t)=1\), and the unknown matrix function \(F(t)=F_{a}(t)=sin(t)\). The simulation results are given in Figs. 1, 2, 3, 4 and 5. Figures 1 and 2 plots the state trajectories of the closedloop system with the obtained feedback gain matrices in Case I and Case II, respectively. The phase portraits of closed system are given in Figs. 3, 4 and 5. From the simulation result, it can be seen that the designed fuzzy controller not only makes the closedloop system states converge to zero, but also effectively attenuate the uncertainty as expected.
Conclusion
In this paper, the stability analysis and fuzzy stabilizing controller design for fuzzy singular systems with interval timevarying delay have been discussed. Based on improved delay partitioning method, new stability criteria for unforced fuzzy singular systems have been established. Then, the explicit expression of the desired fuzzy controller gains are also presented. All the obtained results reported in this paper are formulated in terms of strict LMIs, which can be readily solved using standard numerical software. Some numerical examples are provided to show the effectiveness of the proposed methods.
References
An J, Wen G (2011) Improved stability criteria for timevarying delayed T–S fuzzy systems via delay partitioning approach. Fuzzy Sets Syst 185(1):83–94
Chadli M, Karimi H, Shi P (2014) On stability and stabilization of singular uncertain Takagi–Sugeno fuzzy systems. J Frankl Inst 351(3):1453–1463
Fridman E (2002) Stability of linear descriptor systems with delay: a Lyapunovbased approach. J Math Anal Appl 273(1):24–44
Han C, Zhang G, Wu L, Zeng Q (2012) Sliding mode control of T–S fuzzy descriptor systems with timedelay. J Frankl Inst 349(4):1430–1444
Han Q (2005) Absolute stability of timedelay systems with sectorbounded nonlinearity. Automatica 41(12):2171–2176
Huang C (2013) Stability analysis and controller synthesis for fuzzy descriptor systems. Int J Syst Sci 44(1):23–33
Li L, Liu X, Chai T (2009) New approaches on \(h_{\infty }\) control of T–S fuzzy systems with interval timevarying delay. Fuzzy Sets Syst 160(12):1669–1688
Lien C, Yu K, Chen W (2007) Stability criteria for uncertain Takagi–Sugeno fuzzy systems with interval timevarying delay. IET Control Theory Appl 1(3):764–769
Lin C, Wang Q, Lee T (2006) Stability and stabilization of a class of fuzzy timedelay descriptor systems. IEEE Trans Fuzzy Syst 14(4):542–551
Liu F, Wu M, He Y, Yokoyamab R (2010) New delaydependent stability criteria for T–S fuzzy systems with timevarying delay. Fuzzy Sets Syst 161(15):2033–2042
Liu P (2013) New results on stability analysis for timevarying delays systems with nonlinear perturbations. ISA Trans 52(3):318–325
Ma Y, Chen M, Zhang Q (2015) Memory dissipative control for singular T–S fuzzy timevarying delay systems under actuator saturation. J Frankl Inst 352(10):3947–3970
Mourad K, Mansour S, Ahmed T (2013) Delaydependent stability and robust \(l_{2}l_{\infty }\) control for a class of fuzzy descriptor systems with timevarying delay. Int J Robust Nonlinear Control 23(3):284–304
Park P, Ko J, Jeong C (2011) Reciprocally convex approach to stability of systems with timevarying delays. Automatica 47(1):235–238
Peng C, Fei M (2013) An improved result on the stability of uncertain T–S fuzzy systems with interval timevarying delay. Fuzzy Sets Syst 212(1):97–109
Peng C, Wen L, Yang J (2011) On delaydependent robust stability criteria for uncertain T–S fuzzy systems with interval timevarying delay. Int J Fuzzy Syst 13(1):35–44
Shi P, Su X, Li F (2015) Dissipativitybased filtering for fuzzy switched systems with stochastic perturbation. IEEE Trans Autom Control doi:10.1109/TAC.2015.2477976
Souza F, Campos V, Palhares R (2014) On delaydependent stability conditions for Takagi–Sugeno fuzzy systems. J Frankl Inst 351(7):3707–3718
Su X, Shi P, Wu L (2013) A novel control design on discretetime Takagi–Sugeno fuzzy systems with timevarying delays. IEEE Trans Fuzzy Syst 21(4):655–671
Su X, Shi P, Wu L (2014a) Reliable filtering with strict dissipativity for T–S fuzzy timedelay systems. IEEE Trans Cybern 44(12):2470–2483
Su X, Wu L, Shi P (2014b) A novel approach to output feedback control of fuzzy stochastic systems. Automatica 50(12):3268–3275
Su X, Shi P, Wu L, Song Y (2015) Fault detection filtering for nonlinear switched stochastic systems. IEEE Trans Autom Control doi:10.1109/TAC.2015.2465091
Taniguchi T, Tanaka K, Wang H (2000) Fuzzy descriptor systems and nonlinear model following control. IEEE Trans Fuzzy Syst 4(8):442–452
Tian E, Chen P (2006) Delaydependent stability analysis and synthesis of uncertain T–S fuzzy systems with timevarying delay. Fuzzy Sets Syst 157(4):544–559
Tian E, Yue D, Zhang Y (2009) Delaydependent robust \(h_{\infty }\) control for T–S fuzzy system with interval timevarying delay. Fuzzy Sets Syst 160(12):1708–1719
Tian E, Yue D, Gu Z (2010) Robust \(h_{\infty }\) control for nonlinear system over network: a piecewise analysis method. Fuzzy Sets Syst 161(21):2731–2745
Wang H, Zhou B, Lu R, Xue A (2014) New stability and stabilization criteria for a class of fuzzy singular systems with timevarying delay. J Frankl Inst 351(7):3766–3781
Xia X, Li R, An J (2014) Robust nonfragile \(h_{\infty }\) filtering for uncertain T–S fuzzy systems with interval delay: a new delay partitioning approach. Abstr Appl Anal 523462
Xie L (1996) Outputfeedback \(h_{\infty }\) control of systems with parameter uncertainty. Int J Control 63(4):741–750
Xu S, VDooren P, Stefan R, Lam J (2002) Robust stability and stabilization for singular systems with state delay and parameter uncertainty. IEEE Trans Autom Control 47(7):1122–1128
Yang J, Luo W, Wang Y, Duan C (2015) Improved stability criteria for T–S fuzzy systems with timevarying delay by delaypartitioning approach. Int J Control Autom Syst 13(6):1–9
Zeng H, Park J, Xia J, Xiao S (2014) Improved delaydependent stability criteria for T–S fuzzy systems with timevarying delay. Appl Math Comput 235:492–501
Zhang H, Shen Y, Feng G (2009) Delaydependent stability and \(h_{\infty }\) control for a class of fuzzy descriptor systems with timedelay. Fuzzy Sets Syst 160(12):1689–1707
Zhao F, Zhang Q, Yan X, Cai M (2015) \(h_{\infty }\) filtering for stochastic singular fuzzy systems with timevarying delay. Nonlinear Dyn 79(1):215–228
Zhao L, Gao H, Karimi H (2013) Robust stability and stabilization of uncertain T–S fuzzy systems with timevarying delay: an input–output approach. IEEE Trans Fuzzy Syst 21(5):883–897
Zhu B, Zhang Q, Zhao E (2016) Robust dissipative filtering for a kind of T–S fuzzy descriptor system with immeasurable premise variables. Int J Syst Sci 47(2):265–282
Authors’ contributions
All authors contributed equally and significantly in writing this manuscript. All authors read and approved the final manuscript.
Acknowledgements
This work is supported in part by the National Natural Science Foundation of China (Grant Nos. 61533007, 61374146 and 61174215), Project 863 of China (Grant No. 2011AA060204) and IAPI Fundamental Research Funds (Grant No. 2013ZCX0204).
Competing interests
The authors declare that they have no competing interests.
Author information
Authors and Affiliations
Corresponding author
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.
About this article
Cite this article
Sun, C., Wang, F. & He, X. Delaydependent stability and stabilization criteria for T–S fuzzy singular systems with interval timevarying delay by improved delay partitioning approach. SpringerPlus 5, 349 (2016). https://doi.org/10.1186/s4006401619822
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s4006401619822
Keywords
 Fuzzy singular system
 Delaypartitioning approach
 Interval timevarying delay
 Linear matrix inequalities (LMIs)