Open access

# Delay-Dependent Generalized H2 Control for Discrete-Time Fuzzy Systems with Infinite-Distributed Delays

Written By

Jun-min Li, Jiang-rong Li and Zhi-le Xia

Submitted: March 14th, 2012 Published: December 5th, 2012

DOI: 10.5772/51778

From the Edited Volume

## Advances in Discrete Time Systems

Edited by Magdi S. Mahmoud

Chapter metrics overview

View Full Metrics

## 1. Introduction

In recent years, there has been significant interest in the study of stability analysis and controller synthesis for Takagi-Sugeno(T-S) fuzzy systems, which has been used to approximate certain complex nonlinear systems [1]. Hence it is important to study their stability analysis and controller synthesis. A rich body of literature has appeared on the stability analysis and synthesis problems for T-S fuzzy systems [2-6]. However, these results rely on the existence of a common quadratic Lyapunov function (CQLF) for all the local models. In fact, such a CQLF might not exist for many fuzzy systems, especially for highly nonlinear complex systems. Therefore, stability analysis and controller synthesis based on CQLF tend to be more conservative. At the same time, a number of methods based on piecewise quadratic Lyapunov function (PQLF) for T-S fuzzy systems have been proposed in [7-14]. The basic idea of these methods is to design a controller for each local model and to construct a global piecewise controller from closed-loop fuzzy control system is established with a PQLF. The authors in [7,13] considered the information of membership function, a novel piecewise continuous quadratic Lyapunov function method has been proposed for stability analysis of T-S fuzzy systems. It is shown that the PQLF is a much richer class of Lyapunov function candidates than CQLF, it is able to deal with a large class of fuzzy systems and obtained results are less conservative.

On the other hand, it is well known that time delay is a main source of instability and bad performance of the dynamic systems. Recently, a number of important analysis and synthesis results have been derived for T-S fuzzy delay systems [4-7, 11, 13]. However, it should be pointed out that most of the time-delay results for T-S fuzzy systems are constant delay or time-varying delay [4-5, 7, 11, and 13]. In fact, Distributed delay occurs very often in reality and it has been drawing increasing attention. However, almost all existing works on distributed delays have focused on continuous-time systems that are described in the form of either finite or infinite integral and delay-independent. It is well known that the discrete-time system is in a better position to model digitally transmitted signals in a dynamic way than its continuous-time analogue. Generalized H2 control is an important branch of modern control theories, it is useful for handling stochastic aspects such as measurement noise and random disturbances [10]. Therefore, it becomes desirable to study the generalized H2 control problem for the discrete-time systems with distributed delays. The authors in [6] have derived the delay-independent robust H stability criteria for discrete-time T-S fuzzy systems with infinite-distributed delays. Recently, many robust fuzzy control strategies have been proposed a class of nonlinear discrete-time systems with time-varying delay and disturbance [15-33]. These results rely on the existence CLKF for all local models, which lead to be conservative. It is observed, based on the PLKF, the delay-dependent generalized H2 control problem for discrete-time T-S fuzzy systems with infinite-distributed delays has not been addressed yet and remains to be challenging.

Motivated by the above concerns, this paper deals with the generalized H2 control problem for a class of discrete time T-S fuzzy systems with infinite-distributed delays. Based on the proposed Delay-dependent PLKF(DDPLKF), the stabilization condition and controller design method are derived for discrete time T-S fuzzy systems with infinite-distributed delays. It is shown that the control laws can be obtained by solving a set of LMIs. A simulation example is presented to illustrate the effectiveness of the proposed design procedures.

Notation: The superscript “T” stands for matrix transposition, R n denotes the n-dimensional Euclidean space, R n×m is the set of all n×m real matrices, I is an identity matrix, the notation P>0(P≥0) means that P is symmetric and positive(nonnegative) definite, diag{…} stands for a block diagonal matrix. Z - denotes the set of negative integers. For symmetric block matrices, the notation * is used as an ellipsis for the terms that are induced by symmetry. In addition, matrices, if not explicitly stated, are assumed to have compatible dimensions.

## 2. Problem Formulation

The following discrete-time T-S fuzzy dynamic systems with infinite-distributed delays [6] can be used to represent a class of complex nonlinear time-delay systems with both local analytic linear models and fuzzy inference rules:

R j : i f s 1 ( t ) i s F j 1 a n d s 2 ( t ) i s F j 2 a n d a n d s g ( t ) i s F j g , t h e n x ( t + 1 ) = A j x ( t ) + A d j d = 1 μ d x ( t d ) + B 1 j u ( t ) + D j v ( t ) z ( t ) = C j x ( t ) + B 2 j u ( t ) x ( t ) = φ ( t ) t Z j = 1,2 r E1

where R j , jN:={1,2,…, r} denotes the j-th fuzzy inference rule, r the number of the inference rules. F ji (i=1, 2,…, g) are the fuzzy sets, s(t)=[s 1(t), s 2(t),…, s g(t)]∈R s the premise variable vector, x(t)∈R n the state vector, z(t)∈R q the controlled output vector, u(t)∈R m the control input vector, v(t)∈l 2[0 ∞) the disturbance input, φ(t) the initial state, and (A j, A dj , B 1j, D j, C j , B 2j) represent the j-th local model of the fuzzy system (1).

