Abstract and Applied Analysis

Volume 2014 (2014), Article ID 314812, 7 pages

http://dx.doi.org/10.1155/2014/314812

Research Article

Finite-Time Control for Markovian Jump Systems with Polytopic Uncertain Transition Description and Actuator Saturation

Zhongyi Tang1,2

¹Institute of Automation, Jiangnan University, Wuxi 214122, China

²Faculty of Electronic and Engineering, Huaiyin Institute of Technology, Huaian 223003, China

Received 24 January 2014; Revised 25 April 2014; Accepted 30 April 2014; Published 20 May 2014

Academic Editor: Shuping He

Copyright © 2014 Zhongyi Tang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

The problem of finite-time control for Markovian jump systems (MJS) is investigated. The systems considered time-varying delays, actuator saturation, and polytopic uncertain transition description. The purpose of this paper is to design a state feedback controller such that the system is finite-time bounded (FTB) and a prescribed disturbance attenuation level during a specified time interval is guaranteed. Based on the Lyapunov method, a linear matrix inequality (LMI) optimization problem is formulated to design the delayed feedback controller which satisfies the given attenuation level. Finally, illustrative examples show that the proposed conditions are effective for the design of robust state feedback controller.

1. Introduction

In the aspect of modeling practical systems with abrupt random changes, such as manufacturing system, telecommunication, and economic systems, MJS have powerful ability. MJS have been extensively studied during the past decades and many systematic results have been obtained [1–3]. The peak-to-peak filtering problem was studied for a class of Markov jump systems with uncertain parameters in [4]. A robust state feedback controller for continuous-time Markov jump linear systems subject to polytopic-type parameter uncertainty was designed in [5]. In [6], the authors address the stabilization problem for single-input Markov jump linear systems via mode-dependent quantized state feedback for control.

Actuator saturation which can lead to poor performance of the closed-loop system is another active research area. In practical situations, it may be encountered sometimes. How to preserve the closed-loop system performance in the case of actuator saturation would be more meaningful. In [7], the control problem for discrete-time singular Markov jump systems with actuator saturation was considered. In [8] the stochastic stabilization problem for a class of Markov jump linear systems subject to actuator saturation was considered.

In some practical applications, the behavior of the system over a finite-time interval is mainly considered. Finite-time stable (FTS) and Lyapunov asymptotic stability are independent concepts. The concept of FTS was first introduced in [9]. A system is said to be finite-time stable if, given a bound on the initial condition, its state does not exceed a certain threshold during a specified time interval. FTS of linear time-varying systems was considered in [10]. Sufficient conditions for the solvability of both the state and the output feedback problems are stated. Amato [11] provided a necessary and sufficient condition for the FTS of linear-varying systems with jumps. Recently, robust finite-time control of jump systems was dealt with in [12–14]. In [15], the problems of finite-time stability analysis were investigated for a class of Markovian switching stochastic systems. To the best of authors’ knowledge, however, the problem of finite-time performance for discrete-time MJS with imprecise transition probabilities and time-varying delays has not been well addressed, which motivates our work.

This paper deals with this problem. More specifically, the actuator is saturation. By using the Lyapunov-Krasovskii functional, a new sufficient condition for stochastic asymptotic stability with finite-time performance is derived in terms of LMI. Based on this, the existence condition of the desired performance which guarantees finite-time stability and an performance of the MJS is presented. A numerical example is provided to show the effectiveness of the proposed results.

Throughout the paper, if not explicitly stated, matrices are assumed to have compatible dimensions. The notation is used to denote a symmetric positive definite (positive semidefinite, negative, negative semidefinite) matrix. and represent the minimum and maximum eigenvalues of the corresponding matrix, respectively. is the identity matrix with compatible dimensions. refers to the Euclidean norm of vectors and stands for the mathematical expectation. For a symmetric block matrix, “*” is used as an ellipsis for the terms that are obtained by symmetry.

2. Problem Statement and Preliminaries

Consider a discrete-time MJS with actuator saturation and delay in the state. Let the system dynamics be described by the following:

