A robust observer design is proposed for Takagi-Sugeno fuzzy neutral models with unknown inputs. The model consists of a mixed neutral and discrete delay, and the disturbances are imposed on both state and output signals. Delay-dependent sufficient conditions for the design of an unknown input T-S observer with time delays are given in terms of linear matrix inequalities. Some relaxations are introduced by using intermediate variables. A numerical example is given to illustrate the effectiveness of the given results.

1. Introduction

In recent years, there have been rapidly growing interests in stability analysis and synthesis of fuzzy control systems; several works concerning stability and state estimation for a class of systems described by Takagi-Sugeno (T-S) fuzzy models [17] have been carried out. Furthermore, some recent applications of fuzzy theory in engineering are reported in [810]. Based on the Lyapunov method, design conditions for controllers and observers are given in linear matrix inequalities (LMIs) formulation (see among others [1119]). In the literature of the study, all of the existing results concern T-S fuzzy models with known inputs (see, e.g., [15, 17]). However, it is well known that state estimation for dynamic systems with time delays and unknown inputs or disturbances is an interesting research topic in the fields of robust control, system supervision, and fault-tolerant control [2023]. Recently, the problem of model reduction for Takagi-Sugeno (TS) fuzzy stochastic systems in [24], the problem of model approximation for discrete-time Takagi-Sugeno (T-S) fuzzy time-delay systems in [25], and the problem of filtering for a class of discrete-time T-S fuzzy time-varying delay systems in [26] have been fully investigated.

On the other hand, stability of neutral systems proves to be a more complex issue because the system involves the derivative of the delayed state. Especially, in the past few decades, increased attention has been devoted to the problem of robust delay-dependent stability and stabilization via different approaches for linear neutral systems with delayed state and/or input and parameter uncertainties [2730]. Recently, the problem of network-based feedback control for systems with mixed delays based on quantization and dropout compensation has been studied in [31].

However, to the best of our knowledge, the class of unknown input T-S neutral models has not yet been fully investigated in the past and remains to be important and challenging. This motivates the present study. Thus, the contributions of this paper are two-fold: (i) design of observers for T-S fuzzy models with mixed neutral and discrete time delays and unknown inputs which influence states and outputs simultaneously and (ii) for the addressed problem, the observer gains are computed by solving a convex optimization technique.

This paper is organized as follows. First, the considered observer structure for T-S fuzzy model with mixed time delays and unknown inputs is given. In Section 3, the main results are given for T-S models. Section 4 gives a numerical example to show the validity of the given results. At last, we conclude the paper in Section 5.

Notation. Throughout this paper, the notation , where and are symmetric matrices, means that is positive definite, and and denote, the -dimensional Euclidean space and the set of all real matrices respectively. Superscript “” denotes matrix transposition, is the identity matrix with compatible dimensions, the symbol denotes the transpose elements in the symmetric positions, , and denotes any generalized inverse of matrix with . The operator represents a block diagonal matrix, and the operator represents .

2. Problem Formulation

Now, consider the following T-S fuzzy models with unknown inputs and different neutral and discrete time delays: with where is the number of submodels, is the state vector, is the input vector, is the unknown input, is the external disturbance vector, and is the measured output. , , , and define the th local model. Matrices and represent the influence matrices of the unknown inputs, and and represent the influence matrices of the disturbances. The activation functions depend on the decision vector assumed to depend on measurable variables. It can depend on the measurable state variables and be a function of the measurable outputs of the system and possibly of the known inputs [1, 32]. The time-varying function is continuous vector-valued initial function, and and are constant time delays with .

In this paper, we are concerned with the reconstruction of state variable of unknown inputs T-S model (2.1) using measurable signals, that is, known input and measured output . In order to estimate the state of the unknown input T-S fuzzy model (2.1), the considered unknown input observer structure has the following form: where the observer considers the same activation functions as used for the T-S model (2.1). The variables , , , , and are the observer gains to be determined in order to estimate the state of the unknown input T-S model (2.1). The time-varying function is continuous vector-valued initial function. Now let us define the state estimation error

From estimation error (2.4) with the expression of given by the observer (2.3) and T-S model (2.1), we get

The dynamic of state estimation error is then given by with

Then, we get if the following constraints hold

For description brevity, (2.8) can be written as where , , and .

Remark 2.1. It is noting that if is determined, we get from (2.7) and deduce directly , , and from (2.9)–(2.15). Then, it suffices to guarantee the stability of the dynamic system (2.8) under the constraint (2.9)–(2.15). Furthermore, (2.5) is simplified to .
In the following, LMIs design conditions satisfying when are given for continuous-time systems.

