Asymptotically Necessary and Sufficient Quadratic Stability Conditions of T-S Fuzzy Systems Using Staircase Membership Function and Basic Inequality ()
1. Introduction
The Takagi-Sugeno (T-S) fuzzy system provides an effective approach for the control synthesis of nonlinear systems [1] [2] [3] [4]. The T-S fuzzy system represents a nonlinear system by fuzzily combining a series of linear subsystems with membership functions, which makes it possible to apply control synthesis methods for linear systems to nonlinear systems. The membership functions, including the nonlinear factors of the original system, play an important role in constructing T-S fuzzy systems [5] [6]. The stability and control synthesis of T-S fuzzy systems have been extensively studied based on Lyapunov stability theory [7] [8] [9] [10]. In early studies, the stability and stabilizability conditions were usually obtained without considering the membership functions, which led to conservative control design. Recent studies have indicated that an efficient way to lower the conservatism of the stability conditions of T-S fuzzy systems is incorporating the information of membership functions in the stability analysis [5] [11] [12]. The upper bounds on the cross products of membership functions were utilized to relax the stability and performance conditions of T-S fuzzy systems [13]. To incorporate more information on the membership functions in the stability analysis, the local boundary information of the membership functions was employed by dividing the operation region of the membership functions into sub-regions [14]. The stability conditions were also relaxed by incorporating the shape information of the membership functions in the form of polynomial constraints [15].
Approximating the membership functions with some special functions is an effective way to incorporate the information of the membership functions in stability analysis [5] [6] [12] [16]. Staircase membership functions were proposed to approximate the continuous membership functions of a T-S fuzzy system and a fuzzy controller in [17], and sufficient stability conditions in terms of linear matrix inequalities (LMIs) were derived by introducing some slack matrices. A new relaxed stability condition of T-S fuzzy control systems was obtained by using both staircase membership functions and quadratic fuzzy Lyapunov functions in the stability analysis [18]. Membership-function-dependent controller synthesis was investigated in [12] [19], where the information of the membership functions was utilized by approximating the original membership functions with staircase membership functions, and the controller was designed based on piecewise Lyapunov functions.
Previous studies usually found sufficient conditions for the stability of T-S fuzzy systems, and it was often needed to introduce slag matrices, which led to complicated stability results. In this article, the asymptotically necessary and sufficient quadratic stability conditions of T-S fuzzy systems are derived using the staircase membership function and a basic inequality. The derivation process of the stability results is simple and easy to understand. The paper is organized as follows. In Section 2, the T-S fuzzy model and fuzzy controller are briefly described. In Section 3, the stability of T-S fuzzy systems is investigated based on quadratic Lyapunov functions. The asymptotically necessary and sufficient quadratic stability conditions are derived using the staircase membership functions and a basic inequality. Case studies are given to verify the validity of the obtained stability results. In Section 4, a fuzzy controller is designed based on the obtained stability results. Finally, Section 5 presents a summary and discussion.
2. Preliminaries
A T-S fuzzy model system is described as
Model Rule i: IF
is
and … and
is
, THEN
(1)
where the dot denotes the derivative with respect to time t,
(
) are the premise variables,
(
) are the fuzzy sets,
is the state vector,
is the input vector.
The linear systems (1) are called the subsystems of the T-S fuzzy system. The T-S fuzzy system is obtained by combining the subsystems (1),
(2)
where
are the vector of premise variables,
is the operation domain of the premise variables,
the term
represents the grade of membership of
in the fuzzy set
. One has
and
for all i.
The parallel distributed compensation (PDC) is used to close the controlled fuzzy system. The PDC reads
(3)
where
(
) are the feedback strength matrices, which are determined by the control design.
Substituting Equation (3) into Equation (2) leads to the closed-loop fuzzy system
(4)
The stability of Equation (4) is investigated by considering the quadratic Lyapunov function
(5)
where
is a positive matrix.
From Equations (4) and (5), one has
(6)
where
,
(
), and
The controlled system (4) is stable if there exists a positive matrix P such that the inequalities
hold for any
. However, there are infinite inequalities
, since
is a continuous function of the premise variables, and one cannot determine the stability of system (4) by checking the infinite inequalities. To overcome this difficulty, the continuous membership functions
are approximated with staircase membership functions. Thus, the infinite inequalities
are replaced by finite inequalities. Then, the asymptotically necessary and sufficient quadratic stability conditions of the controlled system (4) are obtained using a basic inequality.
3. Asymptotically Necessary and Sufficient Quadratic Stability Condition
First, a basic inequality that plays a key role in deriving the main results is introduced.
Lemma 1: Assume that A and B are two isotype matrices. Then, for any
, the following basic inequality holds:
(7)
Proof: The following equality holds:
implies that
, which concludes the proof.
For the sake of converting the infinite inequalities
to finite inequalities, it is required to approximate the continuous membership functions
with staircase membership functions. To this end, the operation domain
of the premise variables is divided into a series of subdomains
(
), where
represents the empty set. Let
denote the maximum diameter of the subdomains
and
. The staircase membership functions are defined as
(8)
where
is the center point of
(
). The staircase membership functions
have a finite number of values rather than the infinite number of values of the original continuous membership functions
, and one has
and
for all i.
The following notation is introduced
The following equalities hold:
(9)
For brevity,
are represented by
below.
Theorem 1: The closed-loop system (4) is stable if there exist a positive matrix
and positive real numbers
(
) and
(
), such that
(10)
where
, and E is the identity matrix.
Proof: The closed-loop system (4) is rewritten as
(11)
The time-derivative of the quadratic Lyapunov function (5) is
(12)
The following inequalities are derived from the results of Lemma 1,
(13)
(14)
Substituting Equations (13) and (14) into Equation (12) yields
(15)
where
Applying Schur complements [1] on
leads to the inequalities (10), which concludes the proof.
It must be pointed out that the matrices on the left side of the inequalities (10) are ill-conditioned because the parameters
and
are small when N is large. This makes it difficult to solve the LMIs (10) with the conventional convex-programming techniques. To reduce the condition number of the matrices, let
and
in the inequalities (13) and (14), respectively. Then, we have the following results.
Theorem 2: The closed-loop system (4) is stable if there exists a positive matrix
, such that
(16)
Proof: Substituting
and
into Equations (13) and (14) leads to
(17)
(18)
Substituting Equations (17) and (18) into Equation (12) leads to
(19)
where
Applying the Schur complement on
leads to the inequalities (16), which concludes the proof.
Theorem 3: The quadratic stability conditions proposed in Theorems 1 and 2 are asymptotically necessary and sufficient for the stability of the system (4).
Proof: It is only necessary to prove that the conditions proposed in Theorems 1 and 2 are asymptotically necessary stability conditions of the system (4). Let P be the positive symmetric matrix, such that
, which implies that
. There exists a small positive number
, such that
. Since
and
are adjustable positive numbers, without loss of generality, let
and
. Then,
Since
and
, there is a positive number
, such that
holds for
. Thus,
and
hold for
, which concludes the proof.
Case study 1: Consider a T-S fuzzy model system composed of two rules:
Model Rule i: IF
is
, THEN
(20)
where
The membership functions are
where
is the operation domain of the premise variable
.
The operation domain
is divided into uniform subdomains
(
), and the staircase membership functions are
and
for
, where
is the center of the subdomain
.
The local feedback strength matrices
(
) are determined such that −1 and −2 are the eigenvalues of the local subsystems (20). The feasible parameter regions of the adjustable parameters a and b are obtained by solving the LMIs (16) with
. The results are shown in Figure 1, where a comparison with previous results is given, which confirms the validity of the stability conditions in Theorems 1 and 2.
4. Fuzzy Controller Design
The fuzzy controller (3) is designed using the concept of PDC, which shares the same fuzzy rules as those of the T-S fuzzy system. The main results are summarized by the following theorem.
Theorem 4: The closed-loop system (4) is stabilized by the PDC controller (3) if there exist matrices
and
(
) as well as real numbers
Figure 1. Stability region (Case study 1) given by the stability conditions in [12] (
), and Theorem 2 (
).
(
) and
(
), such that
(21)
where
. The feedback strength matrices are
(
).
Proof: Letting
,
, and
(
) in Equation (12) yields
(22)
The following inequalities are derived from the results of Lemma 1:
(23)
(24)
Substituting Equations (23) and (24) into Equation (22) yields
(25)
where
Applying the Schur complements on
leads to Equation (21), which concludes the proof.
To reduce the condition number of the matrices on the left side of the inequalities (21), let
and
in Equations (23) and (24), which leads to the following results.
Theorem 5: The closed-loop system (4) is stabilized by the PDC controller (3) if there exist matrices
and
(
) such that
(26)
The feedback strength matrices are
(
).
Proof: Substituting
and
into Equations (23) and (24) leads to
(27)
(28)
Substituting Equations (27) and (28) into Equation (22) leads to
(29)
where
Applying the Schur complements to
leads to Equation (26), which concludes the proof.
Case study 2: Consider a T-S fuzzy model system composed of three rules.
Model Rule i: IF
is
, THEN
(30)
where
The membership functions are
where
is the operation domain of the premise variable
.
The staircase membership functions (8) are determined by dividing the operation domain into uniform subdomains
(
). The feasible parameter regions of the adjustable parameters a and b are obtained by solving the LMIs (26) with
. The feasible parameter region is shown in Figure 2, where a comparison with previous results is given, which confirms the validity of the stabilization conditions in Theorems 4 and 5.
5. Conclusions
Recent studies have focused on how to make use of the information of membership
Figure 2. Stability region (Case study 2) given by the stability conditions in [7] (
) and Theorem 5 (
).
functions to derive new relaxed stability and stabilization results of T-S fuzzy systems. The membership-function-approximation approaches, which can effectively incorporate the information of membership functions in stability analysis, have been frequently used to derive new relaxed stability and stabilization results. However, the stability conditions obtained in previous studies were usually sufficient for the stability of T-S fuzzy systems. In this study, asymptotically necessary and sufficient quadratic stability conditions were obtained in terms of linear matrix inequalities by utilizing staircase membership functions and a basic inequality. The derivation process of the stability results is straightforward and easy to understand.
There are some ill-conditioned matrices in the linear matrix inequalities that describe the asymptotically necessary and sufficient quadratic stability conditions of T-S fuzzy system, which makes it difficult to solve the linear matrix inequalities with conventional convex-programming techniques and severely limits the widespread use of the obtained stability results. Determining how to further reduce the condition number of the matrices in the obtained stability results is a subject worthy of future study.
Acknowledgements
This study was supported by the NSF of China (Grant number 11872197).