Advanced Stochastic Control Systems with Engineering ApplicationsView this Special Issue
Research Article | Open Access
T-S Fuzzy Model-Based Approximation and Filter Design for Stochastic Time-Delay Systems with Hankel Norm Criterion
This paper investigates the Hankel norm filter design problem for stochastic time-delay systems, which are represented by Takagi-Sugeno (T-S) fuzzy model. Motivated by the parallel distributed compensation (PDC) technique, a novel filtering error system is established. The objective is to design a suitable filter that guarantees the corresponding filtering error system to be mean-square asymptotically stable and to have a specified Hankel norm performance level . Based on the Lyapunov stability theory and the Itô differential rule, the Hankel norm criterion is first established by adopting the integral inequality method, which can make some useful efforts in reducing conservativeness. The Hankel norm filtering problem is casted into a convex optimization problem with a convex linearization approach, which expresses all the conditions for the existence of admissible Hankel norm filter as standard linear matrix inequalities (LMIs). The effectiveness of the proposed method is demonstrated via a numerical example.
The filtering problem can be briefly described as the design of an estimator from the measured output to estimate the state of the given systems and plays an important role in control fields and signal processing. During the last decades, various methodologies have been developed for the filter designs, such as Kalman filter [1, 2], filter [3, 4], and or filter [5, 6]. To mention a few, the earlier appeared Kalman filter is based on the precise noise statistics, while filter can be designed without the statistical assumption on the noise signals. With the continuous development of filtering technology, research on the above filtering methods has made a lot of achievements. In recent years, more and more scholars pay their attentions to other performance index, such as , , and Hankel norm, where the analysis of Hankel norm takes the effects of past inputs on the future outputs into account. Since the inputs and outputs of the plants for actual control systems change over time, environment and any other factors, the past inputs will affect the future outputs, which is one issue need to consider in the filtering analysis. Therefore, the study on Hankel norm filter has significance of theoretical guidance and engineering application.
On another research frontline, a great number of results on stochastic systems have been reported since stochastic modeling has come to be a key part in many branches of science and engineering. As far as we know, the study of stochastic systems mainly focusses on the stability analysis [7, 8], controller design [9, 10], filtering , model reduction  and fault detection , and so forth. Among them, the literature  proposed some sufficient conditions to ensure that the stochastic interval delay system is exponentially stable by using the Razumikhin-type theorem, and the robust control and filtering problem for a class of uncertain stochastic time-delay systems were discussed in [9, 11], respectively. In the literature , the Hankel norm gain criterion of model reduction was established for neutral stochastic time-delay systems by using the projection lemma. For the existence of nonlinearity and unknown measured noise as well as stochastic perturbation, researchers have proposed different methods as data-driven approach [14, 15] and fault tolerant control with an iterative optimization scheme . It is noted that the research on the filtering problem for stochastic time-delay systems has great significance and the major works are obtained with performance, while being relatively less with other performance constraints, especially Hankel norm.
As well known, a significant body of research on the aforementioned filter design problem has been investigated up to now and the closely related results of nonlinear systems are also fruitful with the T-S fuzzy model approach. Over the past few years, the T-S fuzzy model has been recognised as a powerful tool in approximating complex nonlinear systems to a number of linear subsystems by employing piecewise smooth membership functions. It has been proved that some stability analysis and synthesis methods in the linear systems can be effectively extended to the T-S fuzzy systems [17, 18]. Through the T-S fuzzy model approach, the filtering problem for nonlinear systems has undergone a fast development in recent year. Some results are cited in the study [19, 20], where the literature  considered both continuous and differential uniformly bounded time-varying delays and proposed some novel delay-dependent filtering criteria for nonlinear systems via a T-S fuzzy model approach, and  is concerned with the design problem of filter for continuous T-S fuzzy systems based on the delay partitioning idea. However, it should be pointed out that the mentioned results are mostly established with the induced norms, such as and , while more and more researchers have switched their interests to Hankel norm very recently. Different from other norms, the analysis of the Hankel norm included both the past inputs and the future outputs. By estimating the effect of the system past inputs on the system future outputs, the Hankel norm can be used to achieve the system performance analysis more efficiently. So far, the applications of the Hankel norm is mainly in system model reduction [12, 21, 22]. To the best of the authors' knowledge, the Hankel norm filtering problem for T-S model-based stochastic time-delay systems has not been investigated, which motivates the current research.
The goal of this paper is to design a robust Hankel norm filter for stochastic time-delay systems. Firstly, based on the T-S fuzzy model approximation and the parallel distributed compensation (PDC) technique, a novel filtering error system is established. Then, two appropriate Lyapunov-Krasovskii functions are chosen for the stability and Hankel norm performance analysis. By using the Itô differential rule and the integral inequality method, the Hankel norm criterion is first proposed for the existence of admissible filter that guarantees the mean-square asymptotic stability and Hankel norm performance of the corresponding filtering error system. Finally, the existence conditions of the admissible Hankel norm filter can be expressed as LMIs and the filter parameters are obtained by using standard numerical software. An example is illustrated to show the efficiency of the proposed filter design methods.
The notation used in this paper is standard. denotes the -dimensional real Euclidean space, is the set of real matrices. denotes the natural numbers set. The notation and denote its transpose and inverse when it exists, respectively. Given a symmetric matrix , the notation means that the matrix is real positive definiteness (semidefiniteness). By we denote a block diagonal matrix with its input arguments on the diagonal. denotes the identity matrix. The symbol within a matrix represents the symmetric entries. denotes the space of square integrable functions over . The notation stands for the expectation operator.
2. Problem Statement
Consider a stochastic time-delay system which could be approximated by a T-S fuzzy model with plant rules.
Plant Rule . If is , is andand is , then where is the state vector, is the measured output signal, and is the exogenous disturbance that is assumed to be an arbitrary signal belonging to . is the signal to be estimated. is a zero-mean real scalar Wiener process on (). And , . is the time delay and is assumed to be constant in the whole dynamic process. is the premise variables vector, is the fuzzy set, and is the number of IF-THEN rules. , , , , , , , , , , , , and are known constant matrices with appropriate dimensions.
The fuzzy system (1) is supposed to have singleton fuzzifier, product inference, and centroid difuzzifier. The final output of the fuzzy system is inferred as follows: where and representing the grade of membership of in . Here, for all , and .
In this paper, we will design the following Hankel norm filter by employing the parallel distributed compensation technique.
Filter Rule . If is , is andand is , then where and are the state and output of the filter, respectively. The matrices , , and are filter parameters to be determined.
The defuzzified output of (4) is referred by
Defining the augmented state vector and , then the filtering error system can be written in the following form: where ,
The Hankel norm filtering problem addressed in this paper can be expressed as follows.
Given a scalar , determine the matrices , , and to find a suitable filter in the form of (5) such that(i)the filtering error system (6) with is mean-square asymptotically stable;(ii)subjected to the zero initial condition (, for all ) for all with , for all .Then, the filtering error system (6) is said to be mean-square asymptotically stable with a Hankel norm performance level .
Lemma 1. Given matrix and scalar , is a vector function which satisfies , then
Remark 2. in Lemma 1 is not equivalent to in deterministic time-delay systems and cannot be expressed by the known system parameters for the existence of the stochastic perturbation . If , .
3. Hankel Norm Performance Analysis
In this subsection, we will derive a sufficient condition for the existence of the Hankel norm filter that guarantees the filtering error system (6) to be mean-square asymptotically stable with a specified Hankel norm performance level. By making use of the Itô differential rule, the stochastic differentials of Lyapunov functions along the solution of system (6) are obtained and the integral inequality method is also used during the derivation. Based on these, the Hankel norm criterion of filtering problem is first established. Now, we will first give the following theorem which will play a key role in the derivation of our main results.
Theorem 3. The filtering error system (6) is mean-square asymptotically stable and has a guaranteed Hankel norm performance if there exist , , , , , , and , satisfying
Proof. Choose the Lyapunov-Krasovskii functionals as
where , , , , , and are real symmetric positive definite matrices to be determined, , . is defined as , and according to the Newton-Leibniz formula, we have
Then by making use of the Itô differential rule, the stochastic differential along the solution of system (6) can be obtained as where
Applying Lemma 1 to , we have
Noting that and system (6), for arbitrary matrix it can be seen that
Thus, it follows from (18) and (21) that where
Therefore, when assuming zero input , it follows that where
By using the Schur complement lemma, the inequality (10) implies the negative definiteness of . Then, we have , and the filtering error system (6) with is guaranteed to be mean-square asymptotically stable. And the next step is to establish the Hankel norm performance: under zero initial condition and with , for all .
For any nonzero with , for all , the inequality of (23) can be rewritten in the following quadratic form: where
The inequalities (10) and (27) imply
Integrating both sides of (22) and (29), respectively, from to and then taking expectation, we have where zero initial condition is used.
Second, introduce in (16). By following similar lines as above, it is not difficult to obtain the stochastic differential as where
By Schur complement lemma, the inequality (11) is equivalent to
Thus, we have
By considering , for all and (32), for any , inequalities (32) and (34) guarantee
Integrating both sides of (31) and (35), respectively, from to and then taking expectation, we have
Due to and , then
By considering (12), (13), (14), (30), and (37), we obtain (26), the proof is concluded.
Remark 4. For general continuous time stochastic time-delay systems, the delay-independent results can be obtained by choosing the following form of Lyapunov functional: However, the presence of stochastic perturbation (Wiener process) in the stochastic time-delay systems makes undefined and the above function is not suitable for its large conservative. Thus, we adopt the Lyapunov functionals in the form of (15) and (16) in the original version and obtain delay-dependent criterion of filtering problem for stochastic time-delay systems. It should be pointed out that the Lyapunov functions are chosen with constant delay in this paper, and the proposed method can be also extended to the case of time-varying delay , which can have more conservative results.
Remark 5. Theorem 3 provides a delay-dependent sufficient condition of the robustly mean-square asymptotic stability with a Hankel norm performance level for the filtering error system (6). By introducing the assistant vector and free-weighting matrices , the derivation of the above theorem is completed without using any model transformations and cross terms bounding techniques. The introduction of helps establishing the contact of , , and and then the delay-dependent results are obtained. This approach has been proved to be less conservative.
4. Hankel Norm Filter Design
In this section, we will provide the solution to Hankel norm filtering problem for stochastic time-delay systems. As mentioned above, Theorem 3 gives a sufficient condition for the existence of a filter that guarantees the filtering error system mean-square asymptotically stable with Hankel norm performance. However, the inequalities (10) and (11) in Theorem 3 cannot be solved directly for the coupled matrix variables. To solve this problem, we will make decoupling process and adopt the convex linearization approach to transform (10) and (11) into LMI forms, which can be solved easily with the standard numerical software.
Theorem 6. For the given positive constants and , an admissible Hankel norm filter in the form of (5) exists such that the filtering error system (6) is mean-square asymptotically stable and has a guaranteed Hankel norm performance level if there exist , , , , , , , and satisfying where
Proof. Inequality (39) implies and . For arbitrary symmetric positive definite matrix , one can always find a nonsingular matrix and symmetric positive definite matrix satisfying . Now we introduce, respectively, the following matrix variables
By Schur complement lemma, we can infer from (39) that , and then .
Defining , , , , , , and applying the congruence transformation by matrix to (10) and (11), respectively, we can easily infer the following inequalities:where
Letting , , , we readily obtain (39) and (40). The proof is completed.
Remark 7. It is noted that there exist different approaches to solve the Hankel norm filtering problem as mentioned above, such as the well-known projection lemma and the convex linearization approach. In this paper, the later approach is employed to solve the Hankel norm filtering problem. Compared with the projection lemma, the convex linearization approach has been proved to be less conservative. The contrast analysis of the two methods can be referred in the literature .
Remark 8. Although Theorem 6 overcome the coupled problem in Theorem 3, the inequalities (39) and (40) still cannot be used to solve the filter parameters in (5) directly. Therefore, the next step of using to substitute the matrix functions in Theorem 6 is necessary, where denotes system matrices , , , , , , , , , , , , , and corresponding parameters , , . By this way, the following theorem is obtained to present the final results.
Theorem 9. For the given positive constants and , the filtering error system (6) is mean-square asymptotically stable and has a guaranteed Hankel norm performance level if there exist , , , , , , , and satisfying
where and are given as
In this case, the filter parameters in (5) are given by
Proof. Based on Theorems 3 and 6, we set
From (39) and (40), we have
By virtue of Theorems 3 and 6, the Hankel norm filter design problem is solvable and the filter parameters are given by where matrices and are such that . Or equivalently under transformation , the filter parameters can be obtained as (47). The proof is completed.
Remark 10. Notice that the obtained conditions in Theorem 9 are all in LMI forms and the Hankel norm filtering problem can be solved by the following convex optimization problem with LMI Toolbox in MATLAB: where , and the admissible filter parameters can be determined by (47).
5. Numerical Example
In this section, we will present a numerical example to demonstrate the validity of the developed results. Consider a stochastic system of the form (2) with the following parameters ():