Mathematical Problems in Engineering

Volume 2013 (2013), Article ID 146325, 10 pages

http://dx.doi.org/10.1155/2013/146325

Research Article

Filtering for Discrete Fuzzy Stochastic Time-Delay Systems with Sensor Saturation

Jia You,¹ Shen Yin,² and Hamid R. Karimi³

¹Research Institute of Intelligent Control and Systems, Harbin Institute of Technology, Heilongjiang 150001, China

²College of Information Science and Technology, Bohai University, Jinzhou, Liaoning 121013, China

³Department of Engineering, Faculty of Engineering and Science, University of Agder, 4879 Grimstad, Norway

Received 29 November 2012; Accepted 4 February 2013

Academic Editor: Peng Shi

Copyright © 2013 Jia You et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

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.

1. Introduction

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 [12]. 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 [20]. In contrast to the time-independent methods [15], 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 [22]. 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 [23], 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 [28] 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 [28] 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.

Define the following error variables:

Combining the system (1) and the filter (9) yields the filtering error system as follows:

where

Furthermore, the following definitions will be used in this paper.

Definition 1 (see [32]). For the system in (1) with , the system is stochastically stable if for any ,

Definition 2 (see [33]). 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 [34]). 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 .

Figure 1: The interconnection subsystems.

Proof. Considering (16) yields

Obviously,

which implies that the closed loop is input-output stable in mean square.

Corollary 4 (stochastic SSG theorem [34]). Consider the system described in (16). The system is input-output stable in mean square if holds for some nonsingular matrices and with .

The proof of Corollary 4 can be readily obtained by following the similar lines of Lemma 3.

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.

From Lemmas 3 and 5, the system in (11) is input-output stable in mean square if the SSG of the subsystem satisfies the conditions in Lemma 3, which will be investigated in the following section.

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:

with

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.

Theorem 7. For the forward system in (24), if Theorem 6 holds, then, the system is stochastically stable for .

Proof. For the LKF defined in (30), we have

with

where is defined in (28).

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 [35], and [16], [36], and [17], which demonstrates the computational advantage of the proposed approach obviously [24].

4. Filter Design

This section is devoted to the filter design problem for the system (1) based on Theorem 6. Sufficient conditions for the existence of the filter are provided in the following theorem.

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.

Figure 2: and .

Figure 3: and .

Figure 4: and .

Figure 5: and .

Figure 6: and .

Figure 7: and .

6. Conclusion

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.

References

H. R. Karimi, “Observer-based mixed H₂/ 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.

H. R. Karimi and H. Gao, “New delay-dependent exponential H∞ synchronization for uncertain neural networks with mixed time delays,” IEEE Transactions on Systems, Man, and Cybernetics, Part B, vol. 40, no. 1, pp. 173–185, 2010.

M. Liu, D. W. C. Ho, and Y. Niu, “Stabilization of Markovian jump linear system over networks with random communication delay,” Automatica, vol. 45, no. 2, pp. 416–421, 2009.

M. Liu, D. W. C. Ho, and Y. Niu, “Robust filtering design for stochastic system with mode-dependent output quantization,” IEEE Transactions on Signal Processing, vol. 58, no. 12, pp. 6410–6416, 2010.

R. Yang, P. Shi, and G.-P. Liu, “Filtering for discrete-time networked nonlinear systems with mixed random delays and packet dropouts,” IEEE Transactions on Automatic Control, vol. 56, no. 11, pp. 2655–2660, 2011.

R. Yang, Z. Zhang, and P. Shi, “Exponential stability on stochastic neural networks with discrete interval and distributed delays,” IEEE Transactions on Neural Networks, vol. 21, no. 1, pp. 169–175, 2010.

H. R. Karimi and H. Gao, “Mixed H₂/ output-feedback control of second-order neutral systems with time-varying state and input delays,” ISA Transactions, vol. 47, no. 3, pp. 311–324, 2008.

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.

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.

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.

H. Li, B. Chen, Q. Zhou, and W. Qian, “Robust stability for uncertain delayed fuzzy Hopfield neural networks with Markovian jumping parameters,” IEEE Transactions on Systems, Man, and Cybernetics, Part B, vol. 39, no. 1, pp. 94–102, 2009.

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.

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.

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.

H. Gao and C. Wang, “A delay-dependent approach to robust filtering for uncertain discrete-time state-delayed systems,” IEEE Transactions on Signal Processing, vol. 52, no. 6, pp. 1631–1640, 2004.

H. Gao and T. Chen, “New results on stability of discrete-time systems with time-varying state delay,” IEEE Transactions on Automatic Control, vol. 52, no. 2, pp. 328–334, 2007.

X. Meng, J. Lam, B. Du, and H. Gao, “A delay-partitioning approach to the stability analysis of discrete-time systems,” Automatica, vol. 46, no. 3, pp. 610–614, 2010.

X. Su, P. Shi, L. Wu, and Y. D. Song, “A novel control design on discrete-time takagisugeno fuzzy systems with time-varying delays,” IEEE Transactions on Fuzzy Systems, no. 99, p. 9, 2012.

Y.-P. Huang and K. Zhou, “Robust stability of uncertain time-delay systems,” IEEE Transactions on Automatic Control, vol. 45, no. 11, pp. 2169–2173, 2000.

C.-Y. Kao and B. Lincoln, “Simple stability criteria for systems with time-varying delays,” Automatica, vol. 40, no. 8, pp. 1429–1434, 2004.

H. R. Karimi, M. Zapateiro, and N. Luo, “Stability analysis and control synthesis of neutral systems with time-varying delays and nonlinear uncertainties,” Chaos, Solitons & Fractals, vol. 42, no. 1, pp. 595–603, 2009.

X. M. Zhang and Q. L. Han, “Delay-dependent robust filtering for uncertain discrete-time systems with time-varying delay based on a finite sum inequality,” IEEE Transactions on Circuits and Systems II, vol. 53, no. 12, pp. 1466–1470, 2006.

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.

X. Li and H. Gao, “A new model transformation of discrete-time systems with time-varying delay and its application to stability analysis,” IEEE Transactions on Automatic Control, vol. 56, no. 9, pp. 2172–2178, 2011.

L. Wu, X. Su, P. Shi, and J. Qiu, “Model approximation for discrete-time state-delay systems in the T-S fuzzy framework,” IEEE Transactions on Fuzzy Systems, vol. 19, no. 2, pp. 366–378, 2011.

L. Wu, X. Su, P. Shi, and J. Qiu, “A new approach to stability analysis and stabilization of discrete-time T-S fuzzy time-varying delay systems,” IEEE Transactions on Systems, Man, and Cybernetics, Part B, vol. 41, no. 1, pp. 273–286, 2011.

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.

L. Wu and Z. Wang, “Fuzzy filtering of nonlinear fuzzy stochastic systems with time-varying delay,” Signal Processing, vol. 89, no. 9, pp. 1739–1753, 2009.

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.

X. Su, L. Wu, and P. Shi, “ model reduction of Takagi-Sugeno fuzzy stochastic systems,” IEEE Transactions on Systems, Man, and Cybernetics, Part B, vol. 42, no. 6, pp. 1574–1585, 2012.

W. Yang and M. Liu, “ filtering for nonlinear stochastic systems with sensor saturation, quantization and random packet losses,” Signal Processing, vol. 92, no. 6, pp. 1387–1396, 2012.

S. Xu, J. Lam, and T. Chen, “Robust control for uncertain discrete stochastic time-delay systems,” Systems & Control Letters, vol. 51, no. 3-4, pp. 203–215, 2004.

P. Seiler and R. Sengupta, “An approach to networked control,” IEEE Transactions on Automatic Control, vol. 50, no. 3, pp. 356–364, 2005.

S. Sastry, Nonlinear Systems, vol. 10 of Interdisciplinary Applied Mathematics, Springer, New York, NY, USA, 1999.

B. Zhang, S. Xu, and Y. Zou, “Improved stability criterion and its applications in delayed controller design for discrete-time systems,” Automatica, vol. 44, no. 11, pp. 2963–2967, 2008.

Y. He, G. P. Liu, D. Rees, and M. Wu, “ filtering for discrete-time systems with time-varying delay,” Signal Processing, vol. 89, no. 3, pp. 275–282, 2009.