The constants μ d ≥0 (d =1,2, …) satisfy the following convergence conditions:

μ ¯ : = d = 1 + μ d d = 1 + d μ d + E2

Remark 1. The delay term d = 1 + μ d x ( t d ) in the fuzzy system (1), is the so-called infinitely distributed delay in the discrete-time setting. The description of the discrete-time-distributed delays has been firstly proposed in the [6], and we aim to study the generalized H2 control problem for discrete-time fuzzy systems with such kind of distributed delays in this paper, which is different from one in [6].

Remark 2. In this paper, similar to the convergence restriction on the delay kernels of infinite-distributed delays for continuous-time systems, the constants μ d (d =1,2, …)are assumed to satisfy the convergence condition (2), which can guarantee the convergence of the terms of infinite delays as well as the DDPLKF defined later.

By using a standard fuzzy inference method, that is using a center-average defuzzifiers product fuzzy inference, and singleton fuzzifier, the dynamic fuzzy model (1) can be expressed by the following global model:

x ( t + 1 ) = j = 1 r h j ( s ( t ) ) [ A j x ( t ) + A d j d = 1 μ d x ( t d ) + B 1 j u ( t ) + D j v ( t ) ] z ( t ) = j = 1 r h j ( s ( t ) ) [ C j x ( t ) + B 2 j u ( t ) ] E3

where h j ( s ( t ) ) = ω j ( s ( t ) ) j = 1 r ω j ( s ( t ) ) , ω j ( s ( t ) ) = i = 1 g F j i ( s ( t ) ) , with F j i ( s ( t ) ) being the grade of membership of s i ( t ) in F i j , ω j ( s ( t ) ) 0 has the following basic property:

ω j ( s ( t ) ) 0, j = 1 r ω j ( s ( t ) ) 0, j N t E4

and therefore

h j ( s ( t ) ) 0, j = 1 r h j ( s ( t ) ) = 1, j N t E5

In order to facilitate the design of less conservative H2 controller, we partition the premise variable space Ω R s into m polyhedral regions Ωi by the boundaries [7]

Ω i v = { s ( t ) | h i ( s ( t ) ) = 1, 0 h i ( s ( t + δ ) ) 0 | δ | 1 1, i N } E6

where v is the set of the face indexes of the polyhedral hull with satisfying

Ω i = v ( Ω i v )

Based on the boundaries (6), m independent polyhedral regions Ω l , l L = { 1,2 m } can be obtained satisfying

Ω l Ω j = Ω i v , l j , l , j L E7

where L denotes the set of polyhedral region indexes.

In each region Ωl, we define the set

M ( l ) : = { i | h i ( s ( t ) ) 0, s ( t ) Ω l , i N } , l L E8

Considering (5) and (8), in each region Ωl, we have

i M ( l ) h i ( s ( t ) ) = 1 E9

and then, the fuzzy infinite-distributed delays system (1) can be expressed as follows:

x ( t + 1 ) = i M ( l ) h i ( s ( t ) ) [ A i x ( t ) + A d i d = 1 μ d x ( t d ) + B 1 i u ( t ) + D i v ( t ) ] z ( t ) = i M ( l ) h i ( s ( t ) ) [ C i x ( t ) + B 2 i u ( t ) ] s ( t ) Ω l E10

Remark 3. According to the definition of (8), the polyhedral regions can be divided into two folds: operating and interpolation regions. For an operating region, the set M(l) contains only one element, and then, the system dynamic is governed by the s-th local model of the fuzzy system. For an interpolation region, the system dynamic is governed by a convex combination of several local models.

In this paper, we consider the generalized H2 controller design problem for the fuzzy system (1) or equivalently (10), give the following assumptions.

Assumption 1. When the state of the system transits from the region Ωl to Ωj at the time t, the dynamics of the system is governed by the dynamics of the region model of Ωl at that time t.

For future use, we define a set Θ that represents all possible transitions from one region to itself or another regions, that is

Θ = { ( l , j ) | s ( t ) Ω l , s ( t + 1 ) Ω j l , j L } E11

Here l = j, when the system stays in the same region Ωl, and lj, when the system transits from the region Ωl to another one Ωj.

Considering the fuzzy system (10), choose the following non-fragile piecewise state feedback controller

u ( t ) = ( K l + Δ K l ) x ( t ) s ( t ) Ω l l L E12

here ΔK l are unknown real matrix functions representing time varying parametric uncertainties, which are assumed to be of the form

Δ K l = E l U l ( t ) H l , U l T ( t ) U l ( t ) I , U l ( t ) R l 1 × l 2 E13

where E l , H l are known constant matrices, and U l ( t ) R l 1 × l 2 are unknown real time varying matrix satisfying Δ U l T ( t ) Δ U l I .

Then, the closed-loop T-S system is governed by

x ( t + 1 ) = A ¯ c l x ( t ) + A d l d = 1 μ d x ( t d ) + D l v ( t ) z ( t ) = C ¯ c l x ( t ) E14

for s ( t ) Ω l , l L where

