Abstract

The problem of guaranteed cost finite-time control of fractional-order positive switched systems (FOPSS) is considered in this paper. Firstly, a new cost function is defined. Then, by constructing linear copositive Lyapunov functions and using the average dwell time (ADT) approach, a state feedback controller and a static output feedback controller are constructed, respectively, and sufficient conditions are derived to guarantee that the corresponding closed-loop systems are guaranteed cost finite-time stable (GCFTS). Such conditions can be easily solved by linear programming. Finally, two examples are given to illustrate the effectiveness of the proposed method.

1. Introduction

Positive switched systems are a class of hybrid systems consisting of a family of positive subsystems and a switching law that specifies which subsystem will be activated along the system trajectory at each instant of time. Many remarkable results related to positive switched systems have been presented; see [15] and references therein. These results mentioned above refer to the positive switched systems with integer order derivative. However, in many physical, chemical, and economic processes, such as fractional PID control [6, 7], fractional electrical networks [8], robotics [9], and electrical machines [10], fractional calculus is more feasible than integer calculations to model the behavior of such systems. Therefore, some researchers have investigated the fractional-order positive systems [1114]. Particularly, very recently, only a few results about fractional-order positive switched systems have been presented [15, 16]. Reference [15] considered the controllability of FOPSS for fixed switching sequence. Reference [16] considered the problem of state-dependent switching control of FOPSS. But the above results are involved in asymptotic stability, which reflects the asymptotic behavior of the system in an infinite time interval.

By contrast, in many practical applications, one is more interested in what happens over a finite-time interval. Peter [17] has firstly defined finite-time stability (FTS) for linear deterministic systems, which means that, given a bound on the initial condition, the system state does not exceed a certain threshold during a specified time interval. There have been some meaningful results about FTS of positive switched systems [1823]. Among these results, it should be pointed out that only one paper has considered the problem of FTS of FOPSS in [23]. Moreover, when controlling a real plant, it is also desirable to design a control system which is not only finite-time stable but also guarantees an adequate level of performance. One approach to this problem is the guaranteed cost finite-time control. It has the advantage of providing an upper bound on a given system performance index and thus the system performance degradation incurred by the uncertainties or time delays is guaranteed to be less than this bound [24, 25]. So it is necessary to study the design problem of guaranteed cost finite-time controller [26, 27]. In [26], robust finite-time guaranteed cost control for impulsive switched systems with time-varying delay was considered. In [27], guaranteed cost finite-time control was extended to positive switched linear systems with time-varying delays and a cost function for positive systems (or positive switched systems) was also proposed. As we know, fractional-order systems have some different features compared with ordinary systems, like the stability criterion. Then the research of fractional-order switched systems is more challenging than ordinary switched systems. Particularly, for FOPSS, the problem of guarantee cost finite-time control has been rarely reported.

In this paper, guarantee cost finite-time control of FOPSS is considered. A new cost function is firstly proposed, which can utilize the characteristics of nonnegative states of FOPSS. Then the definition of guaranteed cost finite-time stability is also given. By using the ADT approach and copositive Lyapunov functional method, two types of feedback controllers (state feedback controller and static output feedback controller, resp.) and a list of switching signals are designed. Some sufficient conditions are obtained to guarantee that the closed-loop systems are GCFTS. The rest of the paper is organized as follows. In Section 2, problem statements and necessary lemmas are given. In Section 3, we obtained some sufficient conditions of GCFTS of FOPSS based on Lyapunov functional and ADT approach. In Section 4, two examples are given to illustrate the effective of two kinds of controllers, respectively. Section 5 is the conclusion.

Notations. Throughout this paper, A0  (0, 0, 0) means that (≥0, <0, ≤0), which is applicable to a vector. is in the th row and th column of . () means that . The symbols , , and denote the set of real numbers, the space of the vectors of -tuples of real numbers, and the space of matrices with real numbers, respectively. is the -dimensional nonnegative (positive) vector space. denotes the Gamma function. denotes the transpose of matrix . Matrices are assumed to have compatible dimensions for calculating if their dimensions are not explicitly stated.

2. Preliminaries and Problem Statements

2.1. Fractional-Order Calculus

Fractional-order integrodifferential operator is the generalization of integer order integrodifferential operator. There are different definitions of the fractional-order integral or derivative. Given , the uniform formula of a fractional integral is defined asFor , Riemann-Liouville (RL) definition of fractional derivative is given asand Caputo definition of fractional derivative is given aswhere is an arbitrary integrable function, is the fractional integral of order on , and denotes the Gamma function with noninteger arguments, . and represent Riemann-Liouville and Caputo fractional derivatives of order of on , respectively. These two fractional-order operators are used in this paper. From the above two definitions, we can obtain the following relations between them:

Lemma 1 (see [23]). Let ; if , then .

2.2. Fractional-Order Positive Switched Systems

Consider the following FOPSS:where , , and represent the system state, control input, and control output, respectively. denotes Caputo fractional-order derivative. is the switching signal, where is the number of subsystems; , , , and are constant matrices with appropriate dimensions, denotes the th systems and denotes the th switching instant.

Next, we will present some definitions, lemmas, and inequalities for the FOPSS (5) for our further study.

Definition 2 (see [23]). System (5) is said to be positive if, for any switching signals and any initial conditions , the corresponding trajectory satisfies and for all .

Definition 3 (see [1]). A matrix is called a Metzler matrix if the off-diagonal entries of matrix are nonnegative.

Lemma 4 (see [3]). A matrix is a Metzler matrix if and only if there exists a positive constant such that .

Lemma 5 (see [23]). System (5) is positive if and only if , , are Metzler matrices and , and .

Definition 6 (see [21]). For any switching signals and any , let denote the switching numbers of over the interval . If there exist and such thatthen and are called ADT and chattering bound, respectively. Generally speaking, we choose in this paper.

Definition 7 (FTS). For given time constant and vectors , system (5) is said to be FTS with respect to (, , , ), if

Remark 8. This description of FTS is different from the one in [23], but they are the same definitions in nature.

Definition 9. Define the cost function of system (5) as follows:where and are two given vectors.

Remark 10. It should be noted that the proposed cost function is different from the nonpositive systems [2426]. Particularly, if , this definition is turned into the definition of cost function in positive switched system [27]. This proposed definition provides a more useful description, because it takes full advantage of the characteristics of nonnegative states of FOPSS.

Now we give the definition of GCFTS for the FOPSS (5).

Definition 11 (GCFTS). For given time constant and vectors , consider system (5); if there exists a feedback control law and a positive scalar such that the closed-loop system is finite-time stable with the respect to and the cost function satisfies , then the closed-loop FOPSS is called GCFTS, where is a guaranteed cost value and is a guaranteed cost finite-time controller.

Lemma 12 (Gronwall-Bellman inequality). Let , , and be continuous real-valued functions. If is nonnegative and satisfies the integral inequality thenIn addition, if is a constant, then

Lemma 13 (Young’s inequality). If and are nonnegative real numbers and and are positive real numbers such that , then

Lemma 14 ( inequality). For and any positive real numbers , The aim of this paper is to design a state feedback controller and a static output feedback controller and find a class of switching signals for FOPSS (5) such that the corresponding closed-loop systems are GCFTS.

3. Main Results

3.1. Guaranteed Cost Finite-Time Stability Analysis

In this subsection, we will focus on the problem of GCFTS for FOPSS (5) with .

Theorem 15. Consider system (5) with . Given positive constants and and vectors and , if there exist positive constants , , and and positive vectors and , such that the following inequalities hold:then under the following ADT schemethe FOPSS (5) is GCFTS with respect to and the guaranteed cost value of system (5) with is given by

Proof. Construct the multiple linear type Lyapunov-Krasovskii functional for system (5) as follows:where , .
Denote as the switching instants over the interval . Along the trajectory of system (5) with , we haveFrom (14), we obtainTaking the fractional integral to both sides of (23) during the period for leads toFrom (17) and (21), (24) can be rewritten asAccording to Lemma 12 and the properties of Gamma function , for , we haveFor , is easily obtained from (16) and (21). Noting that , we haveThen, for , we can obtain from (26) and (27) thatBy Lemma 14 and , we haveAccording to Lemma 13, (29) can be rewritten asFrom (15) and (21), for , we haveFrom (7), (31), and (32), we obtainSubstituting (19) into (33), one hasFrom Definition 11, we conclude that system (5) is GCFTS with respect to .
Next, we will give the fractional-order guaranteed cost value of system (5).
According to (24) and , for , we can obtainLet ; then (35) can be turned intoBy , we can getFrom (32) and (37), we haveThen, the guaranteed cost value of system (5) is given byAccording to Definition 11, we can conclude that system (5) is GCFTS with respect to . Thus, the proof is completed.

Corollary 16. Replace by in Theorem 15. If the conditions in Theorem 15 are held, then the FOPSS (5) is GCFTS with respect to , and the guaranteed cost value is (20).

Proof. According to (4) and Lemma 1, we can obtainSimilar to the proof process of Theorem 15, we can obtain the same results and the proved process is omitted.

