Volume 2013, Issue 1 524028
Research Article
Open Access

Passivity Analysis and Passive Control for T-S Fuzzy Systems with Leakage Delay and Mixed Time-Varying Delays

Ting Lei

Ting Lei

Department of Mathematics, Chongqing Jiaotong University, Chongqing 400074, China cqjtu.edu.cn

Search for more papers by this author
Zengshun Chen

Zengshun Chen

School of Civil Engineering & Architecture, Chongqing Jiaotong University, Chongqing 400074, China cqjtu.edu.cn

Search for more papers by this author
Qiankun Song

Corresponding Author

Qiankun Song

Department of Mathematics, Chongqing Jiaotong University, Chongqing 400074, China cqjtu.edu.cn

Search for more papers by this author
Zhenjiang Zhao

Zhenjiang Zhao

Department of Mathematics, Huzhou Teachers College, Huzhou 313000, China

Search for more papers by this author
First published: 07 October 2013
Citations: 1
Academic Editor: Xinsong Yang

Abstract

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.

1. Introduction

The Takagi-Sugeno (T-S) fuzzy system, initially proposed and studied by Takagi and Sugeno [1], 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 [2]. In practice, time delays often occur in many dynamic systems such as chemical processes, metallurgical processes, biological systems, and neural networks [3]. The existence of time delays is usually a source of instability and poor performance [4]. Therefore, the study of stability with consideration of time delays becomes extremely important [5]. Recently, the stability and stabilization of T-S fuzzy systems with delays have been extensively studied; for example, see [313] and references therein.

On the other hand, the passivity theory is another effective tool to the stability analysis of the system [14]. The main idea of passivity theory is that the passive properties of the system can keep the system internal stability [15]. 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 [1416], delayed neural networks [17, 18], networked control systems [19], nonlinear discrete-time systems with direct input-output link [20], and T-S fuzzy systems [2125]. In [21], 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 [23], 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 [24], discrete-time T-S fuzzy systems with delays were considered, and several sufficient conditions for checking passivity and passification were obtained. In [25], 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 [22], 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 [26]. Inspired by this work, authors considered the T-S fuzzy systems with constant leakage delay and investigated their stability problem [7]. As pointed out in [7], 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 [22].

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, n and n×m denote, respectively, the n-dimensional Euclidean space and the set of all n × m real matrices. ∥·∥ refers to the Euclidean vector norm. AT represents the transpose of matrix A, and the asterisk “*” in a matrix is used to represent the term which is induced by symmetry. I is the identity matrix with compatible dimension. X > Y means that X and Y are symmetric matrices and that XY 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 ith rule of the model is of the following form.

Plant Rule i. If z1(t) is Mi1 and…and zp(t) is Mip, then
()
where t ≥ 0, i = 1,2, …, r, and r is the number of If-then rules; z1(t), z2(t), …, zp(t) are the premise variables; each Mij (j = 1,2, …, p) is a fuzzy set; x(t) = (x1(t), x2(t), …, xn(t)) Tn is the state vector of the system at time t; w(t) = (w1(t), w2(t), …, wq(t)) Tq is the square integrable exogenous input; y(t) = (y1(t), y2(t), …, yq(t)) Tq is the output vector of the system; δ, τ(t), and d(t) denote the leakage delay, the discrete time-varying delay, and the distributed time-varying delay, respectively, and satisfy 0 ≤ τ(t) ≤ τ, 0 ≤ d(t) ≤ d, where τ and d are constants; ϕ(s) is bounded and continuously differentiable on [−ρ, 0], where ρ = max {δ, τ, d}; Ai, Bi, Wi, Ui, Ci, Di, Hi, and Vi are some given constant matrices with appropriate dimensions.
Let μi(t) be the normalized membership function of the inferred fuzzy set γi(t); that is,
()
where with Mij(zj(t)) being the grade of membership function of zj(t) in Mij(t). It is assumed that γi(t) ≥ 0 (i = 1,2, …, r) and for all t. Thus, μi(t) ≥ 0 and for all t. 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 [22].

Definition 1. System (1) is called passive if there exists a scalar γ > 0 such that

()

for all tp ≥ 0 and for the solution of (1) with ϕ(·) ≡ 0.

To prove our results, the following lemma that can be found in [27] is necessary.

Lemma 2 (see [27].)For any constant matrix Wm×m, W > 0, scalar 0 < h(t) < h, vector function ω(·):[0, h] → m 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 γ > 0, three symmetric positive definite matrices P1, P2, and P3, and eleven matrices Q1, Q2, X11, X12, X22, Yij (i, j = 1,2, 3, ij) such that the following LMIs hold for i = 1,2, …, r:

()
()
()
where , , , , and .

Proof. From condition (7), we know that Y33 > 0. Consider the following Lyapunov-Krasovskii functional as

()
where
()
and .

Calculating the time derivative of V(t) 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 t from 0 to tp, we obtain
()
From the definition of V(x(t)), we have V(x(tp) ≥ 0 and V(x(0) = 0 when ϕ(·) ≡ 0. Thus,
()
holds for all tp ≥ 0. 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 i. If z1(t) is Mi1 and … and zp(t) is Mip, then
()
where u(t) ∈ Rl is the control input, Ri is a constant matrix with appropriate dimension.
Controller Rule i. If z1(t) is Mi1 and … and zp(t) is Mip, then
()
And the overall state feedback controller is presented by
()
where μj(t) 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 γ > 0, four symmetric positive definite matrices E1, E2, E3, and S, and matrices F11, F12, F22, Gij (i, j = 1,2, 3, ij), and Zj (j = 1,2, …, r) such that the following LMIs hold for i, j = 1,2, …, r:

()
()
()
where , , , Ω22 = τG33 − 2S, , and .

Moreover, the state feedback gains can be constructed as

()

Proof. Structure Lyapunov-Krasovskii functional (9), where P1 = S−1E1S−1, P2 = S−1E2S−1, P3 = S−1E3S−1, Xij = S−1FijS−1 (i = 1,2, ij), and Yij = S−1GijS−1 (i = 1,2, 3, ij).

From the first equation of (21), we have

()
It follows from (12) and (26) that
()
where , and
()
with , , , Ξ22 = τS−1G33S−1 − 2S−1, , .

Pre- and postmultiply Ξij by matrix diag (S, S, S, S, S, S, I), we get that

()
with , , , Π22 = τG33 − 2S, , and .

Obviously, Ξij < 0 and Πij < 0 are equivalent. And we get from condition (25) that Πij = Ωij.

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 r = 2, where δ = 0.2, τ(t) = 0.5|cos t|, and d(t) = 0.1|cos (2t)|,

()

It can be verified that τ = 0.5, d = 0.1. 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 K1 and K2 can be constructed to make the closed-loop T-S fuzzy system (21) passive.

5. Conclusions

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.

Acknowledgments

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.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.