Abstract
The state estimation problem is investigated for discrete-time Takagi-Sugeno fuzzy systems with time-varying delays. By constructing appropriate Lyapunov-Krasovskii functionals and employing matrix inequality technique, a delay-dependent linear matrix inequalities (LMIs) criterion is developed to estimate the systems state with some observed output measurements such that the error-state system is globally asymptotically stable. An example with simulations is given to show the effectiveness of the proposed criterion.
1. Introduction
It is known that many physical systems and processes have severe nonlinearities, which bring difficulties to the analysis and synthesis of the underlying systems [1, 2]. As a powerful means to deal with complex nonlinear systems, fuzzy models have attracted rapidly growing attentions over the past decades [3]. Among various model-based fuzzy control approaches, Takagi-Sugeno (T-S) model has been an active topic due to the fact that it can combine the flexibility of fuzzy logic theory and fruitful linear system theory into a unified framework to approximate complex nonlinear systems [4]. In practice, time-delays often occur in many dynamic systems such as chemical processes, metallurgical processes, biological systems, and neural networks [5]. The existence of time-delays is usually a source of instability and poor performance [6]. Recently, many important results have been published on various analysis aspects for T-S models with time-delays. In particular, the stability, synchronization, and passivity have been intensively investigated; for example, see [7–27] and references therein.
On the other hand, state estimation is the process of assigning a value to an unknown system state variable based on measurements collected from the system [28]. Because of the complexity of large-scale systems, it is often the case that only partial information about the states of the nodes is available in the system outputs [29]. In order to understand the T-S fuzzy systems better, it becomes necessary to estimate the states of the nodes through available measurements [30].
Recently, some authors have studied the state estimation problem for T-S fuzzy systems with or without delays; for example, see [31–36] and references therein. In [31], a novel fuzzy-observer-design technique was developed for T-S fuzzy systems with unknown output disturbances. The system state and output disturbance were estimated asymptotically and simultaneously. In [32], the authors investigated the problem of robust state estimation for a class of multichannel networked nonlinear systems with multiple packet dropouts. The nonlinear plant was represented by T-S fuzzy-affine dynamic models with norm-bounded uncertainties, and stochastic variables with general probability distributions were adopted to characterize the data missing phenomenon in output channels. An admissible state estimator guaranteeing the stochastic stability of the resulting estimation error system with a prescribed disturbance attenuation level was designed. In [33], the authors proposed a novel fuzzy-based particle filter to reduce continuous state estimation errors due to failures in mode detection. It was fulfilled by considering a fuzzified contribution of each feasible mode in overall estimation. Two new resampling strategies were presented to tackle the degeneracy problem. A set of simulation test studies are conducted to extract the characteristic features and evaluate the performance of the proposed algorithm compared to observation and transition-based most likely modes tracking particle filter as one of the most meticulous proposed estimation algorithms. In [34], the T-S fuzzy model representation is extended to the state estimation of uncertain Markovian jumping Hopfield neural networks with mixed interval time-varying delays. Based on the Lyapunov-Krasovskii functional and stochastic analysis approach, several delay-dependent robust state estimators for such T-S fuzzy Markovian jumping Hopfield neural networks were achieved by solving a LMI. In [35], a design scheme for the state estimator for T-S fuzzy delayed Hopfield neural networks that uses strict output passivation of the error system was presented. Based on Lyapunov-Krasovskii functional, Jensens inequality, and linear matrix inequality (LMI) formulation, a delay-dependent criterion was proposed such that it makes the resulting estimation error system exponentially stable and passive from the input vector to the output error vector. In [36], the authors were concerned with the mixed and passivity based state estimation for a class of discrete-time fuzzy neural networks with the estimator gain change. Based on the Markovian system approach and linear matrix inequality technique, a new sufficient condition was derived such that the estimation error system was exponentially stable in the mean square sense. The estimator parameter was then determined by solving a set of LMIs.
It should be pointed out that most of aforementioned literatures on state estimation of T-S fuzzy systems have been concerned with the continuous-time systems only. To date, there have been very few results on the state estimation problems of discrete-time T-S fuzzy systems with delays [37]. In this paper, we continue to study the state estimation problems for discrete-time T-S fuzzy systems with time-varying delay. By employing appropriate Lyapunov-Krasovskii functionals and matrix inequality technique, we obtain a new delay-dependent LMI sufficient condition such that estimation errors are globally asymptotically stable for discrete-time T-S fuzzy systems with time-varying delay.
Notations. The notations are quite standard. Throughout this paper, represents the unitary matrix with appropriate dimensions; stands for the set of nonnegative integers; and denote, respectively, the -dimensional Euclidean space and the set of all real matrices. The superscript “” denotes matrix transposition and the asterisk “” denotes the elements below the main diagonal of a symmetric block matrix. The notation (resp., ) means that and are symmetric matrices and that is positive semidefinite (resp., positive definite). is the Euclidean norm in . (resp., ) denotes the least (resp., largest) eigenvalue of symmetric matrix . For a positive constant , denotes the integer part of . For integers , with , denotes the discrete interval given by . denotes the set of all functions : . denotes the difference of function given by . Matrices, if not explicitly specified, are assumed to have compatible dimensions.
2. Model Description and Preliminaries
In this section, we consider a discrete-time T-S fuzzy system with time-varying delay with the th rule formulated in the following form.
Plant Rule . IF is and and is , THEN for , , and is the number of IF-THEN rules, where is the state vector; is a deterministic exogenous input; is the measurement output vector; , , , , and are system matrices with compatible dimensions; the positive integer corresponds to the transmission delay and satisfies , where and are known integers.
Let be the normalized membership function of the inferred fuzzy set ; that is, where with being the grade of membership function of in . It is assumed that () and for all . Thus, and for all . And the T-S fuzzy model (1) can be represented as
For the discrete-time T-S fuzzy systems with time-varying delay (1), we construct the full-order state estimation as follows.
Estimator Rule . IF is and and is , THEN for , where is an estimation of the state in model (1), is the output vector of the state estimator, and is the gain matrix of the state estimator to be designed. Using a standard fuzzy inference method, the fuzzy state estimator (4) is inferred as follows: Let the error state be ; then it follows from (3) and (5) that
Definition 1. The system (5) is said to be a globally asymptotically state estimated system of the system (3) if the estimation error system (6) is globally asymptotically stable.
In obtaining the main result of this paper, the following lemma will be useful for the proof, which can be proved by using the methods in [38].
Lemma 2. For any positive definite matrix , four integers , , , and satisfying and , and a vector function , the following inequalities hold:
Remark 3. Let and ; then the first inequality of Lemma 2 in this paper turns into the first inequality of Lemma 1 in [38]. If we let , , , and , then the second inequality of Lemma 2 in this paper turns into the second inequality of Lemma 1 in [38]. So, Lemma 2 in this paper is more general than Lemma 1 in [38].
3. Main Results
In this section, we will establish our main criterion based on the LMI approach.
Theorem 4. If there exist seven symmetric positive definite matrices and a matrix such that the following LMIs hold for , in which , , , , and , then system (5) is a globally asymptotically state estimated system of system (3), and the estimator gain matrix can be designed as
Proof. Defining , we consider the following Lyapunov-Krasovskii functional candidate for model (6) as
where
Calculating the difference of along the trajectories of model (6), we obtain that
In deriving inequality (14), the conditions and have been used.
From the first inequality of Lemma 2, we have that
From the second inequality of Lemma 2, we can get that
Denote . It follows from (9) to (18) that
From (8) and (19), we know that the system (5) is a globally asymptotically state estimated system of system (3). The proof is completed.
Remark 5. In order to reduce the conservatism of the obtained result, the triple-summable term in is added, which has been used in literature [38].
4. Example
To verify the effectiveness of the theoretical result of this paper, we consider the following example.
Example 1. Consider a T-S fuzzy system (1) with , where is the number of IF-THEN rules. The time-varying delay with and , and the deterministic exogenous input . Other parameters are given as follows:
The fuzzy membership functions are taken as and .
By using the Matlab LMI Control Toolbox, we can find a solution to the LMIs in (8) as follows:
Subsequently, we can obtain from that
According to Theorem 4, we know that the system (5) is a globally asymptotically state estimated system of system (3). The simulation results are shown in Figures 1 and 2, which demonstrate the effectiveness of the developed approach for the design of the state estimator for discrete-time Takagi-Sugeno fuzzy systems with time-varying delays.
5. Conclusions
In this paper, the state estimation problem has been investigated for discrete-time T-S fuzzy systems with time-varying delays. By employing Lyapunov functional method and the matrix inequality techniques, a delay-dependent LMIs criterion has been established to estimate the systems state with some observed output measurements such that the error-state system is globally asymptotically stable. An example has been provided to show the effectiveness of the proposed criterion.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
The authors would like to thank the editor and the reviewers for their valuable suggestions and comments which have led to a much improved paper. This work was supported by the National Natural Science Foundation of China under Grants 61273021 and 11172247 and in part by the Natural Science Foundation Project of CQ cstc2013jjB40008.