A ¯ cl = iM(l) h i A il , A dl = iM(l) h i A di , D l = iM(l) h i D i , C ¯ cl = iM(l) h i C il A il = A i B 1i K ¯ l , C il = C i B 2i K ¯ l

Before formulation the problem to be investigated, we first introduce the following concept for the system (14).

Definition 1. [ 10 ] Let a constant γ>0 MathType@MTEF@5@5@+=feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4SdCMaeyOpa4JaaGimaaaa@395D@ be given. The closed-loop fuzzy system (14) is said to be stable with generalized H2 performance if both of the following conditions are satisfied:

• The disturbance-free fuzzy system is globally asymptotically stable.

• Subject to assumption of zero initial conditions, the controlled output satisfies

| | z | | γ | | v | | 2 E15

for all non-zero v ∈ I2.

Now, we introduce the following lemmas that will be used in the development of our main result.

Lemma 1. [ 6 ] Let M R n × n be a positive semi-definite matrix, x i ( t ) R n and constant

a i >0(i=1,2,) MathType@MTEF@5@5@+=feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBaaaleaacaWGPbaabeaakiabg6da+iaaicdacaGGOaGaamyAaiabg2da9iaaigdacaGGSaGaaGOmaiaacYcacqWIVlctcaGGPaaaaa@41D2@ , if the series concerned is convergent, then we have

( i = 1 a i x i ) T M ( i = 1 a i x i ) ( i = 1 a i ) i = 1 a i x i M x i E16

Lemma 2. [ 14 ] For the real matrices P 1 , P 2 , P 3 , P 4 , A , A d , B , X j ( j = 1, ,5 ) and D i ( i = 1, ,10 ) with compatible dimensions, the inequalities show in (17) and (18) at the following are equivalent, where U is an extra slack nonsingular matrix.

( a ) [ H e { P 1 T A } + D 1 P 1 T A d + A T P 2 + D 2 A T P 3 + D 3 A T P 4 + P 1 T B + D 4 X 1 * H e { P 2 T A d } + D 5 A d T P 3 + D 6 A d T P 4 + P 2 T B + D 7 X 2 * * D 8 P 3 T B + D 9 X 3 * * * H e { B T P 4 } + D 10 X 4 * * * * X 5 ] 0 E17
( b ) [ H e { U } P 1 + U T A 2 P 2 + U T A d P 3 P 4 + U T B 0 * D 1 D 2 D 3 D 4 X 1 * * D 5 D 6 D 7 X 2 * * * D 8 D 9 X 3 * * * * D 10 X 4 * * * * * X 5 ] 0 E18

where H e { } stands for + T .

## 3. Main Results

Based on the proposed partition method, the following DDPLKF is proposed to develop the stability condition for the closed-loop system of (14).

V ( t ) = V 1 ( t ) + V 2 ( t ) + V 3 ( t ) V 1 ( t ) = 2 x ( t ) T P ¯ l x ( t ) , V 2 ( t ) = d = 1 μ d k = t d t 1 x ( k ) T Q ¯ x ( k ) V 3 ( t ) = d = 1 μ d i = d 1 l = t + i t 1 η ( l ) T Z ¯ η ( l ) l L E19

where P ¯ l = F T P l F , Q ¯ = F T Q F , Z ¯ = F T Z F , and P l ,Q,Z>0 MathType@MTEF@5@5@+=feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiuamaaBaaaleaacaWGSbaabeaakiaacYcacaWGrbGaaiilaiaadQfacqGH+aGpcaaIWaaaaa@3CC7@ , F is nonsingular matrix, and η ( t ) = x ( t + 1 ) x ( t ) .

Then, we are ready to present the generalized H2 stability condition of (14) in terms of LMIs as follows

Theorem 1. Given a constant γ>0 MathType@MTEF@5@5@+=feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4SdCMaeyOpa4JaaGimaaaa@395D@ , the closed-loop fuzzy system (14) with infinite distributed delays is stable with generalized H2 performance γ , if there exists a set of positive definite matrices P l ,Q,Z>0 MathType@MTEF@5@5@+=feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiuamaaBaaaleaacaWGSbaabeaakiaacYcacaWGrbGaaiilaiaadQfacqGH+aGpcaaIWaaaaa@3CC7@ , the nonsingular matrix F and matrices X l i , Y l i , l L , i = 1, ,4 satisfying the following LMIs:

C i l T C i l γ 2 P l 0 i M ( l ) , l L E20
Π i l l 0 i M ( l ) , l L E21
Π i l j 0 i M ( l ) , ( l , j ) Θ E22

where

Π ilj =[ He{F} Λ ilj Y l 2 + A di F P j + Y l 3 Y l 4 + D i 0 * Σ l1 Σ l2 Σ l3 Σ l4 X l1 * * Σ l5 Σ l6 Σ l7 X l2 * * * Σ l8 Σ l9 X l3 * * * * Σ l10 X l4 * * * * * ( d=1 d μ d ) 1 Z ]

with

