Abstract
Finite-time stability and stabilization problem is first investigated for continuous-time polynomial fuzzy systems. The concept of finite-time stability and stabilization is given for polynomial fuzzy systems based on the idea of classical references. A sum-of-squares- (SOS-) based approach is used to obtain the finite-time stability and stabilization conditions, which include some classical results as special cases. The proposed conditions can be solved with the help of powerful Matlab toolbox SOSTOOLS and a semidefinite-program (SDP) solver. Finally, two numerical examples and one practical example are employed to illustrate the validity and effectiveness of the provided conditions.
1. Introduction
Over the past decades, the fuzzy logic control has developed into a successful and fruitful branch of automation and control theory due to the fact that the fuzzy models are the appealing and efficient tools in approximating the complex nonlinear dynamical systems. Among different fuzzy models, the well-known Takagi-Sugeno (T-S) fuzzy model has attracted considerable research attention [1–5] and a large amount of literature has appeared on the fundamental issues of stability and stabilization for T-S fuzzy systems (see, e.g., [6, 7] and the cited therein). Very recently, Choi et al. [8] put forward a new method to formulate a framework that can describe T-S fuzzy systems with time-varying input delay and output constraints based on -dissipativity, which not only synthesized control and passivity control, but also applied the obtained results to different road conditions. In the field of the fuzzy controller design, the authors in [9] considered input saturation of the nonlinear systems and employed a variables separation approach and the small-gain approach to design an adaptive back-stepping fuzzy controller, which provided more extensive applications in practice.
Recently, the T-S fuzzy model has been extended to polynomial fuzzy model [10–15]. SOS approach to polynomial fuzzy system has been presented simultaneously and provides more extensive and/or relaxed results for the existing LMI approaches to T-S fuzzy system. A feasible solution to the SOS-based stability conditions can be found numerically with the help of a powerful Matlab toolbox SOSTOOLS [16].
Stability and stabilization conditions in terms of SOS are central to the problem of stability analysis and control design for polynomial fuzzy model, which have been investigated in the past ten years. For example, Tanaka et al. [10–14] firstly proposed SOS-based framework to obtain stability and stabilization conditions of the polynomial fuzzy systems based on polynomial Lyapunov functions. Recently, a new SOS design framework for robust control of polynomial fuzzy systems with uncertainties is presented by the research group of professor Tanaka [17]. During this period, professor Lam and his colleagues make great contributions to relax the stability and stabilization conditions. For instance, shape-dependent SOS-based stability analysis of the polynomial fuzzy-control systems is investigated in [18]. A piecewise-linear membership function [19] and a switching polynomial Lyapunov function [20] are separately proposed to facilitate the stability analysis. Some other related issues of the polynomial fuzzy model have also been investigated for closed-form estimates of the domain of attraction [21], for tracking control of polynomial fuzzy networked systems [22], and for stability analysis and controller design of discrete-time polynomial fuzzy time-varying delay systems [23].
As is well known to the control community, the behavior of a system over a fixed time interval is practicable and then widely concerned. In view of this, a concept of finite-time stability (FTS) is introduced in [24, 25] and great attention has been paid to (T-S) fuzzy model [26–29]. However, the finite-time stability analysis and controller design of polynomial fuzzy model are seldom discussed.
Motivated by above discussions, in this paper, the problem of finite-time stability and stabilization for a class of continuous-time polynomial fuzzy system is considered. The main contributions of this paper are twofold: the concept of finite-time stability for polynomial fuzzy model is firstly proposed, and finite-time stabilizing controller is designed to stabilize the nonlinear system represented in the form of SOS, which is superior to the form of LMIs.
The rest of this paper is organized as follows: some foundational descriptions, necessary definitions, and relevant lemmas are recalled in Section 2. The main results are obtained in Section 3. Firstly, finite-time stability conditions for the polynomial fuzzy system without any control input are derived by using a new polynomial Lyapunov-Krasovskii functional. Secondly, the stability conditions are extended to finite-time stabilization conditions for the continuous-time polynomial fuzzy system with a controller in terms of SOS. All conditions can be solved via the SOSTOOLS and an SDP solver. Section 4 provides three illustrative examples. Finally, conclusions are drawn in Section 5.
Notations. Throughout this paper, the notations employed are fairly standard. The superscripts and stand for the inverse and transpose of a matrix, respectively. (, , and ) means that the matrix is positive definite (positive semidefinite, negative definite, and negative semidefinite). is the set of real matrices. denotes the identity matrix with compatible dimensions.
2. Preliminaries and Problem Formulation
Consider the following nonlinear system:where is a nonlinear function, is the state vector, and is the input vector. Based on the sector nonlinearity concept [1], system (1) can be expressed in the following polynomial if-then rules.
Model Rule . If is and is and and is , thenwhere and (; is the number of if-then rules.) are polynomial matrices in . The term is an column vector whose entries are all monomials in .
The defuzzification process of model (2) can be calculated as below (for more details, see [10]):where
Before proceeding, the following definitions and lemma are necessary.
Definition 1 (see [16]). A polynomial , , is an SOS, if there exist polynomials such that
Definition 2 (see [16]). The SOS condition (5) is equivalent to the existence of a positive semidefinite matrix , such thatwhere is some properly chosen vector of monomials.
Definition 3 (finite-time stability). Given a positive definite matrix and three positive constants , the polynomial fuzzy system (3) with is said to be finite-time stable with respect to , if , .
Definition 4 (finite-time stabilization). Given a positive definite matrix and three positive constants , the polynomial fuzzy system (3) with control input is said to be finite-time stabilization with respect to , if , .
Remark 5. Definitions 3 and 4 are a first attempt to give the concept of finite-time stability and stabilization for polynomial fuzzy systems based on the basic idea in classical paper [24, 25]. When here reduces to , the above two definitions reduce to the forms in [24].
Lemma 6 (see [30]). Let be an symmetric polynomial matrix of degree in . Furthermore, let be a column vector whose entries are all monomials in with degree not greater than . If is an SOS, where , then for all .
3. Main Results
In this section, the finite-time stability and stabilization conditions for the continuous-time polynomial fuzzy system (3) are given, respectively.
3.1. Finite-Time Stability of Continuous-Time Polynomial Fuzzy System
Firstly, we will analyze the finite-time stability of the continuous-time polynomial fuzzy system (3) with . We drop the notation with respect to time . For example, we will use , to replace , , respectively [10, 11]. In addition, refers to the th row of . Then system (3) with has the following form:
Theorem 7. Suppose there exist a symmetric polynomial matrix , a constant , and two positive scalars and such that the following are satisfied:where polynomials , , , , and for and the th entry of polynomial matrix is given bythen the continuous-time polynomial fuzzy system (3) with is finite-time stable with respect to .
Proof. Choose the following candidate polynomial Lyapunov functional:It can be seen from condition (8) that is positive definite for all , and thus, is a positive definite function of .
The time derivation of along system (7) is given byOn the other hand, can be represented asFrom (7), (15), and (16), is rewritten asIn addition, condition (9) implies thatThus, (17) yieldsIntegrating (19) from 0 to , with , we haveAlong with (10) and (11), we obtainConsidering and (20)-(21), we getCondition (12) implies that . ThenAccording to Definition 3, system (7) is finite-time stable with respect to . That is to say, polynomial fuzzy system (3) with is finite-time stable with respect to . This completes the proof.
Finite-time stability conditions of the continuous-time polynomial fuzzy system (3) with , which can be checked by the SOSTOOLS [16], have been derived in Theorem 7. When and in Theorem 7 reduce to the constant matrices and , we can get the following corollary.
Corollary 8 (see [25]). Let and suppose that if there exist a nonnegative scalar , three positive scalars , with , and a positive definite matrix such thatthen the linear system is said to be finite-time stable with respect to .
Remark 9. It is well known that [25] is a classical paper in the concept of finite-time stability. As shown in Corollary 8, the SOS conditions (8)–(12) for finite-time stability in Theorem 7 reduce to the well-known LMI conditions (24). In addition, two parameters and used in Theorem 7 instead of the role of eigenvalues of in [25] and the condition like (25) in Corollary 8 are not needed, which help find more relaxed solutions for the range of in our proposed method. Moreover, small-gain theorem in [9] is proposed to ensure the resulting closed-loop system to be bounded, but our method employs SOS approach to ensure the range of .
3.2. Finite-Time Stabilization of Continuous-Time Polynomial Fuzzy System
In this subsection, a finite-time fuzzy controller with polynomial rule consequence is designed for the system (3) and the control rule shares the same IF parts with system (3) as follows.
Control Rule . If is and is and is , thenReferring to [10], the overall fuzzy controller can be calculated byand the closed-loop system (3) can be rewritten as
From now on, to lighten the notation, we will employ the same method as what has been used in Section 3.1. In addition, let denote the row indices of whose corresponding row is equal to zero, and define .
Theorem 10. Suppose there exist a symmetric polynomial matrix , a polynomial matrix , a constant , and two positive scalars and such that the following (29)–(33) are satisfied:where is the same as (13); polynomials , , , , for ; , are two vectors independent of ; then the continuous-time polynomial fuzzy system (28) is finite-time stable with respect to . That is to say, system (3) is finite-time stabilization with respect to with the feedback gain
Proof. Choose the following Lyapunov functional:where is a symmetric polynomial matrix. From condition (29), which implies that both and are positive definite for all , we can obtain that is a positive definite function of .
Considering for and for , the time derivative of along (28) is given bywhere . According to Lemma 6, condition (30) implies thatfor and all . Taking (34) into consideration and multiplying (37) from the left and right by , we haveIt is from differentiating both sides of the relation with respect to thatTherefore, it is from (30), (38), and (39) thatat .
Putting together (36) and (40), we can obtainIntegrating (41) from 0 to , , we haveIt is from (31) and (32) thatThen, we can obtain the following:Considering and (42)–(44), we getAssume that condition (33) is satisfied, which means , thenAccording to Definition 4, system (28) is finite-time stabilization with respect to . That is to say, the continuous-time polynomial fuzzy system (3) is finite-time stabilization with respect to with the fuzzy controlleres (26) and (34). This completes the proof.
Remark 11. When , , and in Theorem 10 reduce to constant matrices , , and , the finite-time stabilization conditions of the continuous-time polynomial fuzzy system (3) reduce to the one in Theorem of [24], which means that the classical result is a special case of ours.
4. Numerical Simulations
To illustrate the effectiveness and validity of our main results, this section provides three illustrative examples.
Example 1. Consider the following nonlinear system:Using the sector nonlinearity technique [1], the nonlinear system (47) is exactly converted into the following two-rule polynomial fuzzy system:where , , andThe corresponding parameters for the finite-time stability are given in this example as follows: By using the SOSTOOLS of Matlab and solving Theorem 7, we can get the following feasible , and corresponding , for system (47): where the degree of the polynomial is set to be 0. It is obvious that when the degree of is set different from 0, different , , will be obtained accordingly. Notation. In this section, stands for .
Figure 1 shows the phase graph of system (47) for six different initial points , , , , , and and Figure 2 shows its state response for , from which it is easy to see that system (47) is finite-time stable.
Example 2. Consider the following nonlinear system with control input :Figure 3(a) shows the behaviors of system (52) with for six different initial points , , , , , and . It is easy to see that system (52) without control input is unstable.
Using the same technique as before, the nonlinear system (52) can be exactly converted into the following two-rule polynomial fuzzy system:where , , andThe corresponding parameters for the finite-time stabilization are given in this example as follows: By using the SOSTOOLS of Matlab and solving Theorem 10, the solutions are found as follows:and the feedback gains and are obtained as follows:respectively, where the degree of the polynomial is set to be 0 to 1 (code for SOSTOOLS). When the degree is set to be different from what is set here, different will be obtained accordingly.
Figures 3(b) and 4 show the validity and effectiveness of our proposed method.
(a)
(b)
Example 3. As shown in [31], a coaxial counter rotating helicopter dynamics can be written aswhere , , and the other corresponding variables such as , , , , , , and are the same as [31]. For the lack of space, the details are omitted here.
As above, nonlinear system (59) can be exactly converted into the following two-rule polynomial fuzzy system for :where , , and . , , , and matrices are defined the same as in [31]. Besides, and the membership functions are given as follows: The corresponding parameters for the finite-time stabilization are given in this example as follows: By using the SOSTOOLS of Matlab and solving Theorem 10, the solutions are found as follows: and the feedback gains and are obtained as follows:respectively, where , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and , and the degree of the polynomial is set to be 0 to 1 (code for SOSTOOLS). When the degree is set to be different from what is set here, different will be obtained accordingly.
Figures 5 and 6 depict the trajectory of the coaxial counter rotating helicopter dynamical system (59) under finite-time stabilizing control, which shows the validity and effectiveness of our proposed method.
5. Conclusions
Although numerous works have been published in recent years on the finite-time stability and stabilization of T-S fuzzy model, little attention has been paid to the investigation on the problem of finite-time stability analysis and synthesis method for continuous-time polynomial fuzzy system. The proposed results in this paper fill in this gap by using the polynomial Lyapunov functional approach and the SOS theory. Three illustrative examples have been provided to demonstrate the validity and effectiveness of the proposed results. In the future, we will consider the similar problem for the discrete-time polynomial fuzzy system and the polynomial fuzzy model with time delays or (and) uncertainties [17].
Conflicts of Interest
The authors declare that there are no conflicts of interest.
Acknowledgments
This work is supported by Natural Science Foundation of Jiangsu Province of China under Grant no. BK20161126.