3.2. Guaranteed Cost Finite-Time Controller Design

In this section, we focus on the problem of guaranteed cost finite-time controller design of system (5). The state feedback controller and static output feedback controller will be designed to ensure the corresponding close-loop system is GCFTS, respectively.

3.2.1. State Feedback Controller Design

Consider system (5); under the controller , the corresponding closed-loop system is given byAccording to Lemma 4, to guarantee the positivity of system (41), should be Metzler matrices, . Theorem 17 gives some sufficient conditions to guarantee that the closed-loop system (41) is GCFTS.

Theorem 17. Consider the FOPSS (41). For given constants and and vectors , , and , if there exist constants , , and and positive vectors and , such that (15), (16), (18), and the following conditions hold:where , then, under the ADT scheme (19), the resulting closed-loop system (41) is GCFTS with respect to , and the cost value is given by

Proof. By Lemma 4, we get that are Metzler matrices for each . According to Lemma 5, system (41) is positive if , are all nonnegative. Replacing in (14) with and letting , satisfy (16), then, under the ADT scheme (19), we easily obtain that the resulting closed-loop system (41) is GCFTS with respect to and the guaranteed cost value is given by (43).
The proof is completed.

3.2.2. Static Output Feedback Controller Design

Consider system (5), under the controller , the corresponding closed-loop system is given byAccording to Lemma 4, to guarantee the positivity of system (44), should be Metzler matrices, . Theorem 18 gives some sufficient conditions to guarantee that the closed-loop system (44) is GCFTS.

Theorem 18. Consider the FOPSS (44). For given constants and and vectors , , and , if there exist constants , , and and positive vectors and , such that (15), (16), (18), and the following conditions hold:where , then, under the ADT scheme (19), the resulting closed-loop system (44) is GCFTS with respect to , and the cost value is given by

Proof. By Lemma 4, we get that are Metzler matrices for each . According to Lemma 5, system (44) is positive if , and are all nonnegative. Replacing in (14) with and letting , satisfy (16), then, under the ADT scheme (19), we easily obtain that the resulting closed-loop system (44) is GCFTS with respect to and the guaranteed cost value is given by (46).
The proof is completed.

Next, an algorithm is presented to obtain the feedback gain matrices (or ) and .

Algorithm 19.

Step 1. Input the matrices , , , , and .

Step 2. By adjusting the parameter and solving the inequalities in Theorem 17 (or Theorem 18) via linear programming, we can get the solutions , (or ), and .

Step 3. Then, (or ) is obtained. If and (or ) are Metzler matrices, then (or ) are admissible. Otherwise, return to Step2.

4. Numerical Examples

In this section, two examples are given to illustrate the effectiveness of the two controllers proposed above.

Example 1. Under the state feedback controller , consider the FOPSS (5) with the parameters as follows: Let , , and . Solving the inequalities in Theorem 17 by linear programming, we haveIt is easy to verify that are Metzler matrices, . Then, according to (19), we can obtain . Choosing . Under the state feedback controller, the simulation results are shown in Figures 13, the initial conditions of system (5) are , which satisfy . The state trajectories of the closed-loop system with ADT are shown in Figure 1. The switching signal with ADT is depicted in Figure 2. Figure 3 plots the evolution of of system (5). The cost value is , which can be obtained by (43).

Example 2. A fractional-order positive electrical circuit system was modeled in [28]. Accordingly, a switching type positive fractional-order electrical circuit system could be modeled by (5). Under the static output feedback controller , consider system (5) with the parameters as follows: Let , , and . Solving the inequalities in Theorem 18 by linear programming, we haveIt is easy to verify that are Metzler matrices, . Then, according to (19), we can obtain . Choose . Under the static output feedback controller, the simulation results are shown in Figures 46, and the initial conditions of system (5) are , which satisfy . The state trajectories of the closed-loop system (5) with ADT are shown in Figure 4. The switching signal with ADT is depicted in Figure 5. Figure 6 plots the evolution of of system (5). The cost value is , which can be obtained by (46).

5. Conclusions

This paper has dealt with the problem of guaranteed cost finite-time control for FOPSS. A novel fractional-order cost function is introduced. By using ADT approach and constructing multiple linear copositive Lyapunov functions, two kinds of controllers are designed, and some sufficient conditions are obtained to guarantee that the closed-loop system is GCFTS. Such sufficient conditions can be solved by linear programming. Finally, two examples are provided to show the effectiveness of the proposed method.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

The authors are grateful for the support of the National Natural Science Foundation of China under Grants U1404610, 61473115, and 61374077.