Skip to main content

Theory and Modern Applications

Delay-dependent robust H filter for T-S fuzzy time-delay systems with exponential stability

Abstract

This paper deals with the problem of delay-dependent robust H filter for T-S fuzzy time-delay systems with exponential stability. The purpose is to design filter parameters such that the filtering error system is exponentially stable and satisfies a prescribed H performance. In terms of linear matrix inequalities (LMIS), some sufficient conditions for the solvability of this problem are presented. Thanks to the new filter, the obtained stability criterion is less conservative than the existing ones. Finally, three examples are provided to demonstrate the effectiveness and the superiority of the proposed design methods.

1 Introduction

In the past several decades, robust filtering problem has received extensive attention of people. The current study of robust filtering mainly concentrated on two aspects: Kalman filter and H filter. Among them, the research of H filter is wider, and many important and interesting results have been proposed in terms of all kinds of approaches (see, for example, [13]). Actual industrial system such as the power grid, chemical processes, nuclear reactor and others often contain time-delay, and time-delay is the main factor that leads to system performance degradation and instability. Therefore, the research of the filtering problem for time-delay systems has important theoretical significance and application value.

In recent years, the research of the filtering for time-delay systems has made abundant achievements. Delay-dependent robust H and L 2 L filtering for a class of uncertain nonlinear time-delay systems was studied in [4]. H filtering of time-delay T-S fuzzy systems based on piecewise Lyapunov-Krasovskii functional was investigated in [5]. A new fuzzy H filter design for nonlinear continuous-time dynamic systems with time-varying delays was reported in [6]. Robust H filtering for a class of uncertain Lurie time-delay singular systems was studied in [7]. Delay-dependent H filtering for singular Markovian jump time-delay systems was studied in [8].

T-S fuzzy system has wide application in the network, economy, environment and other fields, it has attracted more and more concern of the scholars (see, for example, [911]). H filter has come to play an important role in fuzzy model during the past years, so the filtering of fuzzy system is especially important. Delay-dependent nonfragile robust H filtering of T-S fuzzy time-delay systems was investigated in [12]. An improved H filter design for nonlinear system with time-delay via T-S fuzzy models was studied in [13]. Exponential H filter design for uncertain Takagi-Sugeno fuzzy systems with time-delay was reported in [14]. New results on H filtering for fuzzy systems with interval time-varying delays was studied in [15]. Delay-dependent non-fragile H filtering for uncertain fuzzy systems based on switching fuzzy model and piecewise Lyapunov function was studied in [16]. But at present, the problem of delay-dependent robust H filter for T-S fuzzy time-delay systems with exponential stability has rarely been reported.

For T-S fuzzy time-delay systems with exponential stability, this paper discusses the design methods of delay-dependent robust H filter. First of all, it gave a criterion of exponential stability, and then discussed the conditions and design methods of delay-dependent robust H filter. The result of designed filter is exponential stability for the augmented system via LMI. Thanks to the new filter, the obtained criterion is less conservative than the existing ones. Finally, some numerical examples are given to show the effectiveness and the superiority of the proposed design methods.

2 System description and preliminary lemma

Consider the following T-S fuzzy time-delay system, which is described by plant Rule i: IF ε 1 (t) is M i 1 and ε 2 (t) is M i 2 ε p (t) is M i p , THEN

x ˙ ( t ) = ( A 1 i + Δ A 1 i ) x ( t ) + ( A 2 i + Δ A 2 i ) x ( t d ) + ( B i + Δ B i ) ω ( t ) , y ( t ) = ( C 1 i + Δ C 1 i ) x ( t ) + ( C 2 i + Δ C 2 i ) x ( t d ) + ( D i + Δ D i ) ω ( t ) , z ( t ) = ( L i + Δ L i ) x ( t ) , x ( t ) = ϕ ( t ) , t [ d , 0 ] ,
(1)

where iR:={1,2,,r}, r is the number of IF-THEN rules. x(t) R n is the input vector, ω(t) R m is the disturbance vector of the system which belongs to L 2 [0,+), y(t) R q is the measurable output vector, z(t) R p is the signal vector to be estimated, ϕ(t) is a compatible vector-valued initial function. A 1 i , A 2 i , B i , C 1 i , C 2 i , D i , L i are constant matrices with appropriate dimensions. ε j (t) and M i j (j=1,2,,p) are the premise variables and the fuzzy sets. d>0 is the constant time delay. Δ A 1 i , Δ A 2 i , Δ B i , Δ C 1 i , Δ C 2 i , Δ D i , Δ L i are unknown matrices representing parametric uncertainties and are assumed to be of the form

[ Δ A 1 i Δ A 2 i Δ B i Δ C 1 i Δ C 2 i Δ D i ] = [ H 1 i H 2 i ] F i [ E 1 i E 2 i E 3 i ],Δ L i = H 3 i F i E 4 i ,
(2)

where H 1 i , H 2 i , H 3 i , E 1 i , E 2 i , E 3 i , E 4 i are known real constant matrices with appropriate dimensions, and F i is an unknown real time-varying matrix satisfying

F i T F i I.
(3)

I is a unit matrix with appropriate dimensions. The parametric uncertainties Δ A 1 i , Δ A 2 i , Δ B i , Δ C 1 i , Δ C 2 i , Δ D i , Δ L i are said to be admissible if both (2) and (3) hold.

Remark 1 When Δ D i =Δ E i =Δ L i =0, system (1) was studied in [14]. The system in this paper is a class of fuzzy time-delay systems broader than others.

Let ε(t)= [ ε 1 ( t ) ε 2 ( t ) ε p ( t ) ] T , through the use of ‘fuzzy blending’, the fuzzy system (1) can be inferred as follows:

x ˙ ( t ) = i = 1 r h i ( ε ( t ) ) [ ( A 1 i + Δ A 1 i ) x ( t ) + ( A 2 i + Δ A 2 i ) x ( t d ) + ( B i + Δ B i ) ω ( t ) ] , y ( t ) = i = 1 r h i ( ε ( t ) ) [ ( C 1 i + Δ C 1 i ) x ( t ) + ( C 2 i + Δ C 2 i ) x ( t d ) + ( D i + Δ D i ) ω ( t ) ] , z ( t ) = i = 1 r h i ( ε ( t ) ) [ ( L i + Δ L i ) x ( t ) ] , β i ( ε ( t ) ) = j = 1 p M i j ( ε j ( t ) ) , h i ( ε ( t ) ) = β i ( ε ( t ) ) i = 1 r β i ( ε ( t ) ) ,
(4)

where M i j ( ε j (t)) is the grade of membership of ε j (t) in M i j . It is easy to see that β i (ε(t))0 and i = 1 r β i (ε(t))0. Hence, we have h i (ε(t))0 and i = 1 r h i (ε(t))=1.

In this paper, we consider the following fuzzy filter:

x ˆ ˙ ( t ) = i = 1 r h i ( ε ( t ) ) [ A f i x ˆ ( t ) + B f i y ( t ) + C f i x ˆ ( t d ) ] , z ˆ ( t ) = i = 1 r h i ( ε ( t ) ) [ L f i x ˆ ( t ) ] , i = 1 , 2 , , r ,
(5)

where x ˆ (t) R k is the filter state vector, z ˆ (t) is the estimated vector, A f i , B f i , C f i , L f i with compatible dimensions are matrices to be determined.

Remark 2 When C f i =0, the fuzzy filter (5) was studied in [14] and [5]. This paper improves the function of the filter in [14] and [5], this makes the obtained result less conservative than the existing ones.

From (4) and (5), we obtain the filtering error system as follows:

x ˜ ˙ ( t ) = i = 1 r j = 1 r h i ( ε ( t ) ) h j ( ε ( t ) ) [ A i j x ˜ ( t ) + A d i j x ˜ ( t d ) + B i j ω ( t ) ] , e ( t ) = i = 1 r j = 1 r h i ( ε ( t ) ) h j ( ε ( t ) ) [ L i j x ˜ ( t ) ] ,
(6)

where

e ( t ) = z ( t ) z ˆ ( t ) , x ˜ ( t ) = [ x T ( t ) x ˆ T ( t ) ] T , A i j = [ A 1 i + Δ A 1 i 0 B f j ( C 1 i + Δ C 1 i ) A f j ] , A d i j = [ A 2 i + Δ A 2 i 0 B f j ( C 2 i + Δ C 2 i ) C f j ] , B i j = [ B i + Δ B i B f j ( D i + Δ D i ) ] , L i j = [ L i + Δ L i L f j ] .

Definition 1 The filtering error system (6) is said to be exponentially stable, if there exist scalars δ>0 and ε>0 such that x(t)δ sup d θ 0 ϕ(θ) e ε t .

System (6) can be abbreviated as the following form:

x ˜ ˙ ( t ) = A ˜ x ˜ ( t ) + A ˜ d x ˜ ( t d ) + B ˜ ω ( t ) , e ( t ) = L ˜ x ˜ ( t ) ,
(7)

where

A ˜ = i = 1 r j = 1 r h i ( ε ( t ) ) h j ( ε ( t ) ) A i j , A ˜ d = i = 1 r j = 1 r h i ( ε ( t ) ) h j ( ε ( t ) ) A d i j , B ˜ = i = 1 r j = 1 r h i ( ε ( t ) ) h j ( ε ( t ) ) B i j , L ˜ = i = 1 r j = 1 r h i ( ε ( t ) ) h j ( ε ( t ) ) L i j .

The robust H filtering problem to be addressed in this paper is formulated as follows: given the T-S fuzzy time-delay system (4) and a prescribed level of noise attenuation γ>0, determine a filter with exponentially stable in the form of (5) such that the following requirements are satisfied:

  1. (a)

    The filtering error system (6) is exponentially stable,

  2. (b)

    Under zero initial conditions, (6) satisfies

    e ( t ) 2 <γ ω ( t ) 2
    (8)

    for any nonzero ω(t) L 2 [0,) and all admissible uncertainties.

Lemma 1 [17]

Given a set of suited dimension real matrices E, F, H, Q is a symmetric matrix such that

Q+HFE+ E T F T H T <0

for all F satisfies F T FI if and only if there exists a scalar ε>0 such that

Q+εH H T + ε 1 E T E<0.

Lemma 2 [18]

Suppose that x(t) R n is the vector function with a continuous derivative, if [ U M 1 M 2 Z 1 Z 2 Z 3 ] 0, where U, M 1 , M 2 , Z 1 , Z 2 , Z 3 R n × n , such that the following integration is well defined, then

t d t x ˙ T (s)U x ˙ (s)ds [ x ( t ) x ( t d ) ] T [ M 1 T + M 1 + d Z 1 M 1 T + M 2 + d Z 2 M 2 T M 2 + d Z 3 ] [ x ( t ) x ( t d ) ] .

3 Main results

Theorem 1 For prescribed scalar d>0, the system (6) is exponentially stable, and (8) is satisfied if there exists symmetric positive definite matrix W, U and invertible matrix P such that

= [ Σ 11 Σ 12 P T B ˜ A ˜ T H T L ˜ T Σ 22 0 A ˜ d T H T 0 γ 2 I B ˜ T H T 0 ( d U ) 1 0 I ] < 0 , Σ 11 = P T A ˜ + A ˜ T P + H T W H + H T ( M 1 T + M 1 + d Z 1 ) H , Σ 12 = P T A ˜ d + H T ( M 1 T + M 2 + d Z 2 ) H , Σ 22 = H T W H + H T ( M 2 T M 2 + d Z 3 ) H .
(9)

Proof First, we shall show the exponential stability of the system (6).

For any td, choose a Lyapunov functional candidate to be:

V( x ˜ t )= x ˜ T (t)P x ˜ (t)+ t d t x ˜ T (s) H T WH x ˜ (s)ds+ d 0 t + θ t x ˜ ˙ T (s) H T UH x ˜ ˙ (s)dsdθ,
(10)

where W, U are symmetric positive definite matrices, and P is an invertible matrix to be determined, H=[II], x ˜ t = x ˜ (t+β), dβ0.

When ω(t)=0, through Lemma 2, we get

