Abstract
The problem of stochastic finite-time guaranteed cost control is investigated for Markovian jumping singular systems with uncertain transition probabilities, parametric uncertainties, and time-varying norm-bounded disturbance. Firstly, the definitions of stochastic singular finite-time stability, stochastic singular finite-time boundedness, and stochastic singular finite-time guaranteed cost control are presented. Then, sufficient conditions on stochastic singular finite-time guaranteed cost control are obtained for the family of stochastic singular systems. Designed algorithms for the state feedback controller are provided to guarantee that the underlying stochastic singular system is stochastic singular finite-time guaranteed cost control in terms of restricted linear matrix equalities with a fixed parameter. Finally, numerical examples are given to show the validity of the proposed scheme.
1. Introduction
Singular systems are also referred to as descriptor systems or generalized state-space systems and describe a larger family of dynamic systems. The singular systems are applied to handle mechanical systems, electric circuits, interconnected systems, and so forth; see more practical examples in [1, 2] and the references therein. Many control problems have been extensively investigated, and results in state-space systems have been extended to singular systems, such as stability, stabilization, and robust control; for instance, see the references in [3–10]. Meanwhile, Markovian jumping systems are referred to as a special family of hybrid systems and stochastic systems, which are very appropriate to model plants whose structure is subject to random abrupt changes, such as stochastic failures and repairs of the components, changes in the interconnections of subsystems, and sudden environment changes; see the references in [11, 12]. The existing results for Markovian jumping systems include a large of variety of problems such as stochastic Lyapunov stability [13–16], sliding mode control [17, 18], the control [19, 20], the filtering [12, 21], and so forth; for more results, the readers are to refer to [22–24] and the references therein.
In many practical applications, on the other hand, many concerned problems are the practical ones which described system state which does not exceed some bound over a time interval. Compared with classical Lyapunov asymptotical stability on which most results in the literature concentrated, finite-time stability (FTS) or short-time stability was studied to deal with the transient behavior of systems in finite time interval. Some earlier results on FTS can be found in [25–28]. Some appealing results were obtained to guarantee finite-time stability, finite-time boundedness, and finite-time stabilization of different systems including linear systems, nonlinear systems, and stochastic systems; for instance, see the papers in [29–35] and the references therein. However, to date and to the best of our knowledge, the problems of stochastic singular finite-time guaranteed cost control analysis of stochastic singular systems have not been investigated, although some studies on stochastic singular systems have been conduced recently; see the references [8–11, 15, 18]. We investigate finite-time guaranteed cost control of one class of continuous-time stochastic singular systems. Our results are totally different from those previous results. This motivates us for the study.
It is well known that linear matrix inequalities (LMIs) have viewed as a powerful formulation and design technique for a variety of linear control problems. Thus reducing a control design problem to an LMI can be considered as a practical solution to this problem [36]. At present, it is an important tool to address stability and stabilization, roust control, the filtering, guaranteed cost control, and so forth; see the references [2, 4–11, 13, 15] and the references therein. The novelty of our study is that stochastic finite-time stability, stochastic finite-time bounded and stochastic finite-time guaranteed cost control are investigated for one family of Markovian jumping singular systems with uncertain transition probabilities, parametric uncertainties, and time-varying norm-bounded disturbance. The main contribution of this paper is that sufficient conditions on stochastic singular finite-time guaranteed cost control are obtained for the class of stochastic singular systems and, a state feedback controller is designed to guarantee that the underlying stochastic singular system is stochastic singular finite-time guaranteed cost control in terms of restrict LMIs with a fixed parameter.
The rest of this paper is organized as follows. In Section 2 the problem formulation and some preliminaries are introduced. The results on stochastic singular finite-time guaranteed cost control are given in Section 3. Section 4 presents numerical examples to demonstrate the validity of the proposed methodology. Some conclusions are drawn in Section 5.
Notations
Throughout the paper, and denote the sets of component real vectors and real matrices, respectively. The superscript stands for matrix transposition or vector. denotes the expectation operator with respect to some probability measure . In addition, the symbol denotes the transposed elements in the symmetric positions of a matrix, and stands for a block-diagonal matrix. and denote the smallest and the largest eigenvalue of matrix , respectively. Matrices, if their dimensions are not explicitly stated, are assumed to be compatible for algebraic operations.
2. Problem Formulation
Let the dynamics of the class of Markovian jumping singular systems be described by the following: where is system state, is system input, is a singular matrix with ; is continuous-time Markovian stochastic process taking values in a finite space with transition matrix and the transition probabilities are described as follows: where , satisfies , and for all ; , , and are uncertain matrices and satisfy where is an unknown, time-varying matrix function and satisfies Moreover, the disturbance satisfies and the matrices , , and are coefficient matrix and of appropriate dimension for all . In addition, we make the following assumption on uncertain transition probabilities in stochastic singular system (2.1).
Assumption 1. The jump rates of the visited modes from a given mode are assumed to satisfy
where and are known parameters for each mode or may represent the lower and upper bounds when all the jump rates are known, that is,
Moreover, let denote the number of visited modes from including the mode itself.
Consider a state feedback controller
where is a set of matrices to be determined later. The system (2.1) with the controller (2.8) can be written by the form of the control system as follows:
where and .
Definition 2.1 (see [12, regular and impulse free]). (i) The singular system with Markovian jumps (2.9) with is said to be regular in time interval if the characteristic polynomial is not identically zero for all .
(ii) The singular systems with Markovian jumps (2.9) with is said to be impulse free in time interval , if for all .
Definition 2.2 (stochastic singular finite-time stability (SSFTS)). The closed-loop singular system with Markovian jumps (2.9) with is said to be SSFTS with respect to , with and , if the stochastic system is regular and impulse free in time interval and satisfies
Definition 2.3 (stochastic singular finite-time boundedness (SSFTB)). The closed-loop singular system with Markovian jumps (2.9) which satisfies (2.5) is said to be SSFTB with respect to , with and , if the stochastic system is regular and impulse free in time interval and condition (2.10) holds.
Remark 2.4. SSFTB implies that not only is the dynamical mode of the stochastic singular system finite-time bounded but also the whole mode of the stochastic singular system is finite-time bounded in that the static mode is regular and impulse free.
Definition 2.5 (see [11, 13]). Let be the stochastic function; define its weak infinitesimal operator of stochastic process by Associated with this system (2.9) is the cost function where and are two given symmetric positive definite matrices for all .
Definition 2.6. There exists a controller (2.8) and a scalar such that the closed-loop stochastic singular system with Markovian jumps (2.9) is SSFTB with respect to and the value of the cost function (2.12) satisfies for all ; then stochastic singular system (2.9) is said to be stochastic singular finite-time guaranteed cost control. Moreover, is said to be a stochastic singular guaranteed cost bound, and the designed controller (2.8) is said to be a stochastic singular finite-time guaranteed cost controller for stochastic singular system (2.9).
In the paper, our main aim is to concentrate on designing a state feedback controller of the form (2.8) that renders the closed-loop stochastic singular system with Markovian jumps (2.9) stochastic singular finite-time guarantee cost control.
Lemma 2.7 (see [36]). For matrices , , and of appropriate dimensions, where is a symmetric matrix, then holds for all matrix satisfying for all , if and only if there exists a positive constant , such that the following equality holds:
3. Main Results
This section deals with the guaranteed cost SSFTB analysis and design for the closed-loop singular system with Markovian jumps (2.9).
Theorem 3.1. The closed-loop singular system with Markovian jumps (2.9) is SSFTB with respect to , if there exist a scalar , a set of nonsingular matrices with , sets of symmetric positive definite matrices with , with , and for all such that hold, where . Moreover, a stochastic singular finite-time guaranteed cost bound for the stochastic singular system can be chosen as .
Proof. Firstly, we prove that the singular system with Markovian jumps (2.9) is regular and impulse free in time interval . By Schur complement and noting condition (3.1b), we have
Now, we choose nonsingular matrices and such that
Then, we have
From (3.1a) and (3.4), one can obtain
Computing the above condition (3.5) and noting that is nonsingular matrix, one can obtain from (3.3) and (3.4) that , and for all . Thus, we have
Pre- and post-multiplying (3.2) by and , respectively, and noting the equality (3.6), this results in the following matrix inequality:
where the star will not be used in the following discussion. By Schur complement, we have . Therefore is nonsingular, which implies that the closed-loop continuous-time singular system with Markovian jumps (2.9) is regular and impulse free in time interval .
Let us consider the quadratic Lyapunov-Krasovskii functional candidate as for stochastic singular system (2.9). Computing the derivative of along the solution of system (2.9) and noting the condition (3.1a), we obtain
where . Pre- and postmultiplying (3.1b) by and , respectively, we obtain
Noting that and are two symmetric positive definite matrices for all , thus, from (3.8) and (3.9), we have
Further, (3.10) can be rewritten as
Integrating (3.11) from 0 to , with and noting that , we obtain
Noting that , , and condition (3.1c), we have
Taking into account that
we obtain
Therefore, it follows that condition (3.1d) implies for all .
Once again from (3.8) and (3.9), we can easily obtain
Further, (3.16) can be represented as
Integrating (3.17) from 0 to , we have
Using the Dynkin formula and the fact that the system (2.9) is regular and impulse free, we obtain
Noting that and and are two given symmetric positive definite matrices for all , thus, we have
Thus, one can obtain that the cost function
holds for all . This completes the proof of the theorem.
Corollary 3.2. The singular system with Markovian jumps (2.9) with is SSFTS with respect to , if there exist a scalar , a set of nonsingular matrices with , a set of symmetric positive definite matrices with , and for all such that (3.1a), (3.1c) and hold, where . Moreover, a guaranteed cost bound for stochastic singular system can be chosen as .
By Lemma 2.7, Theorem 3.1, and using matrix decomposition novelty, we can obtain the following theorem.
Theorem 3.3. There exists a state feedback controller with , such that the closed-loop stochastic singular system with Markovian jumps (2.9) is SSFTB with respect to , if there exist a scalar , a set of positive matrices with , a set of symmetric positive definite matrices with , and a set of matrices with , two sets of positive scalars and , for all such that (3.1d) and hold, where , , , + , , , , and . Moreover, and are from the form (3.35). Furthermore, a stochastic singular finite-time guaranteed cost bound for stochastic singular system can be chosen as
Proof. We firstly prove that condition (3.23b) implies condition (3.1b). By condition (3.23a), we have
Using Assumption 1, we obtain Thus the inequality
holds, where and
Noting that the inequality holds for each . Thus we have
where + .
Therefore, a sufficient condition for (3.1b) to guarantee is that
where .
Noting that
where
and , .
By Lemma 2.7, we have
where and .
By Schur complement, holds if and only if the following inequality:
holds, where and .
Thus, let , and noting that , from (3.34), it is easy to obtain that condition (3.23b) implies condition (3.1b).
Noting that is a singular matrix with for every fixed , thus there exist two nonsingular matrices and , which satisfy . Let ; by the proof of Theorem 3.1, we obtain that is of the following form , where , , . Denote . Then we have and
where and .
Let , one can see that satisfies and (3.1c) holds.
From the proof of Theorem 3.1 and noting that , we can obtain for all . This completes the proof of the theorem.
By Theorem 3.1, Corollary 3.2, and Theorem 3.3, we have the following corollary.
Corollary 3.4. There exists a state feedback controller with , such that the closed-loop stochastic singular system with Markovian jumps (2.9) with is SSFTS with respect to , if there exist a scalar , a set of positive matrices with , and a set of matrices with , two sets of positive scalars and , for all such that (3.22b), (3.23a) and holds, where , . Furthermore, the other matrical variables are the same as Theorem 3.3, and a guaranteed cost bound for the stochastic singular system can be chosen as
Remark 3.5. It is easy to check that condition (3.1d) and (3.22b) can be guaranteed by imposing the conditions, respectively, In addition, conditions (3.23b) and (3.36) are not strict LMIs; however, once we fix parameter , conditions (3.23b) and (3.36) can be turned into LMIs-based feasibility problem.
Remark 3.6. From the above discussion, one can see that the feasibility of conditions stated in Theorem 3.3 and Corollary 3.4 can be turned into the following LMIs-based feasibility problem with a fixed parameter , respectively,
Remark 3.7. If is a solution of feasibility problem (3.41), then the closed-loop stochastic singular system with Markovian jumps (2.9) with is SSFTS with respect to , and is also stochastically stable.
4. Numerical Examples
Example 4.1. Consider a two-mode Markovian jumping singular system (2.1) with
Mode.
Mode.
and , where satisfies for all and .
The switching between the two modes is described by the transition rate matrix . The lower and upper bounds parameters of for all are given in Table 1.
Then, we choose , , , . Using the LMI control toolbox of Matlab, we can obtain from Theorem 3.3 that the optimal value , , and
Then, we can obtain the following state feedback controller gains:
Furthermore, let , , ; by Theorem 3.3, the optimal bound with minimum value of relies on the parameter . We can find feasible solution when . Figure 1 shows the optimal value with different value of . When , it yields the optimal value and . Then, by using the program fminsearch in the optimization toolbox of Matlab starting at , the locally convergent solution can be derived as
with and the optimal value and .
Remark 4.2. From the above example and Remark 3.6, condition (3.23b) in Theorem 3.3 is not strict in LMI form; however, one can find the parameter by an unconstrained nonlinear optimization approach, which a locally convergent solution can be obtained by using the program fminsearch in the optimization toolbox of Matlab.
Example 4.3. Consider a two-mode stochastic singular system (2.1) with and
In addition, the transition rate matrix and the other matrices parameters are the same as Example 4.1.
Then, let . By Corollary 3.4, the optimal bound with minimum value of relies on the parameter . We can find feasible solution when . Thus the above system is stochastically stable, and when , it yields the optimal value , and the following optimized state feedback controller gains
5. Conclusions
In this paper, we deal with the problem of stochastic finite-time guaranteed cost control of Markovian jumping singular systems with uncertain transition probabilities, parametric uncertainties, and time-varying norm-bounded disturbance. Sufficient conditions on stochastic singular finite-time guaranteed cost control are obtained for the class of stochastic singular systems. Designed algorithms for the state feedback controller are provided to guarantee that the underlying stochastic singular system is stochastic singular finite-time guaranteed cost control in terms of restricted linear matrix equalities with a fixed parameter. Numerical examples are also presented to illustrate the validity of the proposed results.
Acknowledgments
The authors would like to thank the reviewers and the editors for their very helpful comments and suggestions which have improved the presentation of the paper. The paper was supported by the National Natural Science Foundation of P.R. China under Grant 60874006, Doctoral Foundation of Henan University of Technology under Grant 2009BS048, by the Natural Science Foundation of Henan Province of China under Grant 102300410118, Foundation of Henan Educational Committee under Grant 2011A120003, and Foundation of Henan University of Technology under Grant 09XJC011.