Volume 2012, Issue 1 402480
Research Article
Open Access

Robust H Filtering for Uncertain Discrete-Time Fuzzy Stochastic Systems with Sensor Nonlinearities and Time-Varying Delay

Mingang Hua

Corresponding Author

Mingang Hua

College of Computer and Information, Hohai University, Changzhou 213022, China hhu.edu.cn

Changzhou Key Laboratory of Sensor Networks and Environmental Sensing, Changzhou 213022, China

Jiangsu Key Laboratory of Power Transmission and Distribution Equipment Technology, Changzhou 213022, China

Search for more papers by this author
Pei Cheng

Pei Cheng

School of Mathematical Sciences, Anhui University, Hefei 230601, China ahu.edu.cn

Search for more papers by this author
Juntao Fei

Juntao Fei

College of Computer and Information, Hohai University, Changzhou 213022, China hhu.edu.cn

Search for more papers by this author
Jianyong Zhang

Jianyong Zhang

Department of Mathematics and Physics, Hohai University, Changzhou 213022, China hhu.edu.cn

Search for more papers by this author
Junfeng Chen

Junfeng Chen

College of Computer and Information, Hohai University, Changzhou 213022, China hhu.edu.cn

Search for more papers by this author
First published: 27 December 2012
Citations: 3
Academic Editor: Hak-Keung Lam

Abstract

The robust filtering problem for a class of uncertain discrete-time fuzzy stochastic systems with sensor nonlinearities and time-varying delay is investigated. The parameter uncertainties are assumed to be time varying norm bounded in both the state and measurement equations. By using the Lyapunov stability theory and some new relaxed techniques, sufficient conditions are proposed to guarantee the robustly stochastic stability with a prescribed H performance level of the filtering error system for all admissible uncertainties, sensor nonlinearities, and time-varying delays. These conditions are dependent on the lower and upper bounds of the time-varying delays and are obtained in terms of a linear matrix inequality (LMI). Finally, two simulation examples are provided to illustrate the effectiveness of the proposed methods.

1. Introduction

Fuzzy systems in the Takagi-Sugeno (T-S) model can represent a lot of complex nonlinear systems in [13]. By using a T-S fuzzy plant model, one can describe a nonlinear system as a weighted sum of some simple linear subsystems. This fuzzy model is described by a family of fuzzy if-then rules that represent local linear input/output relations of the system. The overall fuzzy model of the system is achieved by smoothly blending these local linear models together through membership functions. Consequently, stability, control, and filtering problems for T-S fuzzy systems have attracted considerable attention, and many important results have been reported in [49].

It has been known that time delays are one of the main causes of instability and poor performance of control systems in [10]. Analysis and synthesis of such systems are of both theoretical and practical importance. Therefore, the study of time-delay systems has attracted great attention over the past few years in [11, 12]. For continuous-time systems, the obtained results can be generally classified into two types: delay-independent and delay-dependent ones. It has been understood that the latter is generally less conservative since the size of delays is considered, especially when time delays are small. Compared with continuous-time systems with time-varying delays, the discrete-time counterpart receives relatively less attention. See, for example, [1316] and references therein.

In the past few years, much research effort has been paid to the control and filtering problems for nonlinear systems that have been widely applied in many fields such as communication network, image processing, and mobile robot localization [17, 18]. And the filtering for nonlinear stochastic systems has been of great interest since stochastic modeling has come to play an important role in many branches of engineering applications [1922]. particularly for discrete-time stochastic systems, so far, a number of important results have been reported for linear discrete-time stochastic systems. The exponential filtering problem is studied for discrete time-delay stochastic systems with Markovian jump parameters and missing measurements in [23]. The robust fault detection filter problem for fuzzy stochastic systems is studied in [24]. The problem of robust H filtering for uncertain discrete-time stochastic systems with time-varying delays is considered in [25]. For nonlinear discrete-time stochastic systems, the filtering problem for a class of nonlinear discrete-time stochastic systems with state delays is considered in [26]. The robust H filtering problem for a class of nonlinear discrete time-delay stochastic systems is considered in [27]. The H filtering problem for a general class of nonlinear discrete-time stochastic systems with randomly varying sensor delays is considered in [28]. Recently, the filtering problem for discrete-time fuzzy stochastic systems with sensor nonlinearities is considered in [29]. And the problem of H filtering for discrete-time Takagi-Sugeno (T-S) fuzzy stochastic systems with time-varying delay is studied in [30]. In [27, 29, 31, 32], the nonlinearity for filtering problem of systems was assumed to satisfy sensor nonlinearities, which may included actuator saturation and sensor saturation. It is worth mentioning that, although the system in [29] is with sensor nonlinearities, the proposed filter design approach do not consider the discrete-time fuzzy stochastic systems with time delay, which is not applicable to stochastic delay systems. And in [30], the stochastic systems do not contain the sensor nonlinearities. To the best of our knowledge, no results on H filtering for the uncertain discrete-time fuzzy stochastic systems with both sensor nonlinearities and time-varying delay are available in the literature, which motivates the present study.

