Abstract

The problem of -induced state-feedback controller design is investigated for positive Takagi-Sugeno (T-S) fuzzy systems with the use of linear Lyapunov function. First, a novel performance characterization is established to guarantee the asymptotic stability of the closed-loop system with -induced performance. Then, the sufficient conditions are presented to design the required fuzzy controllers and iterative convex optimization approaches are developed to solve the conditions. Finally, one example is presented to show the effectiveness of the derived theoretical results.

1. Introduction

In the real world, positive systems exist in many branches of science and technology such as industrial engineering and ecology [1, 2]. In many applications, the state variables of positive systems are used to denote the concentrations of material, thus taking nonnegative values. Many previous approaches used for general systems are no longer applicable to positive systems because of the special structures of positive systems. Positive systems are special systems and they are defined on cones instead of linear spaces. Therefore, some new problems of positive systems appear and they have been studied extensively [39]. For example, controllability and reachability for positive systems have been studied in [10, 11]. The design of state-feedback controllers guaranteeing the closed-loop system to be asymptotically stable has been studied by the linear programming approach in [12]. The positive state-space representation for a given transfer function has been proposed in [13]. For nonnegative and time-delay compartmental dynamic systems, stability has been thoroughly studied in [1417]. Research on 2D positive systems has appeared in [18]. Moreover, the problem of controller design for positive systems has been investigated by the linear matrix inequality (LMI) approach in [19].

In addition, it is noted that existing research has been conducted mainly for positive linear systems and there have been few results on positive nonlinear systems. The reason is that nonlinearity is difficult to tackle and many methods derived for positive linear systems cannot be directly used for positive nonlinear systems. It is well known that T-S fuzzy model can approximate a nonlinear system arbitrarily well over a compact domain. Such a modeling approach provides an efficient method to tackle some problems for nonlinear systems [2022]. With the modeling approach, some research methods applicable to linear systems can be used for nonlinear systems. Consequently, many important results on fuzzy systems have appeared; for example, a novel approach was proposed in [23] for stability analysis and stabilization of discrete-time T-S fuzzy delay systems. The problem of stability analysis and stabilization for 2D discrete fuzzy systems was investigated in [24]. As a result of the novel idea of delay partitioning technique, the proposed stability conditions in [23] were much less conservative than most of the existing results. A fuzzy filter design approach was established for fuzzy stochastic systems in [25], and the proposed approach can be used for fault detection problem due to its strong robustness. In recent years, many researchers have focused their interest on positive T-S fuzzy systems [26]. In detail, sufficient conditions of asymptotic stability and stabilization for discrete-time positive T-S systems were proposed in [26]. In [27], the problem of stability and constrained control was addressed for discrete-time positive T-S fuzzy systems with time-varying delays.

Recently, in comparison with the existing results derived with the quadratic Lyapunov function, a novel approach is derived for the synthesis problem of positive systems by using a linear Lyapunov function. The reason why we use the novel approach is that the variables of positive systems are nonnegative and therefore a linear Lyapunov function becomes valid. Many researchers have proposed some novel results based on the linear Lyapunov function [2832]. Compared with quadratic Lyapunov function based results, the new results in terms of linear programming are more amenable to analysis and computation. Moreover, the applications of the so-called linear Lyapunov functions in the analysis of positive linear systems naturally lead to a variety of results based on a linear setting, which stimulates the use of -gain as a performance index for positive linear systems. It is noted that some frequently used costs such as norm are based on the signal space and these costs are not very natural to describe some of the features of practical physical systems. By contrast, -norm gives the sum of the values of the components and it can provide a more natural description for positive systems. It is more appropriate, for example, if the values denote the number of animals in a species or the amount of material. Based on the above discussion, it is noted that the synthesis problems for positive T-S fuzzy systems have not been fully investigated, especially with -induced performance and linear Lyapunov functions. This motivates our study.

In this paper, we investigate the state-feedback controller design problem for positive T-S fuzzy systems with the use of linear Lyapunov function. The main contributions of the paper are as follows: an -induced performance index is explicitly presented for positive fuzzy systems and analytically characterized under a linear Lyapunov function framework; the desired state-feedback controllers are derived with which the asymptotic stability of the closed-loop system is guaranteed and the proposed performance is satisfied; iterative convex optimization approach is developed to solve the conditions.

The rest of this paper is organized as follows. In Section 2, some important preliminaries about positive T-S fuzzy systems are introduced. In Section 3, the state-feedback controller is designed for positive T-S fuzzy systems. One example is provided in Section 4 to show the applicability of the theoretical results. The results are finally concluded in Section 5.

2. Preliminaries

In this section, we introduce notations and several results concerning positive T-S fuzzy systems.

Let denote the set of real numbers; is the set of -column real vectors; denotes the set of all real matrices of dimension . (resp., ) means that, for all and , (resp., ). The notation (resp., ) means that the matrix (resp., ). Let denote the nonnegative orthants of . The superscript “” represents matrix transpose. denotes the Euclidean norm for vectors. is the element of located at the th row and the th column. denotes the th column of . The -norm of a vector is defined as . The -norm of an infinite sequence is defined as . The space of all vector-valued functions defined on with finite -norm is denoted by . If the dimensions of matrices are not explicitly stated, it is assumed that the matrices have compatible dimensions for algebraic operations. Vector .

Consider the following fuzzy system described by the th rule.

Model Rule . IF is , is , , and is , THENwhere , and are the system state, disturbance input, and controlled output, respectively. The index gives the rule number. are the premise variables and is the premise variable vector. represents the fuzzy sets. Then, we have the fuzzy system:where and represents the grade of membership of in . For all , we have Here, the following definition is given, which will be used in the sequel.

