On Delay-Fractional-Dependent Stability Criteria for Takagi-Sugeno Fuzzy Systems with Interval Delay

This paper investigates stability program of Takagi-Sugeno fuzzy systems with interval time-varying 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 delay-fractional-dependent stability criteria are obtained based on the direct Lyapunov method allied with an appropriate and variable Lyapunov-Krasovskii functional choice and with two different bounding techniques to estimate some integral terms in the time-derivative of the Lyapunov-Krasovskii functional.Thefirst 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 Lyapunov-Krasovskii functional is guaranteed by new relaxed conditions. When applying these two stability criteria to check the stability of a T-S 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.


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 "IF-THEN" rules which give a local linear representation for an underlying system.Consequent function-type fuzzy models with linear consequent functions are called Takagi-Sugeno (T-S) 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 time-varying delay (), that is, () ∈ [ℎ  , ℎ  ], is more involving [4,5] and may be found, for example, in networked control systems.As a result, stability analysis for T-S fuzzy systems with interval time-varying 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][6][7][8][9][10][11][12][13][14][15][16][17][18] and the references therein.Most recently, stability analyses for T-S fuzzy systems also have been extended to the fuzzy control and observer design,  − / ∞ faults detection, and fault tolerant; for example, see [15,[19][20][21][22][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 delay-dependent stability results were provided in [10,12,14,16,17,24,25].An et al. [12,14] improved the stability conditions for T-S fuzzy systems with normbounded-type uncertainties by constructing a new LKF and improving Jensen's inequality.Note that most of the aforementioned delay-dependent 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 free-weighting matrices method is proposed in [17,18,26].Z. Yang and Y.-P.Yang [18] studied the stability and synthesis problem of uncertain T-S fuzzy systems with time-varying delay by using LKF approach.Liu et al. [26] proposed new delaydependent stability criteria for T-S fuzzy systems with timevarying delay.Recently, a delay partitioning approach has been proposed to further reduce their conservatism; see [4,9,[11][12][13][14][27][28][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 T-S fuzzy systems.Most recently, Peng et al. [8,9] proposed some less conservative results by using delay partitioning technique and free matrices based on Newton-Leibniz formula.Yet, there exists further room to investigate the upper bound of the time-derivative of the LK functional [5-14, 25, 26], which also motivates the present study.This paper will focus on the delay-fractional-dependent stability problem of T-S 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 delay-fractional-dependent 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.

Problem Formulation
Consider a nonlinear system with interval time-varying delay via T-S fuzzy model, which can be described as follows: Rule : where 0 ≤ ℎ  ≤ () ≤ ℎ  and () is the state vector.() is the continuous initial vector function defined on [−ℎ  , 0];  1 (),  2 (), . . .,   () denote the premise variables while  1 ,  2 , . . .,   represent the fuzzy sets; the system coefficient matrices are constant real matrices with appropriate dimensions, where  = 1, 2, . . .,  and  is the number of IF-THEN rules.For the sake of convenience, we denote  = ℎ  − ℎ  .In this paper, the delay () is assumed to be time-varying delay as the following two cases.
Case II.() is not differentiable or the upper bound of the derivative of () is unknown, and () satisfies where ℎ  , ℎ  , and ℎ  are some given values.
To end this section, we introduce the following lemmas which are useful in stability analysis for the T-S fuzzy systems.
First, Lemma 1 induces some integral inequalities.
Case 1.When  > 0 and  1 ,  2 are constant values, Case 2. When  > 0 and  1 ,  2 are time-varying, ℎ =  2 − 1 := ℎ() ≥ 0, Case 3. When  1 ,  2 are time-varying, ℎ =  2 −  1 := ℎ() ≥ 0, and  is any symmetric matrix, with 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 delay-fractionaldependent 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][7][8][9][10], the Leibniz-Newton formula was employed and many free-weighting matrix variables were introduced.In fact, these free-weighting 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][7][8][9][10], and thus the integral inequality based results are carried out more efficiently as compared with the general free-weighting matrix based on the Newton-Leibniz 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.