where is the system state, is the system output, is the control input, is the disturbance input which belongs to and , and is a given positive scalar. , and are appropriately dimensioned real-valued matrices, which belong to the part of convex polyhedron :

where , and are matrix functions of the random jumping process (Figure 1), which is a discrete-time Markov chain taking values in a finite set with transition probabilities:

Here and for any . Assuming that the transition probability is not exactly known, a certain range can only be given

where and , and the transition probability belongs to the following convex polyhedron:

When the system operates in the th mode (), for simplicity, the matrices , and are denoted as , , , and , respectively. is a positive integer denoting the constant delay of the system state (Figures 2 and 3).

Figure 1: Jumping mode.

Figure 2: Response of the system state .

Figure 3: Response of the system state .

In system (1), is the vector-valued standard saturation function defined as follows:

where . It is assumed that system (1) is completely controllable. A mode-dependent controller is considered here with the following form:

where is the controller gain to be determined.

Let be the set of diagonal matrices whose diagonal elements are either 1 or 0. Suppose each element of is , , and denote . Note that is also an element of if . Let be the th row of the matrix , and define the symmetric polyhedron by .

Lemma 1 (see [8]). Let be given matrix. For , if , then

where , .

By the connection of (6), (7) and (8), the following closed-loop MJS are obtained:

To describe the main objective of this note more precisely, let us now introduce the following definition for the underlying system.

Definition 2 (see [13]). Given a time constant , the MJS

are said to be FTS with respect to , if there exist positive matrix , scalars and , and

Definition 3 (see [13]). Given a time constant , the MJS

are said to be finite-time bounded (FTB) with respect to , if there exist positive matrix and scalars and , and satisfied (11).

In general, FTB and FTS are different. If there is external disturbance in systems, the concept of FTB is used. Conversely, FTS is addressed.

The objective of this paper is to design a delayed feedback controller which satisfies the given attenuation level of system (1). The design procedure is given in the next section.

Definition 4. The time-delay MJS (1) is said to be finite-time control with respect to and performance , where , , and , if the time-delay MJS (1) is stochastically FTB and under the zero-initial condition the output satisfies

for all nonzero subject to the zero-initial condition.

3. Main Results

In this section, firstly stochastic FTB analysis of nominal time-delay MJS (1) is provided. Then, these results will be extended to the MJS (1) with actuator saturation and uncertain transition probability. LMI conditions are established.

Lemma 5. System (1) with is stochastic FTB with respect to ; if for scalars , , and , there exist symmetric matrices and , such that the following matrix inequalities hold:

where .

Proof. Choose the following Lyapunov functional:

The proof of Lemma 5 is divided into two parts. In the first part, the following inequality is obtained:

Then, we compute

where .

Note condition (14); it follows that

Therefore, we obtain that

That is,

By recursive,

Then the inequality in (17) is obtained.

In the second part, stochastic FTB is established:

On the other hand,

From Definition 2, we have

By (23) and (25), we know

This completes the proof.

Theorem 6. System (1) is finite-time control and satisfies the given lever with respect to ; if for scalars , , and , there exist symmetric matrices and , such that the following matrix inequalities hold:

Proof. System (1) with is FTB according to Lemma 5 and inequality (27).

Subsequently, to establish the energy-to-peak performance for the system (1), assume that the initial values for the plant are zeros and consider the following function:

For any nonzero and , it follows from (18) that

It follows from (27) that .

For all the time instants , the expectation of the output can be evaluated as

Applying Definition 4, the statement of Theorem 6 is true.

Theorem 7. Consider the uncertain time-delay system (1); there exists a state feedback controller such that the uncertain time-delay system (1) is finite-time control with respect to , if the following LMIs hold:

where , , , , , , , and .

The state feedback controller is designed as .

Proof. Noting condition (27) and , where , thus can be rewritten as

Using Schur complement, it can be obtained

Let ,, , and . Pre- and postmultiplying (35) by and then using Schur complement, then inequality (32) is obtained. Implying Theorem 6, we can conclude that the corresponding closed-loop system is finite-time control. This completes the proof.

4. Numeral Example

To illustrate the proposed results, a numerical example is considered for finite-time control. The system is described by (1) and assumed to have two modes; . The mode switching is governed by a Markov chain that has the following transition probability matrix:

The system matrices are as follows:

Assume performance of level ; by applying Theorem 7, we can explicitly compute the optimally achievable closed-loop performance from Theorem 7 as . Response of the system state is depicted in Figures 2 and 3.

5. Conclusion

The problem of finite-time control for MJS has been studied. By using the Lyapunov functional approach, a sufficient condition is derived such that the closed-loop MJS are stochastic FTB and satisfy the given level. The controller can be obtained by using the exiting LMI optimization techniques. Finally, numerical and simulation results demonstrate the effectiveness of the results of the paper.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

This work was supported by the National Natural Science Foundation of China under Grant no. 61273087.

References

H. Shen, S. Xu, J. Lu, and J. Zhou, “Passivity-based control for uncertain stochastic jumping systems with mode-dependent round-trip time delays,” Journal of the Franklin Institute, vol. 349, no. 5, pp. 1665–1680, 2012.

H. Shen, S. Xu, J. Zhou, and J. Lu, “Fuzzy filtering for nonlinear Markovian jump neutral systems,” International Journal of Systems Science, vol. 42, no. 5, pp. 767–780, 2011.

Z.-G. Wu, P. Shi, H. Su, and J. Chu, “Asynchronous - filtering for discrete-time stochastic Markov jump systems with randomly occurred sensor nonlinearities,” Automatica, vol. 50, no. 1, pp. 180–186, 2014.

S. He and F. Liu, “Robust peak-to-peak filtering for Markov jump systems,” Signal Processing, vol. 90, no. 2, pp. 513–522, 2010.

J. Dong and G.-H. Yang, “Robust control of continuous-time Markov jump linear systems,” Automatica, vol. 44, no. 5, pp. 1431–1436, 2008.

N. Xiao, L. Xie, and M. Fu, “Stabilization of Markov jump linear systems using quantized state feedback,” Automatica, vol. 46, no. 10, pp. 1696–1702, 2010.

S. Ma and C. Zhang, “ control for discrete-time singular Markov jump systems subject to actuator saturation,” Journal of the Franklin Institute, vol. 349, no. 3, pp. 1011–1029, 2012.

H. Liu, E.-K. Boukas, F. Sun, and D. W. C. Ho, “Controller design for Markov jumping systems subject to actuator saturation,” Automatica, vol. 42, no. 3, pp. 459–465, 2006.

G. V. Kamenkov, “On stability of motion over a finite interval of time,” Journal of Applied Mathematics and Mechanics, vol. 17, pp. 529–540, 1953.

F. Amato, M. Ariola, and C. Cosentino, “Finite-time stability of linear time-varying systems: analysis and controller design,” IEEE Transactions on Automatic Control, vol. 55, no. 4, pp. 1003–1008, 2010.

F. Amato, R. Ambrosino, M. Ariola, and C. Cosentino, “Finite-time stability of linear time-varying systems with jumps,” Automatica, vol. 45, no. 5, pp. 1354–1358, 2009.

Y. Zhang, C. Liu, and H. Sun, “Robust finite-time control for uncertain discrete jump systems with time delay,” Applied Mathematics and Computation, vol. 219, no. 5, pp. 2465–2477, 2012.

S. He and F. Liu, “Finite-time fuzzy control of nonlinear jump systems with time delays via dynamic observer-based state feedback,” IEEE Transactions on Fuzzy Systems, vol. 20, pp. 605–614, 2012.

Y. Zhang and C. Liu, “Observer-based finite-time control of discrete-time Markovian jump systems,” Applied Mathematical Modelling, vol. 37, no. 6, pp. 3748–3760, 2013.

Y. Yang, J. Li, and G. Chen, “Finite-time stability and stabilization of Markovian switching stochastic systems with impulsive effects,” Journal of Systems Engineering and Electronics, vol. 21, no. 2, pp. 254–260, 2010.