3. Synthesis Conditions

This section deals with the continuous-time T-S models. Sufficient LMIs conditions guaranteeing the global asymptotic convergence of state estimation error (2.4) are given by using slack variable to introduce relaxation.

Theorem 3.1. The observer (2.3) converges asymptotically to the state of the continuous-time T-S model (2.1), if there exist matrices , , , , and such that the conditions (2.9)–(2.15) and the following hold for all : where , , , , , and .

Proof. To investigate the delay-dependent asymptotically stable analysis of the error system (2.8), we define a class of Lyapunov-Krasovskii functions as follows: where Time derivative of along the system trajectory (2.16) becomes Then by taking the time derivative of and , one can read Moreover, from (2.16), the following equation holds for any matrices and with appropriate dimensions: Furthermore, from the Leibniz-Newton formula, the following equations hold for any matrices , with appropriate dimensions: From the obtained derivative terms in (3.4)–(3.6) and adding the left-hand side of (3.7)–(24) into , we obtain the following result for : or equivalently, with , , , , , , and where , , , , , , and .
If a constant scalar satisfies the following condition: where then From the previous inequality, we can easily obtain, for all , Based on Lyapunov stability theory, the error system (2.16) is asymptotically stable.
However, the condition (3.12) is not strict LMI due to the nonconvex constraints in the matrix indices, and, thus, one always has difficulties to get solutions satisfying the constraint. In order to find the solutions of (3.12), the obtained sufficient condition is now changed by some manipulations. The inequality yields (by Schur complements) with where , , , and . It is clear that result in LMI stabilization conditions.
It can be easily seen that the matrices and are nonsingular. Let . By premultiplying , postmultiplying to , and using the definitions , , , , , , , and , one can obtain the LMI (3.1). This completes the proof.

Remark 3.2. The equality constraints (2.13)–(2.15) can be rewritten in the following equivalent form: with where , , , and . A necessary and sufficient condition for the existence of a solution to (3.18) is [33] Note that under this condition, a solution is obtained by where is an arbitrary matrix [33].

Remark 3.3. According to Theorem 3.1, the observer parameters can be calculated in the following: (1)calculate , (2)compute by solving (2.10) and calculate from , (3)compute by solving (2.11), (4)compute by solving (2.12), (5)compute , (6)compute by solving (2.9), (7)compute from .

Remark 3.4. It is worth noting that the number of the variables to be determined in the LMI (3.1) is .

Remark 3.5. The reduced conservatism of Theorem 3.1 benefits from the construction of the Lyapunov-Krasovskii functional in (3.2), introducing some free weighting matrices to express the relationship among the system matrices, and neither the model transformation approach nor any bounding technique is needed to estimate the inner product of the involved crossing terms. It can be easily seen that results of this paper are quite different from existing results in the literature in the following perspective. The structures at most of references, for instance [20], consider a delay-free T-S fuzzy system and in comparison to our case do not center on time delays, that is, the results in the previous reference cannot be directly applied to the T-S fuzzy models with unknown inputs and different neutral and discrete-time delays.

4. Numerical Example

To show the validness of the proposed results, a numerical example is proposed for the discrete-time T-S model (2.1) with the following data:

In the light of Theorem 3.1 and Remark 3.2, we solved LMIs and obtained the following observer gains by using Matlab LMI Control Toolbox [34] For simulation purpose, we simply choose as the disturbance, as the input signal, and and as activation functions. The error signals for an input are depicted in Figure 1. It is seen that the state estimation for the systems is performed as well.

5. Conclusion

In this paper, a robust observer design was proposed for Takagi-Sugeno (T-S) fuzzy neutral models with unknown inputs. The model consists of a mixed neutral and discrete delay, and the disturbances are imposed on both state and output signals. Delay-dependent sufficient conditions for the design of an unknown input T-S observer with time delays were given in terms of linear matrix inequalities (LMIs). Some relaxations were introduced by using intermediate variables. A numerical example was given to illustrate the effectiveness of the given results. Extension to the case of unmeasured decision variables is considered as a challenging problem. A numerical example has shown the effectiveness of the proposed results. Future work will investigate fault detection and Markovian jump systems for fuzzy systems with unknown inputs and time delays (see for instance [2527, 3537]).


The authors would like to thank the editor and anonymous reviewers for their constructive comments and suggestions to improve the quality of the paper.