Research Article Passivity and Passification for Delay Fuzzy Xiangjie Liu,

advertisement
Hindawi Publishing Corporation
Journal of Applied Mathematics
Volume 2013, Article ID 714525, 10 pages
http://dx.doi.org/10.1155/2013/714525
Research Article
Passivity and Passification for Delay Fuzzy
System Based on Delay Partitioning Approach
Xiangjie Liu,1 Dan Yue,1 and Xiuming Yao2
1
The State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources,
North China Electric Power University, Beijing 102206, China
2
Department of Automation, North China Electric Power University, Baoding 071003, China
Correspondence should be addressed to Xiuming Yao; xiumingyao@gmail.com
Received 17 February 2013; Accepted 28 March 2013
Academic Editor: Constantinos Siettos
Copyright © 2013 Xiangjie Liu et al. This is an open access article distributed under the Creative Commons Attribution License,
which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
A delay partitioning approach is introduced to solve problems of passivity and passification for continuous T-S fuzzy system with
time delay. Our aim is to design a state feedback controller such that the resulting closed system is passive. By constructing a
Lyapunov-Krasovskii functional, delay-dependent passivity/passification performance conditions are formulated in terms of linear
matrix inequalities (LMIs). Finally, numerical examples are used to illustrate the effectiveness of the proposed approaches which
can further reduce conservatism and become more obvious with partitioning getting thinner.
1. Introduction
The passivity concept was introduced by Willems [1] and
developed further by Hill and Moylan [2]. Passivity of nonlinear systems has attracted great interest in the control area
mainly because of the link between stability and passivity.
The passivity theory provides a nice tool for analyzing the
stability of systems and has found applications in diverse
areas such as stability, signal processing, chaos control, and
synchronization.
Since most physical systems in real world are nonlinear,
researchers have been devoting their efforts to the control of
nonlinear systems. Among the methods, the fuzzy control has
been proven to be effective in dealing with the analysis of
nonlinear systems. especially the T-S fuzzy control [3, 4]. It is
denoted by a group of IF-THEN rules that the conventional
linear system theory can be applied to the analysis of the
class of nonlinear systems, and numerous nonlinear analysis
problems have been studied based on this T-S fuzzy model,
such as [5–7] reported the problem of stability analysis,
and [8–10] investigated the 𝐻∞ control designs. References
[11–13] mentioned the fault detection of the T-S fuzzy systems.
𝐻∞ model reduction is addressed in [14]. The fuzzy controller
was carried out via Parallel Distributed Compensation (PDC)
technique [15]. Based on the PDC technique, the fuzzy
controller can also be designed to guarantee the passivity of
T-S fuzzy systems.
On the other hand, the time delay exists naturally in
various control systems. Time delays often degrade the
system’s performance and even cause instability. Therefore,
time delays have received great attention in recent years
and many researchers have studied various analytical techniques and developed many synthesis methods for timedelay systems. For instance, model reduction is addressed in
[16] and filtering problems are investigated in [17, 18]. So,
the passivity and passification analysis of nonlinear systems
with time delays is worth to be discussed and researched.
To date, researches have gained many results in passivity
control of T-S fuzzy systems; the passivity of delayed neural
networks is considered in [19], passivity of fuzzy time-delay
systems is investigated in [20] which adopt delay moom’s
inequality, and passive controller design for T-S fuzzy systems
is addressed in [21]. The passivity of uncertain fuzzy systems
is considered in [22]. However, the above methods still have
strong conservation, and it is necessary for us to further study.
In this paper, we adopt a delay partitioning approach to
study the passivity and passification of T-S fuzzy systems with
time delay. Based on this idea, we can further reduce the
2
Journal of Applied Mathematics
conservatism, and it becomes even less conservative when
the partitioning goes finer. The results of this paper are given
in terms of LMIs. The rest of the paper is organized as
follows. In Section 2, the problem to be studied is stated and
some preliminaries are presented. Passivity analysis results
are presented in Section 3. Based on the results obtained in
Section 3, we design the controller in Section 4. In Section 5,
numerical examples are given to demonstrate the effectiveness of the theoretical results. Finally, conclusions are drawn
in Section 6.
Notations. Throughout the paper, 𝐴−1 and 𝐴𝑇 denote the
inverse and transpose of a square matrix 𝐴. 𝑅𝑛 denotes
the 𝑛-dimensional Euclidean apace and β€– ⋅ β€– refers to the
Euclidean vector norm. The notation 𝐴 > 0 is used to define a
symmetric positive definite matrix and sym (𝐴) is defined as
𝐴+𝐴𝑇 . Matrices are assumed to have compatible dimensions.
with
π‘Ÿ
π‘₯ (𝑑) = πœ‘ (𝑑) ,
𝑑 ∈ [−β„Ž, 0] ,
π‘Ÿ
π‘Ÿ
(2)
where 𝑀𝑖𝑗 is the fuzzy set; π‘Ÿ is the number of IF-THEN
rules; 𝑧(𝑑) = [𝑧1 (𝑑), 𝑧2 (𝑑), . . . , 𝑧𝑝 (𝑑)] is the premise variables
vector; 𝐾𝑖 , 𝑖 = 1, . . . , π‘Ÿ are constant matrices representing
state-feedback control gains. Let πœ† 𝑖 (𝑑) be the normalized
membership function of the fuzzy set
𝑝
πœ† 𝑖 (𝑑) =
,
π‘Ÿ
𝐢 (𝑑) = ∑πœ† 𝑖 (𝑑) 𝐢𝑖 ,
(5)
𝐢𝑑 (𝑑) = ∑πœ† 𝑖 (𝑑) 𝐢𝑑𝑖 ,
𝑖=1
𝑖=1
π‘Ÿ
𝐷 (𝑑) = ∑πœ† 𝑖 (𝑑) 𝐷𝑖 .
𝑖=1
By applying (2) into (4), we can get the following closed-loop
system:
π‘Ÿ
π‘₯Μ‡ (𝑑) = ∑ ∑ πœ† 𝑖 (𝑧 (𝑑)) πœ† 𝑗 (𝑧 (𝑑))
𝑖=1 𝑗=1
× [(𝐴 𝑖 + 𝐡𝑖 𝐾𝑗 ) π‘₯ (𝑑)
(6)
π‘Ÿ
(1)
where π‘₯(𝑑) ∈ 𝑅 is the state vector; 𝑒(𝑑) is the control input
vector; β„Ž is a time delay; πœ‘(𝑑) is the initial condition.
Controller Rule 𝑖:
IF 𝑧1 (𝑑) is 𝑀𝑖1 and. . . and 𝑧𝑝 (𝑑) is 𝑀𝑖𝑝 THEN
∏𝑗=1 𝑀𝑖𝑗 (𝑧𝑗 (𝑑))
𝑖=1
+𝐴 𝑑𝑖 π‘₯ (𝑑 − β„Ž) + 𝐡1𝑖 πœ” (𝑑) ] ,
𝑛
𝑖 = 1, . . . , π‘Ÿ,
π‘Ÿ
𝐡1 (𝑑) = ∑πœ† 𝑖 (𝑑) 𝐡1𝑖 ,
𝑖=1
π‘Ÿ
𝑖 = 1, . . . , π‘Ÿ,
𝑒 (𝑑) = 𝐾𝑖 π‘₯ (𝑑) ,
𝑖=1
𝐡 (𝑑) = ∑πœ† 𝑖 (𝑑) 𝐡𝑖 ,
π‘₯Μ‡ (𝑑) = 𝐴 𝑖 π‘₯ (𝑑) + 𝐴 𝑑𝑖 π‘₯ (𝑑 − β„Ž) + 𝐡𝑖 𝑒 (𝑑) + 𝐡1𝑖 πœ” (𝑑) ,
𝑦 (𝑑) = 𝐢𝑖 π‘₯ (𝑑) + 𝐢𝑑𝑖 π‘₯ (𝑑 − β„Ž) + 𝐷𝑖 πœ” (𝑑) ,
𝐴 𝑑 (𝑑) = ∑πœ† 𝑖 (𝑑) 𝐴 𝑑𝑖 ,
𝑖=1
2. Problem Statement and Preliminaries
Consider the T-S fuzzy system with time delay has the
following form.
Plant Rule 𝑖:
IF 𝑍1 (𝑑) is 𝑀𝑖1 and . . . and 𝑍𝑝 (𝑑) is 𝑀𝑖𝑝 THEN
π‘Ÿ
𝐴 (𝑑) = ∑πœ† 𝑖 (𝑑) 𝐴 𝑖 ,
𝑦 (𝑑) = ∑πœ† 𝑖 (𝑧 (𝑑)) [𝐢𝑖 π‘₯ (𝑑) + 𝐢𝑑𝑖 π‘₯ (𝑑 − β„Ž) + 𝐷𝑖 πœ” (𝑑)] .
𝑖=1
Before formulating the main problem, we first give the
following definition.
Definition 1 (Li et al. [20]). The fuzzy system (1) is called
passive if there exists a scalar 𝛾 ≥ 0 such that
𝑇
𝑇
0
0
2 ∫ πœ”(𝑠)𝑇 𝑦 (𝑠) 𝑑𝑠 ≥ −𝛾 ∫ πœ”π‘‡ (𝑠) πœ” (𝑠) 𝑑𝑠
(7)
for all 𝑇 ≥ 0.
3. Passivity Analysis
(3)
The problems to be addressed in this paper can be expressed
as follows.
where 𝑀𝑖𝑗 (𝑧𝑗 (𝑑)) is the grade of membership function of 𝑧𝑗 (𝑑)
𝑝
in 𝑀𝑖𝑗 (𝑑). It is assumed that ∏𝑗=1 𝑀𝑖𝑗 (𝑧𝑗 (𝑑)) ≥ 0, 𝑖 = 1, . . . , π‘Ÿ,
𝑝
and ∑π‘Ÿπ‘–=1 {∏𝑗=1 𝑀𝑖𝑗 (𝑧𝑗 (𝑑))} > 0 for all 𝑑. Therefore, πœ† 𝑖 (𝑑) ≥ 0
and ∑π‘Ÿπ‘–=1 πœ† 𝑖 (𝑑) = 1 for all 𝑑. By applying (3) into (1), the fuzzy
system can be expressed as
Problem 1 (passivity analysis). Given the feedback controller
gain matrices 𝐾𝑖 , 𝑖 = 1, . . . , π‘Ÿ in (2), determine under what
conditions the closed-loop system (6) is passive for all 𝑇 ≥ 0
in the sense of Definition 1.
𝑝
∑π‘Ÿπ‘–=1 {∏𝑗=1 𝑀𝑖𝑗 (𝑧𝑗 (𝑑))}
π‘₯Μ‡ (𝑑) = 𝐴 (𝑑) π‘₯ (𝑑) + 𝐴 𝑑 (𝑑) π‘₯ (𝑑 − β„Ž)
+ 𝐡 (𝑑) 𝑒 (𝑑) + 𝐡1 (𝑑) πœ” (𝑑) ,
𝑦 (𝑑) = 𝐢 (𝑑) π‘₯ (𝑑) + 𝐢𝑑 (𝑑) π‘₯ (𝑑 − β„Ž) + 𝐷 (𝑑) πœ” (𝑑)
(4)
Problem 2 (passification). Determine the feedback controller
gain matrices, 𝐾𝑖 , 𝑖 = 1, . . . , π‘Ÿ in (2), such that the closed-loop
system (6) is passive for all 𝑇 ≥ 0 in the sense of Definition 1.
In this section, we will present a sufficient condition in
terms of LMIs, under which the closed-loop system (6) is
passive.
Journal of Applied Mathematics
3
Theorem 2. Given matrices 𝐾𝑖 , an integer π‘š ≥ 1 and a scalar
β„Ž > 0, if there exist symmetric positive definite matrices 𝑃, 𝑄𝑖 ,
𝑍𝑖 , 𝑅𝑖 and matrices 𝑆1𝑖 , 𝑆2𝑖 and scalar 𝛾 > 0, satisfying
[
[
[
Θπ‘–π‘–π‘™π‘˜ + πœŽπ‘ŠπœŽπ‘‡ π‘ŠπœŽ
∗
[
[
𝑉1 (𝑑) = π‘₯𝑇 (𝑑) 𝑃π‘₯ (𝑑) ,
𝑆1𝑖
]
π‘š ] < 0,
− 𝑍𝑖
β„Ž ]
Θπ‘–π‘—π‘™π‘˜ + πœŽπ‘ŠπœŽπ‘‡ π‘ŠπœŽ
∗
[
[
+[
𝑍𝑖 < 𝑅𝑗 ,
∫
−β„Ž/π‘š 𝑑+𝛽
𝑉3 (𝑑) = ∫
]
π‘š ]
− 𝑍𝑖
β„Ž ]
1 ≤ π‘Ÿ < 𝑗 ≤ π‘Ÿ,
𝑑
𝑉2 (𝑑) = ∫
(8)
𝑆1𝑖
𝑑
𝑑−β„Ž/π‘š
π‘₯̇𝑇 (𝛼) 𝑅 (𝛼) π‘₯Μ‡ (𝛼) 𝑑𝛼 𝑑𝛽,
(12)
𝛾𝑇 (𝛼) 𝑄 (𝛼) 𝛾 (𝛼) 𝑑𝛼,
where
𝑆1𝑗
(9)
]
π‘š ]<0
− 𝑍𝑗
β„Ž ]
∗
[
0
𝑖, 𝑙, π‘˜ = 1, . . . , π‘Ÿ
πœŽπ‘ŠπœŽπ‘‡ π‘ŠπœŽ
Θπ‘—π‘–π‘™π‘˜ +
Proof. Choose a Lyapunov-Krasovskii functional as 𝑉(𝑑) =
𝑉1 (𝑑) + 𝑉2 (𝑑) + 𝑉3 (𝑑) with
𝛾 (𝑑) = [π‘₯𝑇 (𝑑)
π‘₯𝑇 (𝑑 −
β„Ž
)
π‘š
⋅⋅⋅
π‘₯𝑇 (𝑑 −
𝑙, π‘˜ = 1, . . . , π‘Ÿ,
𝑖, 𝑗 = 1, . . . , π‘Ÿ,
(10)
𝑇
π‘š−1
β„Ž)] .
π‘š
(13)
The time-derivative of 𝑉(𝑑) along the trajectory of the system
in (6) is given by
where
𝑉1Μ‡ = π‘₯̇𝑇 (𝑑) 𝑃π‘₯ (𝑑) + π‘₯𝑇 (𝑑) 𝑃π‘₯Μ‡ (𝑑) ,
∧
Ωπ‘–π‘—π‘™π‘˜ = π‘Šπ‘π‘‡ 𝑃 π‘Šπ‘ +
β„Ž
π‘Šπ‘Ÿπ‘‡ 𝑅𝑖 π‘Šπ‘Ÿ + π‘Šπ‘ž1𝑇 𝑄𝑖 π‘Šπ‘ž1
π‘š
𝑑
β„Ž
𝑉2Μ‡ = π‘₯̇𝑇 (𝑑) 𝑅 (𝑑) π‘₯Μ‡ (𝑑) − ∫
π‘₯̇𝑇 (𝛼) 𝑅 (𝛼) π‘₯Μ‡ (𝛼) 𝑑𝛼
π‘š
𝑑−β„Ž/π‘š
− π‘Šπ‘ž2𝑇 𝑄𝑙 π‘Šπ‘ž2 + sym (𝑆𝑖 π‘Šπ‘ π‘—π‘˜ ) ,
β„Ž
β„Ž
β„Ž
𝑉3Μ‡ = 𝛾𝑇 (𝑑) 𝑄 (𝑑) 𝛾 (𝑑) − 𝛾𝑇 (𝑑 − ) 𝑄 (𝑑 − ) 𝛾 (𝑑 − ) .
π‘š
π‘š
π‘š
(14)
Θπ‘–π‘—π‘™π‘˜ = Ωπ‘–π‘—π‘™π‘˜ − (π‘Š1 𝐢𝑗𝑇 π‘Š2 + π‘Š2𝑇 𝐢𝑗 π‘Š1𝑇
+ π‘Š2𝑇 𝐷𝑗𝑇 π‘Š2 + π‘Š2𝑇 𝐷𝑗 π‘Š2
+ π‘Š2𝑇 𝐢𝑑𝑗 π‘Š3
+
𝑇
π‘Š3𝑇 𝐢𝑑𝑗
π‘Š2
+
π›Ύπ‘Š2𝑇 π‘Š2 ) ,
πœ‰ (𝑑) = [𝛾𝑇 (𝑑)
𝐼𝑛 𝑂𝑛,π‘šπ‘› 𝑂𝑛,𝑛 𝑂𝑛,𝑛
π‘Šπ‘ = (𝑂𝑛,𝑛 𝑂𝑛,π‘šπ‘› 𝐼𝑛 𝑂𝑛,𝑛 ) ,
𝑂𝑛,𝑛 𝑂𝑛,π‘šπ‘› 𝑂𝑛,𝑛 𝑂𝑛.𝑛
π‘ŠπœŽ = (𝐼𝑛 , 𝑂𝑛,π‘šπ‘›+2𝑛 ) ,
π‘Šπ‘Ÿ = (𝑂𝑛,π‘šπ‘›+𝑛 , 𝐼𝑛 , 𝑂𝑛,𝑛 ) ,
π‘Šπ‘ž1 = (πΌπ‘šπ‘› , π‘‚π‘šπ‘›,3𝑛 ) ,
𝑆𝑖 = [𝑆1𝑖
⋅⋅⋅
π‘₯̇𝑇 (𝑑)
πœ”π‘› (𝑑)]
𝑇
πœ”π‘‡ (𝑑)] ,
𝑇
(15)
and according to the Newton-Leibniz formula and the system
in (6), we have
Π1 = 2πœ‰π‘‡ (𝑑) 𝑆1 (𝑑)
𝑆2𝑖 ] ,
× [π‘₯ (𝑑) − π‘₯ (𝑑 −
𝐼
−𝐼𝑛
𝑂𝑛,π‘šπ‘›+𝑛
π‘Šπ‘†π‘—π‘˜ = [𝐴 + 𝑛𝐡 𝐾 𝑂
𝐡1𝑗 ] ,
𝑗
𝑗 π‘˜
𝑛,π‘šπ‘›−𝑛 𝐴 𝑑𝑗 −𝐼𝑛
𝐼𝑛
π‘Š1 = (
),
π‘‚π‘šπ‘›+2𝑛,𝑛
π‘₯𝑇 (𝑑 − β„Ž)
πœ” (𝑑) = [πœ”1 (𝑑)
𝑂𝑛,𝑛 𝑃 𝑂𝑛,𝑛
∧
𝑃 = ( 𝑃 𝑂𝑛,𝑛 𝑂𝑛,𝑛 ) ,
𝑂𝑛,𝑛 𝑂𝑛,𝑛 𝑂𝑛,𝑛
π‘Šπ‘ž2 = (π‘‚π‘šπ‘›,𝑛 , πΌπ‘šπ‘› , π‘‚π‘šπ‘›,2𝑛 ) ,
Define
𝑑
β„Ž
)−∫
π‘₯Μ‡ (𝛼) 𝑑𝛼] = 0,
π‘š
𝑑−β„Ž/π‘š
Π2 = 2πœ‰π‘‡ (𝑑) 𝑆2 (𝑑) [ (𝐴 (𝑑) + 𝐡 (𝑑) 𝐾 (𝑑)) π‘₯ (𝑑)
π‘Š2 = (𝑂𝑛,π‘šπ‘›+2𝑛 , 𝐼𝑛 )
+ 𝐴 𝑑 (𝑑) π‘₯ (𝑑 − β„Ž)
+𝐡1 (𝑑) πœ” (𝑑) − π‘₯Μ‡ (𝑑)] = 0,
π‘Š3 = (𝑂𝑛,π‘šπ‘› , 𝐼𝑛 , 𝑂𝑛,2𝑛 ) .
(11)
Then the fuzzy system (1) is passive in the sense of Definition 1
for the time delay 0 ≤ 𝜏 ≤ β„Ž.
Π3 =
β„Ž 𝑇
πœ‰ (𝑑) 𝑆1 (𝑑) 𝑍−1 (𝑑) 𝑆1𝑇 (𝑑) πœ‰ (𝑑)
π‘š
𝑑
−∫
𝑑−β„Ž/π‘š
πœ‰π‘‡ (𝑑) 𝑆1 (𝑑) 𝑍−1 (𝑑) 𝑆1𝑇 (𝑑) πœ‰ (𝑑) 𝑑𝛼 = 0.
(16)
4
Journal of Applied Mathematics
Therefore
𝑉̇ (𝑑) ≤ 𝑉1Μ‡ (𝑑) + 𝑉2Μ‡ (𝑑) + 𝑉3Μ‡ (𝑑) + Π1 + Π2 + Π3
β„Ž 𝑇
π‘₯Μ‡ (𝑑) 𝑅 (𝑑) π‘₯Μ‡ (𝑑)
π‘š
Λ (𝑑) = π‘₯̇𝑇 (𝑑) 𝑃π‘₯ (𝑑) + π‘₯𝑇 (𝑑) 𝑃π‘₯Μ‡ (𝑑) +
π‘₯̇𝑇 (𝛼) 𝑅 (𝛼) π‘₯Μ‡ (𝛼) 𝑑𝛼 + 𝛾𝑇 (𝑑) 𝑄 (𝑑) 𝛾 (𝑑)
+ 𝛾𝑇 (𝑑) 𝑄 (𝑑) 𝛾 (𝑑) − 𝛾𝑇 (𝑑 −
= π‘₯̇𝑇 (𝑑) 𝑃π‘₯ (𝑑) + π‘₯𝑇 (𝑑) 𝑃π‘₯Μ‡ (𝑑) +
−∫
𝑑
𝑑−β„Ž/π‘š
where
− 𝛾𝑇 (𝑑 −
β„Ž
β„Ž
β„Ž
) 𝑄 (𝑑 − ) 𝛾 (𝑑 − ) + 2πœ‰π‘‡ (𝑑) 𝑆1 (𝑑)
π‘š
π‘š
π‘š
× [π‘₯ (𝑑) − π‘₯ (𝑑 −
× π›Ύ (𝑑 −
𝑑
β„Ž
π‘₯Μ‡ (𝛼) 𝑑𝛼]
)−∫
π‘š
𝑑−β„Ž/π‘š
β„Ž 𝑇
π‘₯Μ‡ (𝑑) 𝑅 (𝑑) π‘₯Μ‡ (𝑑)
π‘š
β„Ž
β„Ž
) 𝑄 (𝑑 − )
π‘š
π‘š
β„Ž
β„Ž
) + 2πœ‰π‘‡ (𝑑) 𝑆1 (𝑑) [π‘₯ (𝑑) − π‘₯ (𝑑 − )]
π‘š
π‘š
+ 2πœ‰π‘‡ (𝑑) 𝑆2 (𝑑)
× [ (𝐴 (𝑑) + 𝐡 (𝑑) 𝐾 (𝑑)) π‘₯ (𝑑)
+ 2πœ‰π‘‡ (𝑑) 𝑆2 (𝑑)
+ 𝐴 𝑑 (𝑑) π‘₯ (𝑑 − β„Ž) + 𝐡1 (𝑑) πœ” (𝑑) − π‘₯Μ‡ (𝑑) ] .
× [(𝐴 (𝑑) + 𝐡 (𝑑) 𝐾 (𝑑)) π‘₯ (𝑑) + 𝐴 𝑑 (𝑑) π‘₯ (𝑑 − β„Ž)
(22)
+ 𝐡1 (𝑑) πœ” (𝑑) − π‘₯Μ‡ (𝑑)]
+
β„Ž 𝑇
πœ‰ (𝑑) 𝑆1 (𝑑) 𝑍−1 (𝑑) 𝑆1𝑇 (𝑑) πœ‰ (𝑑)
π‘š
−∫
𝑑
𝑑−β„Ž/π‘š
= Λ (𝑑) +
−∫
πœ‰π‘‡ (𝑑) 𝑆1 (𝑑) 𝑍−1 (𝑑) 𝑆1𝑇 (𝑑) πœ‰ (𝑑) 𝑑𝛼
π‘₯Μ‡ (𝑑) = (𝑂𝑛,π‘šπ‘›+𝑛 , 𝐼𝑛 , 𝑂𝑛,𝑛 ) πœ‰ (𝑑) ,
π‘₯ (𝑑) = (𝐼𝑛 , 𝑂𝑛,π‘šπ‘›+2𝑛 ) πœ‰ (𝑑) ,
β„Ž 𝑇
πœ‰ (𝑑) 𝑆1 (𝑑) 𝑍−1 (𝑑) 𝑆1𝑇 (𝑑) πœ‰ (𝑑)
π‘š
𝑑
𝑑−β„Ž/π‘š
𝑑
𝑑−β„Ž/π‘š
𝑑
𝑑−β„Ž/π‘š
𝛾 (𝑑 −
Then
(17)
If
𝑍 (𝑑) < 𝑅 (𝛼) .
(18)
Then
−1
𝑍 (𝑑) > 𝑅 (𝛼) ,
𝑑
−∫
𝑑−β„Ž/π‘š
(19)
πœ‰π‘‡ (𝑑) 𝑆1 (𝑑) 𝑍−1 (𝑑) 𝑆1𝑇 (𝑑) πœ‰ (𝑑) 𝑑𝛼
< −∫
(20)
𝑑
𝑑−β„Ž/π‘š
πœ‰π‘‡ (𝑑) 𝑆1 (𝑑) 𝑅−1 (𝛼) 𝑆1𝑇 (𝑑) πœ‰ (𝑑) 𝑑𝛼.
β„Ž
𝑉̇ (𝑑) ≤ Λ (𝑑) + πœ‰π‘‡ (𝑑) 𝑆1 (𝑑) 𝑍−1 (𝑑) 𝑆1𝑇 (𝑑) πœ‰ (𝑑)
π‘š
𝑑
𝑑−β„Ž/π‘š
∧
Ω (𝑑) = π‘Šπ‘π‘‡ 𝑃 π‘Šπ‘ +
β„Ž 𝑇
𝑇
𝑄 (𝑑) π‘Šπ‘ž1
π‘Š 𝑅 (𝑑) π‘Šπ‘Ÿ + π‘Šπ‘ž1
π‘š π‘Ÿ
𝑇
− π‘Šπ‘ž2
𝑄 (𝑑 −
β„Ž
) π‘Šπ‘ž2 + sym (𝑆 (𝑑) π‘Šπ‘† (𝑑)) ,
π‘š
𝑂𝑛,𝑛 𝑃 𝑂𝑛,𝑛
𝑃̂ = ( 𝑃 𝑂𝑛,𝑛 𝑂𝑛,𝑛 ) ,
𝑂𝑛,𝑛 𝑂𝑛,𝑛 𝑂𝑛,𝑛
π‘Šπ‘Ÿ = (𝑂𝑛,π‘šπ‘›+𝑛 , 𝐼𝑛 , 𝑂𝑛,𝑛 ) ,
(π‘₯̇𝑇 (𝛼) 𝑅 (𝛼) + πœ‰π‘‡ (𝑑) 𝑆1 (𝑑)) × π‘…−1 (𝛼)
× (𝑅 (𝛼) π‘₯Μ‡ (𝛼) +
Λ (𝑑) = πœ‰π‘‡ (𝑑) Ω (𝑑) πœ‰ (𝑑) ,
𝑆 (𝑑) = [𝑆1 (𝑑)
𝑆2 (𝑑)]
𝐼𝑛 𝑂𝑛,π‘šπ‘› 𝑂𝑛,𝑛 𝑂𝑛,𝑛
π‘Šπ‘ = (𝑂𝑛,𝑛 𝑂𝑛,π‘šπ‘› 𝐼𝑛 𝑂𝑛,𝑛 ) ,
𝑂𝑛,𝑛 𝑂𝑛,π‘šπ‘› 𝑂𝑛,𝑛 𝑂𝑛.𝑛
So, we can obtain
−∫
β„Ž
) = (π‘‚π‘šπ‘›,𝑛 , πΌπ‘šπ‘› , π‘‚π‘šπ‘›,2𝑛 ) πœ‰ (𝑑) .
π‘š
π‘₯Μ‡ (𝛼) 𝑑𝛼
πœ‰π‘‡ (𝑑) 𝑆1 (𝑑) 𝑍−1 (𝑑) 𝑆1𝑇 (𝑑) πœ‰ (𝑑) 𝑑𝛼.
−1
(23)
𝛾 (𝑑) = (πΌπ‘šπ‘› , π‘‚π‘šπ‘›,3𝑛 ) πœ‰ (𝑑) ,
π‘₯̇𝑇 (𝛼) 𝑅 (𝛼) π‘₯Μ‡ (𝛼) 𝑑𝛼
− 2πœ‰π‘‡ (𝑑) 𝑆1 (𝑑) ∫
−∫
Besides
𝑆1𝑇 (𝑑) πœ‰ (𝑑)) 𝑑𝛼,
(21)
π‘Šπ‘ž1 = (πΌπ‘šπ‘› , π‘‚π‘šπ‘›,3𝑛 ) ,
π‘Šπ‘ž2 = (π‘‚π‘šπ‘›,𝑛 , πΌπ‘šπ‘› , π‘‚π‘šπ‘›,2𝑛 ) ,
−𝐼𝑛
𝑂𝑛,π‘šπ‘›+𝑛
𝐼𝑛
].
π‘Šπ‘† (𝑑) = [
−𝐼
𝐴
𝐡
𝐾
𝑂
𝐴
𝐡
𝑛
1 (𝑑) ]
[ (𝑑)+ (𝑑) (𝑑) 𝑛,π‘šπ‘›−𝑛 𝑑 (𝑑)
(24)
Journal of Applied Mathematics
5
Besides
We can obtain
2πœ”π‘‡ (𝑑) 𝑦 (𝑑) + π›Ύπœ”π‘‡ (𝑑) πœ” (𝑑)
𝑉̇ (𝑑) < 2𝑦𝑇 (𝑑) πœ” (𝑑) + π›Ύπœ”π‘‡ (𝑑) πœ” (𝑑) .
= π‘₯𝑇 (𝑑) 𝐢𝑖𝑇 πœ” (𝑑) + πœ”π‘‡ (𝑑) 𝐢𝑖 π‘₯ (𝑑)
(31)
+ πœ”π‘‡ (𝑑) (𝐷𝑖𝑇 + 𝐷𝑖 ) πœ” (𝑑) + πœ”π‘‡ (𝑑) 𝐢𝑑𝑖 π‘₯ (𝑑 − β„Ž)
𝑇
+ π‘₯𝑇 (𝑑 − β„Ž) 𝐢𝑑𝑖
πœ” (𝑑) + π›Ύπœ”π‘‡ (𝑑) πœ” (𝑑)
= πœ‰π‘‡ (𝑑) [π‘Š1 𝐢𝑖𝑇 π‘Š2 + π‘Š2𝑇 𝐢𝑖 π‘Š1𝑇 + π‘Š2𝑇 (𝐷𝑖𝑇 + 𝐷𝑖 ) π‘Š2
𝑇
+ π‘Š2𝑇 𝐢𝑑𝑖 π‘Š3 + π‘Š3𝑇 𝐢𝑑𝑖
π‘Š2 + π›Ύπ‘Š2𝑇 π‘Š2 ] πœ‰ (𝑑) ,
(25)
where
𝐼𝑛
),
π‘Š1 = (
π‘‚π‘šπ‘›+2𝑛,𝑛
π‘Š2 = (𝑂𝑛,π‘šπ‘›+2𝑛 , 𝐼𝑛 ) ,
It follows by integrating (31) with respect to 𝑑 over the time
period 0 ∼ 𝑇 that (7) holds, and hence the delayed fuzzy
system (1) is passive in the sense of Definition 1. Our next
objective is to convert the inequalities in (18) and (29) to some
finite LMIs, then (29) can be rewritten as
πœ‚π‘–π‘—π‘™π‘˜ = πœ‚π‘–π‘–π‘™π‘˜ + (πœ‚π‘–π‘—π‘™π‘˜(𝑖<𝑗) + πœ‚π‘—π‘–π‘™π‘˜(𝑖<𝑗) ) < 0,
π‘Ÿ
π‘Ÿ
𝑖=1
𝑗=1
πœ‚π‘–π‘—π‘™π‘˜ = ∑πœ† 𝑖 (πœƒ (𝑑)) ∑ πœ† 𝑗 (πœƒ (𝑑))
(26)
π‘Ÿ
π‘Š3 = (𝑂𝑛,π‘šπ‘› , 𝐼𝑛 , 𝑂𝑛,2𝑛 ) .
× ∑πœ† 𝑙 (πœƒ (𝑑 −
𝑙=1
So, we have
𝑉̇ (𝑑) − 2πœ”π‘‡ (𝑑) 𝑦 (𝑑) − πœ†πœ”π‘‡ (𝑑) πœ” (𝑑)
≤ πœ‰π‘‡ (𝑑) Θ (𝑑) πœ‰ (𝑑) +
−∫
𝑑
𝑑−β„Ž/π‘š
π‘Ÿ
β„Ž
)) ∑ πœ† π‘˜ (πœƒ (𝑑))
π‘š
π‘˜=1
× [Ωπ‘–π‘—π‘™π‘˜ − (π‘Š1 𝐢𝑗𝑇 π‘Š2 + π‘Š2𝑇 𝐢𝑗 π‘Š1𝑇
β„Ž 𝑇
πœ‰ (𝑑) 𝑆1 (𝑑) 𝑍−1 (𝑑) 𝑆1𝑇 (𝑑) πœ‰ (𝑑)
π‘š
+ π‘Š2𝑇 (𝐷𝑗 + 𝐷𝑗𝑇 ) π‘Š2
(π‘₯̇𝑇 (𝛼) 𝑅 (𝛼) + πœ‰π‘‡ (𝑑) 𝑆1 (𝑑)) × π‘…−1 (𝛼)
𝑇
+ π‘Š2𝑇 𝐢𝑑𝑗 π‘Š3 + π‘Š3𝑇 𝐢𝑑𝑗
π‘Š2 + π›Ύπ‘Š2π‘‡π‘Š2 )
+ πœŽπ‘ŠπœŽπ‘‡ π‘ŠπœŽ
× (𝑅 (𝛼) π‘₯Μ‡ (𝛼) + 𝑆1𝑇 (𝑑) πœ‰ (𝑑)) 𝑑𝛼
(27)
+
with
β„Ž
𝑆 𝑍 −1 𝑆𝑇 ] .
π‘š 1𝑖 𝑖 1𝑖
Θ (𝑑) = Ω (𝑑) − (π‘Š1 𝐢𝑖𝑇 π‘Š2 + π‘Š2𝑇 𝐢𝑖 π‘Š1𝑇
+ π‘Š2𝑇 (𝐷𝑖 + 𝐷𝑖𝑇 ) π‘Š2
+ π‘Š2𝑇 𝐢𝑑𝑖 π‘Š3
+
𝑇
π‘Š3𝑇 𝐢𝑑𝑖
π‘Š2
Equation (18) can be rewritten as
+
π›Ύπ‘Š2𝑇 π‘Š2 ) .
(28)
𝑍𝑖 < 𝑅𝑗 .
If
Θ (𝑑) + πœŽπ‘ŠπœŽπ‘‡ π‘ŠπœŽ +
(32)
β„Ž
𝑆 (𝑑) 𝑍−1 (𝑑) 𝑆1𝑇 (𝑑) < 0
π‘š 1
(29)
(33)
From the Schur complement, we can get the inequalities (8),
(9), and (10), and the proof is completed.
then
Θ (𝑑) +
β„Ž
𝑆 (𝑑) 𝑍−1 (𝑑) 𝑆1𝑇 (𝑑) < −πœŽπ‘ŠπœŽπ‘‡ π‘ŠπœŽ ,
π‘š 1
4. Controller Design
𝑉̇ (𝑑) − 2πœ”π‘‡ (𝑑) 𝑦 (𝑑) − π›Ύπœ”π‘‡ (𝑑) πœ” (𝑑)
< πœ‰π‘‡ (𝑑) Θ (𝑑) πœ‰ (𝑑) +
β„Ž 𝑇
πœ‰ (𝑑) 𝑆1 (𝑑) 𝑍−1 (𝑑) 𝑆1𝑇 (𝑑) πœ‰ (𝑑)
π‘š
< −πœ‰π‘‡ (𝑑) πœŽπ‘ŠπœŽπ‘‡ π‘ŠπœŽ πœ‰ (𝑑) < −πœŽβ€–π‘₯ (𝑑)β€–2 < 0.
(30)
In this section, fuzzy state feedback controllers will be
designed based on the result developed in the previous
section.
Theorem 3. Given an integer π‘š > 1 and scalars β„Ž > 0, 𝜏1 ,
𝜏2 , . . . , 𝜏(π‘š+3) , there exists a fuzzy state feedback controller such
that the closed-loop system (4) is passive if there exist symmetric
6
Journal of Applied Mathematics
positive definite matrices 𝑃, 𝑄𝑖 , 𝑍𝑖 , 𝑅𝑖 , and matrices 𝑋, 𝑆1𝑖 , 𝑀𝑖
and scalars 𝛾 > 0, 𝜎 > 0, satisfying
𝑆1𝑖
πœ‘π‘–π‘–π‘™
π‘ŠπœŽπ‘‡ 𝑋𝑇
π‘Š2𝑇 𝑋𝑇
π‘Š2𝑇 𝑋𝑇
[
[
[ ∗ − π‘š 𝑍𝑖
0
0
0
[
β„Ž
[
[
[∗
∗
−𝜎−1 𝐼𝑛
0
0
[
[
[
[∗
∗
∗
𝐷𝑖−𝑇 + 𝐷𝑖−1
0
[
[
[
∗
∗
∗
∗
𝛾−1 𝐼𝑛
[
If the above conditions are feasible, the gains of the controller
are given by
𝐾𝑖 = 𝑀𝑖 𝑋−1 ,
]
]
]
]
]
]
]
]<0
]
]
]
]
]
]
(34)
𝐺1 = diag {𝑆, . . . , 𝑆, 𝐼𝑛 , 𝑆, 𝑆, 𝑆, 𝑆} ∈ 𝑅(π‘šπ‘›+7𝑛)×(π‘šπ‘›+7𝑛) ,
𝐺2 = diag {𝑆, . . . , 𝑆, 𝐼𝑛 } ∈ 𝑅(π‘šπ‘›+3𝑛)×(π‘šπ‘›+3𝑛) ,
]
[
[
[∗
[
[
[
[
+[∗
[
[
[∗
[
[
[
∗
[
−
Premultiplying and postmultiplying (34) with 𝐺1 and 𝐺1𝑇 ,
then we obtain
π‘ŠπœŽπ‘‡ 𝑋𝑇
π‘Š2𝑇 𝑋𝑇
π‘Š2𝑇 𝑋𝑇
0
0
0
∗
−𝜎−1 𝐼𝑛
0
0
∗
∗
𝐷𝑗−𝑇 + 𝐷𝑗−1
0
∗
∗
∗
𝛾−1 𝐼𝑛
π‘š
𝑍
β„Ž 𝑗
1 ≤ 𝑖 < 𝑗 ≤ π‘Ÿ,
]
]
]
]
]
]
]
]<0
]
]
]
]
]
]
Δ πΊ2 𝑆1𝑖 𝑆𝑇 𝐺2 π‘ŠπœŽπ‘‡ 𝑋𝑇 𝑆𝑇
𝐺2 π‘Š2𝑇 𝑋𝑇 𝑆𝑇
𝐺2 π‘Š2𝑇 𝑋𝑇 𝑆𝑇
[
]
[
]
π‘š
[
]
𝑇
[∗ − 𝑆𝑍𝑖 𝑆
]
0
0
0
[
]
β„Ž
[
]
[
]
−1 𝑇
[∗
]
∗
−𝜎
𝑆𝑆
0
0
[
] < 0,
[
]
[
]
[
]
−𝑇
−1
𝑇
∗
∗
𝑆 (𝐷𝑖 + 𝐷𝑖 ) 𝑆
0
[∗
]
[
]
[
]
[
]
−1
𝑇
[∗
]
∗
∗
∗
𝛾 𝑆𝑆
[
]
(40)
where
Δ = 𝐺2 πœ™π‘–π‘–π‘™ 𝐺2𝑇 ,
]
𝐺2 πœ™π‘–π‘–π‘™ 𝐺2𝑇
𝑙 = 1, . . . , π‘Ÿ,
=
𝑂𝑛,𝑛
π‘Šπ‘π‘‡ [𝑆𝑃𝑆𝑇
[ 𝑂𝑛,𝑛
(35)
𝑍𝑖 < 𝑅𝑗 ,
(39)
𝐺3 = diag {𝑆, . . . , 𝑆} ∈ π‘…π‘šπ‘›×π‘šπ‘› .
πœ™π‘–π‘—π‘™ 𝑆1𝑖 π‘ŠπœŽπ‘‡ 𝑋𝑇 π‘Š2𝑇 𝑋𝑇 π‘Š2𝑇 𝑋𝑇
]
[
]
[
[ ∗ −π‘šπ‘
0
0
0 ]
]
[
𝑖
]
[
β„Ž
]
[
−1
[∗
∗
−𝜎 𝐼𝑛
0
0 ]
]
[
]
[
]
[
−𝑇
−1
]
[∗
∗
∗
𝐷
+
𝐷
0
]
[
𝑖
𝑖
]
[
−1
∗
∗
∗
∗
𝛾
𝐼
𝑛 ]
[
𝑆1𝑗
(38)
Proof. Assume that 𝑋 is invertible, define 𝑆 = 𝑋−𝑇 , and
𝑖, 𝑙 = 1, . . . , π‘Ÿ,
πœ™π‘—π‘–π‘™
𝑖 = 1, . . . , π‘Ÿ.
𝑖, 𝑗 = 1, . . . , π‘Ÿ,
(36)
+
𝑆𝑃𝑆𝑇 𝑂𝑛,𝑛
𝑂𝑛,𝑛 𝑂𝑛,𝑛 ] π‘Šπ‘
𝑂𝑛,𝑛 𝑂𝑛,𝑛 ]
β„Ž 𝑇
π‘Š 𝑆𝑅 𝑆𝑇 π‘Šπ‘Ÿ
π‘š π‘Ÿ 𝑖
(41)
𝑇
𝑇
+ π‘Šπ‘ž1
𝐺3 𝑄𝑖 𝐺3𝑇 π‘Šπ‘ž1 − π‘Šπ‘ž2
𝐺3 𝑄𝑙 𝐺3𝑇 π‘Šπ‘ž2
where
πœ‘π‘–π‘—π‘™ =
∧
π‘Šπ‘π‘‡ 𝑃
+ sym (𝑉𝑖 π‘Šπ‘†π‘–π‘— −
π‘Š1 𝑋𝑇 𝐢𝑖𝑇 π‘Š2
𝑂𝑛,𝑛 𝑃 𝑂𝑛,𝑛
𝑃̂ = ( 𝑃 𝑂𝑛,𝑛 𝑂𝑛,𝑛 ) ,
𝑂𝑛,𝑛 𝑂𝑛,𝑛 𝑂𝑛,𝑛
π‘ˆ = [𝜏1 𝐼𝑛
π‘Šπ‘†π‘–π‘— = [
+ sym (𝐺2 𝑉𝑖 π‘Šπ‘†π‘–π‘– 𝐺2𝑇 ) − π‘Š1 𝐢𝑖𝑇 π‘Š2
β„Ž
𝑇
𝑇
π‘Šπ‘ + π‘Šπ‘Ÿπ‘‡ 𝑅𝑖 π‘Šπ‘Ÿ + π‘Šπ‘ž1
𝑄𝑖 π‘Šπ‘ž1 − π‘Šπ‘ž2
𝑄𝑙 π‘Šπ‘ž2
π‘š
𝜏2 𝐼𝑛
𝐼𝑛
𝐴 𝑖 𝑋 + 𝐡𝑖 𝑀𝑗
⋅⋅⋅
− 𝐼𝑛
𝑂𝑛,π‘šπ‘›−𝑛
−
π‘Š2𝑇 𝐢𝑑𝑖 π‘‹π‘Š3 ) ,
𝑉𝑖 = [𝑆1𝑖
𝐺2 π‘ŠπœŽπ‘‡ 𝑋𝑇 𝑆𝑇 = π‘ŠπœŽπ‘‡ 𝑆𝑇 ,
π‘ˆ] ,
𝑇
−𝑋
𝑃 = 𝑆𝑃𝑆𝑇 ,
𝐡1𝑖
𝐺2 π‘Š2𝑇 𝑋𝑇 𝑆𝑇 = π‘Š2𝑇 𝑆𝑇 .
We defining
𝜏(π‘š+3) 𝐼𝑛 ] ,
𝑂𝑛,π‘šπ‘›+𝑛
𝐴 𝑑𝑖 𝑋
𝑇
− π‘Š2𝑇 𝐢𝑖 π‘Š1𝑇 − π‘Š3𝑇 𝐢𝑑𝑖
π‘Š2 − π‘Š2𝑇 𝐢𝑑𝑖 π‘Š3 ,
].
(37)
𝑅𝑖 = 𝑆𝑅𝑖 𝑆𝑇 ,
𝑆1𝑖 = 𝐺2 𝑆1𝑖 𝑆𝑇 ,
𝑆2𝑖 = [𝜏1 𝑆𝑇
𝜏2 𝑆𝑇
⋅⋅⋅
𝑄𝑖 = 𝐺3 𝑄𝑖 𝐺3𝑇 ,
𝑍𝑖 = 𝑆𝑍𝑖 𝑆𝑇 ,
𝜏(π‘š+2) 𝑆𝑇
(42)
𝑇
𝜏(π‘š+3) 𝐼𝑛 ] .
Journal of Applied Mathematics
7
10
Then
9.5
𝐺2 𝑉𝑖 π‘Šπ‘†π‘–π‘– 𝐺2𝑇
9
− 𝐼𝑛
+ 𝐺2 π‘ˆ [𝐴 𝑖 𝑋 + 𝐡𝑖 𝑀𝑖
= 𝐺2 𝑆1𝑖 𝑆𝑇 [𝐼𝑛
− 𝐼𝑛
+ 𝑆2𝑖 [𝐴 𝑖 + 𝐡𝑖 πΎπ‘˜
= [𝑆1𝑖
𝑆2𝑖 ] [
𝑂𝑛,π‘šπ‘›−𝑛
8.5
𝐴 𝑑𝑖 𝑋
𝐡1𝑖 ] 𝐺2𝑇
−𝑋
𝑏
= 𝐺2 𝑆1𝑖 [𝐼𝑛
𝑂𝑛,π‘šπ‘›+𝑛 ] 𝐺2𝑇
7.5
𝑂𝑛,π‘šπ‘›+𝑛 ]
𝑂𝑛,π‘šπ‘›−𝑛
𝐼𝑛
𝐴 𝑖 + 𝐡𝑖 πΎπ‘˜
𝐴 𝑑𝑖
− 𝐼𝑛
𝑂𝑛,π‘šπ‘›−𝑛
8
− 𝐼𝑛
7
𝐡1𝑖 ]
𝑂𝑛,π‘šπ‘›+𝑛
𝐴 𝑑𝑖 − 𝐼𝑛
𝐡1𝑖
6.5
]
6
−2
(43)
−1
0
1
2
3
π‘Ž
Figure 1: The feasible region based on Theorem 2.
then
10
𝑂𝑛,𝑛 𝑃 𝑂𝑛,𝑛
β„Ž
𝐺2 πœ‘π‘–π‘–π‘™ 𝐺2𝑇 = π‘Šπ‘π‘‡ [ 𝑃 𝑂𝑛,𝑛 𝑂𝑛,𝑛 ] π‘Šπ‘ + π‘Šπ‘Ÿπ‘‡ 𝑅𝑖 π‘Šπ‘Ÿ
π‘š
[𝑂𝑛,𝑛 𝑂𝑛,𝑛 𝑂𝑛,𝑛 ]
+
𝑇
π‘Šπ‘ž1
𝑄𝑖 π‘Šπ‘ž1
−
𝑇
π‘Šπ‘ž2
𝑄𝑙 π‘Šπ‘ž2
+
9.5
9
sym (𝐺2 𝑉𝑖 π‘Šπ‘†π‘–π‘– 𝐺2𝑇 )
𝑇
− π‘Š3𝑇 𝐢𝑑𝑖
π‘Š2 − π‘Š2𝑇 𝐢𝑑𝑖 π‘Š3 .
𝑏
− π‘Š1 𝐢𝑖𝑇 π‘Š2 − π‘Š2𝑇 𝐢𝑖 π‘Š1𝑇
8.5
8
7.5
(44)
7
6.5
Thus, by the Schur complement, we can obtain (40) is
equivalent to (8). Pre- and postmultiplying (35) with 𝐺1 and
𝐺1𝑇 , we obtain (9), pre- and postmultiplying (36) with 𝑆 and
𝑆𝑇 , we obtain (10). The proof is completed.
6
−2
−1
0
1
2
3
π‘Ž
Figure 2: The feasible region based on [22].
5. Numerical Example
Without delay and uncertainty, Example 1 designs different
passive controllers by applying the theorem of our paper and
the literature [22], respectively. We can compare the region of
feasible solution.
Example 1. Consider a fuzzy system of the following form.
Plant Rules:
Rule 1: IF π‘₯1 (𝑑) is 𝑀1 , THEN
π‘₯Μ‡ (𝑑) = 𝐴 1 π‘₯ (𝑑) + 𝐡1 𝑒 (𝑑) + 𝐡11 πœ” (𝑑) ,
𝑦 (𝑑) = 𝐢1 π‘₯ (𝑑) + 𝐷1 πœ” (𝑑) .
(45)
𝑦 (𝑑) = 𝐢2 π‘₯ (𝑑) + 𝐷2 πœ” (𝑑)
π‘Ž −0.02 1
0 5] ,
𝐴 1 = [1
1
2 3]
[
1
𝐡1 = [0] ,
[𝑏]
(46)
𝐴2 = [
[
1
𝐡2 = [0] ,
[2]
1 0 0
𝐡12 = [1 2 3] ,
[0 1 2]
2 0 0
𝐷1 = 𝐷2 = [0 2 0] ,
[1 1 1 ]
Rule 2: IF π‘₯1 (𝑑) is 𝑀2 , THEN
π‘₯Μ‡ (𝑑) = 𝐴 2 π‘₯ (𝑑) + 𝐡2 𝑒 (𝑑) + 𝐡12 πœ” (𝑑) ,
with
−0.225 −0.02 0
1
0 3] ,
1
1 1]
1 0 0
𝐡11 = [1 2 0] ,
[0 1 0]
2.5 0 0
𝐢1 = 𝐢2 = [ 0 2.5 0] ,
[ 1 2 1]
π‘Ž ∈ [−2, 3] , 𝑏 ∈ [6, 10] .
(47)
We can obtain Figure 1 by applying our method and obtain
Figure 2 by applying method in [22]. Symbol “∗ ” shows that
8
Journal of Applied Mathematics
feasible solution exists at that point; symbol “o” shows that
feasible solution does not exist at that point.
It is obvious that Theorem 3 can relax the conditions in
[22], and our method futher reduced the conservatism.
Example 2 (Li et al. [20]). Consider a delayed fuzzy system of
the following form.
Plant Rules:
Rule 1: IF π‘₯1 (𝑑) is 𝑀1 , THEN
π‘₯Μ‡ (𝑑) = 𝐴 1 π‘₯ (𝑑) + 𝐴 𝑑1 π‘₯ (𝑑 − β„Ž) + 𝐡1 𝑒 (𝑑) + 𝐡11 πœ” (𝑑) ,
𝑦 (𝑑) = 𝐢1 π‘₯ (𝑑) + 𝐢𝑑1 π‘₯ (𝑑 − β„Ž) + 𝐷1 πœ” (𝑑) .
(48)
Table 1: Allowable maximum time delay β„Ž.
Rule 2: IF π‘₯2 (𝑑) is 𝑀2 , THEN
π‘₯Μ‡ (𝑑) = 𝐴 2 π‘₯ (𝑑) + 𝐴 𝑑2 π‘₯ (𝑑 − β„Ž) + 𝐡2 𝑒 (𝑑) + 𝐡12 πœ” (𝑑) ,
𝑦 (𝑑) = 𝐢2 π‘₯ (𝑑) + 𝐷2 πœ” (𝑑)
Rule 2: IF π‘₯1 (𝑑) is 𝑀2 , THEN
π‘₯Μ‡ (𝑑) = 𝐴 2 π‘₯ (𝑑) + 𝐴 𝑑2 π‘₯ (𝑑 − β„Ž) + 𝐡2 𝑒 (𝑑) + 𝐡12 πœ” (𝑑) ,
𝑦 (𝑑) = 𝐢2 π‘₯ (𝑑) + 𝐢𝑑2 π‘₯ (𝑑 − β„Ž) + 𝐷2 πœ” (𝑑)
−1 0.2
],
0 −0.1
𝐴2 = [
𝐴 𝑑1 = [
0.1 0.6
],
0.2 −0.1
𝐴 𝑑2 = [
𝐡1 = [
0.2
],
−0.5
𝐡2 = [
𝐡12 = [
0.3
],
0.3
−0.2 0
],
0 0
0.1 1
𝐢2 = [
],
0 0
𝐢𝑑2 = [
0.1 −0.1
],
0
0
𝐷2 = [
−1 0
],
0.1 −0.5
𝐴1 = [
−0.1125 −0.02
],
1
0
𝐴 𝑑1 = [
−0.0125 −0.005
],
0
0
𝐢1 = [
𝐢𝑑1
(50)
29.0804 1.8737
],
1.8737 3.7272
π‘₯ (0) = [−1
1.8020 0.0328
],
0.1385 0.4057
(51)
𝛾 = 237.5809.
By using the delay-dependent criterion Theorem 3 of [20], we
can obtain 𝛾 = 604.9523 when 𝜏 = 7.5. And applying our
result, 𝛾 = 237.5809 is obtained. We can see that our results
is not conservative since 𝛾 is much smaller than the result of
[20].
Example 3. Consider a delayed fuzzy system of the following
form.
Plant Rules:
Rule 1: IF π‘₯2 (𝑑) is 𝑀1 , THEN
π‘₯Μ‡ (𝑑) = 𝐴 1 π‘₯ (𝑑) + 𝐴 𝑑1 π‘₯ (𝑑 − β„Ž) + 𝐡1 𝑒 (𝑑) + 𝐡11 πœ” (𝑑) ,
𝑦 (𝑑) = 𝐢1 π‘₯ (𝑑) + 𝐷1 πœ” (𝑑) .
π‘₯22 (𝑑)
,
2.25
𝑀21 (π‘₯2 (𝑑)) =
π‘₯22 (𝑑)
. (55)
2.25
The initial state is
0.5 0
],
0 0
0.1 0
]
0 0
𝑋=[
𝐡11 = 𝐡12 = 𝐼2 ,
The membership function is
𝑀11 (π‘₯2 (𝑑)) = 1 −
we let β„Ž = 7.5, π‘š = 2, 𝜏1 = 10, 𝜏2 = 0, 𝜏3 = 5, 𝜏4 = 10, 𝜏5 = 10
and we can obtain
𝑃=[
−0.0125 −0.23
𝐴 𝑑2 = [
],
0
0
(54)
−0.1 0.2
=[
],
0
0
𝐷1 = [
−0.1125 −1.527
],
1
0
𝐢1 = 𝐢2 = 𝐷1 = 𝐷2 = 𝐼2 .
1 0
],
0.2 0
1 0.2
],
0 0
𝐴2 = [
1
𝐡1 = 𝐡2 = [ ] ,
1
−0.2 0.1
],
0.1 −0.2
𝐡11 = [
(53)
with
(49)
with
𝐴1 = [
The upper bound of β„Ž
1.5
2
3.16
8.8
Methods
[21]
Theorem 3, π‘š = 1
Theorem 3, π‘š = 4
Theorem 3, π‘š = 5
(52)
− 1.2]𝑇 ,
πœ” (𝑑) = [
sin (3𝑑)
exp (𝑑)
cos (3𝑑) 𝑇
] .
exp (𝑑)
(56)
First, we should find the allowable maximum time delay
β„Ž which let the fuzzy system passive. Table 1 shows the
maximum time delay obtained by [21] and our method.
It clearly shows that the method in our paper can get
larger upper bound than before. It also shows that conservatism is further reduced when π‘š increases.
Then we let β„Ž = 1.5, π‘š = 4, and we can obtain
𝑃=[
9.4980 9.1547
],
9.1547 8.8849
𝑋=[
0.6351 0.4997
] . (57)
0.5807 0.4826
The fuzzy controller gains by our method are given by
𝐾1 = [150.7358
− 218.3595] ,
𝐾2 = [150.9502
− 219.0519] .
(58)
Figure 3 shows the state response π‘₯1 (𝑑) of the closed-loop
system with the controller gains in (58), and Figure 4 shows
the state response π‘₯2 (𝑑) of the closed-loop system.
Journal of Applied Mathematics
9
1.5
the Doctoral Fund of Ministry of Education of China under
Grant 20120036120013.
1
References
π‘₯1
0.5
0
−0.5
−1
0
5
10
15
Time (s)
Figure 3: State response ×1 of the system.
1.5
1
π‘₯2
0.5
0
−0.5
−1
−1.5
0
5
10
15
Time (s)
Figure 4: State response ×2 of the system.
6. Conclusion
This paper has adopted the delay partitioning approach to
analyse the passivity and passification of delay fuzzy system
based on T-S model. The theorems given in this paper are all
in terms of LMIs. Examples have illustrated the effectiveness
of our results. The method in our paper has further reduced
the conservatism and the effect has been more apparent when
π‘š increases. In addition, the results obtained in this paper
also can be extended to the fuzzy system with time-varying
delay and uncertainties.
Acknowledgments
This work was supported in part by the National Natural
Science Foundation of China under Grant 61273144 and
61203041, the Natural Science Foundation of Beijing under
Grant 4122071, the Chinese National Post-doctor Science
Foundation under Grants 2011M500217 and 2012T50036, and
[1] J. C. Willems, “Dissipative dynamical systems. I. General theory,” Archive for Rational Mechanics and Analysis, vol. 45, pp.
321–351, 1972.
[2] D. J. Hill and P. J. Moylan, “Dissipative dynamical systems:
basic input-output and state properties,” Journal of the Franklin
Institute, vol. 309, no. 5, pp. 327–357, 1980.
[3] G. Feng, “A survey on analysis and design of model-based fuzzy
control systems,” IEEE Transactions on Fuzzy Systems, vol. 14,
no. 5, pp. 676–697, 2006.
[4] J. Lam and S. Zhou, “Dynamic output feedback 𝐻∞ control of
discrete-time fuzzy systems: a fuzzy-basis-dependent Lyapunov
function approach,” International Journal of Systems Science, vol.
38, no. 1, pp. 25–37, 2007.
[5] Y. He, M. Wu, J.-H. She, and G.-P. Liu, “Parameter-dependent
Lyapunov functional for stability of time-delay systems with
polytopic-type uncertainties,” Institute of Electrical and Electronics Engineers, vol. 49, no. 5, pp. 828–832, 2004.
[6] E. Kim and H. Lee, “New approaches to relaxed quadratic
stability condition of fuzzy control systems,” IEEE Transactions
on Fuzzy Systems, vol. 8, no. 5, pp. 523–534, 2000.
[7] X. N. Song, J. W. Lu, S. Y. Xu, H. Shen, and J. J. Lu, “Robust
stabilization of state delayed T-S fuzzy systems with input
saturation via dynamic anti-windup fuzzy design,” International
Journal of Innovative Computing, Information and Control, vol.
7, no. 12, pp. 6665–6676, 2011.
[8] Y. Y. Cao and P. M. Frank, “Robust 𝐻∞ disturbance attenuation
for a class of uncertain discrete-time fuzzy systems,” IEEE
Transactions on Fuzzy Systems, vol. 8, no. 4, pp. 406–415, 2000.
[9] C. Lin, Q.-G. Wang, and T. H. Lee, “Improvement on observerbased 𝐻∞ control for T-S fuzzy systems,” Automatica, vol. 41,
no. 9, pp. 1651–1656, 2005.
[10] P. Shi and S. K. Nguang, “𝐻∞ output feedback control of fuzzy
system models under sampled measurements,” Computers &
Mathematics with Applications, vol. 46, no. 5-6, pp. 705–717,
2003.
[11] S. K. Nguang, P. Shi, and S. Ding, “Delay-dependent fault estimation for uncertain time-delay nonlinear systems: an LMI
approach,” International Journal of Robust and Nonlinear Control, vol. 16, no. 18, pp. 913–933, 2006.
[12] D. F. Zhang, H. Wang, B. C. Lu, and Z. Q. Wang, “LMI-based
fault detection fuzzy observer design with multiple performance constraints for a class of non-linear systems: Comparative Study,” International Journal of Innovative Computing,
Information and Control B, vol. 8, no. 1, pp. 633–645, 2012.
[13] X. M. Zhang, Z. J. Zhang, and G. P. Lu, “Fault detection for statedelay fuzzy systems subject to random communication delay,”
International Journal of Innovative Computing, Information and
Control, vol. 8, no. 4, pp. 2439–2451, 2012.
[14] X. J. Su, L. G. Wu, P. Shi, and Y. D. Song, “𝐻∞ model reduction
of Takagi-Sugeno Fuzzy Stochastic Systems,” IEEE Transactions
on Systems, Man, and Cybernetics B, vol. 42, no. 6, pp. 1574–1585,
2012.
[15] K. Tanaka and H. Wang, Fuzzy Control Systems Design and
Analysis: A Linear Matrix Inequality Approach, New York, NY,
USA, 2001.
10
[16] S. Xu, J. Lam, S. Huang, and C. Yang, “𝐻∞ model reduction for
linear time-delay systems: continuous-time case,” International
Journal of Control, vol. 74, no. 11, pp. 1062–1074, 2001.
[17] Y. He, Q. G. Wang, and C. Lin, “An improved H∞ filter design
for systems with time-varying interval delay,” IEEE Transactions
on Circuits and Systems II, vol. 53, no. 11, pp. 1235–1239, 2006.
[18] X. J. Su, P. Shi, L. G. Wu, and Y. D. Song, “A novel approach
to filter design for T-S fuzzy discrete-time systems with timevarying delay,” IEEE Transactions on Fuzzy Systems, vol. 20, no.
6, pp. 1114–1129, 2012.
[19] C. Li and X. Liao, “Passivity analysis of neural networks with
time delay,” IEEE Transactions on Circuits and Systems II, vol.
52, no. 8, pp. 471–475, 2005.
[20] C. Li, H. Zhang, and X. Liao, “Passivity and passification of
fuzzy systems with time delays,” Computers & Mathematics with
Applications, vol. 52, no. 6-7, pp. 1067–1078, 2006.
[21] Y. Zhang, Q. L. Zhang, and Q. Li, “Passive controller design for
T-S fuzzy systems with time delay,” Acta Automatica Sinica, vol.
35, no. 3, pp. 328–331, 2009.
[22] C. Li, H. Zhang, and X. Liao, “Passivity and passification of
uncertain fuzzy systems,” IEE Proceedings Circuits, Decices and
Systems, vol. 152, no. 6, pp. 649–653, 2005.
Journal of Applied Mathematics
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Download