Motivated by the works in [25, 27, 29, 30], in this paper, a delay-dependent H performance analysis result is established for filtering error systems. A new uncertain discrete-time fuzzy stochastic systems model is proposed, and a new different Lyapunov functional is then employed to deal with systems with sensor nonlinearities and time-varying delay. As a result, the H filters are designed in terms of linear matrix inequalities (LMIs). The resulting filters can ensure that the filtering error system is robustly stochastic stable and the estimation error is bounded by a prescribed level for all possible bounded energy disturbances. Finally, two examples are given to show the effectiveness of the proposed method.

Throughout this paper, n denotes the n-dimensional Euclidean space, and n×m is the set of n × m real matrices. I is the identity matrix. |·| denotes Euclidean norm for vectors and ||·|| denotes the spectral norm of matrices. N denotes the set of all natural numbers, that is, N = {0,1, 2, …}. (Ω, , {k} kN, 𝒫) is a complete probability space with a filtration {k} kN satisfying the usual conditions. MT stands for the transpose of the matrix M. For symmetric matrices X and Y, the notation X > Y (resp., XY) means that the XY is positive definite (resp., positive semidefinite). * denotes a block that is readily inferred by symmetry. E{·} stands for the mathematical expectation operator with respect to the given probability measure 𝒫.

2. Problem Description

Consider a class of uncertain discrete-time stochastic systems that can be approximated by the following time-delay T-S fuzzy stochastic model with r plant rules.

Plant rule i:

if θ1(k) is and … and θp(k) is ,

then
()
where is the fuzzy set. θ(t) = [θ1(t), θ2(t), …, θp(t)] T is the premise variable vector, x(k) ∈ n is the state vector, y(k) ∈ q is the measurable output vector, z(k) ∈ r is the state combination to be estimated, w(k) is a real scalar process on a probability space (Ω, , 𝒫) relative to an increasing family (k) kN of σ-algebra k generated by (w(k)) kN, and N is the set of natural numbers. The stochastic process {w(k)} is independent, which is assumed to satisfy
()
where the stochastic variables w(0), w(1), w(2), … are assumed to be mutually independent. The exogenous disturbance signal v(k) ∈ p is assumed to belong to Le2([0 ), p), and is k−1 measurable for all kN, where Le2([0 ), p) denotes the space of k-dimensional nonanticipatory square summable stochastic process f(·) = (f(k)) kN on N with respect to kN satisfying
()
The time-varying delay τ(k) satisfies
()
where τ1 and τ2 are known positive integers representing the minimum and maximum delays, respectively.
In addition, Ai, Adi, Bi, Ei, Edi, Gi, Ci, Cdi, Di, and Li are known real constant matrices, ΔAi(k), ΔAdi(k), ΔBi(k), ΔEi(k), ΔEdi(k), ΔGi(k), ΔCdi(k), and ΔDi(k) are unknown matrices representing time-varying parameter uncertainties, and the admissible uncertainties are assumed to be modeled in the form
()
()
()
where M1i, M2i, M3i, M4i, M5i, M6i, M7i, and M8i are known constant matrices and F1i(k), F2i(k), and F3i(k) are unknown time-varying matrices with Lebesgue measurable elements bounded by
()
The defuzzified output of the T-S fuzzy system (2.1) is inferred as follows:
()
where , and , in which is the grade of membership of ηj(k) in . According to the theory of fuzzy sets, we have μi(θ(k)) ≥ 0, (i = 1,2, …, r) and . Therefore, it is implied that hi(θ(k)) ≥ 0, (i = 1,2, …, r) and .
For some given diagonal matrices K1 ≥ 0 and K2 ≥ 0 with K2 > K1, the nonlinear vector functions ϕ ∈ [K1, K2], is assumed to represent sensor nonlinearities and satisfies the following sensor condition [29]:
()
Further, the nonlinear function ϕ(ξ) can be decomposed into a linear and a nonlinear part as follows:
()
where the nonlinearity ϕs(ξ) belongs to the set Φs given by
()
with K = K2K1 > 0.
We consider the following fuzzy filter for the estimation of zk:
()
where , , and the matrices Afi and Bfi (i = 1,2, …, r) are to be determined.