V ˙ ( x ˜ t ) [ x ˜ ( t ) x ˜ ( t d ) ] T ( Γ 1 + Γ 2 ) [ x ˜ ( t ) x ˜ ( t d ) ] ,

where

Γ 1 = [ Σ 11 Σ 12 Σ 22 ] , Γ 2 =d [ A ˜ T H T A ˜ d T H T ] U [ A ˜ T H T A ˜ d T H T ] T .

Now, applying the Schur complements, it is easy to see from (9) that there exists a scalar δ 0 >0 such that for any td,

V ˙ ( x ˜ t ) δ 0 x ˜ ( t ) 2 .
(11)

Now, by (10) and (11), we have

d d t [ e ε t V ( x ˜ t ) ] = e ε t [ ε V ( t ) + V ˙ ( x ˜ t ) ] e ε t [ ( ε δ 1 δ 0 ) x ˜ ( t ) 2 + ε δ 2 t d t x ˜ ( s ) 2 d s ] ,

where δ 1 >0, δ 2 >0.

Integrating both sides from 0 to T>0 gives

e ε T V( x ˜ T )V( x ˜ 0 )(ε δ 1 δ 0 ) 0 T e ε t x ˜ ( t ) 2 dt+ε δ 2 0 T e ε t dt t d t x ˜ ( s ) 2 ds.

Since

0 T e ε t d t t d t x ˜ ( s ) 2 d s = d 0 x ˜ ( s ) 2 d s 0 s + d e ε t d t + 0 T d x ˜ ( s ) 2 d s s s + d e ε t d t + T d T x ˜ ( s ) 2 d s s T e ε t d t d 0 d e ε ( s + d ) x ˜ ( s ) 2 d s + 0 T d d e t ( s + d ) x ˜ ( s ) 2 d s + T d T d e ε ( s + d ) x ˜ ( s ) 2 d s = d e ε d d T e ε s x ˜ ( s ) 2 d s .

Let the scalar ε>0 small enough such that ε δ 1 δ 0 +dε δ 2 e ε d 0. Then, we get that there exists a scalar κ>0 such that

e ε T V( x ˜ T )V( x ˜ 0 )+ [ ε δ 1 δ 0 + d ε δ 2 e ε d ] 0 T e ε t x ˜ ( t ) 2 dtκ sup d θ 0 ϕ ( θ ) 2 .

Taking into account that

V( x ˜ T ) λ min (P) x ˜ ( T ) 2 .

It is not difficult to see that, for any T>0,

x ˜ ( T ) κ λ min ( P ) sup d θ 0 ϕ ( θ ) e ε T .

Therefore, by Definition 1, the T-S fuzzy time-delay system (6) is exponentially stable.

Next, we show that for any nonzero ω(t) L 2 [0,), system (6) satisfies (8) under the zero initial condition. To this end, we introduce

J T = 0 T [ e ( t ) T e ( t ) γ 2 ω ( t ) T ω ( t ) ] dt,

where the scalar T>0. Consider the Lyapunov function of the augmented system (10) for 0ω(t) L 2 [0,), we have

V ˙ ( x ˜ t ) [ x ˜ ( t ) x ˜ ( t d ) w ( t ) ] T ( Γ 1 + Γ 2 ) [ x ˜ ( t ) x ˜ ( t d ) w ( t ) ] ,

where

Γ 1 = [ Σ 11 Σ 12 P T B ˜ Σ 22 0 0 ] , Γ 2 =d [ A ˜ T H T A ˜ d T H T B ˜ T H T ] U [ A ˜ T H T A ˜ d T H T B ˜ T H T ] T .

It can be shown that for any nonzero ω(t) L 2 [0,) and T>0,

J T = 0 T [ V ˙ ( x ˜ t ) + e ( t ) T e ( t ) γ 2 ω ( t ) T ω ( t ) ] d t V ( x ˜ t ) 0 T [ V ˙ ( x ˜ t ) + e ( t ) T e ( t ) γ 2 ω ( t ) T ω ( t ) ] d t 0 T x α T ( Γ 1 + Γ 2 ) x α d t ,

where

x α T = [ x ˜ T ( t ) x ˜ T ( t d ) ω T ( t ) ] , Γ 1 = [ Σ 11 + L ˜ T L ˜ Σ 12 P T B ˜ Σ 22 0 γ 2 I ] .

When <0, we have J T <0 for all T>0, which implies that e ( t ) 2 <γ ω ( t ) 2 for any nonzero ω(t) L 2 [0,). This completes the proof. □

Based on the sufficient conditions above, the design problem of robust H filter can be transformed into a problem of linear matrix inequality.

Theorem 2 Given matrices Q, S, R, which Q, R are symmetric, and Q is negative definite for all uncertainties, the robust filtering issue is resolved for system (6) if there exist positive scalars ε 1 >0, ε 2 >0, symmetric positive definite matrices W, U, and invertible matrix P=diag( P 1 , P 2 ), such that the following LMIs holds:

[ G i i η 1 η 2 T ε 1 I 0 ε 1 1 I ] <0,
(12)
[ G i j η 3 η 4 T ε 2 I 0 ε 2 1 I ] <0,
(13)

where

