About this Journal Submit a Manuscript Table of Contents
Mathematical Problems in Engineering
Volume 2013 (2013), Article ID 913234, 14 pages
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

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

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.

Abstract

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 [18]. In addition, it is well known that time delay is a source of instability or performance degradation [9]. Hence, analysis and synthesis of time-delay systems and other relative studies have attracted much attention during the past years [1017]. 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 [1922]. 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 [2325].

Recently, some works on analysis and design of T-S fuzzy systems via delta operator approach were developed [2628]. 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 frequency 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 transformation method and the proof of the SSG theorem for T-S fuzzy delta operator systems with time-varying delay are presented in Section 2. In Section 3, the stability analysis and stabilization results are provided. The simulation studies are given in Section 4 to illustrate the effectiveness of the proposed method. Finally, conclusions are drawn in Section 5.

Notations. The notations used throughout this paper are standard. and represent the -dimensional Euclidean space and real matrices, respectively. represents the series connection of mapping and . The notation (≥0) means that the matrix is positive (semi) definite, denotes an identity matrix with dimension , and 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 is and is and and is , THEN where is the state variable; is control input; is a time-varying integer; is the sampling period; the bounded time-varying delay satisfies ; is the vector-valued initial condition; is the fuzzy set; is the number of IF-THEN rules; 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

The overall T-S fuzzy delta operator system with time-varying delay is inferred as follows: where , , and 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 is and is and and is , THEN

The overall T-S fuzzy state feedback control law is inferred as

Remark 1. It is noted that the controller given in (5) covers the special cases of the memoryless controller when and the purely delayed controller when , respectively.
Combining system (3) with the control law (5), the resulting closed-loop system can be expressed as follows:
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 and: where the forward subsystem is known, the feedback subsystem is unknown and time-varying, and assume that is internally stable. The closed-loop system formed by and is asymptotically stable for all if there exist matrices satisfied: such that the following SSG condition holds:

Lemma 3 (see [29]). For any constant positive semidefinite symmetric matrix , two positive integers and satifying , the following inequality holds:

Lemma 4 (see [30]). The property of delta operator: for any time function and , it holds that 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 for , which results in a smaller approximation error bound. Inspired by this method, the approximation error of time-varying delay can be expressed as where is defined in (2), and

3.1. Open-Loop Case

Considering the fuzzy delta operator system (3) and setting , we have

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 where , , , , the scaling matrix has the appropriate dimensions, and the operator is the maping .

For convenience, we denote and . The system (15) can be rewritten as

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 , such that

Proof. Following the notations in (12), under the zero initial condition, we have the following inequalities by using the discrete Jensen inequality in Lemma 3: which implies that . The proof is completed.

3.2. Closed-Loop Case

Employing the two-term approximation 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 where , and , , and are defined as the same as the open-loop case.

For convenience, we denote and . The system (19) can be rewritten as

Remark 6. The definitions of and for the closed-loop system are the same as the open-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:
The aforementioned system is internally asymptotically stable if there exist a scalar and a Lyapunov Krasovskii functional satisfying such that the functional statisfies

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). Then given scalars and the sampling period , the fuzzy delta operator system (14) with time-varying delay is asymptotically stable if there exist positive definite symmetric matrices , , , , , , and , such that the following LMIs hold for : where

Proof. Firstly, choosing a Lyapunov-Krasovskii functional candidate in delta domain, where and is the sampling period, , so that and .
Taking the delta operator manipulations of along the trajectory of systems and , and using Lemma 4, it can be obtained that
Taking the delta operator manipulation of , we have
Substituting (12) into (30), we have
Taking the delta operator manipulation of , we have
Taking the delta operator manipulation of and using Lemma 3, we have
For the positive definite symmetric matrix , we have the following equation from (16):
Substituting (34) into , we have where
Therefore if , there always exists a sufficiently small scalar , for , such that , which indicates that the systems and under are asymptotically stable.
Next, to consider the condition , we denote and it can be expanded in Lemma 7 as where . 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 and the sampling period , the fuzzy delta operator system (14) with time-varying delay is asymptotically stable if there exist positive definite symmetric matrices , , , , , and , matrices , , , , and , such that the following LMIs (38)-(39) hold: where

Proof. To make a fair comparison, we choose the same LKF candidate as in the proof of Theorem 8.
Taking the delta operator manipulations of , , , and along the trajectory of system (14), we have where is defined in (27).
For a positive definite symmetric matrix , we have the following equation from (14):
From the definition of , the following equations hold for any matrices , , and with appropriate dimensions: where .
For any appropriate dimensions matrices and , we have
Substituting (42)–(44) into , we have where , , , , , and . Since , , , and hold, then. 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 and the sampling period , the fuzzy delta operator system with time-varying delay is asymptotically stable if there exist positive definite symmetric matrices , , , , , , and and matrices , , and , such that the following LMIs hold: where
Moreover, a suitable stabilizing fuzzy state feedback controller can be chosen by where , , .

Proof. Choosing the same LKF candidate as in the proof of Theorem 8, we have where and is defined in (35).
Next, by applying Lemma 7, we have where
It can be clearly shown that
Premultiplying and postmultiplying by diag, and letting , , , , , , , , and yield . Following a similar line in the previous process to and yields and .
Since holds for , and holds for ,then we have . Then by using Lemma 7, the system (19) is internally asymptotically stable. Furthermore, from Lemma 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 , , and . 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 and the sampling period , the fuzzy delta operator system with time-varying delay is asymptotically stable if there exist positive definite symmetric matrices , , , , , and and matrices , , , , and , such that (38) and the following LMIs hold: where
Moreover, a suitable stabilizing fuzzy state feedback controller is given by where .

Proof. Choosing the same LKF candidate as in the proof of Theorem 8, we have where and , , , , and are defined in (45).
It can be clearly shown that
Premultiplying and postmultiplying by diag, premultiplying and postmultiplying by diag, and letting , , , , , , , , , , , , , , , , , , and yield , , , and . Following a similar line of the previous process to and yields and .
Since holds for , and   holds for , , , and ,then we have . Therefore the fuzzy delta operator system (3) under the controller (59) is asymptotically stable. Finally, the explicit expression of the state feedback controller is given by . 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
In this example, for a given delay lower bound , we seek for the admissible upper bound , which guarantees the asymptotic stability of the open-loop system. Choosing the sampling period , the obtained results are listed in Table 1.

tab1
Table 1: Comparisons of maximum allowed delay upper bound for Example 12 with .

Table 1 shows that the proposed result in Theorem 8 is less conservative than that in Corollary 9, which demonstrates the advantages of our method. Table 2 shows the delay upper bound under different delay lower bound and different sampling period . It is obvious that the delay upper bound increases gradually as the sampling rate rises, which indicates the advantage of the delta operator fuzzy system at high sampling rate.

tab2
Table 2: Comparisons of maximum allowed delay upper bound by different and for Example 12.

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: where , , and