Abstract

This paper studies the design of fuzzy static output feedback controllers for two kinds of fractional-order T-S fuzzy systems. The fractional order satisfies and . Based on the fractional order theory, matrix decomposition technique, and projection theorem, four new sufficient conditions for the asymptotic stability of the system and the corresponding controller design methods are given. All the results can be expressed by linear matrix inequalities, and the relationship between fuzzy subsystems is also considered. These have great advantages in solving the results and reducing the conservatism. Finally, a simulation example is given to show the effectiveness of the proposed method.

1. Introduction

Compared with the integer-order system, the fractional-order system has many advantages, for example, the integer order is a special case of the fractional-order system; the fractional-order system has global properties, and the system state depends not only on the current time but also on the past time; it can accurately describe the memory and genetic properties in physics and engineering. Therefore, in recent decades, fractional-order control systems have also been widely concerned, and important results have been obtained. For example, Chen et al. [13] made a comprehensive introduction and in-depth study of fractional-order systems. Specifically, the paper [1] considered the robust stability and stabilization of fractional-order linear systems with polyhedral uncertainties. The results obtained are not only applicable to the fractional order satisfying but also to the fractional order satisfying . For the fractional-order neural network system with time-varying delay, the literature [2] solved a challenging problem: the delay-dependent stability and stabilization of the fractional-order delay system. The literature [3] studied the stability and synchronization of the delayed neural network, and a series of very important results were given, including delay-independent stability criterion, measurable algebra criterion, and synchronization criterion. Gallegos and Duarte-Mermoud [4] investigated the stability of fractional-order and integral-order coupled systems, in which the concepts of dissipativity and passivity were extended, and the theorems of small gain and passivity for correlated systems were obtained. Liu et al. [5] used the fractional filtering method to study the backstepping controller design of the actuator fault fuzzy neural network system with completely unknown parameters and modes. Combined with the fractional adaptive law, the tracking error and compensation tracking error converged to a small enough area. Based on Lyapunov functions and the comparison principle, Jia et al. [6] designed delayed state feedback control and coupling state feedback control for fractional-order memristor-based neural networks with time delay. To sum up, the control problem of the fractional-order system is a hot issue at present, attracting a large number of researchers to participate in it.

In addition, the fuzzy theory opens up a new way to deal with the fuzzy uncertainty in nature with strict mathematical methods and proposes the method of the membership function to describe the degree of the element set [7]. When the membership degree is 1, it means that the element belongs to the set completely, when the membership degree is 0, it means that the element does not belong to the set at all, and when the membership degree belongs to the interval , it means that the element belongs to the set but does not completely belong to the set. Obviously, this is a generalization of the classical set theory. Fuzzy control is based on the fuzzy theory. By using expert language, fuzzy control can achieve good and effective control for some complex nonlinear control objects which are difficult to establish the mathematical model accurately [8, 9]. So far, two main fuzzy models have been proposed. The first model is based on the input-output model proposed in document [9]. The disadvantage is that there is a lot of useful information which is not used. The second model is the T-S fuzzy model proposed by Japanese scholars Takagi and Sugeno in 1985 [10, 11]. In [1214], it is proved that this kind of fuzzy system has the ability of universal approximation. Some recent literature studies are listed to show that the T-S fuzzy system has been widely studied. For example, based on the T-S fuzzy model, in [15], the design of the fuzzy filter for the discrete-time nonlinear networked system is studied, and a new method is proposed to ensure that the filtering error system is dissipative by using the method of event triggering and quantization. For continuous-time nonlinear time-delay systems, by using repetitive control, Rathinasamy et al. [16] proposed an improved output feedback controller design method. This method ensures that the system can track the given reference signal within the allowable error range. Li et al. [17] studied the finite-time control problem, and the sufficient conditions based on LMI were given. The research results of the output feedback can be found in the literature studies [1828]. There are also a large number of references related to the T-S fuzzy model, which we cannot be enumerated here.