G i i = [ θ 11 θ 12 θ 13 θ 14 θ 15 θ 16 L i T θ 22 θ 23 θ 24 θ 25 A f i T L f j T θ 33 θ 34 0 θ 36 0 θ 44 0 C f i T 0 θ 55 θ 56 0 θ 66 0 I ] , η 1 = [ P 1 H 1 i 0 0 0 0 0 0 M 2 i H 2 i 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 H 1 i + B f i H 2 i 0 0 0 0 0 0 0 H 3 i 0 0 0 0 0 ] , η 2 = [ E 1 i 0 E 2 i 0 E 3 i 0 0 E 4 i 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] , G i j = [ θ ¯ 11 θ ¯ 12 θ ¯ 13 θ ¯ 14 θ ¯ 15 θ ¯ 16 θ ¯ 17 θ ¯ 22 θ ¯ 23 θ ¯ 24 θ ¯ 25 θ ¯ 26 θ ¯ 27 θ ¯ 33 θ ¯ 34 0 θ ¯ 36 0 θ ¯ 44 0 θ ¯ 46 0 2 γ 2 I θ ¯ 56 0 θ ¯ 66 0 2 I ] , η 3 = [ P 1 H 1 i P 1 H 1 j 0 0 0 θ ¯ 28 θ ¯ 29 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 θ ¯ 68 θ ¯ 69 0 0 0 0 0 H 3 i H 3 j 0 ] 7 × 9 , η 4 = [ E 1 i 0 E 2 i 0 E 3 i 0 0 E 1 j 0 E 2 j 0 E 3 j 0 0 E 4 i 0 0 0 0 0 0 E 4 j 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] , θ 11 = P 1 A 1 i + A 1 i T P 1 + W + M 1 T + M 1 + d Z 1 , θ 12 = C 1 i T M 2 i T + W + M 1 T + M 1 + d Z 1 , θ 13 = P 1 A 2 i M 1 T + M 2 + d Z 2 , θ 14 = M 1 T + M 2 + d Z 2 , θ 15 = P 1 B i , θ 16 = A 1 i T + C 1 i T B f i T , θ 22 = M 1 i + M 1 i T + W + M 1 T + M 1 + d Z 1 , θ 23 = M 2 i C 2 i M 1 T + M 2 + d Z 2 , θ 24 = M 3 i M 1 T + M 2 + d Z 2 , θ 25 = M 2 i D i , θ 33 = θ 34 = W M 2 T M 2 + d Z 3 , θ 36 = A 2 i T + C 2 i T B f i T , θ 44 = W M 2 T M 2 + d Z 3 , θ 55 = γ 2 I , θ 56 = B i T + D i T B f i T , θ 66 = ( d U ) 1 , θ ¯ 11 = P 1 A 1 i + A 1 i T P 1 + P 1 A 1 j + A 1 j T P 1 + 2 W + 2 ( M 1 T + M 1 + d Z 1 ) , θ ¯ 12 = C 1 i T M 2 j T + C 1 j T M 2 i T + 2 W + 2 ( M 1 T + M 1 + d Z 1 ) , θ ¯ 13 = P 1 A 2 i + P 1 A 2 j + 2 ( M 1 T + M 2 + d Z 2 ) , θ ¯ 14 = 2 ( M 1 T + M 2 + d Z 2 ) , θ ¯ 15 = P 1 B i + P 1 B j , θ ¯ 16 = A 1 i T + A 1 j T + C 1 i T B f j T + C 1 j T B f i T , θ ¯ 17 = L i T + L j T , θ ¯ 22 = M 1 i + M 1 j + M 1 i T + M 1 j T + 2 W + 2 ( M 1 T + M 1 + d Z 1 ) , θ ¯ 23 = M 2 j C 2 i + M 2 i C 2 j + 2 ( M 1 T + M 2 + d Z 2 ) , θ ¯ 24 = M 3 i + M 3 j + 2 ( M 1 T + M 2 + d Z 2 ) , θ ¯ 25 = M 2 j D i + M 2 i D j , θ ¯ 26 = A f i T + A f j T , θ ¯ 27 = L f i T L f j T , θ ¯ 28 = M 2 j H 2 i , θ ¯ 29 = M 2 i H 2 j , θ ¯ 33 = θ ¯ 34 = 2 W + 2 ( M 2 T M 2 + d Z 3 ) , θ ¯ 36 = A 2 i T + A 2 j T + C 2 i T B f j T + C 2 j T B f i T , θ ¯ 44 = 2 W + 2 ( M 2 T M 2 + d Z 3 ) , θ ¯ 46 = C f i T + C f j T , θ ¯ 56 = B i T + B j T + D i T B f j T + D j T B f i T , θ ¯ 66 = 2 ( d U ) 1 , θ ¯ 68 = H 1 i + B f j H 2 i , θ ¯ 69 = H 1 j + B f i H 2 j .

Proof From Theorem 1, the sufficient condition of solving robust H filtering problem is matrix inequality (9) holds. Then we have

i = 1 r j = 1 r h i ( ε ( t ) ) h j ( ε ( t ) ) G i j = i = 1 r h i 2 ( ε ( t ) ) G i i + i < j r h i ( ε ( t ) ) h j ( ε ( t ) ) ( G j i + G i j )<0,

where

G i j = [ Ξ 11 Ξ 12 P T B i j A i j T H T L i j T Ξ 22 0 A d i j T H T 0 γ 2 I B i j T H T 0 ( d U ) 1 0 I ] , Ξ 11 = P T A i j + A i j T P + H T W H + H T ( M 1 T + M 1 + d Z 1 ) H , Ξ 12 = P T A d i j + H T ( M 1 T + M 2 + d Z 2 ) H , Ξ 22 = H T ( W M 2 T M 2 + d Z 3 ) H .

However, h i (ε(t))0 and i = 1 r j = 1 r h i (ε(t)) h j (ε(t))=1. So matrix inequality (9) holds as long as

G i i < 0 , i = 1 , 2 , , r , G j i + G i j < 0 , i < j r .
(14)

When i=j, from (14), adapt G i i , we have G i i = G i i + G i i , where

