State Estimation for Discrete-Time Takagi-Sugeno Fuzzy Systems with Time-Varying Delays

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.


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  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][32][33][34][35][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 timevarying 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 delaydependent 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; N stands for the set of nonnegative integers; R  and R × 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 R  . min () (resp.,  max ()) denotes the least (resp., largest) eigenvalue of symmetric matrix .For a positive constant , [] denotes the integer part of .For integers ,  with  < , N[, ] denotes the discrete interval given by N[, ] = {,  + 1, . . .,  − 1, }.(N[−, 0], R  ) denotes the set of all functions : N[−, 0] → R  .Δ() denotes the difference of function () given by Δ() = ( + 1) − ().Matrices, if not explicitly specified, are assumed to have compatible dimensions.

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.
for  ∈ N,  = 1, 2, . . ., , and  is the number of IF-THEN rules, where () ∈ R  is the state vector; () ∈ R  is a deterministic exogenous input; () ∈ R  is the measurement output vector;   ,   ,   ,   , and   are system matrices with compatible dimensions; the positive integer () corresponds to the transmission delay and satisfies  ≤ () ≤ , where  ≥ 0 and  ≥ 0 are known integers.
Mathematical Problems in Engineering for  ∈ N, where x() ∈ R  is an estimation of the state () in model (1), ŷ() ∈ R  is the output vector of the state estimator, and  ∈ R × 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 () = () − x(); then it follows from (3) and ( 5 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].

Main Results
In this section, we will establish our main criterion based on the LMI approach.
From the first inequality of Lemma 2, we have 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  5 () is added, which has been used in literature [38].

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  = 2, where  is the number of IF-THEN rules.The time-varying delay () = 2 + sin(/2) with  = 1 and  = 3, and the deterministic exogenous input () = (−3 sin(/2), 2 cos(/2))  .Other parameters are given as follows: The fuzzy membership functions are taken as  1 () = sin 2 (3 1 ()) and  2 () = cos 2 (3 1 ()).By using the Matlab LMI Control Toolbox, we can find a solution to the LMIs in (8) 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.

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 errorstate system is globally asymptotically stable.An example has been provided to show the effectiveness of the proposed criterion.
as follows: