Abstract
This paper investigates static output feedback guaranteed cost control for a class of nonlinear discrete-time systems where the delay in state vector is inconsistent with the delay in nonlinear perturbations. Based on the output measurement, the controller is designed to ensure the robust exponentially stability of the closed-loop system and guarantee the performance of system to achieve an adequate level. By using the Lyapunov-Krasovskii functional method, some sufficient conditions for the existence of robust output feedback guaranteed cost controller are established in terms of linear matrix inequality. A numerical example is provided to show the effectiveness of the results obtained.
1. Introduction
In control theory and practice, one of the most important open problems is the static output feedback (SOF) problem. The main principle of the SOF control is to utilize the measured output to excite the plant. Since the controller can be easily implemented in practice, the SOF control has attracted a lot of attention over the past few decades and has been applied to many areas such as economic, communication, and biological systems [1, 2]. The goal of design SOF controller is to ensure asymptotically stable or exponential stable of the original system [3]. However, in many practical systems, controller designed is to not only ensure asymptotically or exponentially stable of the system but also guarantee the performance of system to achieve an adequate level. One method of dealing with this problem is the guaranteed cost control first introduced by Chang and Peng [4]. This method has the advantage of providing an upper bound on a given performance index and thus the system performance degradation is guaranteed to be no more than this bound. Based on this idea, a lot of significant results have been addressed for continuous-time systems in [5–7] and for discrete-time systems in [8].
It is well known that time-delays as well as parameter uncertainties frequently lead to instability of systems. Moreover, the existing of time-delays and uncertainties make the system more complex [9, 10].
In the past studies for guaranteed cost control, almost most of the articles considered linear systems [11, 12]. However, in majority dynamic systems, the nonlinear perturbations appear more and more frequently. Therefore, we not only deal with the time-varying delays and uncertainties, but also deal with the nonlinearities. Difficulties then arise when one attempts to derive exponential stabilization conditions. Hence in this case, the methods in linear systems [11, 12] can not be directly applied to nonlinear systems. This calls for a fresh look at the problem with an improved Lyapunov-Krasovskii functionals and a new set of LMI conditions. In this paper, we aim to design robust static output feedback guaranteed cost controller for a class of nonlinear discrete-time systems with time-varying delays. By constructing a set of improved Lyapunov-Krasovskii functionals, a new criterion for the existence of robust static output feedback guaranteed cost controller is established and described in terms of linear matrix inequality. A numerical example is provided to show the effectiveness of the results obtained.
Notations. In this paper, a matrix is symmetric if . ) denotes the maximum (minimum) value of the real parts of eigenvalues of . The symmetric terms in a matrix are denoted by . (resp., ), for , means that the matrix is real symmetric positive definite (resp., positive semidefinite). denotes the set of all real nonnegative integers.
2. Preliminaries
Consider the following control system: where is the state vector, is the observation output, and is the control intput. , , , , , , and are given constant matrices with appropriate dimensions. , are the time-varying parameter uncertainties that are assumed to satisfy the following admissible condition: where , , and are some given constant matrices with appropriate dimensions. The positive integers and are time-varying delays satisfying where , are known positive integers. and are unknown nonlinear functions, assumed as where , are known positive integers and , are known real matrices. The initial condition with the norm where .
The corresponding cost function is as follows: where , , , and are given symmetric positive definite matrices with appropriate dimensions.
Substituting the output feedback controller into system (1), we have where and .
The objective of this paper is to design an output feedback controller for system (1) and cost function (6) such that the resulting closed-loop system is robust exponentially stable with an upper bound for cost function (6).
We first give the following definitions, which will be used in the next theorems and proofs.
Definition 1. Given , the closed-loop system (7) is said to be robust exponentially stable with a decay rate , if there exists scalars such that for every solution of the system satisfies the condition:
Definition 2. For system (1) and cost function (6), if there exist a static output feedback control law and a positive constant such that the closed-loop system (7) is robust exponentially stable with a decay rate and the value (6) satisfies , then is said to be a guaranteed cost index and is said to be a robust output feedback guaranteed cost control law of the system.
The following lemmas are essential in establishing our main results.
Lemma 3 (see [11]). For any , , and positive symmetric definite matrix , we have
Lemma 4 (Schur complement lemma [13]). Given constant matrix , , and with appropriate dimensions satisfying , . Then if and only if .
3. Main Results
In this section, by constructing a new set of Lyapunov-Krasovskii functionals, we give a sufficient condition for the existence of robustly output feedback guaranteed cost control for system (1).
Theorem 5. For a given scalar , the control is a robustly static output feedback guaranteed cost controller for nonlinear system (1), if there exist symmetric positive definite matrices , , , , , and , arbitrary matrix , and scalars , , such that the following LMI holds: where and the guaranteed cost value is given by , where
Proof. We first introduce the new variable . The closed-loop system (7) is reduced to
where and .
Associated with (2), the above equality is reduced to
where
Consider a Lyapunov-Krasovskii functional candidate for the closed-loop system (14) as
where
Calculating the difference of we have
Combine (21) and (22), we have
Similarly, we can get
Therefore, from (17)–(24), we have
Multiplying both sides of the identity (14),
Note that for any , , it follows from (16) to (17)
Substituting (26)-(27) into (25), we have
Dealing with partial idem in (28) using Lemma 3, it follows
Similarly, we have
Adding the following relation to inequality (28)
where , , and , and using
we can get
where and
By Lemma 4, the condition is equivalent to LMI (10). Therefore, from (33) it follows that
which implies that , .
We can easily get
where , ,
From (35) and (36), we can get
Using the relation , we can get
Therefore, the closed-loop system (7) is exponentially stable. Next we will find the guaranteed cost value, from (33), we can get
Summing up both sides of (40) from to , we can get
Letting , noting that , we can get
associated with (36), and we have .
Remark 6. When time-delay in state vector keeps consistent with the delay in nonlinear perturbations and uncertain items disappear, the system (1) induced to at the same time, the closed-loop system (7), and cost function (6) are reduced to Then we give a sufficient condition for the existence of static output feedback control for system (43).
Theorem 7. For a given scalar , the control is a static output feedback guaranteed cost controller for system (43), if there exist symmetric positive definite matrices , , , and , arbitrary matrix , and scalars , , such that the following LMI holds: where and the guaranteed cost value is given by , where .
Proof. The proof of Theorem 7 is similar to that of Theorem 5, which are omitted.
Remark 8. In this paper, we design the controller directly from the LMI without variable transformation [11] which reduces the amount of calculation. Moreover, based on Theorem 5, one can deduce the criteria for linear discrete-time systems with time-delay and nonlinear discrete-time systems with constant time-delay.
4. Numerical Example
Consider the nonlinear uncertain discrete-time system (1) with the following parameters: Given , , , , , and the initial condition using the LMI Toolbox in MATLAB [14], the LMI (10) in Theorem 5 is satisfied with and the controller parameter Moveover, the solution of the closed-loop system satisfies and the guaranteed cost of the closed-loop system is as follows Simulation result is presented in Figure 1, which shows the convergence behavior of the proposed methods.
5. Conclusion
In this paper, the problem of robust output feedback guaranteed cost control for nonlinear uncertain disctere system is researched. For all admissible uncertainties, an output feedback guaranteed cost controller has been designed such that the resulting closed-loop system is robust exponentially stable and guarantees an adequate level of system performance. A numerical example has been presented to illustrate the efficiency of the result.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.