Λ ilj = P j + Y l1 + A i F B 1i K ¯ l F, Σ l1 = μ ¯ Q2 P l +He{ μ ¯ X l1 Y l1 },  Σ l2 = X l1 + X l2 T Y l2 ,  Σ l3 = X l3 Y l1 T Y l3 , Σ l4 = X l4 T + Y l4 ,  Σ l5 = 1 μ ¯ QHe{ X l2 },  Σ l6 = X l3 T Y l2 ,  Σ l7 = X l4 , Σ l8 = d=1 μ d dZHe{ Y l3 },   Σ l9 = Y l4 T ,  Σ l10 =I.

Proof. Taking the forward difference of (19) along the solution of the system (14), we have

ΔV(t)=V(t+1)V(t)=Δ V 1 +Δ V 2 +Δ V 3

Assuming that s ( t ) Ω l , s ( t + 1 ) Ω j . The difference of V i ( t ) , i = 1,2,3 can be calculated, respectively, showing at the following

Δ V 1 ( t ) = 2 [ A ¯ c l x ( t ) + A d l d = 1 μ d x ( t d ) + D l v ( t ) ] T P ¯ j [ η ( t ) + x ( t ) ] 2 x T ( t ) P ¯ l x ( t ) E23

Δ V 2 ( t ) = d = 1 μ d τ = t + 1 d t x T ( τ ) Q ¯ x ( τ ) d = 1 μ d τ = t d t 1 x T ( τ ) Q ¯ x ( τ ) = μ ¯ x T ( t ) Q ¯ x ( t ) d = 1 μ d x T ( t d ) Q ¯ x ( t d ) E24

From Lemma1, we have

d = 1 μ d x T ( t d ) Q ¯ x ( t d ) 1 μ ¯ ( d = 1 μ d x ( t d ) ) T Q ¯ ( d = 1 μ d x ( t d ) ) E25

Substituting (25) into (24), we have

Δ V 2 ( t ) μ ¯ x T ( t ) Q ¯ x ( t ) 1 μ ¯ ( d = 1 μ d x ( t d ) ) T Q ¯ ( d = 1 μ d x ( t d ) ) E26
Δ V 3 ( t ) = d = 1 μ d d η ( t ) T Z ¯ η ( t ) d = 1 μ d l = t d t 1 η ( l ) T Z ¯ η ( l ) E27

Observing of the definition of η ( t ) and system (14), we can get the following equations:

Ξ 1 = 2 [ x T ( t ) X ¯ l 1 + d = 1 μ d x T ( t d ) X ¯ l 2 + η T ( t ) X ¯ l 3 + v T ( t ) X l 4 U ] × [ μ ¯ x ( t ) d = 1 μ d x T ( t d ) d = 1 μ d l = t d t 1 η ( l ) ]=0 E28
Ξ 2 = 2 [ x T ( t ) Y ¯ l 1 + d = 1 μ d x T ( t d ) Y ¯ l 2 + η T ( t ) Y ¯ l 3 + v T ( t ) Y l 4 U ] × [( A ¯ l i I ) x ( t ) + A d i + D i v ( t ) η ( t ) ]=0 E29

where X ¯ li = F T X li F 1 (i=1,2,3)

Since ± 2 a T b a T M a + b T M 1 b holds for compatible vectors a and b , and any compatible matrix M>0 , we have

2 [ x T ( t ) X ¯ l 1 + d = 1 μ d x T ( t d ) X ¯ l 2 + η T ( t ) X ¯ l 3 + v T ( t ) X l 4 U ] × d = 1 μ d l = t d t 1 η ( l ) d = 1 d μ d ξ T ( t ) [ X ¯ l 1 X ¯ l 2 X ¯ l 3 X l 4 U ] Z ¯ 1 [ X ¯ l 1 X ¯ l 2 X ¯ l 3 X l 4 U ] T ξ ( t ) + d = 1 μ d l = t d t 1 η ( l ) Z ¯ η ( l ) E30

with ξ(t)= [ x T (t), d=1 μ d x T (td), η T (t), v T (t)] T

Then, from (23-30) and considering (14), we have

Δ V ( t ) v T ( t ) v ( t ) + v T ( t ) v ( t ) + Ξ 1 + Ξ 2 i M ( l ) h i ξ T ( t ) Ψ i l j ξ ( t ) + v T ( t ) v ( t ) E31

where

Ψ i l j = [ Φ i l j 1 Φ i l j 2 Φ i l j 3 Φ i l j 4 * Φ i l j 5 Φ i l j 6 Φ i l j 7 * * Φ i l j 8 Φ i l j 9 * * * Φ i l j 10 ] + d = 1 d μ d [ X ¯ l 1 X ¯ l 2 X ¯ l 3 X l 4 U ] Z ¯ 1 [ X ¯ l 1 X ¯ l 2 X ¯ l 3 X l 4 U ] T E32

with

Then

ΔV(t) v T (t)v(t)<0 E33

if

Ψ i l j 0 E34

Using lemma 2, (32) is equivalent to (33)

Ξ i l j = [ H e { U } P ¯ i + Y ¯ l 1 + U T A ¯ l i Y ¯ l 2 + U T A d i P ¯ j + Y ¯ l 3 U T ( Y l 4 + D i ) 0 * Σ ¯ l 1 Σ ¯ l 2 Σ ¯ l 3 U Σ l 4 X ¯ l 1 * * Σ ¯ l 5 Σ ¯ l 6 U Σ l 7 X ¯ l 1 * * * Σ ¯ l 8 U Σ l 9 X ¯ l 1 * * * * Σ l 10 X l 4 U * * * * * ( d = 1 μ d d ) 1 Z ¯ ] E35

where Σ ¯ li = F T Σ li F 1 (i=1,2,3,5,6,8,10)

Let U = F 1 , G = d i a g ( F , F , F , F , I , F ) , pre- and post multiplying (35) by G T , G

respectively, then Ξ i l j is equivalent to Π i l j .

Thus, if (21) and (22) holds, (32) is satisfied, which implies that

Δ V ( t ) v T ( t ) v ( t ) E36

It is noted that if the disturbance term v ( t ) = 0 , it follows from (31) that

Δ V ( t ) i M ( l ) h i ζ T ( t ) Ω i l j ζ ( t ) E37

with ζ(t)= [ x T (t), d=1 μ d x T (td),   η T (t)] T

Ω i l j = [ Φ i l j 1 Φ i l j 2 Φ i l j 3 * Φ i l j 5 Φ i l j 6 * * Φ i l j 8 ] + d = 1 d μ d [ X ¯ l 1 X ¯ l 2 X ¯ l 3 ] Z ¯ 1 [ X ¯ l 1 X ¯ l 2 X ¯ l 3 ] T E38

By Schur’s complement, LMI (32) implies Ω ilj <0 MathType@MTEF@5@5@+=feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeuyQdC1aaSbaaSqaaiaadMgacaWGSbGaamOAaaqabaGccqGH8aapcaaIWaaaaa@3C44@ , then ΔV(t)<0 MathType@MTEF@5@5@+=feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeuiLdqKaamOvaiaacIcacaWG0bGaaiykaiabgYda8iaaicdaaaa@3C45@ . Therefore, the closed-loop system (14) with v(t) = 0 is globally asymptotically stable.

Now, to establish the generalized H2 performance for the closed-loop system (14), under zero-initial condition, and v(t)≠0, taking summation for the both sides of (36) leads to

V ( x ( T + 1 ) ) t = 0 T v T ( t ) v ( t ) E39

It follows from (20) that

z T ( t ) z ( t ) = x T ( t ) C ¯ c l T C ¯ c l x ( t ) = i M ( l ) h i λ T ( t ) [ C i l T C i l 0 0 0 0 0 0 0 0 ] λ ( t ) γ 2 λ T ( t ) [ P 0 0 0 Q 0 0 0 Z ] λ ( t ) = γ 2 V ( t ) E40

with

λ(t)=[ x(t), d=1 μ d τ=td t1 x(τ) , d=1 μ d i=d 1 l=td t1 η(l) ]

From (39) and (40), we have

z ( t ) 2 γ 2 v ( t ) 2 2 E41

The proof is completed.

The following theorem shows that the desired controller parameters and considered controller uncertain can be determined based on the results of Theorem 1.This can be easily proved along the lines of Theorem 1, and we, therefore, only keep necessary details in order to avoid unnecessary duplication.

Theorem 2. Consider the uncertain terms (12). Given a constant γ>0 MathType@MTEF@5@5@+=feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4SdCMaeyOpa4JaaGimaaaa@395D@ , the closed-loop fuzzy system (14) with infinite-distributed delays is stable with generalized H2 performance γ , if there exists a set of positive definite matrices P l ,Q,Z>0 MathType@MTEF@5@5@+=feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiuamaaBaaaleaacaWGSbaabeaakiaacYcacaWGrbGaaiilaiaadQfacqGH+aGpcaaIWaaaaa@3CC7@ , the nonsingular matrix F and matrices X l i , Y l i , M l , l L , i = 1,2,3,4 satisfying the following LMIs:

[ P l C i F B 2 i M l B 2 i H l F * γ 2 I + ε l E l T E l 0 * * ε l I ] 0 i M ( l ) , l L E42
ϒ i l l 0 i M ( l ) , l L E43
ϒ i l j 0 i M ( l ) , ( l , j ) Θ E44

where

with

Τ ilj = P j + Y l1 + A i F B 1i M l , Γ l = ( d=1 d μ d ) 1 Z+ ε l E l T E l .

Furthermore, the control law is given by

K l = M l F 1 E45

Proof. In (20) and (21), replace K l ¯ with K l + Δ K l , and then by S-procedure, we can easily obtain the results of this theorem, and the details are thus omitted.

Remark 4. If the global state space replace the transitions Θ and all P l s in Theorem 2 become a common P , Theorem 2 is regressed to Corollary 1, shown in the following.

Corollary 1. Consider the uncertain terms (12). Given a constant γ>0 MathType@MTEF@5@5@+=feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4SdCMaeyOpa4JaaGimaaaa@395D@ , the closed-loop fuzzy system (14) with infinite-distributed delays is stable with generalized H2 performance γ , if there exists a set of positive definite matrices P l ,Q,Z>0 MathType@MTEF@5@5@+=feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiuamaaBaaaleaacaWGSbaabeaakiaacYcacaWGrbGaaiilaiaadQfacqGH+aGpcaaIWaaaaa@3CC7@ , the nonsingular matrix F and matrices X l i , Y l i , M l , l L , i = 1,2,3,4 satisfying the following LMIs:

[ P C i F B 2 i M l B 2 i H l F * γ 2 I + ε l E l T E l 0 * * ε l I ] 0 i M ( l ) , l L E46
ϒ i l 0 i M ( l ) , l L E47

where

with

## 4. Numerical Examples

In this section, we will present two simulation examples to illustrate the controller design method developed in this paper.

Example 1. Consider the following modified Henon system with infinite distributed delays and external disturbance

x 1 ( t + 1 ) = { c x 1 ( t ) + ( 1 c ) d = 1 + μ d x 1 ( t d ) } 2 + 0.1 x 2 ( t ) 0.5 d = 1 + μ d x 2 ( t d ) + u ( t ) + 0.1 v ( t ) x 2 ( t + 1 ) = x 2 ( t ) 0.5 x 1 ( t ) z 1 ( t ) = ( 1 c ) x 1 ( t ) + u ( t ) z 2 ( t ) = 0.2 x 2 ( t ) E48

where the constant c [ 0,1 ] is the retarded coefficient.

Let s ( t ) = c x 1 ( t ) + ( 1 c ) d = 1 + μ d x 1 ( t d ) . Assume that s ( t ) [ 1,1 ] . The nonlinear term s 2 ( t ) can be exactly represented as

s 2 (t)= h 1 (s(t))(1)s(t)+ h 2 (s(t))(1)s(t)

where the h 1 ( s ( t ) ) , h 2 ( s ( t ) ) [ 0,1 ] , and h 1 ( s ( t ) ) + h 2 ( s ( t ) ) = 1 . By solving the equations, the membership functions h 1 ( s ( t ) ) and h 2 ( s ( t ) ) are obtained as

h 1 (s(t))= 1 2 (1s(t)),      h 2 (s(t))= 1 2 (1+s(t))

It can be seen from the aforementioned expressions that h 1 ( s ( t ) ) = 1 and h 2 ( s ( t ) ) = 0 when s ( t ) = 1 , and that h 1 ( s ( t ) ) = 0 and h 2 ( s ( t ) ) = 1 when s ( t ) = 1 . Then the nonlinear system in (48) can be approximately represented by the following T-S fuzzy model:

R 1 :ifs(t)is 1, then x(t+1)= A 1 x(t)+ A d1 d=1 μ d x(td) + B 11 u(t)+ D 1 V(t)       z(t)= C 1 x(t)+ B 21 u(t) R 2 :ifs(t)is 1, then x(t+1)= A 2 x(t)+ A d2 d=1 μ d x(td) + B 12 u(t)+ D 2 v(t)       z(t)= C 2 x(t)+ B 22 u(t)

where

A 1 =[ 0.9 0.1 0.5 1 ] A 1d =[ 0.1 0.5 0 0 ] B 11 = B 12 =[ 1 0 ], A 2 =[ 0.9 0.1 0.5 1 ] A 2d =[ 0.1 0.5 0 0 ] D 1 = D 2 =[ 0.1 0 ], C 1 = C 2 =[ 0.1 0 0 0.2 ],  B 21 = B 22 =[ 1 0 ],  E 1 = E 2 =[ 0.05 0 ],   H 1 = H 2 =[ 0.1 0 ],  e 1 =10, e 2 =11, V(t)=0.1cos(t)×exp(-0.05t).

The subspaces can be described by

Ω 1 ={s(t)|1s(t)0},  Ω 2 ={s(t)|0s(t)1}

Choosing the constants c = 0.9, μ d = 2 3 d , d = 10 ，we easily find that μ ¯ = d=1 μ d = 2 3 < d=1 d μ d =2<+ MathType@MTEF@5@5@+=feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqr1ngBPrgifHhDYfgasaacH8srps0lbbf9q8WrFfeuY=Hhbbf9v8qqaqFr0xc9pk0xbba9q8WqFfea0=yr0RYxir=Jbba9q8aq0=yq=He9q8qqQ8frFve9Fve9Ff0dmeaabaqaciGacaGaaeqabaWaaeaaeaaakeaadaqdaaqaaiabeY7aTbaacaqG9aWaaabCaeaacqaH8oqBdaWgaaWcbaGaamizaaqabaaabaGaamizaiabg2da9iaaigdaaeaacqGHEisPa0GaeyyeIuoakiabg2da9iaaikdadaahaaWcbeqaaiabgkHiTiaaiodaaaGccqGH8aapdaaeWbqaaiaadsgacqaH8oqBdaWgaaWcbaGaamizaaqabaaabaGaamizaiabg2da9iaaigdaaeaacqGHEisPa0GaeyyeIuoakiabg2da9iaaikdacqGH8aapcqGHRaWkcqGHEisPaaa@5727@ , which satisfies the convergence condition (2).

with the H2 performance index γ min = 0.11, we solve (42)-(44) and obtain