Remark 2.1. Similar to [27, 29], the sensor nonlinearities satisfying (2.10) are also considered in this paper. Here, there exists the nonlinear function ϕ(ξ) in the system (2.1), which is called sensor nonlinearities. It is noted that in the previous filter, the matrix Li is assumed to be constant in order to avoid more verbosely mathematical derivation.

Defining , , , and augmenting the model (2.9) to include the states of the filter (2.13), we obtain the following filtering error system:

()
()
where
()

The H filtering problem to be addressed in this paper can be formulated as follows. Given discrete-time fuzzy stochastic systems (2.9), a prescribed level of noise attenuation γ > 0, and any ϕ ∈ [K1 K2], find a suitable filter in the form of (2.13) such that the following requirements are satisfied.

  • (1)

    The filtering error system (2.14)-(2.15) with v(k) = 0 is said to be robustly stochastic stable if there exists a scalar c > 0 such that for all admissible uncertainties satisfying (2.5)–(2.8)

    ()
    where x(k) denotes the solution of stochastic systems with initial state x(0).

  • (2)

    For the given disturbance attenuation level γ > 0 and under zero initial conditions for all v(k) ∈ Le2([0 ), p), the performance index γ satisfies the following inequality:

    ()

Before concluding this section, we introduce the following lemmas, which will be used in the derivation of our main results in the next section.

Lemma 2.2 (Gu et al. [33]). Given constant matrices Γ1, Γ2, and Γ3 with appropriate dimensions, where and , then

()
if and only if
()

Lemma 2.3 (see [34].)For given matrices H, E, and F(t) with FT(t)F(t) ≤ I and scalar ε > 0, the following inequality holds:

()

3. Main Results

Theorem 3.1. Consider the uncertain discrete-time fuzzy stochastic systems in (2.1). A filter of form (2.13) and constants τ1 and τ2, the filtering error system (2.14)-(2.15) is robustly stochastic stable with performance γ, if there exist real matrices X > 0, Y > 0, Q > 0, any matrices AFj, BFj, scalars ε1i > 0, ε2i > 0 and ε3i > 0 for i, j = 1,2, …, r such that the following LMI is satisfied:

()
where
()
Moreover, if the previous condition is satisfied, an acceptable state-space realization of the H filter is given by
()

Proof. We first establish the condition of robustly stochastic stability for the filtering error system (2.14)-(2.15). It can be shown that LMI (3.1) implies

()
Define a matrix by
()
where X > 0 and Y > 0 satisfy the solvability of (3.1).

Then, it can be shown from (3.3) and (3.5) that LMI (3.4) can be rewritten as

()
where
()
which is equivalent to the following inequality:
()
with
()
On the other hand, it is noted that the following equality holds:
()
By Lemmas 2.2 and 2.3, from (3.8)–(3.10), we have
()
where
()
Then there exists a small scalar α > 0 such that
()

Consider the Lyapunov-Krasovskii functional candidate as follows:

()
where
()
Calculating the difference of V(k) along the filtering error system (2.14) with v(k) = 0 and taking the mathematical expectation, we have
()
Noting (2.2) and (2.12), we have
()
By some calculations, we have
()
()
Since τ1τ(k) ≤ τ2, we have
()
()
Combining (3.18)–(3.21), we have
()
Combining (3.17) and (3.22) yields
()
where
()
and Γ is given in (3.11). Thus, it follows from (3.13) and (3.23) that
()
Hence, by summing up both sides of (3.25) from 0 to N for any integer N > 1, we have
()
which yields
()
where . Taking N, it is shown from (2.17) and (3.27) that the filtering error system (2.14) is robustly stochastic stable for v(k) = 0.

Next, we will show that the filtering error system (2.14)-(2.15) satisfies

()
for all nonzero v(k) ∈ Le2([0 ), p). To this end, define
()
with any integer N > 0. Then for any nonzero v(k), we have
()
where
()
It can be shown that if there exist real matrices X > 0, Y > 0, Q > 0, any matrices AFj, BFj, scalars ε1i > 0, ε2i > 0 and ε3i > 0 for i, j = 1,2, …, r satisfying LMI (3.1). Since v(k) ∈ Le2([0 ), p) ≠ 0 and by Lemma 2.2, it is implied that , and, thus, J(N) < 0. That is, . This completes the proof.

Remark 3.2. When τ1 and τ2 are given, matrix inequality (3.1) is linear matrix inequalities in matrix variables X > 0, Y > 0, Q > 0, AFj, BFj, scalars ε1i > 0, ε2i > 0 and ε3i > 0 for i, j = 1,2, …, r, which can be efficiently solved by the developed interior point algorithm [33]. Meanwhile, it is esay to find the minimal attenuation level γ.

Remark 3.3. Theorem 3.1 is suggested to the H filter design for uncertain discrete-time fuzzy stochastic systems with sensor nonlinearities and time-varying delay. This approach is called fuzzy-rule-dependent approach, which is applicable to the case that the information of the premise variable θi(k) (i = 1,2, …, r) is available; for example, see [24]. For the special case that the premise variables are unavailable, the fuzzy-rule-independent approach as in [24, 29] is adopted, which may result in lager conservativeness due to lack of the information of the premise variables.

In the following, we will present the fuzzy-rule-dependent H filter design for uncertain discrete-time fuzzy stochastic system with time-varying delay, which are less conservative than Theorem 3.1.

Theorem 3.4. Consider the uncertain discrete-time fuzzy stochastic systems in (2.1). A filter of form (2.13) and constants τ1 and τ2, the filtering error system (2.14)-(2.15) is robustly stochastic stable with performance γ, if there exist real matrices X > 0, Y > 0, Q > 0, any matrices AFi, BFi, scalars ε1i > 0, ε2i > 0 and ε3i > 0 for i, j = 1,2, …, r,  i < j, such that the following LMIs are satisfied:

()
()
where
()
where Σ11, Σ22, Σ33, Σ44, Σ17, Σ37, Σ47, Σ711, and   Σ712 are defined in Theorem 3.1. Moreover, if the previous conditions are satisfied, an acceptable state-space realization of the H filter is given by LMI (3.3).

Proof. Considering (2.2) and (3.1), it follows from (3.30) that

()
Our elaborate estimation J(N) is negative definite if and only if and . By Lemmas 2.2 and 2.3, we can obtain that (3.32) is equivalent to , and (3.33) is equivalent to . Thus, we can conclude that the LMIs (3.32) and (3.33) can guarantee J(N) < 0. That is, . This completes the proof.

Theorem 3.5. Consider the uncertain discrete-time fuzzy stochastic systems in (2.1). A filter of form (2.13) and constants τ1 and τ2, the filtering error system (2.14)-(2.15) is robustly stochastic stable with performance γ, if there exist real matrices X > 0, Y > 0, Q > 0, any matrices AFi, BFi, scalars ε1i > 0, ε2i > 0 and ε3i > 0 for i, j = 1,2, …, r,  i < j, such that the following LMIs are satisfied:

()
()
()
where Σij, Σ11, Σ22, Σ33, Σ44, Σ17, Σ37, Σ47, Σ711, and Σ712 are defined in Theorems 3.4 and 3.1, respectively. Moreover, if the previous conditions are satisfied, an acceptable state-space realization of the H filter is given by LMI (3.3).

Proof. This theorem can be proved by employing the same techniques as in the proof of Theorem 3.4; hence, the detailed procedure is omitted here.

Remark 3.6. It is noted that the convexifying procedure proposed in this paper is based on the relaxation inequality (3.36), and extensions of the current derivations based on the more powerful relaxation techniques presented in [8, 24, 30] are straightforward. In this way, the design conservatism can be further reduced but the computation complexity will also increase. By considering the information on the premises [8, 24, 30], Theorems 3.4 and 3.5 relaxed the conservatism of the previous works [29] by representing the interactions among the fuzzy subsystems in a matrix and solving it in a numerical manner.

For comparison, if there is no time-varying delay exit in (2.1), we consider the following discrete-time stochastic systems [29]:

()

Remark 3.7. This class of uncertain discrete-time fuzzy stochastic systems with sensor nonlinearities has been considered in [29]; a new different Lyapunov functional is then employed to deal with systems with sensor nonlinearities. Then from Theorems 3.1, 3.4, and 3.5, we can get the following corollaries, which are less conservative than Theorem  3.1 in [29].

Corollary 3.8. Consider the uncertain discrete-time fuzzy stochastic systems in (3.39). A filter of form (2.13) and constants τ1 and τ2, the filtering error system is robustly stochastic stable with performance γ, if there exist real matrices X > 0, Y > 0, any matrices AFj, BFj, scalars ε1i > 0 and ε3i > 0 for i, j = 1,2, …, r such that the following LMI is satisfied:

()
where
()
Moreover, if the previous condition is satisfied, an acceptable state-space realization of the H filter is given by LMI (3.3).

Corollary 3.9. Consider the uncertain discrete-time fuzzy stochastic systems in (3.39). Give a filter of form (2.13) and constants τ1 and τ2, the filtering error system is robustly stochastic stable with performance γ, if there exist real matrices X > 0, Y > 0, any matrices AFj, BFj, scalars ε1i > 0 and ε3i > 0 for i, j = 1,2, …, r such that the following LMIs are satisfied:

()
where Π11, Π22, Π33, Π16, Π36, Π610 are defined in Corollary 3.8. Moreover, if the previous conditions are satisfied, an acceptable state-space realization of the H filter is given by LMI (3.3).

Corollary 3.10. Consider the uncertain discrete-time fuzzy stochastic systems in (3.39). A filter of form (2.13) and constants τ1 and τ2, the filtering error system is robustly stochastic stable with performance γ, if there exist real matrices X > 0, Y > 0, any matrices AFj, BFj, scalars ε1i > 0 and ε3i > 0 for i, j = 1,2, …, r such that the following LMIs are satisfied:

()
where Π11, Π22, Π33, Π16, Π36, Π610 are defined in Corollary 3.8. Moreover, if the previous conditions are satisfied, an acceptable state-space realization of the H filter is given by LMI (3.3).

In the sequel, special results for the case of linear sensor, that is, ϕ(Cx(k)) = Cx(k), may be obtained from Theorems 3.1, 3.4, and 3.5.

Corollary 3.11. Consider the uncertain discrete-time fuzzy stochastic systems in (2.1) with ϕ(Cx(k)) = Cx(k). A filter of form (2.13) and constants τ1 and τ2, the filtering error system is robustly stochastic stable with performance γ, if there exist real matrices X > 0, Y > 0, Q > 0, any matrices AFj, BFj, scalars ε1i > 0, ε2i > 0 and ε3i > 0 for i, j = 1,2, …, r such that the following LMI is satisfied:

()
where
()
Moreover, if the previous condition is satisfied, an acceptable state-space realization of the H filter is given by LMI (3.3).

Corollary 3.12. Consider the uncertain discrete-time fuzzy stochastic systems in (2.1) with ϕ(Cx(k)) = Cx(k). A filter of form (2.13) and constants τ1 and τ2, the filtering error system is robustly stochastic stable with performance γ, if there exist real matrices X > 0, Y > 0, Q > 0, any matrices AFi, BFi, scalars ε1i > 0, ε2i > 0 and ε3i > 0 for i, j = 1,2, …, r,  i < j, such that the following LMIs are satisfied:

()
where
()
where Σ11, Σ22, Σ33, Σ44, Σ37, Σ47, Σ711, Σ712, and are defined in Theorem 3.1 and Corollary 3.11, respectively. Moreover, if the previous conditions are satisfied, an acceptable state-space realization of the H filter is given by LMI (3.3).

Corollary 3.13. Consider the uncertain discrete-time fuzzy stochastic systems in (2.9) with ϕ(Cx(k)) = Cx(k). A filter of form (2.13) and constants τ1 and τ2, the filtering error system is robustly stochastic stable with performance γ, if there exist real matrices X > 0, Y > 0, Q > 0, any matrices AFi, BFi, scalars ε1i > 0, ε2i > 0 and ε3i > 0 for i, j = 1,2, …, r,  i < j, such that the following LMIs are satisfied:

()
where , and are defined in Corollary 3.12, Theorem 3.1, and Corollary 3.11, respectively. Moreover, if the previous conditions are satisfied, an acceptable state-space realization of the H filter is given by LMI (3.3).

Remark 3.14. In the previous results, there still exists conservativeness; for these, we can also use the delay-dependent stability results of discrete-time systems in [1316] to derive the less conservative theorems and corollaries for filtering problem of uncertain discrete-time fuzzy stochastic systems with sensor nonlinearities and time-varying delay.

4. Numerical Example

In this section, two simulation examples are given to illustrate the effectiveness and benefits of the proposed approach.

Example 4.1. Consider the system (3.39) with parameters as follows:

()
This system has been considered in [29]. For comparison with the Theorem  3.1 in [29], the computation results of γmin  under Corollaries 3.8, 3.9, and 3.10 are listed in Table 1.

This example conclusively shows that our results are less conservative than Theorem  3.1 in [29].

Table 1. Minimum index γ for different methods.
Methods Theorem3.1 [29] Corollary 3.8 Corollary 3.9 Corollary 3.10
γmin 0.2931 0.2030 0.1869 0.1376

Example 4.2. Consider the system (2.1) with parameters as follows:

()
and v(t) = 10et, the membership functions are h1(θ) = (1 − sin  (x2))/2, h2(θ) = (1 − sin  (x1))/2, and the nonlinear vector function is ϕ(u) = (K2 + K1)/2 + (K2K1)/2sin (u), K1 = diag {0.1,  0.3}, K2 = diag {0.2,  0.4}.

Note that different τ1 and τ2 yield different γmin , and assume τ(k) satisfies 1 ≤ τ(k) ≤ 5.

By Theorem 3.1, the minimum achievable noise attenuation level is given by γmin  = 0.3474 and we can obtain the corresponding filter parameters as follows:
()
By Theorem 3.4, the minimum achievable noise attenuation level is given by γmin  = 0.3419 and we can obtain the corresponding filter parameters as follows:
()
By Theorem 3.5, the minimum achievable noise attenuation level is given by γmin  = 0.2563 and we can obtain the corresponding filter parameters as follows:
()

The relaxation technique is adopted in this paper, so Theorems 3.4 and 3.5 relaxed the conservatism more than Theorem 3.1. There has been a decrease in the minimum achievable noise attenuation level γmin .

With the initial conditions x(t) and are [2 − 1.5] T and [2 − 1.5] T, respectively, for an appropriate initial interval. For given τ1 = 1, τ2 = 5 with γmin  = 0.2563, according to Theorem 3.5, we apply the filter parameters mentioned previously to the system (2.1) and obtain the simulation results as in Figures 13. Figure 1 shows the state response x(k) under the initial condition. Figure 2 shows the estimation of filter . Figure 3 shows error response . From these simulation results, we can see that the designed H filter can stabilize the system (2.1) with sensor nonlinearities and time-varying delay.

Details are in the caption following the image
The state response x(k).
Details are in the caption following the image
The estimation of filter .
Details are in the caption following the image
The error response .

5. Conclusions

In this paper the robust filtering problem for a class of uncertain discrete-time fuzzy stochastic systems with sensor nonlinearities and time-varying delay has been developed. A new type of Lyapunov-Krasovskii functional has been constructed to derive some sufficient conditions for the filters in terms of LMIs, which guarantees a prescribed H performance index for the filtering error system. A numerical example has shown the usefulness and effectiveness of the proposed filter design method.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.