Main Results
This section aims to develop a novel delay decomposing approach for stability analysis of T-S fuzzy system (4).Firstly, we divide the delay intervals [0, ℎ  ] and For the sake of convenience, we denote 4), and  0 = ℎ  − 0. For the T-S fuzzy system (4), based on the Lyapunov stability theorem, we will give a stability criterion by using a novel delay decomposition approach as follows.
Thus, this completes the proof.
Remark 5.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 ℎ =  2 −  1 := ℎ() 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.
Notice that Theorem 4 and Corollary 6 still have some free-weighting matrices.In the following we present the second stability criterion in which no free-weighting matrix is involved.
We have proposed two techniques to investigate the stability of T-S 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 free-weighting matrices, which are introduced to make use of the constraints   ,   ( = 1, 2, 3, 4) and  1 ,  2 .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 8.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   ,   ( = 1, 2, 3, 4) with relation to a tuning parameter.Moreover, the proposed results can be extended to robust  − / ∞ control and fault detection/fault tolerant tracking control for T-S systems with unknown inputs or input constraints and with unmeasurable premise variables as [19][20][21][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.

Numerical Examples
This section gives three examples to demonstrate the effectiveness and reduced conservatism of the proposed approach.For comparisons, we study T-S fuzzy system (4) with fuzzy rules investigated in recent publications [6-10, 12-14, 26].
Example 1 (Example 1 of [7]).Consider a two-rule system: where and For this T-S 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 time-varying delay with unknown time-derivative.If the additional information ℎ  = 0.3 is given, larger upper bounds of the delay can be computed by Theorems 4 and 7 for various tuning delay-fractional parameters , respectively, which are shown in Table 2.Moreover, when ℎ  = 0.5, the maximum allowable delay bound (MADB) ℎ  obtained from the criterion [28] are 1.3451 and 1.4016 with ℎ  = 0.1 and ℎ  = 0.3, while Theorem 4 ( = 0.65) in this paper can compute the MADB as 1.5503 and 1.4874 with ℎ  = 0.1 and ℎ  = 0.3, 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 two-rule system: where ℎ 1 = 1/(1 + exp(−2 1 ())), ℎ 2 = 1 − ℎ 1 , and Choosing ℎ  and ℎ  in Table 3 and applying Theorem 4 ( = 0.7) and Corollary 6 ( = 0.8), 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, fast-varying delay case, by setting   = 0 and   = 0, the obtained ℎ  are computed as shown in the last column of Table 3.It is worthwhile to point out that, when ℎ  ≥ 1, 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 ℎ  = 0. 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 time-invariant, that is, ℎ  = 0, the obtained results in Corollary 6 are better than those in [14,25,26].Furthermore, when the delay is time-varying, 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 ℎ  = 0 does not mean a constant delay (i.e., τ () ≡ 0), but it means a time-varying delay with τ () ≤ 0, ∀ ≥ 0. 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 T-S fuzzy models, and the proposed approach also yields less conservative than the existing results.

Conclusion
Two delay-interval-dependent stability criteria have been proposed for T-S fuzzy systems with interval time-varying delays through constructing a novel delay-dependent LK functional via variable delay partitioned approach, utilizing suitably some integral inequalities, and employing convex combination technique and a scalar inequality.The proposed criteria provide better results since approximation of the uncertain delay factors in the time-derivative of LK functional has been avoided, while the positiveness of LK functional also must not be guaranteed by imposing the positiveness of all the terms composing the LK functional separately.The superiority of the present result has been validated through numerical examples.Moreover, the proposed approach is simple and may easily be extended to robust stabilization and  ∞ control problems for uncertain timedelayed T-S fuzzy systems.

Table 1 :
Comparison of MADB ℎ  for various ℎ  with unknown delay derivative ℎ  .