P 1 =[ 0.1944 0.0248 0.0248 0.3342 ] ,   P 2 =[ 0.1951 0.0252 0.0252 0.3358 ] ,  Q=[ 0.2876 0.0746 0.0746 0.1636 ] Z=[ 0.0048 0.0019 0.0019 0.1275 ] , F=[ 0.3939 0.1516 0.0476 0.6285 ], K 1 =[ 0.0223 0.1702 ],    K 2 =[  0.0171 0.1685 ]  .

Simulation results with the above solutions for the H2 controller designs are shown Fig.1 and Fig.2

Example 2. Consider a fuzzy discrete time system with the same form as in Example, but with different system matrices given by

A 1 =[ 0.986 0.1 0.5 1 ],   A 1d =[ 0.1 0.5 0 0 ],   B 11 =[ 0 0.5 ],   B 12 =[ 1 0 ], A 2 =[ 0.5 0.6 0.6 0.5 ],   A 2d =[ 0.05 0.6 0 0 ],    D 1 D 2 =[ 0.1 0 ], C 1 =[ 0.02 0 0 0.1 ],  C 2 =[ 0.1 0 0 0.3 ],    B 21 = B 22 =[ 1 0 ], E 1 = E 2 =[ 0.05 0 ],   H 1 = H 2 =[ 0.1 0 ] , e 1 =10, e 2 =11 e 3 =12, v(t)=0.1cos(t)×exp(-0.05t).

We expanded the state space from [-1,1] to [ 3,3], the membership functions are given as

h 1 (s(t))={ 1 s(t)[3,1], 0.5s(t)+0.5 s(t)[1,1]. h 2 (s(t))={ 0.5s(t)+0.5 s(t)[1,1], 1 s(t)[1,3].

The subspaces are given as shown in Fig.3

Using the Theorem 2 and Corollary 1, respectively, the achievable minimum performance index for the H2 controller can be obtained and is summarized in Table 1.

 Approach Performance Common Lyapunov function based generalized H2 performance (Theorem 2) γmin=0,4586 Piecewise Lyapunov function based generalized H2 performance ( Corollary1) γmin=0,3975

### Table 1.

Comparison for generalized H2 performance.

By using the LMI toolbox, we have

P 1 =[ 1.5359 0.5771 0.5771 1.4293 ],    P 2 =[ 1.5254 0.6540 0.6540 1.5478 ],    P 3 =[ 1.2754 0.5634 0.5634 1.4983 ],   Q=[ 1.8101 0.1568 0.1568 0.5915 ]Z=[ 0.0399 0.0285 0.0285 0.4640 ],  F=[ 3.1076 0.7119 0.8671 2.5352 ], K 1 =[ 0.0003 0.2297 ],   K 2 =[ 0.1311 0.0371 ],   K 3 =[ 0.1125 0.0005 ].

The simulation results with the initial conditions are shown Fig.4 and Fig.5

## 5. Conclusions

This paper presents delay-dependent analysis and synthesis method for discrete-time T-S fuzzy systems with infinite-distributed delays. Based on a novel DDPLKF, the proposed stability and stabilization results are less conservative than the existing results based on the CLKF and delay independent method. The non-fragile stated feedback controller law has been developed so that the closed-loop fuzzy system is generalized H2 stable. It is also shown that the controller gains can be determined by solving a set of LMIs. A simulation example was presented to demonstrate the advantages of the proposed approach.

## References

1. 1. Takagi T. Sugeno M. 1985 Fuzzy identification of systems and its applications to modeling and control. IEEE Transactions on Systems, Man, Cybernetics 15 1 116 132
2. 2. Zhang J. H. Xia Y. Q. 2009 New results on H filtering for fuzzy time-delay systems. IEEE Transactions on Fuzzy Systems 17 1 128 137
3. 3. Zhang B. Y. Zhou S. S. Li T. 2007 A new approach to robust and non-fragile H control for uncertain fuzzy systems. Information Sciences 17 5118
4. 4. Zhou S. S. Li T. 2005 Robust stabilization for delayed discrete-time fuzzy systems via basis dependent Lyapunov-Krasovskii function. Fuzzy Sets and Systems 151 139
5. 5. Xu S. H. Y. Lam J. 2005 Robust H control for uncertain discrete-time delay fuzzy systems via output feedback controllers. IEEE Transactions on Fuzzy Systems 13 1 82 93
6. 6. Wei G. L. Feng G. Wang Z. D. 2009 Robust H control for discrete-time fuzzy systems with infinite distributed delays. IEEE Transactions on Fuzzy Systems 17 1 224 232
7. 7. Chen M. Feng G. H. B. Chen G. 2009 Delay-Dependent H filter design for discrete-time fuzzy systems with time-varying delays. IEEE Transactions on Fuzzy Systems 17 3 604 616
8. 8. Johansson M. Rantzer A. Arzen K. E. 1999 Piecewise quadratic stability of fuzzy systems. IEEE Transactions on Fuzzy Systems 7 6 713 722
9. 9. Zhang H. B. Dang C. H. Y. 2008 Piecewise H controller design of uncertain discrete-time fuzzy systems with time delays. IEEE Transactions on Fuzzy Systems 16 6 1649 1655
10. 10. Wang L. Feng G. Hesketh T. 2004 Piecewise generalized H2 controller synthesis of discrete-time fuzzy systems. IEE Proceeding on Control Theory and Application 9 554
11. 11. Huang H. Feng G. 2009 Delay-dependent H and generalized H2 filtering for delayed neural network. IEEE Transactions on Circuits, Systems-I: Regular papers, 56 4 846 857
12. 12. Zhang H. B. Feng G. 2008 Stability analysis and H controller design of discrete-time fuzzy Large scale systems based on piecewise Lyapunov functions. IEEE Transactions on Systems, Man, Cybernetics 38 5 1390 1401
13. 13. Chen C. L. Feng G. Sun D. Guan X. P. 2005 H output feedback control of discrete-time fuzzy systems with application to chaos controller. IEEE Transactions on Fuzzy Systems 13 4 531 543
14. 14. Xia Z. L. Li J. M. 2009 Delay-dependent H∞ Control for T-S Fuzzy Systems Based on a Switching Fuzzy Model and Piecewise Lyapunov Function. Acta Automatica Sinica 35 9 1347 1350
15. 15. Li J. R. Li J. M. Xia Z. L. 2011 Delay-dependent generalized H2 control for discrete T-S fuzzy large-scale stochastic systems with mixed delays International Journal of Applied Mathematics and Computer Science 21 4 585 604
16. 16. Li J. M. Zhang G. 2012 Non-fragile guaranteed cost control of T-S fuzzy time-varying state and control delays systems with local bilinear models Iranian Journal of Fuzzy Systems 9 2 45 64
17. 17. Bing C. et al. 2007 Guaranteed cost control of T-S fuzzy systems with state and input delays Fuzzy Sets and Systems, 158 2251
18. 18. Chang W. J. et al. 2011 Robust Fuzzy Control for Discrete Perturbed Time-Delay Affine Takagi-Sugeno Fuzzy Models International Journal of Control Automation and Systems 9 86
19. 19. Chiang T. S. Liu P. 2012 Robust output tracking control for discrete-time nonlinear systems with time-varying delay: Virtual fuzzy model LMI-based approach Expert Systems with Applications 39 8239
20. 20. Choi H. H. 2010 Robust Stabilization of Uncertain Fuzzy-Time-Delay Systems Using Sliding-Mode-Control Approach IEEE Transactions on Fuzzy Systems; 18 979
21. 21. Gassara H. et al. 2010 Observer-Based Robust H-infinity Reliable Control for Uncertain T-S Fuzzy Systems With State Time Delay IEEE Transactions on Fuzzy Systems; 18 1027
22. 22. Gassara H. et al. 2010 Robust control of T-S fuzzy systems with time-varying delay using new approach International Journal of Robust and Nonlinear Control; 20 1566
23. 23. Hu S. et al. 2012 Robust H-infinity control for T-S fuzzy systems with probabilistic interval time varying delay Nonlinear Analysis-Hybrid Systems 6 871
24. 24. Huang J. et al. 2010 Robust control of delay-dependent T-S fuzzy system based on method of descriptor model transformation Artificial Intelligence Review 34 205
25. 25. Kchaou M. et al. 2011 Robust reliable guaranteed cost piecewise fuzzy control for discrete-time nonlinear systems with time-varying delay and actuator failures International Journal of General Systems 40 531
26. 26. Kchaou M. et al. 2011 Delay-dependent H-infinity resilient output fuzzy control for nonlinear discrete-time systems with time-delay International Journal of Uncertainty Fuzziness and Knowledge-Based Systems 19 229
27. 27. Lien C. H. et al. 2010 Robust H-infinity control for uncertain T-S fuzzy time-delay systems with sampled-data input and nonlinear perturbations Nonlinear Analysis-Hybrid Systems 4 550
28. 28. Liu X. et al. 2010 Delay-dependent robust and reliable H-infinity fuzzy hyperbolic decentralized control for uncertain nonlinear interconnected systems Fuzzy Sets and Systems 161 872
29. 29. Mozelli L. A. et al. 2011 A new discretized Lyapunov-Krasovskii functional for stability analysis and control design of time-delayed T-S fuzzy systems International Journal of Robust and Nonlinear Control 21 93
30. 30. Peng C. Han Q. L. 2011 Delay-range-dependent robust stabilization for uncertain T-S fuzzy control systems with interval time-varying delays Information Sciences 181 4287
31. 31. Wu Z. G. et al. 2012 Reliable H-infinity Control for Discrete-Time Fuzzy Systems With Infinite-Distributed Delay IEEE Transactions on Fuzzy Systems 20 22
32. 32. Mourad K. Mansour S. Ahmed T. 2011 Robust H_2 Guaranteed cost fuzzy control for uncertain discrete-time fuzzy systems via poly-quadratic Lyapunov functions Asian Journal of Control 13 2 309 316
33. 33. Zhang G. Li J. M. 2010 Non-Fragile Guaranteed Cost Control of discrete-time Fuzzy Bilinear System Journal of Systems Engineering and Electronics 21 4 629 634

Written By

Jun-min Li, Jiang-rong Li and Zhi-le Xia

Submitted: March 14th, 2012 Published: December 5th, 2012