Definition 1. System (2) is a discrete-time positive system if, for all and input , one has and for .

Next, some useful results are introduced.

Lemma 2 (see [26]). The discrete-time system (2) is positive if and only if

Lemma 3 (see [33]). Positive system (2) with input is asymptotically stable if there exists a vector (or ) satisfyingwhere .

Here, the definition of -induced performance is introduced. We say that a stable positive system (2) has -induced performance at the level if, under zero initial conditions,where is a given scalar.

The following result serves as a characterization on the asymptotic stability of system (2) with the -induced performance in (7).

Lemma 4 (see [33]). The positive fuzzy system (2) is asymptotically stable and satisfies if there exists a vector satisfyingwhere .

3. State-Feedback Controller Synthesis for Positive Fuzzy Systems

In this section, the -induced state-feedback controller synthesis problem is formulated. Based on the stability and performance conditions, a state-feedback controller is designed for positive fuzzy systems. Finally, an iterative convex optimization approach is developed to solve the conditions accordingly.

Here, we deal with the stabilization problem for the following positive fuzzy systems:where , and are the system state, disturbance input, control input, and controlled output, respectively.

For the positive fuzzy system in (9), we construct the following parallel distributed compensation (PDC) fuzzy controller.

Control Rule . IF is , is , , and is , THENThe overall fuzzy controller is represented byThen, the closed-loop system with the PDC fuzzy controller (11) is given by

The problem to be addressed in this paper is described as follows.

Problem PPSFCD (Positivity-Preserving -Induced State-Feedback Controller Design). Given the fuzzy positive system (9), the control objective is to find controller (11) such that the closed-loop system (12) is positive and asymptotically stable and satisfies the -induced performance under zero initial conditions.

First, the stability characterization of the closed-loop system (12) is proposed as follows.

Proposition 5. The closed-loop system in (12) with input is positive and asymptotically stable if there exist vectors , satisfying the following LPs:with , , , , and

Proof. We have It is noted that for implies .
Moreover, the following equation holds: We note that for implies . Therefore, from (14) and (15), we have that the closed-loop system (12) is positive.
On the other hand, consider the Lyapunov function and we have For , we have that implies . Therefore, system (12) is asymptotically stable.
Now, let , where are vectors in ; one has with . Consequently, inequality can be written as

Next, a sufficient condition for the existence of a solution to Problem PPSFCD is obtained.

Theorem 6. The closed-loop system in (12) is positive and asymptotically stable and satisfies if there exist matrices and vectors satisfyingwhere .

In the following, our aim is to derive a numerically tractable means to synthesize a derived controller. It is noted that when matrix is fixed, (24) turns out to be linear with respect to the other variables. Therefore, a natural way is to fix and solve (24)-(25) by linear programming.

Algorithm PPSFCD

Step 1. Set . We use Proposition 5 to solve for such that the positive system (9) with (10) is positive and asymptotically stable.

Step 2. For fixed , solve the following optimization problem for and .
OP1: minimize subject to the following constraints: Denote as the solution to the optimization problem. If , where is a prescribed bound, then , . STOP.

Step 3. For fixed , solve the following optimization problem for .
OP2: minimize subject to the following constraints: Denote as the solution to the optimization problem.

Step 4. If , where is prescribed tolerance, STOP; else, set and , and then go to Step 2.

Remark 7. The parameter can be optimized iteratively. Notice that since the corresponding parameters obtained in Step 3 will be utilized as the initial values in Step 2 to derive a smaller . Since the sequence is bounded from below, the convergence of the iterative process is naturally guaranteed.

4. Illustrative Example

In this section, one illustrative example is presented in the following to illustrate the effectiveness of the proposed controller design approach.

In this example, we consider the following Lotka-Volterra population model, which reflects various interactions between two species [34]:where is the density of population at th generation and The external disturbance is assumed to be

Define and . We calculate the minimum and maximum values of and . They are obtained as follows:

From the maximum and minimum values, and can be represented by with The membership functions and are named “Big” and “Small" for , respectively, and similarly for and for . Then, the following fuzzy rules are employed.

Rule 1. IF is “Big” and is “Big,” THEN

Rule 2. IF is “Big” and is “Small,” THEN

Rule 3. IF is “Small” and is “Big,” THEN

Rule 4. IF is “Small” and is “Small,” THEN where We have the fuzzy model for the nonlinear system as follows: with By solving the conditions in Theorem 6, a feasible solution is achieved with which further yields the matrices of the state-feedback controller as The responses of the open-loop and the closed-loop system are shown in Figures 14, from which we can see that the system can be stabilized by the designed controller.

With this choice of initial condition, Figures 1 and 2 show the response of open-loop system. It can be seen that the open-loop system is not globally asymptotically stable. Figures 3 and 4 show the state response of the closed-loop system, from which we can see that the state of the closed-loop system converges to zero.

5. Conclusion

In this paper, the state-feedback controller synthesis problem for positive T-S fuzzy systems has been addressed under performance. Novel performance characterization of the closed-loop system has been established. Based on the novel characterization, sufficient conditions have been developed for the existence of state-feedback controllers. Moreover, iterative convex optimization algorithms have been developed to solve the design conditions. Finally, one example has been presented to demonstrate the effectiveness of the proposed approach. Further research topics include the controller synthesis problem for positive fuzzy systems with time-varying or distributed delays with linear Lyapunov functions.

Competing Interests

The authors declare that they have no competing interests.

Acknowledgments

This work is supported by NSFC 61503184, NSFC 61573184, and NSFC 61503037.