G i i = [ θ 11 θ 12 θ 13 θ 14 θ 15 θ 16 L i T θ 22 θ 23 θ 24 θ 25 A f i T L f j T θ 33 θ 34 0 θ 36 0 θ 44 0 C f i T 0 θ 55 θ 56 0 θ 66 0 I ] , G i i = [ θ 11 θ 12 θ 13 0 θ 15 θ 16 Δ L i T 0 θ 23 0 θ 25 0 0 0 0 0 θ 36 0 0 0 0 0 0 θ 56 0 0 0 0 ] , θ 11 = P 1 A 1 i + A 1 i T P 1 + W + M 1 T + M 1 + d Z 1 , θ 12 = C 1 i T B f i T P + W + M 1 T + M 1 + d Z 1 , θ 13 = P 1 A 2 i M 1 T + M 2 + d Z 2 , θ 14 = M 1 T + M 2 + d Z 2 , θ 15 = P 1 B i , θ 16 = A 1 i T + C 1 i T B f i T , θ 22 = P 2 T A f i + A f i T P 2 + W + M 1 T + M 1 + d Z 1 , θ 23 = P 2 T B f i C 2 i M 1 T + M 2 + d Z 2 , θ 24 = P 2 T C f i M 1 T + M 2 + d Z 2 , θ 25 = P 2 T B f i D i , θ 33 = θ 34 = W M 2 T M 2 + d Z 3 , θ 36 = A 2 i T + C 2 i T B f i T , θ 44 = W M 2 T M 2 + d Z 3 , θ 55 = γ 2 I , θ 56 = B i T + D i T B f i T , θ 66 = ( d U ) 1 , θ 11 = P 1 Δ A 1 i + Δ A 1 i T P 1 , θ 12 = Δ C 1 i T B f i T P 2 , θ 13 = P 1 Δ A 2 i , θ 15 = P 1 Δ B i , θ 16 = Δ A 1 i T + Δ C 1 i T B f i T , θ 23 = P 2 T B f i Δ C 2 i , θ 25 = P 2 T B f i Δ D i , θ 36 = Δ A 2 i T + Δ C 2 i T B f i T , θ 56 = Δ B i T + Δ D i T B f i T .

Based on (2), we obtain that

G i i = η 1 F i η 2 + η 2 T F i T η 1 T .

Through Lemma 1, we can get that G i i <0 (i=1,2,,r) is equivalent to

G i i + ε 1 1 η 1 η 1 T + ε 1 η 2 T η 2 <0.

Via the Schur complements, we obtain that

[ G i i η 1 η 2 T ε 1 I 0 ε 1 1 I ] <0.

Let M 1 i = P 2 T A f i , M 2 i = P 2 T B f i , M 3 i = P 2 T C f i , (12) is completed.

Let G j i + G i j = G i j + G i j , where

G i j = [ θ ¯ 11 θ ¯ 12 θ ¯ 13 θ ¯ 14 θ ¯ 15 θ ¯ 16 θ ¯ 17 θ ¯ 22 θ ¯ 23 θ ¯ 24 θ ¯ 25 θ ¯ 26 θ ¯ 27 θ ¯ 33 θ ¯ 34 0 θ ¯ 36 0 θ ¯ 44 0 θ ¯ 46 0 θ ¯ 55 θ ¯ 56 0 θ ¯ 66 0 2 I ] , G i j = [ θ ¯ 11 θ ¯ 12 θ ¯ 13 0 θ ¯ 15 θ ¯ 16 θ ¯ 17 0 θ ¯ 23 0 θ ¯ 25 0 0 0 0 0 θ ¯ 36 0 0 0 0 0 0 θ ¯ 56 0 0 0 0 ] , θ ¯ 11 = P 1 A 1 i + A 1 i T P 1 + P 1 A 1 j + A 1 j T P 1 + 2 W + 2 ( M 1 T + M 1 + d Z 1 ) , θ ¯ 12 = C 1 i T B f j T P 2 + C 1 j T B f i T P 2 + 2 W + 2 ( M 1 T + M 1 + d Z 1 ) , θ ¯ 13 = P 1 A 2 i + P 1 A 2 j + 2 ( M 1 T + M 2 + d Z 2 ) , θ ¯ 14 = 2 ( M 1 T + M 2 + d Z 2 ) , θ ¯ 15 = P 1 B i + P 1 B j , θ ¯ 16 = A 1 i T + A 1 j T + C 1 i T B f j T + C 1 j T B f i T , θ ¯ 17 = L i T + L j T , θ ¯ 22 = P 2 T A f i + P 2 T A f j + A f i T P 2 + A f j T P 2 + 2 W + 2 ( M 1 T + M 1 + d Z 1 ) , θ ¯ 23 = P 2 T B f j C 2 i + P 2 T B f i C 2 j + 2 ( M 1 T + M 2 + d Z 2 ) , θ ¯ 24 = P 2 T C f i + P 2 T C f j + 2 ( M 1 T + M 2 + d Z 2 ) , θ ¯ 25 = P 2 T B f j D i + P 2 T B f i D j , θ ¯ 26 = A f i T + A f j T , θ ¯ 27 = L f i T L f j T , θ ¯ 33 = θ ¯ 34 = 2 W + 2 ( M 2 T M 2 + d Z 3 ) , θ ¯ 36 = A 2 i T + A 2 j T + C 2 i T B f j T + C 2 j T B f i T , θ ¯ 44 = 2 W + 2 ( M 2 T M 2 + d Z 3 ) , θ ¯ 46 = C f i T + C f j T , θ ¯ 55 = 2 γ 2 I , θ ¯ 56 = B i T + B j T + D i T B f j T + D j T B f i T , θ ¯ 66 = 2 ( d U ) 1 , θ ¯ 11 = P 1 Δ A 1 i + Δ A 1 i T P 1 + P 1 Δ A 1 j + Δ A 1 j T P 1 , θ ¯ 12 = Δ C 1 i T B f j T P 2 + Δ C 1 j T B f i T P 2 , θ ¯ 13 = P 1 Δ A 2 i + P 1 Δ A 2 j , θ ¯ 15 = P 1 Δ B i + P 1 Δ B j , θ ¯ 16 = Δ A 1 i T + Δ A 1 j T + Δ C 1 i T B f j T + Δ C 1 j T B f i T , θ ¯ 17 = Δ L i T + Δ L j T , θ ¯ 23 = P 2 T B f j Δ C 2 i + P 2 T B f i Δ C 2 j , θ ¯ 25 = P 2 T B f j Δ D i + P 2 T B f i Δ D j , θ ¯ 36 = Δ A 2 i T + Δ A 2 j T + Δ C 2 i T B f j T + Δ C 2 j T B f i T , θ ¯ 56 = Δ B i T + Δ B j T + Δ D i T B f j T + Δ D j T B f i T .

Based on (2), we obtain that

G i j = η 3 F ¯ η 4 + η 4 T F ¯ T η 3 T ,

where

F ¯ = [ F i F j ] .

Through Lemma 1, we can get that G j i + G i j <0 (i<jr) is equivalent to

G i j + ε 2 1 η 3 η 3 T + ε 2 η 4 T η 4 <0.

Via the Schur complement, we obtain that

[ G i j η 3 η 4 T ε 2 I 0 ε 2 1 I ] <0.

Let M 1 i = P 2 T A f i , M 2 i = P 2 T B f i , M 3 i = P 2 T C f i , (13) is completed.

The parameters of the robust H filter are

A f i = P 2 T M 1 i , B f i = P 2 T M 2 i , C f i = P 2 T M 3 i , L f i .

 □

4 Numerical example

Example 1 Consider system (6) described by

A 11 = [ 1.2 0.8 1 2 ] , A 21 = [ 0.5 0.2 1 0 ] , B 1 = [ 0.3 0.2 0.4 0.1 ] , C 11 = [ 0.1 0.3 0.1 0.2 ] , C 21 = [ 0.2 0.4 0.1 0.2 ] , D 1 = [ 0.1 0.2 0.1 0.1 ] , L 1 = [ 1.5 0.1 0.1 0.2 ] , A 12 = [ 1.6 0.2 0.7 1 ] , A 22 = [ 0.2 0.1 0.1 0.3 ] , B 2 = [ 0.7 0.1 0.2 0.1 ] , C 12 = [ 0.1 0.4 0.3 0.2 ] , C 22 = [ 0.3 0.4 0.1 0.2 ] , D 2 = [ 0.2 0.3 0.1 0.4 ] , L 2 = [ 0.1 0.2 0.3 0.1 ] , H 11 = [ 0.1 0.2 ] , H 12 = [ 0.2 0.1 ] , H 21 = [ 0.2 0.2 ] , H 22 = [ 0.2 0.1 ] , H 31 = [ 0.2 0.1 ] , H 32 = [ 0.2 0.3 ] , E 11 = [ 0.2 0.1 ] , E 21 = [ 0.2 0.2 ] , E 31 = [ 0.2 0.1 ] , E 41 = [ 0.2 0.2 ] , E 12 = [ 0.2 0.1 ] , E 22 = [ 0.1 0.2 ] , E 32 = [ 0.3 0.2 ] , E 42 = [ 0.2 0.3 ] .

The normalized membership functions of the first subsystem are

h 1 ( x ( t ) ) = 1 + cos ( x ( t ) ) 2 , h 2 ( x ( t ) ) = 1 cos ( x ( t ) ) 2 .

Given d=8, γ=0.25. We can obtain the filter parameters as follows:

A f 1 = [ 0.9585 0.3257 0.3600 0.3510 ] , B f 1 = [ 90.6474 170.4250 199.3139 298.7841 ] , C f 1 = [ 0.6731 0.5042 0.8152 0.5380 ] , L f 1 = [ 0.7716 0.0043 0.4243 0.0258 ] , A f 2 = [ 23.4914 18.7283 30.3710 25.2203 ] , B f 2 = [ 74.1374 86.4398 616.2515 655.3905 ] , C f 2 = [ 4.4241 4.4659 4.8130 6.1622 ] , L f 2 = [ 0.7979 0.0079 0.4663 0.0086 ] .

Example 2 In order to show the advantage of the proposed method, we consider the T-S fuzzy time-delay system as the system show in simulation example in [14] with two rules.

Plant Rule 1: IF x 1 (t) is u 1 (e.g., small) THEN

x ˙ ( t ) = [ A 1 + Δ A 1 ( t ) ] x ( t ) + [ A d 1 + Δ A d 1 ( t ) ] x ( t 1.5 ) + D 1 ω ( t ) , y ( t ) = [ C 1 + Δ C 1 ( t ) ] x ( t ) + [ C d 1 + Δ C d 1 ( t ) ] x ( t 1.5 ) + E 1 ω ( t ) , z ( t ) = L 1 x ( t ) ,

and

Plant Rule 2: IF x 1 (t) is u 2 (e.g., big) THEN

x ˙ ( t ) = [ A 2 + Δ A 2 ( t ) ] x ( t ) + [ A d 2 + Δ A d 2 ( t ) ] x ( t 1.5 ) + D 2 ω ( t ) , y ( t ) = [ C 2 + Δ C 2 ( t ) ] x ( t ) + [ C d 2 + Δ C d 2 ( t ) ] x ( t 1.5 ) + E 2 ω ( t ) , z ( t ) = L 2 x ( t ) ,

where

A 1 = [ 1.2 0.8 1 2 ] , A 2 = [ 1.6 0.2 0.7 1 ] , A d 1 = [ 0.5 0.2 1 0 ] , A d 2 = [ 0.6 0.2 0.5 0.8 ] , D 1 = [ 1 0.2 ] , D 2 = [ 0.3 0.1 ] , C 1 = [ 1 0 ] , C 2 = [ 0.5 0.6 ] , C d 1 = [ 0.8 0.6 ] , C d 2 = [ 0.2 1 ] , E 1 = 0.3 , E 2 = 0.6 , L 1 = [ 1 0.5 ] , L 2 = [ 0.2 0.3 ] , M 11 = [ 0 0.5 ] , M 21 = 0.8 , N 11 = [ 0 0.3 ] , N 21 = [ 0.2 0 ] , M 12 = [ 0 0.3 ] , M 22 = 0.6 , N 12 = [ 0.5 0 ] , N 22 = [ 0 0.2 ] .

The normalized membership functions of the first subsystem are

