Research Article  Open Access
On DelayFractionalDependent Stability Criteria for TakagiSugeno Fuzzy Systems with Interval Delay
Abstract
This paper investigates stability program of TakagiSugeno fuzzy systems with interval timevarying delay via a variable delay decomposition approach. By developing a delay decomposition approach, both lower and upper bound information of the delayed plant states can be taken into full consideration; two novel delayfractionaldependent stability criteria are obtained based on the direct Lyapunov method allied with an appropriate and variable LyapunovKrasovskii functional choice and with two different bounding techniques to estimate some integral terms in the timederivative of the LyapunovKrasovskii functional. The first stability criterion is derived by utilizing the suitable and generalized integral inequalities, while the second stability condition is obtained by employing a scalar inequality, without any direct approximation. Particularly, the proposed results differ from previous ones since the positiveness of the LyapunovKrasovskii functional is guaranteed by new relaxed conditions. When applying these two stability criteria to check the stability of a TS fuzzy system, it is shown through some numerical examples that the first stability condition can provide a larger maximum allowable delay bound than the second stability criterion, and both stability criteria yield less conservative than the existing ones.
1. Introduction
Stability is a central issue in dynamical system and control theory. A dynamical system is called stable (in the sense of Lyapunov) if starting the system somewhere near its desired operating point implies that it will stay around that point ever after [1]. Fuzzy systems are nonlinear systems described by a set of “IFTHEN” rules which give a local linear representation for an underlying system. Consequent functiontype fuzzy models with linear consequent functions are called TakagiSugeno (TS) models; using such models, complex nonlinear systems can be represented by selection of membership functions and consequent functions, which can approximate a wide range of nonlinear systems [2, 3]. In practice, time delays are frequently encountered in many engineering systems, and they are usually regarded as a source of instability and poor performance [1, 3]. In particular, the problem of checking stability of systems with an interval timevarying delay , that is, , is more involving [4, 5] and may be found, for example, in networked control systems. As a result, stability analysis for TS fuzzy systems with interval timevarying delay is of great significance both in theory and in practice. Much effort has been devoted to the analysis and synthesis of fuzzy systems with interval delay during the last decades; for example, see [5–18] and the references therein. Most recently, stability analyses for TS fuzzy systems also have been extended to the fuzzy control and observer design, faults detection, and fault tolerant; for example, see [15, 19–23].
Recently, the development of the technologies for delaydependent stability analysis has been focusing on effective reduction of the conservation of the stability conditions. The main aim is to derive a maximum allowable delay bound (MADB) of the time delay such that the time delays' system is asymptotically stable for any delay between the lower bound and the MADB. Via different types of LK functional together with the Jensen inequality approach, improved delaydependent stability results were provided in [10, 12, 14, 16, 17, 24, 25]. An et al. [12, 14] improved the stability conditions for TS fuzzy systems with normboundedtype uncertainties by constructing a new LKF and improving Jensen’s inequality. Note that most of the aforementioned delaydependent stability results were obtained by requiring all the involved symmetric matrices in a chosen LK functional to be positive definite. Such a requirement can cause conservatism in the criteria. Actually, this requirement is not necessary to guarantee an LK functional to be positive definite, which is similar to relaxed positiveness condition in [10], though the authors in [10] used a different LK functional. This observation has been overlooked when using the LK functional approach in the literature, which motivates the present study.
In order to reduce the conservatism introduced by model transformation and bounding techniques, a freeweighting matrices method is proposed in [17, 18, 26]. Z. Yang and Y.P. Yang [18] studied the stability and synthesis problem of uncertain TS fuzzy systems with timevarying delay by using LKF approach. Liu et al. [26] proposed new delaydependent stability criteria for TS fuzzy systems with timevarying delay. Recently, a delay partitioning approach has been proposed to further reduce their conservatism; see [4, 9, 11–14, 27–29] and references therein. However, the decomposition approach is complicated and the resulting stability condition is difficult to check in [27]. Liu [28] used a delay decomposition approach, and new stability results were derived in the sense of simpler complexity and less conservatism. Zhao et al. [29] proposed a delay partitioning approach to stability and stabilization of delayed TS fuzzy systems. Most recently, Peng et al. [8, 9] proposed some less conservative results by using delay partitioning technique and free matrices based on NewtonLeibniz formula. Yet, there exists further room to investigate the upper bound of the timederivative of the LK functional [5–14, 25, 26], which also motivates the present study.
This paper will focus on the delayfractionaldependent stability problem of TS fuzzy systems with interval timevarying delay. Inspired by the novel approach in Souza et al. [10], by some integral inequalities in [1, 24, 30], then by the works of Liu [28], Zhang et al. [24], and Briat [31], and by the aforementioned observation that the positive definiteness of a chosen LK functional does not necessarily require all the involved symmetric matrices to be positive definite, we firstly construct a novel delayfractionaldependent LK functional by developing a variable delay decomposition technique. Secondly, we estimate the upper bound of its derivative less conservatively by suitably utilizing the integral inequalities and adopt the convex combination technique; then we obtain a less conservative stability criterion in terms of linear matrix inequalities (LMIs). On the other hand, by using a scalar inequality proposed in [32], another stability criterion is also proposed which is less conservative than the existing ones without any free matrices included; that is, there has not any extra computation burden. Finally, three numerical examples are used to compare with some previous results and demonstrate the effectiveness of the proposed method.
2. Problem Formulation
Consider a nonlinear system with interval timevarying delay via TS fuzzy model, which can be described as follows:
Rule : IF is and and is , THEN where and is the state vector. is the continuous initial vector function defined on ; denote the premise variables while represent the fuzzy sets; the system coefficient matrices are constant real matrices with appropriate dimensions, where and is the number of IFTHEN rules. For the sake of convenience, we denote .
In this paper, the delay is assumed to be timevarying delay as the following two cases.
Case I. is a differentiable function, satisfying for all
Case II. is not differentiable or the upper bound of the derivative of is unknown, and satisfies where , and are some given values.
The fuzzy system (1) is supposed to have singleton fuzzifier, product inference, and centroid defuzzifier. The final output of the fuzzy system is inferred as follows: where and , , and is the membership function of in . Here and .
The purpose of this paper is to find new stability criteria, which are less conservative than the existing results. Such a criterion may be used to compute the tolerable delay bound for given or vice versa.
To end this section, we introduce the following lemmas which are useful in stability analysis for the TS fuzzy systems.
First, Lemma 1 induces some integral inequalities.
Lemma 1 (integral inequalities, Gu et al. [1], Zhang et al. [24], and Sun et al. [30]). Let be a vectorvalued function with firstorder continuousderivative entries. Then, for any matrices , , , and some given scalars , the following integral inequality holds.
Case 1. When and are constant values,
Case 2. When and are timevarying, ,
Case 3. When are timevarying, , and is any symmetric matrix, with and .
Remark 2. Equations (6)–(10) are called some integral inequalities presented over the existing literatures. They play a key role in the derivation of a criterion for delayfractionaldependent stability in this paper. To reduce conservatism of the proposed results, the relaxed matrix inequalities in (6)–(10) will be adopted in the present work. The relaxed matrix inequality is quite different from the ones in [1] and also can produce less conservative results than the descriptor model transformation method [18, 24, 26]. In [6–10], the LeibnizNewton formula was employed and many freeweighting matrix variables were introduced. In fact, these freeweighting matrix variables are all redundant and can be eliminated, which was theoretically proven in [16]. Generally speaking, by using Jensen’s inequality or equivalent Jensen inequality [31], the computational complexity of the obtained stability criterion may be lower than the ones in [6–10], and thus the integral inequality based results are carried out more efficiently as compared with the general freeweighting matrix based on the NewtonLeibniz formula, since fewer matrix variables are introduced for computing.
Second, we introduce the following scalar inequality which is essential in the proofs of our results without any free matrices.
Lemma 3 (scalar inequality, [32]). For any scales , , and , one has
3. Main Results
This section aims to develop a novel delay decomposing approach for stability analysis of TS fuzzy system (4).
Firstly, we divide the delay intervals and into four segments: , where , , , , and . For the sake of convenience, we denote , , , and . For the TS fuzzy system (4), based on the Lyapunov stability theorem, we will give a stability criterion by using a novel delay decomposition approach as follows.
Theorem 4. (i) In Case I, for given scalars , , , the TS fuzzy system (4) is asymptotically stable if there exist real symmetry matrices , , , , , , and any matrices , with appropriate dimensions such that the LMIs in (12) and (13) are feasible. Consider
with
where
(ii) In Case II, for given scalars and , the TS fuzzy system (4) is asymptotically stable if there exist real symmetry matrices ,, , , and any matrices , , with appropriate dimensions such that the LMIs in (12) and (13) with , are feasible.
Proof. In Case I, choose the following delaydependent LK functional:
where denotes the function defined on the interval and
with , , , , , being real symmetry matrices.
First, we show that the condition is satisfied. Assume that and ; then, suitably applying Lemma 1 yields
We denote ; after the simple arrangement, we have
where
Therefore, if the right side of (19) is positive, it yields a sufficient condition to guarantee that , . Moreover, the LMI in (12) implies that and . Consequently, if the LMIs in (7) are satisfied, , and , then .
Secondly, we show that the condition is also guaranteed if the LMIs in (13) and , , hold. Taking the derivative of (16) with respect to along the trajectory of system (4), we have
For any , it is a fact that or , (). In the case of , that is, , , suitably using the integral inequalities in Lemma 1, the following inequalities are true:
with , and .
It follows from (21)–(27) that
with , where , ,, , and are defined in (15), and .
Since , applying the convex combination method, we conclude that if the following LMIs
are simultaneously feasible, then is true for a sufficiently small .
Meanwhile, if , that is, , , similar to the above deduction process, we also can obtain similar stability conditions.
In Case II, a Lyapunov functional can be chosen as (16) with . Similar to the above analysis, one can get that ().
Thus, this completes the proof.
Remark 3. It may be noted that, in the above, no approximation of the delay term is involved excepting exploiting a convex combination of the uncertain terms involved. In fact, Lemma 1 plays a key effect on the present results, which is different from the common Jensen’s inequality, although their similarity can be established following the equivalency results in [31]. However, if is uncertain and is required to be approximated with its lower or upper bound then use of (9) or (10) would be beneficial since the free variables are introduced. Such a feature leads to less conservative results compared to the existing ones as is shown in the next section using numerical examples.
When the lower bound of the delay is 0, that is, , and the interval team is missing, we may set , , , , and in (16), according to Theorem 4, and then obtain Corollary 6.
Corollary 6. (i) In Case 1, for given scalars , the TS fuzzy systems (4) are asymptotically stable if there exist real symmetric matrices , , , , , , and any matrices with appropriate dimensions such that the LMIs in (30) are feasible as follows:
with
where
(ii) In Case 2, if the LMIs in (30) with and are feasible, the aforementioned system is asymptotically stable for fastvarying delay.
Notice that Theorem 4 and Corollary 6 still have some freeweighting matrices. In the following we present the second stability criterion in which no freeweighting matrix is involved.
Similar to the line of derivation process of Theorem 4, for (27), we have
Based on Lemma 3, if we denote then we have . After rearrangement of (21)–(26) and (33), we can deduce a similar formula as (28)(29) and then obtain the following result for the TS fuzzy system (4).
Theorem 7. (i) In Case 1, for given scalars , the TS fuzzy systems (4) are asymptotically stable if there exist real symmetric matrices ,, , such that the LMIs in (12) and (35) are feasible. Consider
with and , where the teams are defined in (15) except that are described as follows:
(ii) In Case 2, if the LMIs in (12) and (35) with and are feasible, the aforementioned system is asymptotically stable for fastvarying delay.
We have proposed two techniques to investigate the stability of TS fuzzy system (4) and obtain two stability results, Theorems 4 and 7, both less conservative with smaller numerical complexity than the existing ones. The two techniques are different mainly in the way of estimating the cross terms. The first estimation has no conservatism but involves seven freeweighting matrices, which are introduced to make use of the constraints and . By contrast, the second estimation involves no freeweighting matrices though a little more conservative. This ends in that Theorem 7 has smaller numerical complexity than Theorem 4.
Remark 3. By constructing new augmented LKF (16) and using useful inequalities in Lemmas 1 and 3, Theorems 4 and 7 are obtained with and without using any free matrices, respectively, which are dependent on with relation to a tuning parameter. Moreover, the proposed results can be extended to robust control and fault detection/fault tolerant tracking control for TS systems with unknown inputs or input constraints and with unmeasurable premise variables as [19–22], robust observer and output feedback control of the above systems [15, 23], NCSs, and multidelays systems, and the corresponding results will appear in the near future.
4. Numerical Examples
This section gives three examples to demonstrate the effectiveness and reduced conservatism of the proposed approach. For comparisons, we study TS fuzzy system (4) with fuzzy rules investigated in recent publications [6–10, 12–14, 26].
Example 1 (Example 1 of [7]). Consider a tworule system: where , and
For this TS fuzzy system, it is easy to notice, from Table 1, that the proposed result asserts the system's stability with the larger MADB to the timevarying delay with unknown timederivative. If the additional information is given, larger upper bounds of the delay can be computed by Theorems 4 and 7 for various tuning delayfractional parameters , respectively, which are shown in Table 2. Moreover, when , the maximum allowable delay bound (MADB) obtained from the criterion [28] are 1.3451 and 1.4016 with and , while Theorem 4 () in this paper can compute the MADB as 1.5503 and 1.4874 with and , respectively.
It is worth mentioning that Theorems 4 and 7 can provide larger upper bound than the existing ones. At the same time, Theorem 7 has some larger conservative than Theorem 4 but has less numerical complexity than some existing ones since Theorem 7 does not involve any free matrices. Next, we will give another example to illustrate the merit of our method, which is reduced conservative than the existing results.
Example 2 (Example 1 of [26]). Consider a tworule system: where , and
Choosing and in Table 3 and applying Theorem 4 () and Corollary 6 (), the larger MADB on of the delay, which guarantees the asymptotic stability of the fuzzy system, is listed in Table 3. Moreover, when are unknown, that is, fastvarying delay case, by setting and , the obtained are computed as shown in the last column of Table 3. It is worthwhile to point out that, when , the in LK functional authentically will no longer be helpful to improve the stability criterion.

