A Reconstruction Procedure Associated with Switching Lyapunov Function for Relaxing Stability Assurance of T-S Fuzzy Mode

This paper proposes a novel reconstruction procedure to lessen the conservatism of stability assurance of T-S Fuzzy Mode. By dividing the state variables into some bounded regions, the considered T-S fuzzy model can be first transferred to an alternative form via a reconstructing procedure.Thus, we can attain some relaxing stability criteria based on the switching quadratic Lyapunov function (SQLF) method. Notably, these proposed conditions are explicitly formulated by linear matrix inequality (LMI) form and can handily be evaluated by current software tools. Finally some illustrative examples are given to experimentally demonstrate the validity and merit of the proposed method.


Introduction
A class of empirical control architecture, fuzzy logic control (FLC), is originally proposed in the past two decades [1].And, it then has become one of the most active and fruitful areas in this research community.Many researchers have dedicated a lot of time and great effort to both theoretical research and implementation techniques for FLC.The basic idea behind FLC is to incorporate the "expert experience" of a human operator into a system.Notably, a complicated dynamic model is not necessary any more.However, modelfree type of fuzzy control is useful and practical, but this control technique is insufficient of mathematical support.In order to systematically analyze the stability of the fuzzy system, Takagi-Sugeno (T-S) fuzzy model [2,3] was presented to open a different viewpoint from the traditional fuzzy system.Based on the T-S fuzzy model, a complicated system can be represented as a set of fuzzy IF-THEN rules, each of which represents the local linear subsystem in a different state-space region.By the fuzzy blending operating, they thus can approximately represent some uncertain or/and nonlinear systems [4][5][6][7][8].
The stability issues of T-S fuzzy model were first analyzed by Tanaka and Sugeno [3].Based on Lyapunov direct method, they presented some sufficient conditions that could systematically achieve the stability analysis and stabilization of fuzzy systems [9,10].Moreover, the stability conditions could be cast into linear matrix inequality (LMI) forms [1,[10][11][12][13].For earlier research, most works are devoted to common quadratic Lyapunov function (CQLF) methods.Thus, the proposed criteria require finding a common positive definite matrix P of a CQLF to satisfy all the subsystems [3,[14][15][16][17][18][19].But, if the number of fuzzy rules is large, a common matrix P may hardly be obtained or does not exist in all the subsystems.Instead of CQLF, a switching quadratic Lyapunov function (SQLF) was involved [20][21][22][23][24].This SQLF method beforehand divides the state space into several regions, and, in each region we can try to find the individual positive-definite matrix P  for the SQLF.Furthermore, we need to guarantee the SQLF   (x()) be the same in the region boundary but did not expect that all P  are equal.In previous works, the stability criteria need to involve bilinear matrix inequality (BMI) conditions, which cannot be directly evaluated by traditional LMI solver [25].

Mathematical Problems in Engineering
In this work, based on SQLF method, we devote the stability criteria of T-S fuzzy model to the relaxing.Firstly, we use a distinct region-division approach for the state space.When assuming that the state variables of the considered T-S fuzzy model can be correspondingly formulated by single membership function at the region boundary, we thus propose a reconstructing procedure for substituting.Thus, based on the SQLF method, more relaxed stability criteria can be derived and expressed by LMI manner.Finally, an illustrative example is given to verify the efficiency and superiority of the proposed method.

Problem Description and Preliminaries
T-S fuzzy model can approximately represent some intractable systems with parametric uncertainty or nonlinearity via the fuzzy IF-THEN rules interpretation.This mode mainly characterizes the local dynamics behaviors of a system by the fuzzy rules where their consequent parts are represented by some locally linear models.Thus, an overall system can be achieved via the fuzzy "blending" for these linear models.The  rules of a T-S fuzzy model are expressed as follows: where MR  denotes the model rule ;   denotes the fuzzy set corresponding to the state variable   () of MR  ;  is the number of IF-THEN fuzzy model rules; x() = [ 1 ()  2 () ⋅ ⋅ ⋅   ()]  ∈ R  is the state vector; A  ∈ R × denotes the system matrix of the subsystem.
The T-S fuzzy model in ( 1) is assumed to be inferred by center average defuzzification (CAD) and can be described by where (  ()) is the grade of membership of   () in membership function   .And, the inferred grade function is normalized as Based on Lyapunov stability theory, a candidate Lyapunov function with a constant matrix  is given by  (x ()) = x  () Px () (5) with  > 0. Thus, for stability assurance, the chosen Lyapunov function needs to satisfy the following four conditions: (1)  is  1 , (2) x() = 0 ⇔ (x()) = 0, where  1 is the set of all real-valued functions that have a continuous first derivative on (−∞, ∞) and ‖ ⋅ ‖ denotes the Euclidean norm for the considered vectors.
Based on (5), Tanaka and Sugeno [3] originally proposed a stability criterion as follows.
Lemma 1 (see [3]).The equilibrium of the autonomous T-S fuzzy system in ( 2) is asymptotically stable in the large, if there exists a common positive-definite symmetric matrix  such that Remark 2. Lemma 1 shows that we need to find a common matrix  to satisfy all the conditions in (6) for global stability assurance.Based on Lemma 1, some less conservative results [12,16] with a common positive-definite symmetric matrix  were achieved by involving some extra slack matrices in criteria.x 2 (t)

Switching T-S Fuzzy Model and Stability Issues
x 1 (t) Each linear consequent equation, Given a pair of (x(), u()), the final output of the T-S fuzzy model ( 7) is inferred by CAD and can be represented as follows [23]: where ℎ  (x()) is the normalized membership function of the LMR  in Region  and satisfies In the th region, we define where the number of the state variables is equal to  and its corresponding state space can be divided into 2  region.For clarification, assume that the considered state space has three dimensions and each separated region corresponds to a quadrant.Figure 1 depicts that the trajectory of a given initial state passes over the different quadrants in a three-dimensional space.The state in Figure 1 passes through Region 2, Region 1, Region 5, Region 7, Region 3, Region 4, and Region 2 in turn.
To guarantee the stability of T-S fuzzy system, we suppose that the trajectory of a system cannot be motionless on the region boundaries.

Switching Quadratic Lyapunov Function.
Consider where P  ∈ R × ∀ are a set of positive-definite symmetric matrices.This function is continuous on region boundaries if P  satisfies the following constraint [23]: Since the involved property is crucial for discussing the SQLF, an example is illustrated as follows.
Example 3 (see [23]).As in Figure 1, consider a system with three state variables  1 (),  2 (), and  3 ().The state space can be divided into the following eight regions, eight quadrants: Based on the notation of a region, that is,   ( 1 ,  2 , . . .,   ), each P  is represented as follows: (j,m−1)  (j,m) x j (t) x j (t) < 0 x j (t) ≥ 0 On the region boundary between Regions 5 and Regions 7, a plane A in Figure 1 for x , the SQLF is calculated as Furthermore, the illustrative results can be similarly extended to the other region boundaries of x().
Remark 4. Based on the SQLF, (13), we have shown that the state trajectory crossed a plane; that is, is continuous.In addition, it is also continuous when the trajectory crosses a line, such as

Main Result
Considering in general fuzzy inference rules, a single state variable triggers no more than two fuzzy sets.Thus, fuzzy sets for a premise variable   () can be assumed to have two different patterns, defined in Figures 2 and 3, respectively, where their differences are at   () = 0 including single membership function or two membership functions.
For generalization and unification, our proposed approach merely focuses on addressing the pattern with   () = 0 with single fuzzy set, that is, as in Figure 2. Thus, if the pattern is like Figure 3, we need to beforehand perform a reconstruction procedure described in the following.

Illustrative Example
Revisit Example 1 in the previous work [26].By our proposed approach, we can beforehand use the reconstruction procedure for this T-S fuzzy model and thus can suitably perform the stability verification by Theorem 6 with SFQLF described in the sequel.THEN ẋ () = A (0,0)(1,1) x () THEN ẋ () = A (0,0)(2,1) x () THEN ẋ () = A (0,1)( In this example, by applying a current tool, Matlab software, we experimentally attain a widely feasible region for the parameters' pair (, ) via SQLF method compared to that of the CQLF method.The feasible parameter pairs (, ) of the CQLF and the SQLF methods are shown in Figures 9 and  10, respectively.By observation, the proposed approach can dramatically lessen the conservatism of the stability assurance.

Figure 1 :
Figure 1: Divided state space and change of state.

Figure 6 :
Figure 6: Rules illustration of Example 5 by the first process of reconstruction.

Example 7 .
Consider the following reconstructed switching T-S fuzzy model: RMR (0,0) : IF  1 () is  (1,0) and  2 () is  (2,0)THEN LMR (1,1) : IF  1 () is  0,(1,1) and  2 () is  0,(2,1) () is  1 and  2 () is  2 ⋅ ⋅ ⋅ and   () is   ,  denotes the region model rule .LMR  denotes the local model rule .  denotes the fuzzy set corresponding to the state variable   () of LMR  in Region .  is the number of IF-THEN fuzzy local model rules in Region . 2  is the number of region. is the number of state variables. = ∑ 2  =1   is the total number of IF-THEN fuzzy model rules.A  ∈ R × denotes the system matrix of the subsystem.B  ∈ R × denotes the input matrix of the subsystem.