Compared with many research results of the integer-order T-S fuzzy system, the research results of the fractional-order T-S fuzzy system are less. For the fractional-order T-S fuzzy system, Zheng et al. [29] studied the stabilization of the chaotic system by using the adaptive method. When the order of the fractional order considered satisfies and , respectively, the stability conditions based on LMI were proposed in [30, 31]. Huang et al. [32] studied the stabilization of the state feedback that can be applied to both the following situations: and . However, in the practical engineering field, the state of the system is often difficult to obtain directly. At this time, the state observer or output feedback control methods need to be considered. Based on the T-S fuzzy model, Duan et al. [33] studied the design problem of the nonfragile observer by using singular value decomposition of the matrix and put forward sufficient conditions of linear matrix inequalities, which guarantee that the corresponding closed-loop system is stochastic asymptotically stable; when the fuzzy antecedent variables are unmeasurable, Duan and Li [34] considered the design problem of dynamic output feedback controllers and proposed sufficient conditions for the system to be asymptotically stable; Karthick et al. [35] designed a dynamic output feedback controller by means of interference suppression and quantization; and Lin et al. and Ji et al. [36, 37] studied the design of the fuzzy static output feedback controller. The design of the static fuzzy output feedback controller will increase the fuzzy relation in the stabilization condition by a certain multiple because the product term of coefficient matrices appears, while the design state feedback only contains the product term of coefficient matrices , where is an integer, indicating the number of fuzzy rules. For the traditional T-S fuzzy system, Chaibi et al. [38] used the matrix decomposition technique to effectively separate the coefficient term and effectively reduced the fuzzy relation of one layer and proposed the design method based on the linear matrix inequality. In this paper, we try to extend the research results of Chaibi et al. [38] to the fractional-order T-S fuzzy system.

In conclusion, this paper studies the fuzzy static output feedback control of the fractional-order T-S fuzzy system. The order includes two cases: and . According to the theory of fractional differential correlation and the projection theorem, several new stabilization design methods are given. All the results are expressed by the linear matrix inequality. The main contributions of this paper are as follows: (1) the control method of the fuzzy static output feedback is extended from the integer-order fuzzy system to the fractional-order fuzzy system, so it is more practical; (2) the condition of system stabilization and controller design methods are all expressed by LMIs. Therefore, LMI toolbox of Matlab can be used to program and calculate; (3) output matrix of the system can still be completely different; (4) for some similar Lyapunov matrices, only symmetry or antisymmetry is required, no further diagonal is required, and stability conditions are relaxed; and (5) the stabilization conditions are also considered. Finally, a numerical simulation example is given to show the effectiveness of the proposed method.

Notations. Throughout this paper, denotes the dimensional Euclidean space; is the set of all real matrices; and represent the identity matrix and the zero matrix with appropriate dimensions; represents the positive definite (negative definite) matrix; the right superscript denotes the transposition of the matrix; the symbol means ; the diagonal block matrix is denoted by ; and the symbol shows the symmetric part of the block matrix.

2. Basic Definition and Lemmas

Several definitions of fractional-order differential are given in monograph [39], among which Caputo and Riemann–Liouville fractional-order differential are widely used. In this paper, we adopt the definition of Caputo fractional-order differential.

Definition 1. (see Podlubny [39]). The Caputo-type fractional derivative of order for a function is defined as follows:where is the gamma function defined as and the integer satisfies the condition .
Next, we give the following lemmas that will be used in this paper.

Lemma 1. (see Zhang et al. [40, 41]). Let be a real matrix. The fractional-order system with is asymptotically stable if and only if there exist real symmetric positive definite matrices and and skew-symmetric matrices and such thatwhere , , , and , , .

Lemma 2. (see Chilali et al. [42]). Let be a real matrix. The fractional-order system with is asymptotically stable if and only if there exists a symmetric positive definite matrix such thatwhere , .

Lemma 3. (see Chaibi et al. [38]). For matrices , and with proper dimensions, scalar , if inequalityholds, then

Lemma 4. (see Gahinet and Apkarian [43]). Given a symmetric matrix and two matrices of column , there exists a matrix such that the LMIholds if and only if the following two projection inequalities are satisfied:where and are arbitrary matrices whose columns form bases of the null bases of and , respectively.

3. Problem Description and Formation

Consider the following fractional-order T-S fuzzy systems.

Plant rule : if is , and …, and is , thenwhere the order satisfies or ; is the number of if-then rules; and are the premise variables and the fuzzy sets, respectively; , and are the state, the measurable output, and the controller, respectively; and , and are matrices with appropriate dimensions.

Using fuzzy reasoning technology, the final output of fuzzy system (8) iswhere and , ; is the membership degree of in fuzzy set .

According to the definition of the membership function, we can easily get the following properties:

For system (8), we will design the following fuzzy static output feedback controller:where are the matrices with proper dimensions to be designed.

By bringing controller (11) into system (8), we can get the closed-loop system:

The main purpose of this paper is to design static fuzzy controller (11) for system (8) so that the corresponding closed-loop system (12) is asymptotically stable.

4. Design of the Fuzzy Static Output Feedback Controller