To compare with the existing results in [14, 25, 26], we assume that . Using Corollary 6 yields larger MADB on that guarantees the stability of fuzzy system for various , which are listed in Table 4. From Table 4, it can be seen that when the delay is timeinvariant, that is, , the obtained results in Corollary 6 are better than those in [14, 25, 26]. Furthermore, when the delay is timevarying, the authors in [25] fail to verify that the fuzzy system is stable, while Corollary 6 of this paper can obtain the better upper bounds than those in [14, 26]. Moreover, it should be noted that does not mean a constant delay (i.e., ), but it means a timevarying delay with . Also, our result gives lesser conservativeness for a relatively large value or unknown case of .
Furthermore, we will give another example to show the effectiveness and merit of nonlinear system via TS fuzzy models, and the proposed approach also yields less conservative than the existing results.
Example 3 (Example 1 of [9]). Consider the following timedelayed nonlinear system: which can be exactly expressed as a TS delayed system (4) with the following rules [8–10, 13]:
The membership functions for above rules 1 and 2 are with the following system parameters:
To compare with the existing results, we assume that is unknown. The improvement of this paper is shown in Table 5. If the delay is fast timevarying case, the LMIs in Theorem 4 are feasible with . If the additional information is given, larger upper bounds of the delay can be computed by Theorem 4, which is shown at the last row of Table 5.

As an example, when , and is unknown, by applying Theorem 4 in this paper, we can obtain the following solutions: