• No results found

Stability analysis and stabilization of T-S fuzzy delta operator systems with time-varying delay via an input-output approach

N/A
N/A
Protected

Academic year: 2021

Share "Stability analysis and stabilization of T-S fuzzy delta operator systems with time-varying delay via an input-output approach"

Copied!
14
0
0

Loading.... (view fulltext now)

Full text

(1)

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,

1

Guanghui Sun,

1

Hamid Reza Karimi,

2

and 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, Norway

Correspondence 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.

(2)

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}

(3)

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

(4)

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).

(5)

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)

(6)

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

(7)

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 ] ] Γ— [ [ πœ•π‘₯ (𝑑) π‘₯ (𝑑) π‘₯ (𝑑 βˆ’ 𝑛𝑇) ] ] ,

(8)

πœ•π‘‰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 ≀ 𝑖 ≀ π‘Ÿ) ,

(9)

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)

(10)

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)

(11)

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].

(12)

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)

(13)

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.

(14)

[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.

References

Related documents