Coupled Network Systems and Their Collective BehaviorView this Special Issue
Passivity Analysis and Passive Control for T-S Fuzzy Systems with Leakage Delay and Mixed Time-Varying Delays
The passivity and passification for Takagi-Sugeno (T-S) fuzzy systems with leakage delay and both discrete and distributed time-varying delays are investigated. By employing the Lyapunov functional method and using the matrix inequality techniques, several delay-dependent criteria to ensure the passivity and passification of the considered T-S fuzzy systems are established in terms of linear matrix inequalities (LMIs) that can be easily checked by using the standard numerical software. The obtained results generalize some previous results. Two examples are given to show the effectiveness of the proposed criteria.
The Takagi-Sugeno (T-S) fuzzy system, initially proposed and studied by Takagi and Sugeno , has attracted increasing interest due to the fact that it provides a general framework to represent a nonlinear plant by using a set of local linear models which are smoothly connected through nonlinear fuzzy membership functions . In practice, time delays often occur in many dynamic systems such as chemical processes, metallurgical processes, biological systems, and neural networks . The existence of time delays is usually a source of instability and poor performance . Therefore, the study of stability with consideration of time delays becomes extremely important . Recently, the stability and stabilization of T-S fuzzy systems with delays have been extensively studied; for example, see [3–13] and references therein.
On the other hand, the passivity theory is another effective tool to the stability analysis of the system . The main idea of passivity theory is that the passive properties of the system can keep the system internal stability . For these reasons, the passivity and passification problems have been an active area of research recently. The passification problem, which is also called the passive control problem, is formulated as the problem of finding a suitable controller such that the resulting closed-loop system is passive. Recently, some authors have studied the passivity of some systems and obtained sufficient conditions for checking the passivity of the systems that include linear systems with delays [14–16], delayed neural networks [17, 18], networked control systems , nonlinear discrete-time systems with direct input-output link , and T-S fuzzy systems [21–25]. In , the stability of fuzzy control loops is proven with the unique condition that the controlled plant can be made passive by zero shifting. For linear time-invariant plants, this approach leads to frequency response conditions similar to the previous results in the literature, but which are more general and can include robust stability considerations. In , the passivity and feedback passification of T-S fuzzy systems with time delays are considered. Both delay-independent and delay-dependent results are presented, and the theoretical results are given in terms of LMIs. In , discrete-time T-S fuzzy systems with delays were considered, and several sufficient conditions for checking passivity and passification were obtained. In , the contiguous-time T-S fuzzy systems with time-varying delays were investigated, and several criteria to ensure the passivity and feedback passification were given. In , the passivity and feedback passification of T-S fuzzy systems with both discrete and distributed time-varying delays were investigated without assuming the differentiability of the time-varying delays. By employing appropriate Lyapunov-Krasovskii functionals, several delay-dependent criteria for the passivity of the considered T-S fuzzy systems were established in terms of LMIs.
Recently, Gopalsamy initially investigated the bidirectional associative memory (BAM) neural networks with constant delays in the leakage terms and derived several sufficient conditions for the existence of a unique equilibrium as well as its asymptotic and exponential stability . Inspired by this work, authors considered the T-S fuzzy systems with constant leakage delay and investigated their stability problem . As pointed out in , T-S fuzzy systems with leakage delay are a class of important T-S fuzzy systems: time delay in the leakage term also has great impact on the dynamics of T-S fuzzy systems since time delay in the stabilizing negative feedback term has a tendency to destabilize a system. To the best of the authors knowledge, there is no results on the problem of passivity for T-S fuzzy systems with leakage delay. Therefore, there is a need to further extend the passivity results reported in .
Motivated by the above discussions, the objective of this paper is to study the passivity and feedback passification of T-S fuzzy systems with leakage delay and mixed time-varying delays by employing new Lyapunov-Krasovskii functionals and using matrix inequality techniques. The obtained sufficient conditions do not require the differentiability of time-varying delays and are expressed in terms of linear matrix inequalities, which can be checked numerically using the effective LMI toolbox in MATLAB. Two examples are given to show the effectiveness and less conservatism of the proposed criteria.
Notations. The notations are quite standard. Throughout this paper, and denote, respectively, the -dimensional Euclidean space and the set of all real matrices. refers to the Euclidean vector norm. represents the transpose of matrix , and the asterisk “” in a matrix is used to represent the term which is induced by symmetry. is the identity matrix with compatible dimension. means that and are symmetric matrices and that is positive definite. Matrices, if not explicitly specified, are assumed to have compatible dimensions.
2. Model Description and Preliminaries
Consider a continuous time T-S fuzzy system with discrete and distributed time-varying delays as well as leakage delay, and the th rule of the model is of the following form.
Plant Rule . If is and…and is , then where , , and is the number of If-then rules; are the premise variables; each () is a fuzzy set; is the state vector of the system at time ; is the square integrable exogenous input; is the output vector of the system; , , and denote the leakage delay, the discrete time-varying delay, and the distributed time-varying delay, respectively, and satisfy , , where and are constants; is bounded and continuously differentiable on , where ; , , , , , , , and are some given constant matrices with appropriate dimensions.
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 defuzzied as
In the literature, there are different definitions of passivity. In this paper, we adopt the following widely accepted definition of passivity, which can been found in .
To prove our results, the following lemma that can be found in  is necessary.
Lemma 2 (see ). For any constant matrix , , scalar , vector function such that the integrations concerned are well defined; then,
3. Main Results
Theorem 3. Model (1) is passive in the sense of Definition 1 if there exist a scalar , three symmetric positive definite matrices , , and , and eleven matrices , , , , , (, ) such that the following LMIs hold for : where , , , , and .
Proof. From condition (7), we know that . Consider the following Lyapunov-Krasovskii functional as
Calculating the time derivative of and using Lemma 2, we obtain that It follows from (11) that From the first equation of (3), we have It follows from (12) and (13) that where . Thus, one can derive from (8) and (14) that By integrating (15) with respect to from to , we obtain From the definition of , we have and when . Thus, holds for all . The proof is completed.
Next, we consider the passification problem; that is, a state feedback controller is to be designed to make the closed-loop fuzzy system passive. Extending on system (1), we consider the following T-S fuzzy system with control input.
Plant Rule . If is and and is , then where is the control input, is a constant matrix with appropriate dimension.
Controller Rule . If is and and is , then And the overall state feedback controller is presented by where is defined as before. The closed-loop fuzzy system can be represented as
The following theorem establishes the main result of the state feedback passification.
Theorem 4. The closed-loop fuzzy system (21) is passive in the sense of Definition 1 if there exist a scalar , four symmetric positive definite matrices , , , and , and matrices , , , (, ), and () such that the following LMIs hold for :
where , , , , , and .
Moreover, the state feedback gains can be constructed as
Proof. Structure Lyapunov-Krasovskii functional (9), where , , , (, ), and (, ).
From the first equation of (21), we have It follows from (12) and (26) that where , and with , , , , , .
Pre- and postmultiply by matrix , we get that with , , , , , and .
Obviously, and are equivalent. And we get from condition (25) that .
It follows from condition (24) and inequality (27) that which means From Definition 1, we know that the stochastic T-S fuzzy system (1) is passive in the sense of expectation. The proof is completed.
4. Numerical Examples
To verify the effectiveness of the theoretical results of this paper, consider the following two examples.
Example 1. Consider a T-S fuzzy system (1) with , where , , and ,
It can be verified that , . By using the MATLAB LMI Control Toolbox, a solution to the LMIs in (6)–(8) is found as follows: According to Theorem 3, the considered model (1) is passive in the sense of Definition 1.
Example 2. We use the data of Example 1 in addition to
By using the MATLAB LMI Control Toolbox, a solution to the LMIs in (22)–(24) is found as follows:
Subsequently, we can obtain from (25) that Thus, a fuzzy controller (20) with feedback gains and can be constructed to make the closed-loop T-S fuzzy system (21) passive.
In this paper, the passivity and passification for T-S fuzzy systems with both discrete and distributed time-varying delays have been investigated without assuming the differentiability of the time-varying delays. By utilizing the Lyapunov functional method and the matrix inequality techniques, several delay-dependent criteria to ensure the passivity of the considered T-S fuzzy systems have been established in terms of linear matrix inequalities (LMIs) that can be easily checked by using the standard numerical software. Two examples have been provided to demonstrate the effectiveness of the proposed criteria since the feasible solutions to the given LMIs criteria in this paper have been found.
The authors would like to thank the editor and the anonymous 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, 60974132, 11172247 and 51208538 and in part by the Natural Science Foundation Project of CQ cstc2013jjB40008.
T. Takagi and M. Sugeno, “Fuzzy identification of systems and its applications to modeling and control,” IEEE Transactions on Systems, Man and Cybernetics, vol. 15, no. 1, pp. 116–132, 1985.View at: Google Scholar
O. M. Kwon, M. J. Park, S. M. Lee, and J. H. Park, “Augmented Lyapunov-Krasovskii functional approaches to robust stability criteria for uncertain Takagi-Sugeno fuzzy systems with time-varying delays,” Fuzzy Sets and Systems, vol. 201, pp. 1–19, 2012.View at: Publisher Site | Google Scholar | MathSciNet
L. Figueredo, J. Ishihara, G. Borges, and A. Bauchspiess, “Delay-dependent robust stability analysis for time-delay T-S fuzzy systems with nonlinear local models,” Journal of Control, Automation and Electrical Systems, vol. 24, no. 1-2, pp. 11–21, 2013.View at: Google Scholar
F. Ahmida and E. Tissir, “Exponential stability of uncertain T-S fuzzy switched systems with time delay,” International Journal of Automation and Computing, vol. 10, no. 1, pp. 32–38, 2013.View at: Google Scholar
K. Gu, V. L. Kharitonov, and J. Chen, Stability of Time-Delay Systems, Birkhauser, Boston, Mass, USA, 2003.