h 1 ( x 1 ( t ) ) = { 1 , x 1 < 1 , 1 2 1 2 x 1 , | x 1 | 1 , 0 , x 1 > 1 , and h 2 ( x 1 ( t ) ) = { 0 , x 1 < 1 , 1 2 + 1 2 x 1 , | x 1 | 1 , 1 , x 1 > 1 .

Filter Rule 1: IF x 1 (t) is u 1 THEN

x ˆ ˙ ( t ) = A f 1 x ˆ ( t ) + B f 1 y ( t ) , z ˆ ( t ) = L f 1 x ˆ ( t ) ,

and

Filter Rule 2: IF x 1 (t) is u 2 THEN

x ˆ ˙ ( t ) = A f 2 x ˆ ( t ) + B f 2 y ( t ) , z ˆ ( t ) = L f 2 x ˆ ( t ) .

Through Theorem 2 of this article, we can obtain γ min =0.0271, it is less than the minimal level 0.4721 in simulation example in [14], this clearly shows the superiority of the results derived in this paper to those obtained from [14], and the filter parameters as follows:

A f 1 = [ 2.9870 0.7508 1.8256 1.5045 ] , A f 2 = [ 1.1822 0.3462 1.1459 1.8463 ] , B f 1 = [ 0.4195 1.3158 ] , B f 2 = [ 0.2797 1.1891 ] , L f 1 = [ 0.6002 0.3459 ] , L f 2 = [ 0.2737 0.3206 ] .

Using the filter in (5), we can get γ min =0.0190, it is less than the minimal level 0.0271 with C f i =0 in this paper, and the filter parameters as follows:

A f 1 = [ 1.0003 0.3517 1.8344 2.5099 ] , A f 2 = [ 1.1829 0.3544 1.6542 3.8510 ] , B f 1 = [ 0.4196 1.3157 ] , B f 2 = [ 0.2799 1.1890 ] , C f 1 = [ 1.6825 2.6491 0.0680 0.0098 ] , C f 2 = [ 5.0149 2.5331 0.0682 0.0121 ] , L f 1 = [ 0.6030 0.3481 ] , L f 2 = [ 0.2755 0.3215 ] .

Therefore, we can see the advantage of the proposed method in this paper.

Example 3 In order to show the advantage of the proposed method, we consider the time-delay T-S fuzzy system as the system show in example 2 in [5] with two rules.

R 1 : if x 1 (t) is about 0, then

x ˙ ( t ) = ( A 1 + Δ A 1 ) x ( t ) + ( A d 1 + Δ A d 1 ) x ( t d ) + ( B 1 + Δ B 1 ) w ( t ) , y ( t ) = ( C 1 + Δ C 1 ) x ( t ) + ( C d 1 + Δ C d 1 ) x ( t d ) + ( D 1 + Δ D 1 ) w ( t ) , z ( t ) = ( L 1 + Δ L 1 ) x ( t ) ,

R 2 : if x 1 (t) is about ± π 2 , then

x ˙ ( t ) = ( A 2 + Δ A 2 ) x ( t ) + ( A d 2 + Δ A d 2 ) x ( t d ) + ( B 2 + Δ B 2 ) w ( t ) , y ( t ) = ( C 2 + Δ C 2 ) x ( t ) + ( C d 2 + Δ C d 2 ) x ( t d ) + ( D 2 + Δ D 2 ) w ( t ) , z ( t ) = ( L 2 + Δ L 2 ) x ( t ) ,

where

A 1 = [ 1 0.1 0.5 1 ] , A 2 = [ 1 0.5 0.1 1 ] , A d 1 = [ 0 0.2 0 0.1 ] , A d 2 = [ 0 0.3 0 0.6 ] , B 1 = [ 0 1 ] , B 2 = [ 1 0 ] , C 1 = [ 1 0 ] , C 2 = [ 0.5 0.6 ] , C d 1 = [ 0.2 0.6 ] , C d 2 = [ 0.2 0.6 ] , L 1 = [ 1 0.5 ] , L 2 = [ 0.2 0.3 ] , D 1 = 0.3 , D 2 = 0.6 , H 11 = [ 0 0.5 ] , H 12 = [ 0 0.3 ] , H 21 = 0.8 , H 22 = 0.6 , H L 1 = 0.2 , H L 2 = 0.1 , E 11 = [ 0 0.3 ] , E 12 = [ 0.5 0 ] , E 21 = 0.1 , E 22 = 0.2 , E 31 = [ 0.1 0 ] , E 32 = [ 0.2 0 ] , E d 1 = [ 0.2 0 ] , E d 2 = [ 0 0.2 ] .

The normalized membership functions of the first subsystem are

h 1 ( x 1 ( t ) ) = ( 1 1 1 + exp ( 7 ( x 1 ( t ) π / 4 ) ) ) × ( 1 1 + exp ( 7 ( x 1 ( t ) π / 4 ) ) ) , h 2 ( x 1 ( t ) ) = h 1 ( x 1 ( t ) ) .

Filter R 1 : if x 1 (t) is μ 1 then

x ˆ ˙ ( t ) = A e 1 x ˆ ( t ) + B e 1 y ( t ) , Z ˆ ( t ) = L e 1 x ˆ ( t ) .

Filter R 2 : if x 1 (t) is μ 2 then

x ˆ ˙ ( t ) = A e 2 x ˆ ( t ) + B e 2 y ( t ) , Z ˆ ( t ) = L e 2 x ˆ ( t ) .

Given d=0.5, through Theorem 2 of this article, we can obtain minimum γ=0.0178, and it is less than the minimal level 0.2453 in example 2 in [5], this clearly shows the superiority of the results derived in this paper to those obtained from [5], and the filter parameters as follows:

A e 1 = [ 0.9836 0.3306 1.7660 3.0998 ] , A e 2 = [ 0.8186 0.4682 1.7634 4.4274 ] , B e 1 = [ 0.2093 0.1007 ] , B e 2 = [ 0.0132 0.4979 ] , L e 1 = [ 3.4626 4.3515 ] , L e 2 = [ 0.1314 1.0629 ] .

Using the filter in (5), we can get γ min =0.0144, it is less than the minimal level 0.0178 with C f i =0 in this paper, therefore, using of the new filter, the obtained criterion is less conservative than those without the new filter, and the filter parameters are as follows:

A f 1 = [ 0.9852 0.3396 1.7748 3.1052 ] , A f 2 = [ 0.8193 0.4764 1.7667 4.4321 ] , B f 1 = [ 0.2099 0.1027 ] , B f 2 = [ 0.0138 0.4980 ] , C f 1 = [ 1.5825 2.6501 0.0599 0.0089 ] , C f 2 = [ 4.9954 2.6001 0.0710 0.0098 ] , L f 1 = [ 3.4654 4.3537 ] , L f 2 = [ 0.1332 1.0648 ] .

Therefore, we can see the advantage of the proposed method in this paper.

5 Conclusion

In the paper, the problem of robust H filter with the exponential stability is investigated. Some criterion is proposed to ensure the considered system to be exponentially stable, and it satisfies a prescribed H performance in terms of LMIs. Thanks to the new filter, the obtained criterion is less conservative than the existing ones. Numerical examples show the effectiveness of the proposed methods.

References

  1. Ma YC, Yan HJ: Delay-dependent non-fragile robust dissipative filtering for uncertain nonlinear stochastic singular time-delay systems with Markovian jump parameters. Adv. Differ. Equ. 2013., 2013: Article ID 135 http://www.advancesindifferenceequations.com/content/2013/1/135

    Google Scholar 

  2. Wang D, Shi P, Wang JL, Wang W:Delay-dependent exponential H filtering for discrete-time switched delay systems. Int. J. Robust Nonlinear Control 2012, 22(13):1522-1536. 10.1002/rnc.1764

    Article  MathSciNet  MATH  Google Scholar 

  3. Kim JH:Delay-dependent robust H filtering for uncertain discrete-time singular systems with interval time-varying delay. Automatica 2010, 46(3):591-597. 10.1016/j.automatica.2010.01.011

    Article  MathSciNet  MATH  Google Scholar 

  4. Gao HJ, Wang CH:Delay-dependent robust H and L 2 L filtering for a class of uncertain nonlinear time-delay systems. IEEE Trans. Autom. Control 2003, 48(9):1661-1666. 10.1109/TAC.2003.817012

    Article  MathSciNet  Google Scholar 

  5. Chen CL, Liu HX, Guan XP: H filtering of time-delay T-S fuzzy systems based on piecewise Lyapunov-Krasovskii functional. Signal Process. 2009, 89(10):1998-2005. 10.1016/j.sigpro.2009.04.002

    Article  MATH  Google Scholar 

  6. Su YK, Chen B, Lin C, Zhang HG:A new fuzzy H filter design for nonlinear continuous-time dynamic systems with time-varying delays. Fuzzy Sets Syst. 2009, 160(24):3539-3549. 10.1016/j.fss.2009.07.003

    Article  MathSciNet  MATH  Google Scholar 

  7. Lu RQ, Wang JH, Xue AK, Ye SH, Chu J:Robust H filtering for a class of uncertain Lurie time-delay singular systems. Acta Autom. Sin. 2007, 3(33):292-296.

    Article  MathSciNet  MATH  Google Scholar 

  8. Wu ZG, Su HY, Chu J:Delay-dependent H filtering for singular Markovian jump time-delay systems. Signal Process. 2010, 90(6):1815-1824. 10.1016/j.sigpro.2009.11.029

    Article  MATH  Google Scholar 

  9. Kwon OM, Park MJ, Lee SM, Park JH: Augmented Lyapunov-Krasovskii functional approaches to robust stability criteria for uncertain Takagi-Sugeno fuzzy systems with time-varying delays. Fuzzy Sets Syst. 2012, 201(2):1-19.

    Article  MathSciNet  MATH  Google Scholar 

  10. Park MJ, Kwon OM, Park JH, Lee SM: Simplified stability criteria for fuzzy Markovian jumping Hopfield neural networks of neutral type with interval time-varying delays. Expert Syst. Appl. 2012, 39(5):5625-5633. 10.1016/j.eswa.2011.11.055

    Article  MathSciNet  Google Scholar 

  11. Park MJ, Kwon OM, Park JH, Lee SM, Cha EJ: Synchronization criteria of fuzzy complex dynamical networks with interval time-varying delays. Appl. Math. Comput. 2012, 218(23):11634-11647. 10.1016/j.amc.2012.05.046

    Article  MathSciNet  MATH  Google Scholar 

  12. Gong CZ, Zeng XW:Delay-dependent nonfragile robust H filtering of T-S fuzzy time-delay systems. Circuits Syst. Signal Process. 2010, 29(3):361-375. 10.1007/s00034-010-9148-x

    Article  MathSciNet  Google Scholar 

  13. Huang SJ, Zhang DQ, He Q, Zhang NN:An improved H filter design for nonlinear system with time-delay via T-S fuzzy models. Acta Autom. Sin. 2010, 36(10):1454-1459.

    Article  MathSciNet  Google Scholar 

  14. Xu SY, Lam J:Exponential H filter design for uncertain Takagi-Sugeno fuzzy systems with time delay. Eng. Appl. Artif. Intell. 2004, 17(6):645-659. 10.1016/j.engappai.2004.08.012

    Article  Google Scholar 

  15. Zhao Y, Gao HJ, Lam J:New results on H filtering for fuzzy systems with interval time-varying delays. Inf. Sci. 2011, 181(11):2356-2369. 10.1016/j.ins.2011.01.032

    Article  MathSciNet  MATH  Google Scholar 

  16. Xia ZL, Li JM, Li JR:Delay-dependent non-fragile H filtering for uncertain fuzzy systems based on switching fuzzy model and piecewise Lyapunov function. Int. J. Autom. Comput. 2010, 7(4):428-437. 10.1007/s11633-010-0524-6

    Article  Google Scholar 

  17. Lu RQ, Xu Y, Xue AK: H filtering for singular systems with communication delays. Signal Process. 2010, 90(4):1240-1248. 10.1016/j.sigpro.2009.10.007

    Article  MATH  Google Scholar 

  18. Xiao SP, Wu M, Zhang XM: Non-fragile delay-dependent robust control for uncertain systems. J. Syst. Sci. Math. Sci. 2007, 27(3):401-411.

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This paper is supported by the National Natural Science Foundation of China (No. 61273004).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Huijie Yan.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

HY carried out the main part of this manuscript. YM participated in the discussion and corrected the main theorem. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Ma, Y., Yan, H. Delay-dependent robust H filter for T-S fuzzy time-delay systems with exponential stability. Adv Differ Equ 2013, 362 (2013). https://doi.org/10.1186/1687-1847-2013-362

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2013-362

Keywords