In this section, the design methods of the fuzzy static output feedback controller for fractional-order fuzzy system (8) are given, and the corresponding closed-loop system is guaranteed to be asymptotically stable. Now, we can prove the following results.

Theorem 1. Fractional-order closed-loop system (12) with is asymptotically stable if there is scalar , proper dimensional matrices , symmetric matrices , and skew-symmetric matrices such that the following LMIs are satisfied:

In addition, the controller gain matrices can be designed aswhere

Proof. Letwhere , , and .
According to inequalities (14) and (15) and the properties of the membership function, we can getReplacing with in , we obtainwhere .
According to Lemma 3, if inequality (20) holds, thenLetThen, .
Therefore, inequality (21) can be rewritten asTaking and using Lemma 4, we have which is equivalent toThe above inequality can be rewritten asAccording to the definition of the Kronecker product, one has from (25)According to Lemma 1, if inequalities (13) and (26) hold, closed-loop system (12) with is asymptotically stable. This completes the proof.

Remark 1. Compared with [1926], this paper studies the design of the fuzzy static output feedback controller for fractional-order fuzzy systems. In general, the fuzzy static output feedback controller will generate the term , which increases the fuzzy r‐times relationship. At the same time, the controller gain matrix is located between the two matrices, which makes the design of the control more difficult. In this paper, Lemma 3 is used to ingeniously separate this item and eliminate the abovementioned difficulties. Furthermore, the relationship between fuzzy systems is considered.
Considering the relationship between fuzzy subsystems, we can prove the following conclusions.

Theorem 2. Fractional-order closed-loop system (12) with is asymptotically stable if there is scalar , proper dimensional matrices , , symmetric matrices , and skew-symmetric matrices such that (13) and the following LMIs hold:If the above matrix inequalities hold, the controller gain matrices can be designed as

Proof. According to inequalities (27) and (28), we can easily getIf holds, there is , i.e., inequality (19) holds. According to the proof process of Theorem 1, closed-loop system (12) with 0 asymptotically stable. This completes the proof.
For fractional-order system (12) with order greater than zero and less than one, two new controller design methods are proposed. Using the similar method, when the order is greater than or equal to 1 but less than 2, we can prove the following results.

Theorem 3. Fractional-order closed-loop system (12) with is asymptotically stable if there is scalar , proper dimensional matrices , , symmetric positive definite matrices , and the following LMIs are satisfied:where, and the definitions of other symbols are the same as those in Theorem 1.

Proof. Let . Because every is a symmetric positive definite matrix and the membership function is greater than 0, is also a symmetric positive definite matrix.
In the process of proving Theorem 2, let and ; starting from inequalities (31) and (32), we can get the following results from (24):According to Lemma 2, Theorem 3 ensures that closed-loop system (12) with is asymptotically stable. This completes the proof.
Similar to Theorem 1, we can prove the following result.

Theorem 4. Fractional-order closed-loop system (12) is asymptotically stable if there is scalar , proper dimensional matrices , , and symmetric positive definite matrices such that the following linear matrix inequalities hold:

The corresponding controller can be selected as

Proof. The proof process of Theorem 4 is exactly the same as that of Theorem 2, so it is omitted here.

5. Numerical Example

In order to illustrate the effectiveness of the proposed methods, a numerical simulation example is given in this part. Since the simulation methods are similar, we only verify Theorem 1.

Example 1. For system (9), the corresponding simulation parameters are selected as follows:Membership functions are taken as .
Take fractional order and initial condition of the system . When the controller , the state trajectory of the system is shown in Figure 1. Obviously, the system is unstable.
According to Theorem 1, the following feasible solutions can be obtained by using the linear matrix inequality toolbox and making :Gain matrices of the controller can be obtained by calculation:Using fuzzy controller (11), the state trajectories of closed-loop system (12) can be obtained as shown in Figure 2. As can be seen from Figure 2, the controller designed is effective.

6. Conclusion

For the fractional-order T-S fuzzy system, the controller design methods with order in two different intervals are studied. Four theorems are given to ensure that the closed-loop system is asymptotically stable. The result is expressed by the linear matrix inequality, which fully considers the feasibility and conservatism. In order to consider the feasibility, the condition of each theorem is the strict linear matrix inequality. This can be solved directly by the linear matrix inequality toolbox of Matlab. In order to reduce the conservatism, we try to make the matrix correspond to the fuzzy rule. Theorems 2 and 4 further consider the relationship between fuzzy subsystems.

Data Availability

The simulation results of this paper can be obtained by MATLAB software.

Conflicts of Interest

The author declares that there are no conflicts of interest.