Volume 2013, Article ID 913234,14pages http://dx.doi.org/10.1155/2013/913234
Research Article
Stability Analysis and Stabilization of T-S Fuzzy
Delta Operator Systems with Time-Varying Delay via
an Input-Output Approach
Zhixiong Zhong,
1Guanghui Sun,
1Hamid Reza Karimi,
2and Jianbin Qiu
1 1Space Control and Inertial Technology Research Center, Harbin Institute of Technology, Harbin 150001, China 2Faculty of Engineering and Science, University of Agder, N-4898 Grimstad, NorwayCorrespondence should be addressed to Zhixiong Zhong; [email protected] Received 29 November 2012; Accepted 27 December 2012
Academic Editor: M. Chadli
Copyright Β© 2013 Zhixiong Zhong 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. The stability analysis and stabilization of Takagi-Sugeno (T-S) fuzzy delta operator systems with time-varying delay are investigated via an input-output approach. A model transformation method is employed to approximate the time-varying delay. The original system is transformed into a feedback interconnection form which has a forward subsystem with constant delays and a feedback one with uncertainties. By applying the scaled small gain (SSG) theorem to deal with this new system, and based on a Lyapunov Krasovskii functional (LKF) in delta operator domain, less conservative stability analysis and stabilization conditions are obtained. Numerical examples are provided to illustrate the advantages of the proposed method.
1. Introduction
The T-S fuzzy modeling approach, as a simple and effective tool for nonlinear control systems, has been widely accepted and extensive studied for a few decades [1β8]. In addition, it is well known that time delay is a source of instability or perfor-mance degradation [9]. Hence, analysis and synthesis of time-delay systems and other relative studies have attracted much attention during the past years [10β17]. Moreover, high-speed digital processing methods are of increasing importance in modern industrial applications. However, most traditional signal processing and control algorithms are inherently ill-conditioned when data are taken at high sampling rates [18]. The delta operator model can be applied as a useful approach to deal with discrete-time systems under high sampling rates through the analysis methods of continuous-time systems [19β22]. In view of the above considerations, both T-S fuzzy modeling approach and delta operator modeling approach have been extended to tackle the analysis and synthesis of nonlinear systems with time delay [23β25].
Recently, some works on analysis and design of T-S fuzzy systems via delta operator approach were developed [26β28]. However, to the authorsβ best knowledge, few results on the
stability analysis and stabilization for Takagi-Sugeno (T-S) fuzzy delta operator systems with time-varying delay are proposed.
In this paper, an indirect approach, namely, the
input-output (IO) approach is introduced to deal with the stability
analysis and control design of T-S fuzzy delta operator systems with time-varying delay. The main contribution of paper is that the stability analysis and stabilization problems for fuzzy delta operator systems with time-varying delay are investigated by the IO approach. A model approximation method is employed to transform the original system into an equivalent interconnected system, which is comprised of a forward subsystem with constant time delays and a feedback one with delayed uncertainties. The scaled small gain (SSG) method is applied and an LKF in delta domain is constructed to analyze and synthesize this system. Furthermore, a
fre-quency sweeping method [9] is suggested to guarantee the
internal stability for the forward subsystem, such that less conservative results are ensured. Finally, some comparisons are made with the existing results and control of a truck-trailer model is also presented to illustrate the effectiveness of our method.
This paper is organized as follows. A model transforma-tion method and the proof of the SSG theorem for T-S fuzzy delta operator systems with time-varying delay are presented inSection 2. InSection 3, the stability analysis and stabiliza-tion results are provided. The simulastabiliza-tion studies are given in Section 4 to illustrate the effectiveness of the proposed method. Finally, conclusions are drawn inSection 5.
Notations. The notations used throughout this paper are
stan-dard.Rπ andRπΓπ represent theπ-dimensional Euclidean
space andπ Γ π real matrices, respectively. G1βG2represents
the series connection of mappingG1 andG2. The notation
π > 0 (β₯0) means that the matrix π is positive (semi) definite,πΌπdenotes an identity matrix with dimensionπ, and diag{β β β } denotes a block-diagonal matrix. The symbol βββ in a matrix stands for the transposed elements in the symmetric positions.
2. Model Description
and Problem Formulation
In the following, we consider a fuzzy delta operator system with time-varying delay, which can be described by the following T-S fuzzy model.
Plant Rule π. IF π1(π‘) is ππ1andπ2(π‘) is ππ2and. . . and ππ(π‘)
isπππ,THEN
ππ₯ (π‘) = π΄ππ₯ (π‘) + π΄πππ₯ (π‘ β ππ) + π΅ππ’ (π‘) ,
π₯ (π‘) = π (π‘) , π‘ β [ββ2, 0] , π = 1, 2, . . . , π,
(1)
whereπ₯(π‘) β Rππ₯ is the state variable;π’(π‘) β Rπis control
input;π is a time-varying integer; π is the sampling period;
the bounded time-varying delayππ satisfies 0 < β1 β€ ππ β€
β2; π(π‘) β Rππ₯ is the vector-valued initial condition; π
ππ
is the fuzzy set;π is the number of IF-THEN rules; π(π‘) =
[π1(π‘), π2(π‘), . . . , ππ(π‘)] are the premise variables which do not depend on the control input;π΄π, π΄ππ, andπ΅πare known
constant matrices with appropriate dimensions;ππ₯(π‘) is the
delta operator ofπ₯(π‘), which is defined by
ππ₯ (π‘) ={{{{ { π ππ‘π₯ (π‘) , π = 0, π₯ (π‘ + π) β π₯ (π‘) π , π ΜΈ= 0. (2)
The overall T-S fuzzy delta operator system with time-varying delay is inferred as follows:
ππ₯ (π‘) =βπ
π=1
ππ(π (π‘)) [π΄ππ₯ (π‘) + π΄πππ₯ (π‘ β ππ) + π΅ππ’ (π‘)] ,
(3) whereβππ=1ππ(π(π‘)) = 1, ππ(π(π‘)) = ππ(π(π‘))/ βππ=1ππ(π(π‘)) β₯ 0, and ππ(π(π‘)) = βππ=1πππ(ππ(π‘)) with πππ(ππ(π‘)) represent the grade of membership ofππ(π‘) in πππ.
The following control law is employed to deal with the problem of stabilization via state feedback, where the controller rule shares the same fuzzy sets with the T-S model.
Controller Ruleπ. IF π1(π‘) is ππ1andπ2(π‘) is ππ2and. . . and ππ(π‘) is πππ,THEN
π’ (π‘) = πΎ1ππ₯ (π‘) + 12πΎ2ππ₯ (π‘ β β1)
+1
2πΎ3ππ₯ (π‘ β β2) , π = 1, 2, . . . , π.
(4)
The overall T-S fuzzy state feedback control law is inferred as π’ (π‘) = βπ π=1 ππ(π (π‘)) [πΎ1ππ₯ (π‘) +12πΎ2ππ₯ (π‘ β β1) +1 2πΎ3ππ₯ (π‘ β β2)] . (5)
Remark 1. It is noted that the controller given in (5) covers
the special cases of the memoryless controller whenπΎ2π =
πΎ3π = 0 and the purely delayed controller when πΎ1π = 0,
respectively.
Combining system (3) with the control law (5), the
resulting closed-loop system can be expressed as follows:
ππ₯ (π‘) = βπ π=1 π β π=1 ππ(π (π‘)) ππ(π (π‘)) Γ [ (π΄π+ π΅ππΎ1π) π₯ (π‘) + π΄πππ₯ (π‘ β ππ) +1 2π΅ππΎ2ππ₯ (π‘ β β1) + 1 2π΅ππΎ3ππ₯ (π‘ β β2)] . (6) Before ending this section, we introduce the following lemmas as to be used to prove our main results in the following sections.
Lemma 2 (see [9]). Consider an interconnected system with
two subsystems ΜS1and ΜS2:
Μ
S1: π§ (π‘) = Gπ (π‘) , Μ
S2: π (π‘) = Ξπ§ (π‘) , (7)
where the forward subsystem ΜS1 is known, the feedback subsystem ΜS2is unknown and time-varying, and assume that
Μ
S1 is internally stable. The closed-loop system formed by ΜS1 and ΜS2is asymptotically stable for allΞ β π· β {Ξ : βΞβββ€ 1}
if there exist matrices{ππ€, ππ§} β T satisfied:
T β { {ππ€, ππ§} β Rπ€Γπ€Γ Rπ§Γπ§: ππ€, ππ§ nonsigular;
σ΅©σ΅©σ΅©σ΅©
σ΅©ππ€β Ξ β ππ§β1σ΅©σ΅©σ΅©σ΅©σ΅©ββ€ 1} ,
(8)
such that the following SSG condition holds:
σ΅©σ΅©σ΅©σ΅©
σ΅©ππ§β G β ππ€β1σ΅©σ΅©σ΅©σ΅©σ΅©ββ€ 1. (9)
Lemma 3 (see [29]). For any constant positive semidefinite
symmetric matrixπ, two positive integers π and π0 satifying
π β₯ π0β₯ 1, the following inequality holds:
[βπ π=π0 π₯ (π)] π π [βπ π=π0 π₯ (π)] β€ (π β π0+ 1) π β π=π0 π₯π(π) ππ₯ (π) . (10)
Lemma 4 (see [30]). The property of delta operator: for any
time functionπ₯(π‘) and π¦(π‘), it holds that
π (π₯ (π‘) π¦ (π‘)) = ππ₯ (π‘) π¦ (π‘) + π₯ (π‘) ππ¦ (π‘) + πππ₯ (π‘) ππ¦ (π‘) , (11)
whereπ is the sampling period.
3. Model Transformation
In this paper, the T-S fuzzy delta operator system with time-varying delay is investigated by an IO approach. By this
method, the termπ₯(π‘ β ππ) is approximated and the error
is written into the feedback path. The recent work in [31]
proposed a two-term approximation method (1/2)[π₯(π‘ β
β1) + π₯(π‘ β β2)] for π₯(π‘ β ππ), which results in a smaller approximation error bound. Inspired by this method, the approximation error of time-varying delay can be expressed as ππ‘(π‘) = π₯ (π‘ β ππ) β1 2[π₯ (π‘ β β1) + π₯ (π‘ β β2)] = π 2 βπβ1 β π=ββ2/π ππ₯ (π‘ + ππ) βπ2 β(β1β/π)β1 π=βπ ππ₯ (π‘ + ππ) = π 2 β(β1/π)β1 β π=ββ2/π π (π) ππ₯ (π‘ + ππ) , (12) whereππ₯(π‘) is defined in (2), and
π (π) = {1,β1, π β₯ βπ.π < βπ, (13)
3.1. Open-Loop Case. Considering the fuzzy delta operator
system (3) and settingπ’(π‘) = 0, we have ππ₯ (π‘) =βπ
π=1
ππ(π (π‘)) [π΄ππ₯ (π‘) + π΄πππ₯ (π‘ β ππ)] . (14)
Employing the two-term approximation method to pull out the uncertainties of time-varying delay, the open-loop system can be written as an interconnected system with a forward subsystem and a feedback one, which is described by S1: [ππ₯ (π‘) π§ (π‘) ] =βπ π=1 ππ(π (π‘)) [[ [ Ξ1 β212π΄πππβ1 πΞ1 πβ12 2 π΄πππβ1 ] ] ] Γ [π (π‘) π (π‘)] , S2: π (π‘) = πΞπβ1π§ (π‘) , (15) whereΞ1 = [π΄π (1/2)π΄ππ (1/2)π΄ππ], π(π‘) = col{π₯(π‘) π₯(π‘ β β1) π₯(π‘ββ2)}, β12= β2ββ1,π(π‘) = (2/β12)πππ‘(π‘), the scaling
matrix{π, π} β T has the appropriate dimensions, and the
operatorΞ is the maping π§(π‘) β π(π‘).
For convenience, we denote π(π‘) = πΜπ(π‘) and π§(π‘) =
πΜπ§(π‘). The system (15) can be rewritten as
S3: [ππ₯ (π‘) Μπ§ (π‘)] =βπ π=1 ππ(π (π‘)) [[ [ Ξ1 β12 2 π΄ππ Ξ1 β12 2 π΄ππ ] ] ] [π (π‘) Μπ (π‘)] , S4: Μπ (π‘) = ΞΜπ§ (π‘) . (16)
Now, the uncertainties of the time-varying delay have
been pulled out from the system (14). Furthermore, the
system has been transformed into the interconnection by the forward subsystem and the feedback subsystem. The following result shows that this reformulated system satisfies the following SSG condition.
Lemma 5. The operator Ξ : π§(π‘) β π(π‘) in system (15)
satisfies the SSG theorem if there exists the nosingular matrix
{π, π} β T, such that σ΅©σ΅©σ΅©σ΅©
σ΅©πΞπβ1σ΅©σ΅©σ΅©σ΅©σ΅© β€ 1. (17)
Proof. Following the notations in (12), under the zero initial condition, we have the following inequalities by using the
discrete Jensen inequality inLemma 3: β β π‘=0 ππ(π‘) π (π‘) = ( π β12) 2 β β π‘=0 [ [ β(β1/π)β1 β π=ββ2/π π (π) ππ₯ (π‘ + ππ)] ] π Γ πππ [ [ β(β1/π)β1 β π=ββ2/π π (π) ππ₯ (π‘ + ππ)] ] β€ π β12 β(β1/π)β1 β π=ββ2/π β β π‘=0 [ππ₯π(π‘ + ππ) πππππ₯ (π‘ + ππ)] β€ βπ 12 β(β1/π)β1 β π=ββ2/π β β π‘=0 [ππ₯π(π‘) πππππ₯ (π‘)] =ββ π‘=0 π§π(π‘) π§ (π‘) , (18)
which implies thatβπΞπβ1β β€ 1. The proof is completed.
3.2. Closed-Loop Case. Employing the two-term
approxima-tion method to pull out the uncertainties of time-varying
delay, the closed-loop system (6) can also be written as
an interconnected system with a forward subsystem and a feedback one, which is described by
S5: [ππ₯ (π‘) π§ (π‘)] =βπ π=1 π β π=1 ππ(π (π‘)) ππ(π (π‘)) [[ [ Ξ2 β212π΄πππβ1 πΞ2 πβ12 2 π΄πππβ1 ] ] ] Γ [π (π‘) Μπ (π‘)] , S6: π (π‘) = πΞπβ1π§ (π‘) , (19) whereΞ2 = [(π΄π+ π΅ππΎ1π) (1/2)(π΄ππ+ π΅ππΎ2π) (1/2)(π΄ππ+ π΅ππΎ3π)], and π(π‘), π(π‘), and π§(π‘) are defined as the same as the
open-loop case.
For convenience, we denote π(π‘) = πΜπ(π‘) and π§(π‘) =
πΜπ§(π‘). The system (19) can be rewritten as S7: [ππ₯ (π‘) Μπ§ (π‘)] =βπ π=1 π β π=1 ππ(π (π‘)) ππ(π (π‘)) [[ [ Ξ2 β12 2 π΄ππ Ξ2 β12 2 π΄ππ ] ] ] [π (π‘) Μπ (π‘)] , S8: Μπ (π‘) = ΞΜπ§ (π‘) . (20)
Remark 6. The definitions ofπ(π‘) and π§(π‘) for the
closed-loop system are the same as the open-closed-loop system, so it is easy to see that the closed-loop system (19) also satisfies the SSG condition.
Now the reformulated systems have been shown to satisfy the SSG condition in both the open-loop and closed-loop cases. Then the systems in (15) and (19) are asymptotically stable if both the forward subsystems are internally stable. Indeed, a frequency sweeping method is often used to check this condition [9].
Lemma 7 (see [9]). Consider the following system: Μ
S1: π§ (π‘) = Gπ (π‘) , Μ
S2: π (π‘) = Ξπ§ (π‘) . (21)
The aforementioned system is internally asymptotically stable if there exist a scalarπ > 0 and a Lyapunov Krasovskii functionalπ(π‘) satisfying
π (π‘) > πβπ₯ (π‘)β2, (22)
such that the functional
π€ (π‘) = Μπ (π‘) + π§π(π‘) π§ (π‘) β ππ(π‘) π (π‘) (23)
statisfies
π€ (π‘) β€ βπβπ₯ (π‘)β2β πβπ (π‘)β2. (24)
4. Stability Analysis
The previous section presents a model transformation for the original system (3). The open-loop system has been converted
into an interconnected system in (15), and the closed-loop
system has been converted into (19). In this section, we
investigate the asymptotic stability of the system in (15). First, we present the following result for T-S fuzzy delta system with time-varying delay.
Theorem 8. Consider T-S fuzzy delta operator system in (14).
the fuzzy delta operator system (14) with time-varying delay is
asymptotically stable if there exist positive definite symmetric matricesπ, π, π 1,π 2,π1,π2, andπ, such that the following LMIs hold forπ = 1, 2, . . . , π:
Ξ¦π = [ [ [ [ [ [ [ [ [ [ [ [ Ξ¦π(1, 1) ππ΄π 12ππ΄ππ 12ππ΄ππ β212ππ΄ππ β Ξ¦π(2, 2) 12ππ΄ππ+π β1 1 1 2ππ΄ππ+π β2 2 β12 2 ππ΄ππ β β βπ1β14π βπ β1 1 β 1 4π β β12 4 π β β β βπ2β14π βπ β2 2 β β12 4 π β β β β ββ212 4 π β π ] ] ] ] ] ] ] ] ] ] ] ] < 0, (25) where Ξ¦π(1, 1) = ππ + β1π 1+ β2π 2β 2π + π, Ξ¦π(2, 2) = ππ΄π+ π΄πππ + π +β12 π π + π1+ π2βπ 1 β1 β π 2 β2. (26)
Proof. Firstly, choosing a Lyapunov-Krasovskii functional
candidate in delta domain,
π (π‘) = π1(π‘) + π2(π‘) + π3(π‘) + π4(π‘) , (27) where π1(π‘) = π₯π(π‘) ππ₯ (π‘) , π2(π‘) = π ββ2/π π=β1/π π β π=1 π₯π(π‘ β ππ) ππ₯ (π‘ β ππ) , π3(π‘) = πββ1/π π=1 π₯π(π‘ β ππ) π1π₯ (π‘ β ππ) + πββ2/π π=1 π₯π(π‘ β ππ) π2π₯ (π‘ β ππ) , π4(π‘) = ββ1/π π=1 π β π=1 ππ(π‘ β ππ) π 1π (π‘ β ππ) +ββ2/π π=1 π β π=1 ππ(π‘ β ππ) π 2π (π‘ β ππ) , (28)
andπ is the sampling period, π(π) = π₯(π) β π₯(π + π), so that
ππ₯(π) = βπ(π)/π and π(π‘ β ππ) = π₯(π‘ β ππ) β π₯(π‘ β (π β 1)π).
Taking the delta operator manipulations ofπ1(π‘) along the trajectory of systemsS1andS2, and usingLemma 4, it can be obtained that ππ1(π‘) = ππ(π₯ (π‘)) ππ₯ (π‘) + π₯π(π‘) ππ (π₯ (π‘)) + π β ππ(π₯ (π‘)) ππ (π₯ (π‘)) = [ [ [ [ [ [ [ [ ππ₯ (π‘) π₯ (π‘) π₯ (π‘ β β1) π₯ (π‘ β β2) Μπ (π‘) ] ] ] ] ] ] ] ] π Γ [ [ [ [ [ [ [ [ [ ππ 0 0 0 0 β ππ΄π+ π΄π ππ 12ππ΄ππ 12ππ΄ππ β212ππ΄ππ β β 0 0 0 β β β 0 0 β β β β 0 ] ] ] ] ] ] ] ] ] Γ [ [ [ [ [ [ [ [ ππ₯ (π‘) π₯ (π‘) π₯ (π‘ β β1) π₯ (π‘ β β2) Μπ (π‘) ] ] ] ] ] ] ] ] . (29)
Taking the delta operator manipulation ofπ2(π‘), we have
ππ2(π‘) = π β π1 β2/π β π=β1/π π β π=1π₯ π(π‘ β (π β 1) π) Γ ππ₯ (π‘ β (π β 1) π) β π β π1 ββ2/π π=β1/π π β π=1 π₯π(π‘ β ππ) ππ₯ (π‘ β ππ) = ββ2/π π=β1/π π₯π(π‘) ππ₯ (π‘) β ββ2/π π=β1/π π₯π(π‘ β ππ) ππ₯ (π‘ β ππ) β€ (β12 π + 1) π₯π(π‘) ππ₯ (π‘) β π₯π(π‘ β ππ) ππ₯ (π‘ β ππ) . (30)
Substituting (12) into (30), we have ππ2(π‘) =[[[ [ π₯ (π‘) π₯ (π‘ β β1) π₯ (π‘ β β2) Μπ (π‘) ] ] ] ] π Γ [ [ [ [ [ [ [ [ [ [ [ [ [ π +βπ12π 0 0 0 β β14π β14π ββ12 4 π β β β1 4π β β12 4 π β β β ββ212 4 π ] ] ] ] ] ] ] ] ] ] ] ] ] Γ[[[ [ π₯ (π‘) π₯ (π‘ β β1) π₯ (π‘ β β2) Μπ (π‘) ] ] ] ] . (31)
Taking the delta operator manipulation ofπ3(π‘), we have
ππ3(π‘) = 1 πβ π [ β1/π β π=1 π₯π(π‘ β (π β 1) π) Γ π1π₯ (π‘ β (π β 1) π) +ββ2/π π=1 π₯π(π‘ β (π β 1) π) Γ π2π₯ (π‘ β (π β 1) π) βββ1/π π=1 π₯π(π‘ β ππ) π1π₯ (π‘ β ππ) βββ2/π π=1 π₯π(π‘ β ππ) π2π₯ (π‘ β ππ)] = π₯π(π‘) (π1+ π2) π₯ (π‘) β π₯π(π‘ β β 1) π1π₯ (π‘ β β1) β π₯π(π‘ β β2) π2π₯ (π‘ β β2) . (32)
Taking the delta operator manipulation ofπ4(π‘) and using
Lemma 3, we have ππ4(π‘) = 1 π[ [ β1/π β π=1 π β π=1 ππ(π‘ β (π β 1) π) Γ π 1π (π‘ β (π β 1) π) +ββ2/π π=1 π β π=1 ππ(π‘ β (π β 1) π) Γ π 2π (π‘ β (π β 1) π) βββ1/π π=1 π β π=1 ππ(π‘ β ππ) π 1π (π‘ β ππ) βββ2/π π=1 π β π=1 ππ(π‘ β ππ) π 2π (π‘ β ππ)] ] β€ β1 π2ππ(π‘) π 1π (π‘) β 1 β1( β1/π β π=1 π (π‘ β ππ)) π π 1(ββ1/π π=1 π (π‘ β ππ)) + β2 π2ππ(π‘) π 2π (π‘) β 1 β2( β2/π β π=1 π (π‘ β ππ)) π π 2(ββ2/π π=1 π (π‘ β ππ)) = β1ππ₯π(π‘) π 1ππ₯ (π‘) ββ1 1(π₯ (π‘ β β1) β π₯ (π‘)) π Γ π 1(π₯ (π‘ β β1) β π₯ (π‘)) + β2ππ₯π(π‘) π 2ππ₯ (π‘) β 1 β2(π₯ (π‘ β β2) β π₯ (π‘)) ππ 2(π₯ (π‘ β β2) β π₯ (π‘)) . (33)
For the positive definite symmetric matrixπ, we have the
following equation from (16):
0 = ββπ π=1 ππ(π (π‘)) 2ππ(π₯ (π‘)) π Γ [ππ₯ (π‘) β π΄ππ₯ (π‘) β12π΄ππ(π₯ (π‘ β β1) + π₯ (π‘ β β2)) ββ12 2 π΄ππΜπ (π‘)] . (34)
Substituting (34) intoππ(π‘), we have
ππ (π‘) =βπ
π=1
where Ξ£1π = [ [ [ [ [ [ [ [ [ [ [ [ Ξ£1π(1, 1) ππ΄π 12ππ΄ππ 12ππ΄ππ β212ππ΄ππ β Ξ£1π(2, 2) 12ππ΄ππ+π β1 1 1 2ππ΄ππ+π β2 2 β12 2 ππ΄ππ β β βπ1β14π βπ β1 1 β 1 4π β β12 4 π β β β βπ2β14π βπ β2 2 β β12 4 π β β β β ββ212 4 π ] ] ] ] ] ] ] ] ] ] ] ] , Ξ£1π(1, 1) = ππ + β1π 1+ β2π 2β 2π, Ξ£1π(2, 2) = ππ΄π+ π΄πππ + π +β12 π π + π1+ π2β π 1 β1 β π 2 β2, ππ= [ππ(π₯ (π‘)) π₯π(π‘) π₯π(π‘ β β1) π₯π(π‘ β β2) Μππ(π‘)] . (36) Therefore ifππ(π‘) < 0, there always exists a sufficiently small scalarπ, for π₯(π‘) ΜΈ= 0, such that ππ(π‘) β€ βπβπ₯(π‘)β2, which
indicates that the systemsS1 andS2 underπ(π‘) = 0 are
asymptotically stable.
Next, to consider the conditionπ(π‘) ΜΈ= 0, we denote π =
πππ > 0 and it can be expanded inLemma 7as
W β ππ (π‘) + π§π(π‘) π§ (π‘) β ππ(π‘) π (π‘) = βπ π=1 ππ(π (π‘)) ππΞ£1ππ + Μπ§π(π‘) πππΜπ§ (π‘) β Μππ(π‘) πππΜπ (π‘) = βπ π=1 ππ(π (π‘)) ππΞ£2ππ, (37)
whereΞ£2π= Ξ¦π. The proof is completed.
To compare the results obtained by IO approach, we give the following corollary, which is obtained by a direct LKF-based method.
Corollary 9. Consider T-S fuzzy delta operator system in (14).
Then given scalarsβ2> β1> 0 and the sampling period π > 0, the fuzzy delta operator system (14) with time-varying delay is
asymptotically stable if there exist positive definite symmetric matricesπ, π 1,π 2,π1,π2, andπ, matrices π = [π1
π2], π = [π1 π2], π = [ π1 π2], Μπ = [ Μ π11 πΜ12 Μ ππ 12 πΜ22], and π = [ π11π12 ππ
12π22], such that the
following LMIs (38)-(39) hold:
Ξ¨1=[[[ [ βΜπ11 βΜπ12 π1 β βΜπ22 π2 β β βπ π2 ] ] ] ] < 0, Ξ¨2=[[[ [ βΜπ11 βΜπ12 π1 β βΜπ22 π2 β β βπ 2 π ] ] ] ] < 0, Ξ¨3= [[ [ βπ11 βπ12 π1 β βπ22 π2 β β βπ 1 π ] ] ] < 0, (38) Ξ¨4π= [ [ [ [ [ [ Ξ¨4π(1, 1) ππ΄π ππ΄ππ 0 0 β Ξ¨4π(2, 2) Ξ¨4π(2, 3) βπ1 βπ1 β β Ξ¨4π(3, 3) βπ2 βπ2 β β β βπ1 0 β β β β βπ2 ] ] ] ] ] ] < 0, π = 1, 2, . . . , π, (39) where Ξ¨4π(1, 1) = ππ + β1π 1+ β2π 2β 2π, Ξ¨4π(2, 2) = ππ΄π+ π΄πππ + π + βπ12π + π1+ π2 + π1+ π1π+ π1+ ππ1 +β2 ππΜ11+ β1 ππ11, Ξ¨4π(2, 3) = ππ΄ππβ π1+ π2π+ π1+ ππ2 +β2 ππΜ12+βπ1π12, Ξ¨4π(3, 3) = β π β π2β π2π+ π2+ ππ2 +β2 ππΜ22+ β1 ππ22. (40)
Proof. To make a fair comparison, we choose the same LKF
candidate as in the proof ofTheorem 8.
Taking the delta operator manipulations ofπ1(π‘), π2(π‘), π3(π‘), and π4(π‘) along the trajectory of system (14), we have
ππ1(π‘) = ππ(π₯ (π‘)) ππ₯ (π‘) + π₯π(π‘) ππ (π₯ (π‘)) + π β ππ(π₯ (π‘)) ππ (π₯ (π‘)) = [ [ ππ₯ (π‘) π₯ (π‘) π₯ (π‘ β ππ) ] ] π [ [ ππ 0 0 β ππ΄π+ π΄πππ ππ΄ππ β β 0 ] ] Γ [ [ ππ₯ (π‘) π₯ (π‘) π₯ (π‘ β ππ) ] ] ,
ππ2(π‘) β€ (β12 π + 1) π₯π(π‘) ππ₯ (π‘) β π₯π(π‘ β ππ) ππ₯ (π‘ β ππ) , ππ3(π‘) = π₯π(π‘) (π1+ π2) π₯ (π‘) β π₯π(π‘ β β1) π1π₯ (π‘ β β1) β π₯π(π‘ β β2) π2π₯ (π‘ β β2) , ππ4(π‘) = β1ππ(π₯ (π‘)) π 1π (π₯ (π‘)) β 1 π β1/π β π=1 ππ(π‘ β ππ) π 1π (π‘ β ππ) + β2ππ(π₯ (π‘)) π 2π (π₯ (π‘)) β 1 π β2/π β π=1 ππ(π‘ β ππ) π 2π (π‘ β ππ) , (41) whereπ(π‘ β ππ) is defined in (27).
For a positive definite symmetric matrixπ, we have the
following equation from (14):
0 = ββπ
π=1
ππ(π (π‘)) 2ππ(π₯ (π‘)) π
Γ [ππ₯ (π‘) β π΄ππ₯ (π‘) β π΄πππ₯ (π‘ β ππ)] .
(42)
From the definition ofπ(π‘ β ππ), the following equations
hold for any matricesπ, π, and π with appropriate
dimen-sions: 0 = 2Ξ₯π(π‘) π [π₯ (π‘) β π₯ (π‘ β ππ) +βπ π=1π π(π‘ β ππ)] , 0 = 2Ξ₯π(π‘) π [π₯ (π‘ β ππ) β π₯ (π‘ β β 2) + ββ2/π π=π+1 ππ(π‘ β ππ)] , 0 = 2Ξ₯π(π‘) π [π₯ (π‘) β π₯ (π‘ β β 1) + β1/π β π=1 ππ(π‘ β ππ)] , (43) whereΞ₯π(π‘) = [π₯π(π‘)π₯π(π‘ β ππ)].
For any appropriate dimensions matrices Μπ = Μππ and
π = ππ, we have 0 = ββ2/π π=1 Ξ₯π(π‘) ΜπΞ₯ (π‘) βββ2/π π=1 Ξ₯π(π‘) ΜπΞ₯ (π‘) = β2 πΞ₯π(π‘) ΜπΞ₯ (π‘) β π β π=1 Ξ₯π(π‘) ΜπΞ₯ (π‘) β ββ2/π π=π+1 Ξ₯π(π‘) ΜπΞ₯ (π‘) , 0 = ββ1/π π=1 Ξ₯π(π‘) πΞ₯ (π‘) βββ1/π π=1 Ξ₯π(π‘) πΞ₯ (π‘) = β1 πΞ₯π(π‘) πΞ₯ (π‘) β β1/π β π=1 Ξ₯π(π‘) πΞ₯ (π‘) . (44)
Substituting (42)β(44) intoππ(π‘), we have
ππ (π‘) = βπ π=1 ππ(π‘) π1πΞ£3ππ1+βπ π=1 Ξ₯1π(π‘) Ξ£4Ξ₯1(π‘) +ββ1/π π=1 Ξ₯1π(π‘) Ξ£5Ξ₯1(π‘) + ββ2/π π=π+1 Ξ₯1π(π‘) Ξ£6Ξ₯1(π‘) , (45) whereπ1π= [ππ₯π(π‘) π₯π(π‘) π₯π(π‘βππ) π₯π(π‘ββ1) π₯π(π‘ββ2)], Ξ₯1π(π‘) = [π₯π(π‘) π₯π(π‘ β ππ) ππ(π‘ β ππ)], Ξ£3π = Ξ¨4π,Ξ£4 = Ξ¨1, Ξ£5 = Ξ¨3, andΞ£6 = Ξ¨2. SinceΞ£3π < 0, Ξ£4 < 0, Ξ£5 < 0, and Ξ£6< 0 hold, then ππ(π‘) < 0. The proof is completed.
5. Stabilization
The previous section presents the criterion for asymptotic stability of fuzzy delta operator open-loop system. In this section, we are interested in designing a controller in (5). By employing the same LKF and applying IO method, the following criteria can be obtained.
Theorem 10. Consider T-S fuzzy delta operator system (3)
with the controller in (5). Then given scalarsβ2 > β1 > 0 and
the sampling periodπ > 0, the fuzzy delta operator system with time-varying delay is asymptotically stable if there exist positive definite symmetric matricesπΊ, π, π 1,π 2,π1,π2, andπ and matrices ΜπΎ1π, ΜπΎ2π, and ΜπΎ3π, such that the following LMIs hold:
Ξ¦ππ< 0, (1 β€ π β€ π) ,
where Ξ¦ππ = [ [ [ [ [ [ [ [ [ [ [ [ [ Ξ¦ππ(1, 1) Ξ¦ππ(1, 2) Ξ¦ππ(1, 3) Ξ¦ππ(1, 4) β212π΄πππΊ β Ξ¦ππ(2, 2) Ξ¦ππ(2, 3) Ξ¦ππ(2, 4) β212π΄πππΊ β β Ξ¦ππ(3, 3) β14π ββ412π β β β Ξ¦ππ(4, 4) ββ412π β β β β ββ4212π β π ] ] ] ] ] ] ] ] ] ] ] ] ] , Ξ¦ππ(1, 1) = ππΊ + β1π 1+ β2π 2β 2πΊ + π, Ξ¦ππ(1, 2) = π΄ππΊ + π΅ππΎΜ1π, Ξ¦ππ(1, 3) =12(π΄πππΊ + π΅ππΎΜ2π) , Ξ¦ππ(1, 4) =1 2(π΄πππΊ + π΅ππΎΜ3π) , Ξ¦ππ(2, 2) = π΄ππΊ + π΅ππΎΜ1π+ πΊπ΄ππ + ΜπΎπ1ππ΅ππ + π +β12 ππ + π1+ π2β π 1 β1 β π 2 β2, Ξ¦ππ(2, 3) = 12(π΄πππΊ + π΅ππΎΜ2π) +π 1 β1, Ξ¦ππ(2, 4) = 12(π΄πππΊ + π΅ππΎΜ3π) +π 2 β2, Ξ¦ππ(3, 3) = βπ1β14π β π 1 β1, Ξ¦ππ(4, 4) = βπ2β1 4π β π 2 β2. (47)
Moreover, a suitable stabilizing fuzzy state feedback con-troller can be chosen by
π’ (π‘) =βπ π=1 ππ(π (π‘)) [πΎ1ππ₯ (π‘) + 12πΎ2ππ₯ (π‘ β β1) +1 2πΎ3ππ₯ (π‘ β β2)] , π = 1, 2, . . . , π, (48) whereπΎ1π= ΜπΎ1ππΊβ1,πΎ2π= ΜπΎ2ππΊβ1,πΎ3π= ΜπΎ3ππΊβ1.
Proof. Choosing the same LKF candidate as in the proof of
Theorem 8, we have ππ(π‘) =βπ π=1 π β π=1ππ(π (π‘)) ππ(π (π‘)) π πΞ£ 1πππ, (49) where Ξ£1ππ = [ [ [ [ [ [ [ [ [ [ [ [ [ [ [ Ξ£1ππ(1, 1) Ξ£1ππ(1, 2) Ξ£1ππ(1, 3) Ξ£1ππ(1, 4) β212ππ΄ππ β Ξ£1ππ(2, 2) Ξ£1ππ(2, 3) Ξ£1ππ(2, 4) β212ππ΄ππ β β Ξ£1ππ(3, 3) β1 4π β β12 4 π β β β Ξ£1ππ(4, 4) ββ412π β β β β ββ212 4 π ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] , Ξ£1ππ(1, 1) = ππ + β1π 1+ β2π 2β 2π, Ξ£1ππ(1, 2) = π (π΄π+ π΅ππΎ1π) , Ξ£1ππ(1, 3) = 1 2π (π΄ππ+ π΅ππΎ2π) , Ξ£1ππ(1, 4) = 12π (π΄ππ+ π΅ππΎ3π) , Ξ£1ππ(2, 2) = π (π΄π+ π΅ππΎ1π) + (π΄π+ π΅ππΎ1π)ππ + π +β12 ππ + π1+ π2β π 1 β1 β π 2 β2, Ξ£1ππ(2, 3) = 12π (π΄ππ+ π΅ππΎ2π) +π β1 1, Ξ£1ππ(2, 4) = 1 2π (π΄ππ+ π΅ππΎ3π) + π 2 β2, Ξ£1ππ(3, 3) = βπ1β14π βπ β1 1, Ξ£1ππ(4, 4) = βπ2β1 4π β π 2 β2, (50) andπ is defined in (35).
Next, by applyingLemma 7, we have
W β ππ (π‘) + π§π(π‘) π§ (π‘) β ππ(π‘) π (π‘) = βπ π=1 π β π=1 ππ(π (π‘)) ππ(π (π‘)) ππΞ£1πππ + Μπ§π(π‘) πππΜπ§ (π‘) β Μππ(π‘) πππΜπ (π‘) = βπ π=1 π β π=1ππ(π (π‘)) ππ(π (π‘)) π πΞ£ 2πππ, (51)
where Ξ£2ππ = [ [ [ [ [ [ [ [ [ [ [ [ [ [ [ Ξ£1ππ(1, 1) + π Ξ£1ππ(1, 2) Ξ£1ππ(1, 3) Ξ£1ππ(1, 4) β212ππ΄ππ β Ξ£1ππ(2, 2) Ξ£1ππ(2, 3) Ξ£1ππ(2, 4) β212ππ΄ππ β β Ξ£1ππ(3, 3) β14π ββ412π β β β Ξ£1ππ(4, 4) ββ412π β β β β ββ4212π β π ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] . (52) It can be clearly shown that
W β βπ π=1π 2 π(π (π‘)) ππΞ£2πππ +βπ π=1 π β π<π ππ(π (π‘)) ππ(π (π‘)) ππΓ (Ξ£2ππ+ Ξ£2ππ) π. (53)
Premultiplying and postmultiplying Ξ£2ππ by
diag{πβ1 πβ1 πβ1 πβ1 πβ1}, and letting πΊ = πβ1, π 1 =
πβ1π
1πβ1,π 2= πβ1π 2πβ1,π1= πβ1π1πβ1,π2= πβ1π2πβ1,
π = πβ1ππβ1, ΜπΎ1π= πΎ1ππβ1, ΜπΎ2π= πΎ2ππβ1, and ΜπΎ3π= πΎ3ππβ1 yieldΞ¦ππ. Following a similar line in the previous process to Ξ£2ππandΞ£2ππyieldsΞ¦ππandΞ¦ππ.
SinceΞ¦ππ < 0 holds for 1 β€ π β€ π, and (Ξ¦ππ+ Ξ¦ππ) < 0 holds for1 β€ π < π β€ π,then we have W < 0. Then by using Lemma 7, the system (19) is internally asymptotically stable.
Furthermore, fromLemma 2, the fuzzy delta operator system
(3) under the controller (5) is asymptotically stable. Finally, the explicit expression of the state feedback controller is given byπΎ1π = ΜπΎ1ππΊβ1,πΎ2π = ΜπΎ2ππΊβ1, andπΎ3π= ΜπΎ3ππΊβ1. The proof is completed.
To compare the results obtained by the IO approach, we give the following corollary, which is obtained by a direct LKF-based method.
Corollary 11. Consider T-S fuzzy delta operator system (3)
with the controller in (5). Then given scalarsβ2 > β1 > 0
and the sampling periodπ > 0, the fuzzy delta operator system with time-varying delay is asymptotically stable if there exist positive definite symmetric matricesπΊ, π 1,π 2,π1,π2, andπ and matricesπ = [π1 π2], π = [ π1 π2], π = [ π1 π2], π = [ π11π12 ππ12π22], π = [π11 π12
ππ12 π22] and ΜπΎ1π, such that (38) and the following LMIs
hold: Ξ¨4ππ< 0 (1 β€ π β€ π) , Ξ¨4ππ+ Ξ¨4ππ< 0 (1 β€ π < π β€ π) , (54) where Ξ¨4ππ= [ [ [ [ [ [ [ [ Ξ¨4ππ(1, 1) π΄ππΊ + π΅ππΎΜ1π π΄πππΊ 0 0 β Ξ¨4ππ(2, 2) Ξ¨4ππ(2, 3) βπ1 βπ1 β β Ξ¨4ππ(3, 3) βπ2 βπ2 β β β βπ1 0 β β β β βπ2 ] ] ] ] ] ] ] ] , Ξ¨4ππ(1, 1) = ππΊ + β1π 1+ β2π 2β 2πΊ, Ξ¨4ππ(2, 2) = π΄ππΊ + π΅ππΎΜ1π+ πΊπ΄ππ + ΜπΎπ1ππ΅ππ + π +β12 π π + π1+ π2+ π1+ ππ1 + π1+ ππ1 +βπ2π11+βπ1π11, Ξ¨4ππ(2, 3) = π΄πππΊ β π1+ ππ2 + π1+ ππ2 +β2 ππ12+βπ1π12, Ξ¨4ππ(3, 3) = β π β π2β ππ2 + π2+ ππ2 +β2 ππ22+βπ1π22. (55)
Moreover, a suitable stabilizing fuzzy state feedback con-troller is given by
π’ (π‘) =βπ
π=1
ππ(π (π‘)) πΎ1ππ₯ (π‘) , π = 1, 2, . . . , π, (56)
whereπΎ1π= ΜπΎ1ππΊβ1.
Proof. Choosing the same LKF candidate as in the proof of
Theorem 8, we have ππ (π‘) = βπ π=1 π β π=1 ππ(π (π‘)) ππ(π (π‘)) ππ1Ξ£3πππ1 +βπ π=1 Ξ₯1π(π‘) Ξ£4Ξ₯1(π‘) +ββ1/π π=1 Ξ₯1π(π‘) Ξ£5Ξ₯1(π‘) + ββ2/π π=π+1 Ξ₯1π(π‘) Ξ£6Ξ₯1(π‘) , (57)
where Ξ£3ππ= [ [ [ [ [ [ Ξ£3ππ(1, 1) π (π΄π+ π΅ππΎ1π) ππ΄ππ 0 0 β Ξ£3ππ(2, 2) Ξ£3ππ(2, 3) βπ1 βπ1 β β Ξ£3ππ(3, 3) βπ2 βπ2 β β β βπ1 0 β β β β βπ2 ] ] ] ] ] ] , Ξ£3ππ(1, 1) = ππ + β1π 1+ β2π 2β 2π, Ξ£3ππ(2, 2) = π (π΄π+ π΅ππΎ1π) + (π΄π+ π΅ππΎ1π)ππ + π +β12 π π + π1+ π2+ π1+ π1π+ π1+ ππ1 +β2 ππΜ11+ β1 ππ11, Ξ£3ππ(2, 3) = ππ΄ππβ π1+ π2π+ π1+ ππ2 +β2 ππΜ12+βπ1π12, Ξ£3ππ(3, 3) = β π β π2β π2π+ π2+ π2π +β2 ππΜ22+ β1 ππ22, (58) andππ1,Ξ₯1π,Ξ£4,Ξ£5, andΞ£6are defined in (45).
It can be clearly shown that
ππ (π‘) β βπ π=1 π2 π(π (π‘)) π1πΞ£3πππ1 +βπ π=1 π β π<πππ(π (π‘)) ππ(π (π‘)) π π 1(Ξ£3ππ+ Ξ£3ππ) π1 +βπ π=1 Ξ₯1π(π‘) Ξ£4Ξ₯1(π‘) +ββ1/π π=1 Ξ₯1π(π‘) Ξ£5Ξ₯1(π‘) + ββ2/π π=π+1 Ξ₯1π(π‘) Ξ£6Ξ₯1(π‘) . (59)
Premultiplying and postmultiplying Ξ£3ππ by
diag{πβ1 πβ1 πβ1 πβ1 πβ1}, premultiplying and
postmultiplyingΞ£4, Ξ£5, Ξ£6by diag{πβ1 πβ1 πβ1}, and letting πΊ = πβ1,π 1 = πβ1π 1πβ1,π 2 = πβ1π 2πβ1,π1 = πβ1π1πβ1, π2=πβ1π2πβ1,π=πβ1ππβ1,π1=πβ1π1πβ1,π2= πβ1π2πβ1, π1=πβ1π 1πβ1,π2=πβ1π2πβ1,π1=πβ1π1πβ1,π2=πβ1π2πβ1, π11 = πβ1πΜ 11πβ1, π12 = πβ1πΜ12πβ1, π22 = πβ1πΜ22πβ1, π11 = πβ1π11πβ1, π12 = πβ1π12πβ1, π22 = πβ1π22πβ1, and Μ πΎ1π = πΎ1ππβ1 yieldΞ¨
4ππ,Ξ¨1,Ξ¨2, andΞ¨3. Following a similar
line of the previous process toΞ£3ππ andΞ£3ππyields Ξ¨4ππ and Ξ¨4ππ.
SinceΞ¨4ππ < 0 holds for 1 β€ π β€ π, and (Ξ¨4ππ+ Ξ¨4ππ) < 0 holds for1 β€ π < π β€ π, Ξ£4< 0, Ξ£5 < 0, and Ξ£6 < 0,then we haveππ(π‘) < 0. Therefore the fuzzy delta operator system (3)
Table 1: Comparisons of maximum allowed delay upper boundβ2
forExample 12withβ1= 0.8.
Method β2(π = 0.01)
Result ofCorollary 9 Infeasible
Result ofTheorem 8 0.933
under the controller (59) is asymptotically stable. Finally, the explicit expression of the state feedback controller is given by πΎ1π= ΜπΎ1ππΊβ1. The proof is completed.
6. Simulation Examples
In this section, three examples are provided to demonstrate the effectiveness of the proposed results.
Example 12 (Stability Analysis). Consider a T-S fuzzy delta
operator system with time-varying delay in the form of (1)
with parameters given by
π΄1= [β2 00 β0.9] , π΄2= [β1 0.50 β1] , π΄π1= [β1 0β1 β1] , π΄π2= [β1 00.1 β1] .
(60)
In this example, for a given delay lower boundβ1 = 0.8,
we seek for the admissible upper boundβ2, which guarantees
the asymptotic stability of the open-loop system. Choosing
the sampling periodπ = 0.01, the obtained results are listed
inTable 1.
Table 1shows that the proposed result inTheorem 8is less
conservative than that inCorollary 9, which demonstrates
the advantages of our method.Table 2shows the delay upper
boundβ2under different delay lower boundβ1and different
sampling periodπ. It is obvious that the delay upper bound β2 increases gradually as the sampling rate rises, which indicates the advantage of the delta operator fuzzy system at high sampling rate.
Example 13 (Controller Design). To further illustrate the
effectiveness of our method for controller design, we consider the following T-S fuzzy delta operator system with time-varying delay:
ππ (π‘) =βπ
π=1
ππ(π (π‘)) [π΄ππ₯ (π‘) + π΄πππ₯ (π‘ β ππ) + π΅ππ’ (π‘)] ,
(61) whereπ΄π, π΅π, andπ΄ππ(π = 1, 2) are given by
π΄1= [0 0.60 1 ] , π΄π1= [0.5 0.90 2 ] ,
π΅1= [11], π΄2= [1 01 0] ,
π΄π2= [0.9 01 1.6] , π΅2= [11].
Table 2: Comparisons of maximum allowed delay upper boundβ2by differentβ1andπ forExample 12.
Method π = 0.01 π = 0.05 π = 0.1
β1 0.1 0.4 0.8 0.1 0.4 0.8 0.1 0.4 0.8
Result ofTheorem 8 0.732 0.790 0.933 0.685 0.749 0.901 0.626 0.700 0.863 Table 3: Comparisons of maximum allowed delay upper boundβ2by differentβ1andπ forExample 13.
Method π = 0.01 π = 0.05 π = 0.1
β1 0.1 0.4 0.8 0.1 0.4 0.8 0.1 0.4 0.8
Result ofCorollary 11 0.185 β β 0.179 β β 0.172 β β
Result ofTheorem 10 0.428 0.668 0.951 0.418 0.658 0.941 0.406 0.646 0.929
For different delay lower bounds β1, the allowed delay
upper bounds β2 are listed in Table 3. It can be seen that
the proposed results inTheorem 10are less conservative than
those inCorollary 11.
The fuzzy controller gains forπ = 0.01, β1 = 0.8, and
β2 = 0.951 byTheorem 10are given as
πΎ11= [1.2781 β4.4103] , πΎ12= [0.0812 β2.9757] , πΎ21 = [β0.1010 β2.0993] , πΎ22 = [β1.0592 β2.5416] , πΎ31 = [β0.1064 β1.9295] , πΎ32 = [β1.0592 β2.5414] . (63)
Example 14. To illustrate the application of our method, we
consider the following truck-trailer system given in [32]:
Μπ₯ 1(π‘) = βππΏπ‘π£π‘1 0π₯1(π‘) β (1 β π) π£π‘1 πΏπ‘0π₯1(π‘ β π (π‘)) + π£π‘1 ππ‘0π’ (π‘) , Μπ₯ 2(π‘) = ππΏπ‘π£π‘1 0π₯1(π‘) + (1 β π) π£π‘1 πΏπ‘0π₯1(π‘ β π (π‘)) , Μπ₯ 3(π‘) = π£π‘π‘1 0 sinπ₯2(π‘) + π π£π‘1 2πΏπ₯1(π‘) + (1 β π)π£π‘2πΏ1π₯1(π‘ β π (π‘)) , (64)
whereπ₯1(π‘) is the angular difference between the truck and
trailer,π₯2(π‘) is the angle of the trailer, and π₯3(π‘) is the vertical position of rear end of the trailer.
The model parameters are given as π = 2.8, πΏ = 5.5,
π£ = β1.0, π‘1 = 2.0, and π‘0 = 0.5, and π β [0, 1] is a retarded coefficient with limits 0 and 1 corresponding to delay-free term and to a full-delay term. The premise variable is chosen asπ(π‘) = π₯2(π‘) + π(π£π‘1/πΏπ‘0)π₯1(π‘) + (1 β π)(π£π‘1/πΏπ‘0)π₯1(π‘ β π(π‘)),
and the sampling periodπ = 0.01. The following fuzzy rules
via delta operator are employed by
Plant Rule 1: IF π(π‘) = is about 0 rad, THEN
ππ₯ (π‘) = π΄1π₯ (π‘) + π΄π1π₯ (π‘ β ππ) + π΅1π’ (π‘) , (65) Plant Rule 2: IF π(π‘) = is about π rad or -π rad, THEN
ππ₯ (π‘) = π΄2π₯ (π‘) + π΄π2π₯ (π‘ β ππ) + π΅2π’ (π‘) . (66)
The membership functions for Rule 1 and Rule 2 are given by π = { { { { { { { { { { { { { π1= (1 β 1 1 + exp (β3 (π (π‘) β 0.5π))) Γ (1 β 1 1 + exp (β3 (π (π‘) + 0.5π))) , π2= 1 β π1, (67) and with π΄1= [ [ 0.509 0 0 β0.509 0 0 0.509 β4 0 ] ] , π΄π1= [ [ 0.218 0 0 β0.218 0 0 0.218 0 0 ] ] , π΅1= [ [ β1.4286 0 0 ] ] , π΄2= [ [ 0.509 0 0 β0.509 0 0 0.810 β6.366 0 ] ] , π΄π2= [ [ 0.218 0 0 β0.218 0 0 0.347 0 0 ] ] , π΅2= [ [ β1.4286 0 0 ] ] . (68)
0 20 40 60 80 100 120 140 160 180 200 0 5 Time (s) St at e β5 β10 π₯1 π₯2 π₯3
Figure 1: State responses for the closed-loop system inExample 14.
Assume the time-varying delay 1 β€ ππ β€ 2, and the
initial conditionπ₯(π‘0) = [β0.5π 0.75π β5]π. The fuzzy delta
operator controller gains byTheorem 10are given as
πΎ11= [2.2108 β2.7252 0.1445] , πΎ12= [2.2620 β3.0776 0.1453] , πΎ21= [0.5423 0.0608 β0.0046] , πΎ22= [0.5656 0.0503 β0.0038] , πΎ31= [0.5467 0.0095 β0.0015] , πΎ32= [0.5689 0.0079 β0.0012] . (69)
As shown inFigure 1, the states of the closed-loop system converge to zero under the obtained fuzzy delta operator state-feedback controller, which demonstrates the effective-ness of our method.
7. Conclusion
This paper proposes an input-output method to analysis and synthesis of T-S fuzzy delta operator systems with time-varying delay. The two-term approximation method has been employed to transform the fuzzy delta operator system with time-varying delay into a feedback interconnection form. Based on a Lyapunov-Krasovskii functional in delta operator domain, the SSG method is suggested for the interconnected system. Numerical examples are given to demonstrate the advantages and less-conservatism of the proposed results.
Acknowledgments
The work described in this paper was supported in part by the National Natural Science Foundation of China (nos. 61104112 and 61004038), in part by the Fundamental Research Funds for the Central Universities (no. HIT. NSRIF. 201162), and the China Postdoctoral Science Foundation (no. 2012M510960).
References
[1] M. Sugeno, Industrial Applications of Fuzzy Control, Elsevier, New York, NY, USA, 1985.
[2] T. Tanaka and H. O. Wang, Fuzzy Control Systems Design and
Analysis: A Linear Matrix Inequality Approach, John Wiley &
Sons, New York, NY, USA, 2001.
[3] J. B. Qiu, G. Feng, and H. J. Gao, βFuzzy-model-based piecewise Hβ static-output-feedback controller design for networked
nonlinear systems,β IEEE Transactions on Fuzzy Systems, vol. 18, no. 5, pp. 919β934, 2010.
[4] J. B. Qiu, G. Feng, and H. J. Gao, βNonsynchronized-state estimation of multichannel networked nonlinear systems with multiple packet dropouts via T-S fuzzy-affine dynamic models,β
IEEE Transactions on Fuzzy Systems, vol. 19, no. 1, pp. 75β90,
2011.
[5] S. G. Cao, N. W. Rees, and G. Feng, βAnalysis and design for a class of complex control systems. II. Fuzzy controller design,β
Automatica, vol. 33, no. 6, pp. 1029β1039, 1997.
[6] M. Chadli and H. Karimi, βRobust observer design for unknown inputs Takagi-Sugeno models,β IEEE Transactions on
Fuzzy Systems, 2012.
[7] M. Chadli and T. M. Guerra, βLMI solution for robust static out-put feedback control of discrete Takagi-Sugeno fuzzy models,β
IEEE Transactions on Fuzzy Systems, vol. 20, no. 6, pp. 1160β1165,
2012.
[8] 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.
[9] K. Gu, V. Kharitonov, and J. Chen, Stability of Time-Delay
Systems, Birkhauser, Boston, Mass, USA, 2003.
[10] S. Xu and J. Lam, βRobustHβcontrol for uncertain discrete-time-delay fuzzy systems via output feedback,β IEEE
Transac-tions on Fuzzy Systems, vol. 13, no. 1, pp. 82β93, 2005.
[11] Z. Zuo and Y. Wang, βRobust stability and stabilisation for non-linear uncertain time-delay systems via fuzzy control approach,β
IET Control Theory & Applications, vol. 1, no. 1, pp. 422β429,
2007.
[12] H. N. Wu and H. X. Li, βNew approach to delay-dependent stability analysis and stabilization for continuous-time fuzzy systems with time-varying delay,β IEEE Transactions on Fuzzy
Systems, vol. 15, no. 3, pp. 482β493, 2007.
[13] J. B. Qiu, G. Feng, and H. J. Gao, βObserver-based piecewise affine output feedback controller synthesis of continuous-time T-S fuzzy affine dynamic systems using quantized measure-ments,β IEEE Transactions on Fuzzy Systems, vol. 20, no. 6, pp. 1046β1062, 2012.
[14] H. Y. Li, B. Chen, Q. Zhou, and W. Y. Qian, βRobust stability for uncertain delayed fuzzy hopfield neural networks with Markovian jumping parameters,β IEEE Transactions on Systems,
Man, and Cybernetics B, vol. 39, no. 1, pp. 94β102, 2009.
[15] H. Y. Li, H. H. Liu, H. J. Gao, and P. Shi, βReliable fuzzy control for active suspension systems with actuator delay and fault,β
IEEE Transactions on Fuzzy Systems, vol. 20, no. 2, pp. 342β357,
2012.
[16] L. G. Wu and W. X. Zheng, βWeightedHβmodel reduction for linear switched systems with time-varying delay,β Automatica, vol. 45, no. 1, pp. 186β193, 2009.
[17] L. G. Wu, X. G. Su, and P. Shi, βSliding mode control with boundedL2 gain performance of Markovian jump singular time-delay systems,β Automatica, vol. 48, no. 8, pp. 1929β1933, 2012.
[18] R. Middleton and G. Goodwin, βImproved finite word length characteristics in digital control using delta operators,β IEEE
Transactions on Automatic Control, vol. 31, no. 11, pp. 1015β1021,
1986.
[19] M. A. Garnero, G. Thomas, B. Caron, J. F. Bourgeois, and E. Irving, βPseudocontinuous identification application to adap-tive pole placement control using the delta-operator,β
Rairo-Automatique-Productique Informatique Industrielle-Automatic Control Production Systems, vol. 26, no. 2, pp. 147β166, 1992.
[20] G. Li and M. Gevers, βComparative study of finite wordlength effects in shift and delta operator parameterizations,β IEEE
Transactions on Automatic Control, vol. 38, no. 5, pp. 803β807,
1993.
[21] C. P. Neuman, βTransformations between delta and forward shift operator transfer-function models,β IEEE Transactions on
Systems Man and Cybernetics, vol. 23, no. 2, pp. 295β296, 1993.
[22] K. Premaratne, R. Salvi, N. R. Habib, and J. P. LeGall, βDelta-operator formulated discrete-time approximations of continuous-time systems,β IEEE Transactions on Automatic
Control, vol. 39, no. 3, pp. 581β585, 1994.
[23] S. Zhou and T. Li, βRobust stabilization for delayed discrete-time fuzzy systems via basis-dependent Lyapunov-Krasovskii function,β Fuzzy Sets and Systems, vol. 151, no. 1, pp. 139β153, 2005.
[24] J. Qiu, G. Feng, and J. Yang, βA new design of delay-dependent robust H1 filtering for discrete-time T-S fuzzy systems with time-varying delay,β IEEE Transactions on Fuzzy Systems, vol. 17, no. 5, pp. 1044β1058, 2009.
[25] H. Gao and T. Chen, βStabilization of nonlinear systems under variable sampling: a fuzzy control approach,β IEEE Transactions
on Fuzzy Systems, vol. 15, no. 5, pp. 972β983, 2007.
[26] Z. R. Xiang, Q. W. Chen, W. L. Hu, and D. J. Zhang, βRobust sta-bility analysis and control for fuzzy systems with uncertainties using the delta operator,β Control and Decision, vol. 18, no. 6, pp. 720β723, 2003.
[27] D. Q. Li, C. Y. Sun, and S. M. Fei, βStabilizing controller synthesis of delta-operator formulated fuzzy dynamic systems,β
Proceedings of the International Conference on Machine Learning and Cybernetics, no. 1, pp. 417β422, 2004.
[28] H. Yang, P. Shi, J. Zhang, and J. Qiu, βRobustHβcontrol for a class of discrete time fuzzy systems via delta operator approach,β
Information Sciences, vol. 184, pp. 230β245, 2012.
[29] X. Jiang, Q. L. Han, and X. Yu, βStability criteria for linear discrete-time systems with interval-like time-varying delay,β in
Proceedings of the American Control Conference, pp. 2817β2822,
2005.
[30] J. Qiu, Y. Xia, H. Yang, and J. Zhang, βRobust stabilisation for a class of discrete-time systems with time-varying delays via delta operators,β IET Control Theory & Applications, vol. 2, no. 1, pp. 87β93, 2008.
[31] K. Gu, Y. Zhang, and S. Xu, βSmall gain problem in cou-pled differential-difference equations, time-varying delays, and direct Lyapunov method,β International Journal of Robust and
Nonlinear Control, vol. 21, no. 4, pp. 429β451, 2011.
[32] H. J. Gao, Z. D. Wang, and C. H. Wang, βImproved Hβ control of discrete-time fuzzy systems: a cone complementarity linearization approach,β Information Sciences, vol. 175, no. 1-2, pp. 57β77, 2005.