Robust Filtering for Uncertain Discrete-Time Fuzzy Stochastic Systems with Sensor Nonlinearities and Time-Varying Delay
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 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.
Fuzzy systems in the Takagi-Sugeno (T-S) model can represent a lot of complex nonlinear systems in [1–3]. 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 [4–9].
It has been known that time delays are one of the main causes of instability and poor performance of control systems in . 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, [13–16] 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 [19–22]. 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 . The robust fault detection filter problem for fuzzy stochastic systems is studied in . The problem of robust filtering for uncertain discrete-time stochastic systems with time-varying delays is considered in . For nonlinear discrete-time stochastic systems, the filtering problem for a class of nonlinear discrete-time stochastic systems with state delays is considered in . The robust filtering problem for a class of nonlinear discrete time-delay stochastic systems is considered in . The filtering problem for a general class of nonlinear discrete-time stochastic systems with randomly varying sensor delays is considered in . Recently, the filtering problem for discrete-time fuzzy stochastic systems with sensor nonlinearities is considered in . And the problem of filtering for discrete-time Takagi-Sugeno (T-S) fuzzy stochastic systems with time-varying delay is studied in . 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  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 , the stochastic systems do not contain the sensor nonlinearities. To the best of our knowledge, no results on 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 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 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, denotes the -dimensional Euclidean space, and is the set of real matrices. is the identity matrix. denotes Euclidean norm for vectors and denotes the spectral norm of matrices. denotes the set of all natural numbers, that is, . is a complete probability space with a filtration satisfying the usual conditions. stands for the transpose of the matrix . For symmetric matrices and , the notation (resp., ) means that the is positive definite (resp., positive semidefinite). denotes a block that is readily inferred by symmetry. 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 plant rules.
Plant rule :
if is and and is ,
then where is the fuzzy set. is the premise variable vector, is the state vector, is the measurable output vector, is the state combination to be estimated, is a real scalar process on a probability space relative to an increasing family of -algebra generated by , and is the set of natural numbers. The stochastic process is independent, which is assumed to satisfy where the stochastic variables are assumed to be mutually independent. The exogenous disturbance signal is assumed to belong to , and is measurable for all , where denotes the space of -dimensional nonanticipatory square summable stochastic process on with respect to satisfying The time-varying delay satisfies where and are known positive integers representing the minimum and maximum delays, respectively.
In addition, , and are known real constant matrices, , ,, ,, and are unknown matrices representing time-varying parameter uncertainties, and the admissible uncertainties are assumed to be modeled in the form where , and are known constant matrices and , , and 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 in . According to the theory of fuzzy sets, we have and . Therefore, it is implied that and .
For some given diagonal matrices and with , the nonlinear vector functions , is assumed to represent sensor nonlinearities and satisfies the following sensor condition : Further, the nonlinear function can be decomposed into a linear and a nonlinear part as follows: where the nonlinearity belongs to the set given by with .
We consider the following fuzzy filter for the estimation of : where , , and the matrices and 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 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 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 , and any , 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 is said to be robustly stochastic stable if there exists a scalar such that for all admissible uncertainties satisfying (2.5)–(2.8) where denotes the solution of stochastic systems with initial state .(2) For the given disturbance attenuation level and under zero initial conditions for all , 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. ). Given constant matrices , , and with appropriate dimensions, where and , then if and only if
Lemma 2.3 (see ). For given matrices , , and with and scalar , 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 and , the filtering error system (2.14)-(2.15) is robustly stochastic stable with performance , if there exist real matrices , , , any matrices , scalars , and for such that the following LMI is satisfied: where Moreover, if the previous condition is satisfied, an acceptable state-space realization of the 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 and 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 such that
Consider the Lyapunov-Krasovskii functional candidate as follows: where Calculating the difference of along the filtering error system (2.14) with and taking the mathematical expectation, we have Noting (2.2) and (2.12), we have By some calculations, we have Since , 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 to for any integer , we have which yields where . Taking , it is shown from (2.17) and (3.27) that the filtering error system (2.14) is robustly stochastic stable for .
Next, we will show that the filtering error system (2.14)-(2.15) satisfies for all nonzero . To this end, define with any integer . Then for any nonzero , we have where It can be shown that if there exist real matrices , , , any matrices , scalars , and for satisfying LMI (3.1). Since and by Lemma 2.2, it is implied that , and, thus, . That is, . This completes the proof.
Remark 3.2. When and are given, matrix inequality (3.1) is linear matrix inequalities in matrix variables , , , , scalars , and for , which can be efficiently solved by the developed interior point algorithm . Meanwhile, it is esay to find the minimal attenuation level .
Remark 3.3. Theorem 3.1 is suggested to the 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 is available; for example, see . 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 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 and , the filtering error system (2.14)-(2.15) is robustly stochastic stable with performance , if there exist real matrices , , , any matrices , scalars , and for , such that the following LMIs are satisfied: where where , and are defined in Theorem 3.1. Moreover, if the previous conditions are satisfied, an acceptable state-space realization of the filter is given by LMI (3.3).
Proof. Considering (2.2) and (3.1), it follows from (3.30) that Our elaborate estimation 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 . 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 and , the filtering error system (2.14)-(2.15) is robustly stochastic stable with performance , if there exist real matrices , , , any matrices , scalars , and for , such that the following LMIs are satisfied: where , and are defined in Theorems 3.4 and 3.1, respectively. Moreover, if the previous conditions are satisfied, an acceptable state-space realization of the 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  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 :
Remark 3.7. This class of uncertain discrete-time fuzzy stochastic systems with sensor nonlinearities has been considered in ; 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 .
Corollary 3.8. Consider the uncertain discrete-time fuzzy stochastic systems in (3.39). A filter of form (2.13) and constants and , the filtering error system is robustly stochastic stable with performance , if there exist real matrices , , any matrices , scalars and for such that the following LMI is satisfied: where