New Developments in Mathematical Control and Information for Fuzzy SystemsView this Special Issue
Filtering for Discrete Fuzzy Stochastic Time-Delay Systems with Sensor Saturation
This paper addresses the filtering problem for discrete fuzzy stochastic systems with time-varying delay and sensor saturation. Random noise depending on state and external disturbance is also taken into account. A decomposition approach is employed to solve the characteristic of sensor saturation. The scaled small gain (SSG) theorem is extended to the stochastic systems, which is employed to handle with the time-varying delay by transforming the original system into the form of an interconnected system consisting of two subsystems. By the proposed Lyapunov-Krasovskii function, the scaled small gains of the subsystems are analyzed, respectively. Sufficient conditions for the stochastic stability of the filtering error system with a prescribed level are established such that the gains of the filter can be obtained explicitly. Finally, simulation results are presented to demonstrate the effectiveness of the proposed approach.
In recent years, the control and filtering problems for Takagi-Sugeno (T-S) fuzzy systems, which have been employed to solve a great deal of issues in control and filtering fields, have drawn a great attention of many researchers [1–4]. Described by a set of If-Then rules, the T-S fuzzy system can approximate any given continuous function in a compact set of at any preciseness [5–7]. Consequently, it has become one of the most useful and popular research platforms in fuzzy logic control (FLC), since many nonlinear systems can be analyzed by using the properties of conventional linear systems via T-S fuzzy model. A great number of significant results have been reported in the literatures [8–11]. In particular, a great effort has been devoted to the filtering problems for T-S fuzzy systems. Among the existing filtering approaches, the Kalman filtering is popular and useful due to its easy implementing and good performance in many engineering problems . However, the Kalman filtering has strict constraints that a precise model of the system is available and all error terms and measurements have Gaussian distributions, which are hard to reach in many practical dynamics. Meanwhile, filtering, which only requires that the noise sources to be arbitrary signals with bounded energy or bounded average power instead of Gaussian noises, has arguably become another useful and important filtering method for T-S fuzzy systems.
On the other hand, a large number of practical engineering problems encounter time-delay phenomenon, which is always a source of poor performance and even instability of the systems [13, 14]. Over the past few years, a great interest has been devoted to time-delay systems, and many significant results have been reported by the Lyapunov method [3, 15–17]. On the other hand, an input-output (IO) approach developed from the SSG theorem that has been introduced for constant delay [18, 19] and then extended to time-varying delay . In contrast to the time-independent methods , less conservative results could be achieved by this approach, which analyzes the stability of the system by transforming the system into the form of two interconnected subsystems [20, 21], especially for small time delays . It should be noted that a proper approximation to the time delay plays the key role in this method, and many approximation approaches are proposed to pursue smaller approximation error. Recently, a method for estimating the time-varying delay by the upper and lower delay bounds was introduced in , which has a much smaller resulting error than the other one-term ones [24–26]. This motivates this research to extend this approach to filtering problems for T-S fuzzy systems.
In practical engineering, sensor saturation is one of the most popular phenomena that limits the performance of sensors on various aspects significantly. When sensors cannot provide the enough amplitude signals due to the physical or safety constraints [18, 27], a complicated controller is needed for a good resulting performance. In recent years, researchers have paid a great attention to filtering problems with sensor saturation [28, 29]. However, it should be noted that in  the output of the system is only the sum of a linear term and a nonlinear one, which means that the output model is a special class of nonlinear sensor model, rather than a general form, and the filtering method in  cannot be utilized for the stochastic systems directly [30, 31].
Motivated by the above reasons, we investigate the filtering problem for discrete-time T-S fuzzy stochastic systems with time-varying delay and senor saturation. A decomposition approach is applied to handle with the characteristic of the sensor saturation, and random noise subject to state and external-disturbance is also considered. A new model transformation is employed to transform the original system into a form of two interconnected subsystems. Based on the SSG theorem developed to stochastic systems and the proposed Lyapunov-Krasovskii function, the SSG of each subsystem is analyzed to establish the sufficient conditions under which the filtering error system is stochastically stable with a prescribed performance level . Then, the corresponding filter design technique is proposed. Finally, an illustrative example is presented to show the effectiveness of the proposed method.
The remainder of this paper is organized as follows. In Section 2, the problem of filtering is formulated for T-S fuzzy stochastic systems with time-varying delay and sensor saturation. Section 3 presents the results for performance analysis and filter design. A numerical example is provided to demonstrate the effectiveness of the designed filtering technique in Section 4, and we conclude the paper with Section 5.
Notation. Throughout this paper, represents the -dimensional Euclidean space, is the set of all real matrices, and the superscripts “−1” and “”, respectively, stand for the matrix inverse and matrix transpose. is the shortened notation for , and the notation (resp., ), for , means that is real symmetric and positive definite (resp., semidefinite). The symmetric elements of the symmetric matrix are represented by an asterisk (), and the block diagonal matrices are denoted by diag. means the series connection of mapping and denotes the expectation operator with respect to probability measure, and for vector , .
2. Problem Formulation
We consider the following nonlinear fuzzy dynamic described by a Takagi-Sugeno (T-S) stochastic model:
: If is and …, and is , Then where , , denotes the th fuzzy inference rule, is the number of the inference rules, , , are fuzzy sets, and are some measurable premise variables of the system. is the state vector, is the measured output, and is the signal to be estimated. , , , , , , , and are known constant matrices. is the time-varying delay satisfying where and denote the lower and upper bounds of the delays, respectively. We define the delay interval as .
In the system (1), is a random process with standard one dimension on a probability space , where denotes the sample space, and is the probability measure on , which is the -algebra of subsets of the sample space. The sequence of is generated by , where is the set of natural numbers, such that , , and for .
The exogenous disturbance is assumed to belong to , which denotes the space of -dimensional nonanticipatory square-integrable process on with respect to , such that
The defuzzified output of the T-S fuzzy system (1) is inferred as where Then, we have , and , which implies that and .
In this paper, the sensor saturation is described by the saturation function satisfying , for some given diagonal matrices , with , such that Furthermore, the nonlinear function can be decomposed into a linear and a nonlinear part where the nonlinearity belongs to , where
For the fuzzy system (1), we construct the following filter with full order to estimate the system states from measured output : where is the filter state vector, is the estimate of , and and are the filter gains to be determined.
Furthermore, the following definitions will be used in this paper.
Definition 2 (see ). A mapping is said to be input-output stable in the mean square if there exists , such that
Then, the main objective of this paper is as follows.
Filtering Problem. Given a scalar , the gains and of the filter (9) are designed such that for any time-delay satisfying (2), the filter error system (11) is stochastically stable under , and for any given integer , the following performance index holds for any function .
3. Filtering Performance Analysis
In this section, we focus on the filter performance analysis based on the developed SSG theorem. By the developed SSG theorem to the stochastic systems and a new model transformation to the system in (11), the sufficient conditions are proposed, under which the system is stochastically stable with a prescribed performance index.
3.1. SSG Theorem for Stochastic Systems
Lemma 3 (stochastic small gain theorem ). Consider the following interconnected system consisting of two subsystems in Figure 1: Then, the closed loop systems are input-output stable in mean square for all the subsystems and satisfying if .
Proof. Considering (16) yields Obviously, which implies that the closed loop is input-output stable in mean square.
3.2. A New Model Transformation
To transform the systems (11) into the form of (16), we express as where is the approximation of , and denotes the approximation error. Then, the system can be rewritten as follows: Define , and we have where Then, obviously the system (21) can be rewritten in the form as follows: where
Furthermore, the SSG of the mapping denoted by has an upper bound.
Lemma 5. has an upper bound
Proof. According to the fact that , by using Jensen’s inequality, it can be derived under zero initial condition where , which implies . The proof is completed.
3.3. Performance Analysis
In this section, the performance of the filtering error system is analyzed by the SSG of the subsystem in (24) in order to establish the conditions under which the performance index is guaranteed for the filtering error system (11).
Theorem 6. Suppose that the system matrices , , , , represent a fixed system. Given the filter matrices , and integers and a constant , the filtering error system (21) is input-output stable in mean square with an performance attention level for any time-varying delay satisfying (2) if there exist matrices , , , such that where
Proof. Choose the following Lyapunov-Krasovskii functional:
where and , are the matrices to be determined.
Define , then we have
Then, define which together with (30) yields By the Schur complement, it can be verified that is guaranteed by , which implies that if , we have , where is defined in (24). According to Lemmas 3 and 5, it is shown that the system in (11) is input-output stable in mean square.
Furthermore, implies that which together with (30) yields . The proof is completed.
Theorem 6 shows the conditions under which the system in (11) is input-output stable in mean square with a prescribed performance index. Moreover, the conditions for stochastic stability of the system can be reached by the Lyapunov-Krasovskii functional method, which will be discussed in the following theorem.
Define as . It can be shown that , if Theorem 6 holds. Then, we can always find a small scalar , such that which implies that
For any positive integer , by summing up the inequality on both sides from , we obtain which implies that when , which indicates that the systems in (24) are stochastically stable according to Definition 1. The proof is completed.
Remark 8. It is well known that free-weighting matrices are introduced a lot to estimate the upper bound of the term , while in this paper, Jensen’s inequality is employed instead of such weighting matrices, which reduce the NoV of the proposed conditions to . It is remarkably smaller than the results in some existing literatures, such as , and , , and , which demonstrates the computational advantage of the proposed approach obviously .
4. Filter Design
Theorem 9. Consider the discrete-time fuzzy stochastic system in (1), for a given constant , if there exist matrices , , , and , such that the following LMI holds: where then, the system in (11) is stochastically stable with performance level , and the filter gains are given by
Proof. Define introduced in Theorem 6 as
where and are to be determined such that solvability of (28) is satisfied.
Then, we have Define , , which together with (28) yields (42). The proof is completed.
5. Numerical Example
In this section, an example is provided to demonstrate effectiveness of the filter design method proposed in the preceding sections.
Example 10. Consider the system (1) with the following parameters:
and the saturation parameters are selected as
the membership functions are
and the noises are assumed to be , which satisfy the constraint in (3), and set and .
To design the filter, by solving the LMI condition (42) under the prescribed disturbance level , it can be obtained that
Assume the sensor saturation as which satisfies (8), and the initial conditions as , . By calculation, it can be obtained that the and that yields which is below the given , which demonstrates effectiveness of the proposed filter design. In addition, the trajectories of state variable and its estimate are shown in Figures 2, 3, and 4, and its estimate are given in Figures 5 and 6, and is provided in Figure 7.
This paper addresses the filtering problem for T-S fuzzy systems subject to sensor saturation. The plant is considered with random noise depending on state and external-disturbance. The system is transformed into an input-output form consisted of two interconnected subsystems. Based on the SSG theorem developed to stochastic systems and the proposed Lyapunov-Krasovskii function, sufficient conditions under which the filter can be achieved with the prescribed performance index are established. Finally, a numerical example is presented to demonstrate the effectiveness of the proposed filter design scheme.
H. R. Karimi, “Observer-based mixed H2/ control design of linear systems with time-varying delays: an LMI approach,” International Journal of Control, Automation and Systems, vol. 6, no. 1, pp. 1–14, 2008.View at: Google Scholar
H. R. Karimi, “Optimal vibration control of vehicle engine-body system using Haar functions,” International Journal of Control, Automation and Systems, vol. 4, no. 6, pp. 714–724, 2006.View at: Google Scholar
M. J. Wang and M. F. Yang, “Application of signed distances method to integrate linear programming for fuzzy multi-objective project management,” International Journal of Innovative Computing, Information and Control, vol. 7, no. 1, pp. 237–252, 2011.View at: Google Scholar
H. Li, H. Liu, H. Gao, and P. Shi, “Reliable fuzzy control for active suspension systems with actuator delay and fault,” IEEE Transactions on Fuzzy Systems, vol. 20, no. 2, pp. 342–357, 2012.View at: Google Scholar
T. Niknam, H. D. Mojarrad, and M. Nayeripour, “A new hybrid fuzzy adaptive particle swarm optimization for non-convex economic dispatch,” International Journal of Innovative Computing, Information and Control, vol. 7, no. 1, pp. 189–202, 2011.View at: Google Scholar
F. Li and X. Zhang, “Delay-range-dependent robust filtering for singular LPV systems with variant delay,” International Journal of Innovative Computing, Information and Control, vol. 9, no. 1, pp. 339–353, 2013.View at: Google Scholar
T.-C. Lin, S.-W. Chang, and C.-H. Hsu, “Robust adaptive fuzzy sliding mode control for a class of uncertain discrete-time nonlinear systems,” International Journal of Innovative Computing, Information and Control, vol. 8, no. 1 A, pp. 347–359, 2012.View at: Google Scholar
K. Gu, Y. Zhang, and S. Xu, “Small gain problem in coupled differential-difference equations, time-varying delays, and direct Lyapunov method,” International Journal of Robust and Nonlinear Control, vol. 21, no. 4, pp. 429–451, 2011.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
W. H. Ho, S. H. Chen, I. T. Chen, J. H. Chou, and C. C. Shu, “Design of stable and quadraticoptimal static output feedback controllers for TS-fuzzy-model-based control systems: an integrative computational approach,” International Journal of Innovative Computing, Information and Control, vol. 20, no. 6, pp. 403–418, 2012.View at: Google Scholar
D. Zhang, H. Wang, B. Lu, and Z. Wang, “LMI-based fault detection fuzzy observer design with multiple performance constraints for a class of non-linear systems: comparative study,” International Journal of Innovative Computing, Information and Control, vol. 8, no. 1, pp. 633–645, 2012.View at: Google Scholar
S. Sastry, Nonlinear Systems, vol. 10 of Interdisciplinary Applied Mathematics, Springer, New York, NY, USA, 1999.View at: MathSciNet