This study investigates the problems of filter design for nonlinear time-delay systems with parameter uncertainties under a unified frame. The nonlinear systems subjected to parameter uncertainties are represented by an interval type-2 (IT2) Takagi-Sugeno (T-S) fuzzy time-delay model. A novel IT2 fuzzy filter is designed by establishing a Lyapunov-Krasovskii function, so that the filtering error system can guarantee the passive, dissipative, H∞ and L2 - L∞ performance indexes under a unified frame. The proposed criterion is presented via linear matrix inequalities (LMIs). Two numerical examples are given to demonstrate the capability of the suggested results.
T-S fuzzy model is a powerful tool that describes complex global nonlinear systems using a set of simple local linear models. In recent years, the problems of stability analysis, controller design and filter design for T-S fuzzy systems have been developed, and a large number of theoretical results have been achieved. Common quadratic Lyapunov functions are frequently used to conduct stability analysis of T-S fuzzy systems [1–4]. However, these functions lead to conservative results. Therefore, piecewise and fuzzy Lyapunov functions are proposed to avoid the conservativeness in stability analysis [5–13]. Moreover, several results on controller design for T-S fuzzy systems have also been presented in [14–16]. A novel output feedback controller for discrete-time systems based on observer were designed in [14]. A fuzzy state observer and a fuzzy controller for nonlinear systems were proposed, and the conditions of observability and controllability were achieved in [15]. Based on the piecewise Lyapunov functions, a new fuzzy controller for discrete-time fuzzy dynamic systems was designed in [16]. In recent years, the problems of filter design have attracted the interest of researchers. A novel approach to synthesize and generalize filters for discrete-time fuzzy dynamic systems on the basis of a piecewise Lyapunov function was proposed in [17]. The nonfragile H∞ filter for continuous-time T-S fuzzy systems was designed in [18] under the assumption that it has two types of multiplicative gain variations. However, time delays are not considered in these articles.
Time delays cannot be avoided in various complex nonlinear systems, such as communication networks, power system and mechanical systems. The existence of time delays may lead to instability and even cause performance deterioration of control systems. Stability analysis and control design of dynamic time-delay systems have received considerable attention in recent years. Numerous results have been reported on the problem of stability analysis and controller design for T-S fuzzy time-delay systems in [19–23]. The aforementioned results are obtained by type-1 fuzzy set theory. The type-1 T-S fuzzy model can perfectly deal with nonlinearities. However, the parameter uncertainties were ineffectively handled by the type-1 T-S fuzzy model [24].
In practical control systems, the parameter uncertainties are inescapable. An IT2 fuzzy system was proposed to represent nonlinear systems subjected to parameter uncertainties in [24] because of the limitations of the type-1 T-S fuzzy model in dealing with parameter uncertainties. Considerable results were reported which concerning IT2 T-S fuzzy systems in [25–32]. From the IT2 fuzzy model, the problem of H∞ model reduction for nonlinear systems with parameter uncertainties was proposed in [30]. The filtering of IT2 T-S fuzzy systems with intermittent measurements was proposed in [31]. The filter design for IT2 T-S fuzzy systems with D stability constraints was investigated in [32]. However, the problem of filter design for IT2 fuzzy systems with time delays was not considered in previous literature. Particularly, the filter design for IT2 fuzzy time-delay systems under a unified frame is still a challenging issue that inspired the present study.
This study focuses on investigating the passive, dissipative, H∞, and L2 - L∞ filter design problems for IT2 fuzzy time-delay systems under a unified frame. By constructing a Lyapunov-Krasovskii functional, a novel criterion is developed via linear matrix inequalities (LMIs). In comparison with the existing results, the main advantages of this study are summarized as follows: (1) The problem of filter design for IT2 T-S fuzzy time-delay systems is first proposed under a unified frame. By establishing a Lyapunov-Krasovskii function, so that the filtering error system can guarantee the passive, dissipative, H∞, and L2 - L∞ performance indexes. The proposed method generalizes the results in [32]. (2) The proposed IT2 fuzzy filter does not have the same premise membership functions as the IT2 fuzzy system, which enhances the design flexibility of the proposed filter. (3) The proposed conditions are presented in the form of LMIs using some advanced matrix inequalities.
The remainder organization of this paper is as follows: The problem formulation and preliminaries are discussed in Section 2. The main results and relevant lemmas are presented in Section 3. Two simulation examples that show the effectiveness of the results are described in Section 4. The last section provides the conclusion.
Problem formulation
Notation: The transpose of a matrix and its inverse are respectively denoted by superscript “T” and “-1”. Rn denotes the n-dimensional Euclidean space. Sym{A} denotes A + AT for simplicity. In symmetric block matrices, “*” denotes the transposed elements.
A nonlinear time-delay system with parameter uncertainties is described by the following IT2 T-S fuzzy model with p plant rules:
Plant rule i: IFf1 (x (t)) is and...and fr (x (t)) is , THEN:
where is an IT2 fuzzy set, fα (x (t)) represents the premise variables, i = 1, 2, ⋯ p, α = 1, 2, ⋯ r, and r is a positive integer; x (t) ∈ Rn, z (t) ∈ Rv, y (t) ∈ Rm, and w ∈ Rq are the system sate vector, control output, measure output, and disturbance input, respectively; and the known matrices Ai, Adi, D1i, Ci, Cdi, D2i, Ei, Edi, and D3i have the appropriate dimensions. The firing strength of the i-th rule is defined as:
where:
with and denoting the lower and upper membership grades, respectively. The IT2 T-S fuzzy time-delay system can be defined as:
where:
where and denote the nonlinear functions and satisfy , ∀i.
The following definition gives the fuzzy H∞ filter with p rules.
Rulej: Ifg1 (x (t)) is and...and gl (x (t)) is , THEN:
where is an IT2 fuzzy set and gβ (x (t)) denote the premise variables, j = 1, 2, ⋯ p, β = 1, 2, ⋯ l, l is a positive integer; Afj, Bfj and Cfj are the filter parameters to be designed. The firing strength of the j-th rule is defined as:
where:
with and denoting the lower and upper membership grades, respectively. The final form of the IT2 fuzzy filter is expressed as:
where
and are predefined functions and satisfy , ∀j.
From Equations (2) and (4), the error system with time delays is defined as:
where , e (t) = z (t) - zf (t), , , , , , .
The following assumption and definition are introduced to develop the main results:
Assumption 1 [33]: Matrices Φ, Ψ1, Ψ2, and Ψ3 satisfy the constraints below:
Φ=ΦT ≥ 0, , and ;
;
(∥ Ψ1 ∥ + ∥ Ψ2 ∥) ∥ Φ ∥ =0; and
.
Definition 1 [33]: For the given matrices Φ, Ψ1, Ψ2, and Ψ3 that satisfied Assumption 1, system (5) is believed to be extended dissipative if there has a scalar δ, such that the following inequality holds for any t > 0 and all w (t) ∈ L2 [0, ∞):
where
The inequality (6) represents the index performance.
Remark 1. Definition 1 contains several types of well-known performance indexes for the different values of Φ, Ψ1, Ψ2, and Ψ3, including passive, dissipative, H∞ and L2 - L∞ performances.
The purpose of this study is to design an IT2 fuzzy filter for IT2 fuzzy time delay systems under a unified frame, such that: (a) the filtering error system (5) is asymptotically stable when w (t) =0 and (b) the filtering error system (5) guarantees the performance index (6).
Main results
The following nomenclatures are used to simplify the vector and matrix representations:
Lemma 1.[34] Let x be a differentiable function: . For symmetric matrices , and , the following inequality holds:where
Now the following theorem is presented:
Theorem 1.Suppose Afj, Bfi, and Cfj are known, hold for all j, and the given matrices Φ, Ψ1, Ψ2, and Ψ3 satisfy Assumption 1, the system (5) meets the requirements of index and is guaranteed to be asymptotically stable, if there exist matrices Q > 0, R > 0, G, L = LT, S = ST, W = WT, and such that the following LMIs hold:where
In this sense, the value of scalar δ in Definition 1 is selected as -V (0).
Proof. Choose the following Lyapunov-Krasovskii functional:
where . Then we have:
Thus, the following expression is obtained:
Applying Lemma 1 to , the following expression is obtained:
where
From Equation (15), if , then we have . Using the Schur complement of , the following expression is obtained:
where:
It is can be seen that , where is an arbitrary matrix with the appropriate dimensions. Thus, the following expression is obtained:
According to Definition 1, the following inequality, which holds for any of the matrices Φ, Ψ1, Ψ2, and Ψ3 that satisfy Assumption 1, should be proven:
For this reason, two cases, i.e., ∥Φ ∥ =0 and ∥Φ ∥ ≠0, are considered, as follows:
∥Φ ∥ =0, inequality (20) always holds for any t ≥ 0 from (19).
∥Φ ∥ ≠0, under Assumption 1, ∥Ψ1 ∥ + ∥ Ψ2 ∥ =0, , and show that Ψ1 = Ψ2 = 0, Ψ3 > 0. Then, we have and J (t) = wT (t) Ψ3w (t) >0. Under the condition of , the equation is obtai-ned. From Equation (8), . Then, the following inequalities hold:
Given the two cases, i.e., ∥Φ ∥ =0 and ∥Φ ∥ ≠0, previously discussed, in the sense of Definition 1, system (5) is believed to be extended dissipative.
Let w (t) ≡0, under Assumtion 1 that Ψ1 ≤ 0, , which indicates that system (5) is asymptotically stable when w (t) =0. The proof is completed.
Next, the IT2 T-S fuzzy filter is designed on the basis of Theorem 1. From Assumption 1, we know that Φ > 0 and Ψ1 ≤ 0, so the matrices and always exist and satisfy the following equation:
Lemma 2.[35] For matrices T, M, L, and A with appropriate dimensions and scalar β, let there be the following condition is applied:
Then, T + ATMA < 0 can be obtained.
The following theorem presents the design conditions of the IT2 T-S fuzzy filter.
Theorem 2.Given the scalars α and β, under the conditions of , the system (5) meets the requirements of index and is guaranteed to be asymptotically stable, if there exist appropriate matrices Q > 0, R > 0, G, , , S = ST, W = WT, , , , and , such that the following LMIs hold:where
The IT2 filter parameters are expressed as:
Proof. Inequality (24) holds by using the Schur complement of inequality (8). Matrix is defined with the appropriate dimensions. From the inequalities of (15) and (18), can ensure that . Under the condition of , can be expressed as:
where
Using the Schur complement of Equation (29), the following expression is obtained:
Then, the inequality (30) can be written as:
where
In (31), if , , and M = hR, then inequality (31) can be rewritten as . From Lemma 2, the following expression can be derived:
Using the Schur complement of Equation (32), the following inequality holds:
Expanded and , the following expression is obtained:
Let , , Θ1ij, Θ2ij, Θ3ij, Θ4ij, Θ5ij can be derived as followings:
In the inequalities (9) to (11), if Ξij is replaced with and Λij is replaced with , then inequalities (26) to (28) hold. If inequalities (24) to (28) hold, then problem of filter design is completed and the filter matrices can be designed as:
This statement completes the proof.
Remark 2. From Theorem 2, IT2 fuzzy filter is designed for IT2 fuzzy time-delay systems under a unified frame. The proposed criterion is presented in the form of LMIs. Note that the proposed IT2 fuzzy filter is used to the constant time-delay systems. Further work will focus on the related academic research for IT2 fuzzy systems with time-varying delay.
Numerical examples
In this section, two numerical examples are presented to illustrate the effectiveness of the proposed results.
Example 1. Consider the two-rule IT2 fuzzy system in [36], and the system matrices are listed as follows:
The membership functions of the IT2 fuzzy model are selected as:
is the uncertain parameter),
.
The membership functions of the IT2 fuzzy filter in the form (4) are defined as:
Only the L2 - L∞ performance is considered in this example because of the limited space. In the LMI conditions of Theorem 2, let Φ = I, Ψ1 = Ψ2 = 0, Ψ3 = γ2I. Given the scalars α = 10, β = 1, and h = 3 denotes the retardation time. By calculation, we can obtain the value of ρi as ρ1 = 0.0719, ρ2 = 0.9817. The minimized L2 - L∞ performance index is γ = 3.2706. The L2 - L∞ filter parameters in Equation (4) are as follows:
The disturbance is given as follows:
Under the conditions of x1 (t) =1, x2 (t) = -2, and , the state responses x (t) and of filtering error system (5) are shown in Figs. 1 and 2. Figure 3 shows the error response e (t) under the conditions of x1 (t) =0, x2 (t) =0, and . From Figs. 1, 2 and 3, it is shown that the designed filter can handle the IT2 fuzzy time-delay system well. On the other hand, the proposed method in this paper can capture the uncertainties in membership functions well. The effectiveness of the presented results has been verified from Figs. 1, 2 and 3.
State response of x1 (t), .
State response of x2 (t), .
Error response.
Example 2. The mass-spring-damping system shown in Fig. 4 is considered [37]. The following expression can be obtained according to Newton’s law:
where m is the mass, is the friction force, and denotes the restoring force of the spring and u (t) stands for the external control input. x denotes the displacement from a reference point. Define and , and let a = 0.3m-1, m = 1kg, c = 2N · m/s, and x1 (t) ∈ [-2, 2]. Suppose , we have x1 (t) =0, with and x1 (t) = ±2, with , respectively. In this example, the assumption is u (t) =0. Meanwhile, the disturbance input w (t) is considered. From the modeling method in [37], an IT2 fuzzy model in the form of Equation (1) is used to represent the mass-spring-damping system. The matrices for the IT2 fuzzy system are obtained as:
The membership functions of the IT2 fuzzy model are expressed as:
, with ,
, with ,
, with ,
, with ,
, is uncertain parameters,
, .
The membership functions of the IT2 fuzzy filter are same as Example 1.
Only the L2 - L∞ performance is considered in this example because of the limited space. In the LMI conditions of Theorem 2, let Φ = I, Ψ1 = Ψ2 = 0, Ψ3 = γ2I. Given the scalars α = 1, β = 10, and h = 8 denotes the retardation time. By calculation, we can obtain the value of ρi as ρ1 = 0.1626, ρ2 = 0.4661. Then the minimized L2 - L∞ performance index is γ = 1.1526. The L2 - L∞ filter parameters in Equation (4) are as follows:
The disturbance is given as follows:
Under the conditions of x1 (t) =1, x2 (t) = -2, and , the state responses x (t) and of filtering error system (5) are shown in Figs. 5 and 6. Figure 7 shows the error response e (t) under the conditions of x1 (t) =0, x2 (t) =0, and . From Figs. 5, 6 and 7, it is shown that the designed IT2 fuzzy filter is effective to the mass-spring-damping system. On the other hand, the proposed method in this paper can commendably deal with the uncertainties in membership functions. The advantage of the presented results has been demonstrated by Figs. 5, 6 and 7.
State response of x1 (t), .
State response of x2 (t), .
Error response.
Remark 3. The proposed approach is more suitable for handling nonlinear systems subjected to parameter uncertainties compared with the existing type-1 fuzzy filtering methods in [18, 36]. It should be noted that the type-1 fuzzy approaches in [18, 36] cannot be applied in Examples 1 and 2 because the membership functions of T-S fuzzy model in Examples 1 and 2 include uncertain parameters. Moreover, the proposed approach contains several types of the well-known performance indices. Compared with [32], time delays are first considered.
Conclusion
The problem of filter design for IT2 fuzzy time-delay systems with parameter uncertainties is investigated under a unified frame. A novel IT2 fuzzy filter is designed by establishing a Lyapunov-Krasovskii function, so that the filtering error system can guarantee the passive, dissipative, H∞ and L2 - L∞ performance indexes in a unified frame. A new criterion is presented in the form of LMIs. Two numerical examples are provided to demonstrate the merits of the proposed approach. In the future directions, we will work to reduce the conservatism of the results derived, and generalize the proposed method into IT2 fuzzy systems with time-varying delays.
Footnotes
Acknowledgments
This work is supported by the Applied Basic Research Program of Science and Technology Department of Sichuan Province, China (2016JY0085) and the National Natural Science Foundation of China (51477146).
References
1.
SalaA., GuerraT.M., BabuškaR., Perspectives of fuzzy systems and control, Fuzzy Sets and Systems156(3) (2005), 432–444.
2.
GuerraT.M., SalaA., TanakaK., Fuzzy control turns 50:10 years later, Fuzzy Sets and Systems281 (2015), 168–182.
3.
ChangX.H., YangG.H., Relaxed stabilization conditions for continuous-time Takagi-Sugeno fuzzy control systems, Information Sciences An International Journal180(17) (2010), 3273–3287.
4.
FengG., A survey on analysis and design of model-based fuzzy control systems, IEEE Transactions on Fuzzy Systems14(5) (2006), 676–697.
5.
FengG., H;∞ controller design of fuzzy dynamic systems based on piecewise Lyapunov functions, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)34(1) (2004), 283–292.
6.
ChenY.J., OhtakeH., TanakaK., WangW.J., WangH.O., Relaxed stabilization criterion for T-S fuzzy systems by minimum-type Piecewise-Lyapunov- Function-Based switching fuzzy controller, IEEE Transactions on Fuzzy Systems20(6) (2012), 1166–1173.
7.
XieX.P., LiuZ.W., ZhuX.L., An efficient approach for reducing the conservatism of LMI-based stability conditions for continuous-time T-S fuzzy systems, Fuzzy Sets and Systems263 (2015), 71–81.
8.
TanakaK., HoriT., WangH.O., A multiple Lyapunov function approach to stabilization of fuzzy control systems, IEEE Transactions on Fuzzy Systems11(4) (2003), 582–589.
9.
LeeD.H., ParkJ.B., JooY.H., A new fuzzy Lyapunov function for relaxed stability condition of continuous-time Takagi–Sugeno fuzzy systems, IEEE Transactions on Fuzzy Systems19(4) (2011), 785–791.
10.
XieX., YueD., ZhangH., PengC., Control synthesis of discrete-time T-S fuzzy systems: Reducing the conservatism whilst alleviating the computational burden, IEEE transactions on cybernetics (2016).
11.
XieX., YueD., ZhangH., XueY., Control synthesis of discrete-time T–S fuzzy systems via a multi-instant homogenous polynomial approach, IEEE Transactions on Cybernetics46(3) (2016), 630–640.
12.
XieX., YueD., ZhuX., Further studies on control synthesis of discrete-time T–S fuzzy systems via useful matrix equalities, IEEE Transactions on Fuzzy Systems22(4) (2014), 1026–1031.
13.
CamposV.C.S., SouzaF.O., TorresL.A.B., PalharesR.M., New stability conditions based on piecewise fuzzy Lyapunov functions and tensor product transformations, IEEE Transactions on Fuzzy Systems21(4) (2013), 748–760.
14.
ZhangJ., ShiP., QiuJ., NguangS.K., A novel observer-based output feedback controller design for discrete-time fuzzy systems, IEEE Transactions on Fuzzy Systems23(1) (2015), 223–229.
15.
ShuliG., LinaH., XianjiaF., Fuzzy observer and fuzzy controller design for a class of uncertain non-linear systems, IET Control Theory & Applications10(5) (2016), 517–525.
16.
WangL., FengG., Piecewise H;∞ controller design of discrete time fuzzy systems, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)34(1) (2004), 682–686.
17.
FengG., ChenM., SunD., ZhangT., Approaches to robust filtering design of discrete time fuzzy dynamic systems, IEEE Transactions on Fuzzy Systems16(2) (2008), 331–340.
18.
ChangX.H., YangG.H., Nonfragile filter design for T-S fuzzy systems in standard form, IEEE Transactions on Industrial Electronics61(7) (2014), 3448–3458.
19.
GaoH., LiuX., LamJ., Stability analysis and stabilization for discrete-time fuzzy systems with timevarying delay, Cybernetics Part B Cybernetics A Publication of the IEEE Systems Man, Cybernetics Society39(2) (2009), 306–317.
20.
WuL., SuX., ShiP., QiuJ., A new approach to stability analysis and stabilization of discrete-time T-S fuzzy time-varying delay systems, IEEE Transactions on Systems Man, Cybernetics Part B Cybernetics A Publication of the IEEE Systems Man, Cybernetics Society41(1) (2011), 273–286.
21.
SuX., ShiP., WuL., SongY.D., A novel control design on discrete-time Takagi-Sugeno fuzzy systems with time-varying delays, IEEE Transactions on Fuzzy Systems21(4) (2013), 655–671.
22.
LiZ., GaoH., AgarwalR.K., Stability analysis and controller synthesis for discrete-time delayed fuzzy systems via small gain theorem, Information Sciences226(3) (2013), 93–104.
23.
YangX., WuL., LamH.K., SuX., Stability and stabilization of discrete-time T–S fuzzy systems with stochastic perturbation and time-varying delay, IEEE Transactions on Fuzzy Systems22(1) (2014), 124–138.
24.
LamH.-K., SeneviratneL.D., Stability analysis of interval type-2 fuzzy-model-based control systems, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)38(3) (2008), 617–628.
25.
LiH., SunX., ShiP., LamH.-K., Control design of interval type-2 fuzzy systems with actuator fault: Sampled-data control approach, Information Sciences302 (2015), 1–13.
26.
ZhaoT., DianS., Delay-dependent stabilization of discrete-time interval type-2 T–S fuzzy systems with time-varying delay, Journal of the Franklin Institute354(3) (2017), 1542–1567.
27.
CaoJ., JiX., LiP., LiuH., Design of adaptive interval type-2 fuzzy control system and its stability analysis, International Journal of Fuzzy Systems13(4) (2011), 334–343.
28.
LiY., LamH.K., ZhangL., LiH., LiuF., TsaiS.-H., Interval type-2 fuzzy-model-based control design for time-delay systems under imperfect premise matching. In Fuzzy Systems (FUZZ-IEEE), 2015 IEEE International Conference on, pages 1–6. IEEE, 2015.
29.
JafarzadehS., FadaliM.S., SonbolA.H., Stability analysis and control of discrete type-1 and type-2 TSK fuzzy systems: Part I. Stability Analysis, IEEE Transactions on Fuzzy Systems19(6) (2011), 989–1000.
30.
LiH., YinS., PanY., LamH.-K., Model reduction for interval type-2 Takagi–Sugeno fuzzy systems, Automatica61 (2015), 308–314.
31.
LiH., WuC., WuL., LamH.-K., GaoY., Filtering of interval type-2 fuzzy systems with intermittent measurements, IEEE Transactions on Cybernetics46(3) (2016), 668–678.
32.
LiH., PanY., ZhouQ., Filter design for interval type-2 fuzzy systems with D stability constraints under a unified frame, Fuzzy Systems, IEEE Transactions on23(3) (2015), 719–725.
33.
ZhangB.Y., ZhengW.X., XuS.Y., Filtering of Markovian jump delay systems based on a new performance index. Circuits and Systems I: Regular Papers, IEEE Transactions on60(5) (2013), 1250–1263.
34.
ZengH.B., HeY., WuM., SheJ.H., New results on stability analysis for systems with discrete distributed delay, Automatica60 (2015), 189–192.
35.
ChangX.H., Robust Output Feedback H;∞ Control and Filtering for Uncertain Linear Systems, volume 7. Springer Science & Business, 2014.
36.
LinC., WangQ.G., TongH.L., ChenB., Filter design for nonlinear systems with time-delay through TS fuzzy model approach, IEEE Transactions on Fuzzy Systems16(3) (2008), 739–746.
37.
LiH., PanY., ShiP., ShiY., Switched fuzzy output feedback control and its application to a mass–spring–damping system, IEEE Transactions on Fuzzy Systems24(6) (2016), 1259–1269.