Research Article  Open Access
Yanling Wei, Mao Wang, Hamid Reza Karimi, Jianbin Qiu, " Control for TwoDimensional Markovian Jump Systems with StateDelays and Defective Mode Information", Mathematical Problems in Engineering, vol. 2013, Article ID 520503, 11 pages, 2013. https://doi.org/10.1155/2013/520503
Control for TwoDimensional Markovian Jump Systems with StateDelays and Defective Mode Information
Abstract
This paper investigates the problem of statefeedback control for a class of twodimensional (2D) discretetime Markovian jump linear timedelay systems with defective mode information. The mathematical model of the 2D system is established based on the wellknown FornasiniMarchesini local statespace model, and the defective mode information simultaneously consists of the exactly known, partially unknown, and uncertain transition probabilities. By carefully analyzing the features of the transition probability matrices, together with the convexification of uncertain domains, a new performance analysis criterion for the underlying system is firstly derived, and then the statefeedback controller synthesis is developed via a linearisation technique. It is shown that the controller gains can be constructed by solving a set of linear matrix inequalities. Finally, an illustrative example is provided to verify the effectiveness of the proposed design method.
1. Introduction
During the past decades, twodimensional (2D) systems have drawn considerable attention due to their extensive applications of both theoretical and practical interests in many modern engineering fields, such as process control (thermal processes, gas absorption, water stream heating, etc.) [1], multidimensional digital filtering [2], and image processing (enhancement, deblurring, seismographic data processing, etc.) [3]. In particular, since the wellknown Roesser statespace model and the FornasiniMarchesini local statespace (FMLSS) model were proposed, theory on 2D systems has progressed greatly [4–11].
On the other hand, as a class of stochastic hybrid systems, Markovian jump linear systems (MJLSs) have been extensively investigated [12–26]. The driving force behind this is that MJLSs can model different classes of dynamic systems subject to random abrupt variations in their structures, for example, manufacturing systems, power systems, and networked control systems, where random failure, repairs, and sudden environment changes may occur in Markov chains [27–29]. It is known that MJLSs are described by a set of classical differential (or difference) equations and a Markov stochastic process (or Markov chain) [30]. As a decisive factor, transition probabilities (TPs) in the jumping process determine the system behavior to a large extent and, so, far, many studies on the analysis and synthesis of MJLSs have been carried out in the context of perfect information on TPs [12–15, 25]. In practice, however, defective mode information is often encountered especially when adequate efforts to obtain the accurate TPs are costly or time consuming. Thus, it is more practical and interesting to study more general jump systems with defective mode information. Recently, there have appeared some results on the analysis and synthesis of MJLSs with uncertain TPs or partially unknown TPs [26, 31–38]. To mention a few, the authors in [31] studied the filter synthesis problem for a class of MJLSs with partially unknown TPs; The author in [32] considered the robust stability analysis and stabilization problems for a class of MJLSs with polytopic uncertain TPs; the authors in [36] addressed the robust stability analysis problem for a class of MJLSs with normbounded uncertain TPs.
However, the abovementioned works were only concerned with onedimensional (1D) systems. Inevitably, when 2D systems are employed to model dynamic systems with random abrupt changes in their structures or parameters such as chemical process control, the mathematical modeling of such physical systems would be naturally dependent on jumping parameters. For example, information propagation occurs from pass to pass and along a given pass in a gas absorption, water stream heating, and air drying [39]. Therefore, 2D MJLSs emerge as a more reasonable description to account for the parameter jumping phenomenon and have a great potential in engineering applications. Recently, the stability analysis and synthesis of discretetime delayfree 2D MJLSs described by Roesser model were reported in [39, 40], which are obtained based on the traditional assumption of complete knowledge on TPs. To the authors’ best knowledge, the analysis and synthesis for 2D MJLSs with statedelays and defective mode information have not drawn much attention yet, which motivates us for this study.
In this paper, the control problem for a class of 2D discretetime MJLSs with statedelays and defective mode information will be studied. The mathematical model of the 2D system is established in terms of the FMLSS model subject to statedelays, and the defective mode information simultaneously includes the exactly known, partially unknown and uncertain TPs. By fully considering the properties of the transition probability matrices, together with the convexification of uncertain domains, a new performance analysis criterion for the closedloop system will be firstly derived. By a linearisation procedure, the corresponding controller synthesis will then be converted into a convex optimization problem in terms of a set of linear matrix inequalities. Finally, an illustrative example will be performed to show the effectiveness of the proposed controller synthesis method.
Notations. The notations used throughout the paper are standard. and denote, respectively, the dimensional Euclidean space and the set of all real matrices; represents the sets of positive integers; the notation means that is real symmetric and positive definite; and represent the identity matrix and a zero matrix, respectively; denotes a complete probability space, in which is the sample space, is the algebra of subsets of the sample space, and is the probability measure on ; stands for the mathematical expectation; refers to the Euclidean norm of a vector or its induced norm of a matrix; denotes the space of square summable sequences on . Matrices, if not explicitly stated, are assumed to have appropriate dimensions for algebra operations.
2. Problem Formulation and Preliminaries
Fix a complete probability space and consider the following twodimensional (2D) discretetime Markovian jump linear systems (MJLSs), described by the FornasiniMarchesini local statespace (FMLSS) model with timedelays in the states: where is the state vector; is the control input; is the controlled output; denotes the disturbance input vector which belongs to ; and and are two constant positive integers representing delays along vertical and horizontal directions, respectively. , , , , , , , , , , and are realvalued system matrices. These matrices are functions of , which is described by a discretetime, discretestate homogeneous Markov chain with a finitestate space , and a stationary transition probability matrix (TPM) , where with and . For or , the system matrices of the th mode are denoted by , which are known and with appropriate dimensions. Unless otherwise stated, similar simplification is also applied to other matrices in the following.
In this paper, the transition probabilities (TPs) of the jumping process are assumed to be uncertain and partially accessed; that is, the TPM is assumed to belong to a given polytope with vertices , , where , , are given TPMs containing unknown elements still. For instance, for system with four operation modes, the TPM may be as where the elements labeled with “” and “” represent the unknown information and polytopic uncertainties on TPs, respectively, and the others are known TPs. For notational clarity, for all , we denote as follows: Moreover, if and , it is further described as where represents the th known element with the index in the th row of the TPM and represents the th uncertain element with the index in the th row of the TPM. Obviously, . Also, we denote where represents an uncertain TP in the th polytope, for all .
The boundary conditions of system in (1) are defined by Throughout this paper, the following assumption is made.
Assumption 1. The boundary conditions are assumed to satisfy
In this paper, we are interested in the controller synthesis for MJLSs (1). The following modedependent statefeedback control law is used: where .
Then the corresponding closedloop system can be represented as follows: where
Before proceeding further, we introduce the following definitions.
Definition 2. System (10) is said to be stochastically stable if, for and the boundary conditions satisfying (8), the following condition holds:
Definition 3. Given a scalar , system (10) is said to be stochastically stable with an disturbance attenuation performance index if it is stochastically stable with , and under zero boundary conditions in (7), for all nonzero, satisfies where
Therefore, the purpose of this paper is to design a modedependent statefeedback controller in the form of (9), such that the resulting closedloop system (10) with defective mode information is stochastically stable with a prescribed performance index .
3. Main Results
In this section, based on a Markovian LyapunovKrasovskii functional (MLKF), a new formulation of bounded real lemma (BRL) for the twodimensional (2D) Markovian jump linear system (MJLS) (10) with statedelays and defective mode information will be firstly given. Then, via a linearisation procedure, the controller synthesis will be developed.
3.1. Performance Analysis
In this subsection, by invoking the properties of the transition probability matrices (TPMs), together with the convexification of uncertain domains, an performance analysis criterion for the closedloop system (10) with statedelays and defective mode information is presented, which will play a significant role in solving the controller synthesis problem.
Proposition 4. The 2D MJLS in (10) with statedelays and defective mode information is stochastically stable with a guaranteed performance if the matrices , with , , , and , , such that the following matrix inequalities hold: where
Proof. Consider the following MLKF for the 2D MJLS (10):
where
Then, based on the MLKF defined in (17), it is known that the following condition (19) guarantees that the 2D closedloop system (10) is stochastically stable with an performance under zero boundary conditions for any nonzero :
where
and and are defined in (14).
Taking the time difference of along the trajectories of the 2D system in (10) yields
Therefore, based on the MLKF defined in (17), together with consideration of (10) and (21), we have
where
Considering the fact that , , and , , (22) can be rewritten as
where
According to (24), it is easy to see that (19) holds if and only if, for all ,
which is implied by condition (15). This completes the proof.
Remark 5. By fully considering the properties of TPMs, together with the convexification of uncertain domains, a new version of BRL has been derived for the 2D MJLS (10) with statedelays and defective mode information in Proposition 4. It is worth mentioning that the results for FornasiniMarchesini local statespace (FMLSS) model (10) could be readily applied to Roesser model after the similar transformation as performed in [8]. It is also noted that the condition given in (15) is nonconvex due to the presence of product terms between the Lyapunov matrices and system matrices. For the matrix inequality linearisation purpose, in the following, we shall make a decoupling between the Lyapunov matrices and system matrices, which will be convenient for controller synthesis purpose.
In the sequel, we focus on the controller design based on the analysis condition given in Proposition 4.
3.2. Controller Synthesis
In this subsection, based on a linearisation procedure, a unified framework for the solvability of the controller synthesis problem will be proposed. It will be shown that the parametrised representations of the controller gains can be constructed in terms of the feasible solutions to a set of strict linear matrix inequalities (LMIs).
Theorem 6. Consider 2D MJLS (1) with statedelays and defective mode information and the statefeedback controller in the form of (9). The closedloop system (10) is stochastically stable with an performance if there exist matrices , with , , , and and matrices and , , such that the following LMIs hold:
where
Moreover, if the above conditions have a set of feasible solutions , then the statefeedback controller in the form of (9) can be constructed as
Proof. It follows from Proposition 4 that, if we can show (15), then the claimed results follow. By Schur complement and with and , (15) is equivalent to
where
Now, by introducing a nonsingular matrix and pre and postmultiplying (30) by and its transpose the following yields:
where
and , , and are defined in (31).
It follows from
that
Then, it is easy to see that (27) implies (32).
On the other hand, the condition in (27) implies that , which means that is nonsingular. Thus, the controller gain can be constructed by (29). The proof is thus completed.
Remark 7. Theorem 6 provides a sufficient condition on the feasibility of statefeedback controller synthesis problem for the 2D MJLSs with statedelays and defective mode information. It is noted that the statefeedback controller synthesis problem for 2D discretetime MJLSs has also been considered in [40]. However, there still are some remarkable differences between our results and those in [40]. Firstly, in this paper, the statedelays were introduced in the system (1), whereas the 2D delayfree MJLSs are considered in [40]. In addition, in Theorem 6, the exactly known, partially unknown, and uncertain transition probabilities (TPs) have been simultaneously incorporated into the TPM for 2D MJLSs, while in [40], the TPs were assumed to be completely known. It has been recognized that the scenario containing timedelays and such defective TPs is more general and the underlying MJLSs are thereby more practicable for engineering applications.
4. An Illustrative Example
In this section, we use a simulation example to demonstrate the effectiveness of the proposed statefeedback controller design method to twodimensional (2D) Markovian jump linear systems (MJLSs).
Consider a 2D MJLS with statedelays in the form of (1) with parameters as follows: Four different cases for the transition probability matrix (TPM) are given in Table 1, where the transition probabilities (TPs) labeled with “” and “” represent the unknown and uncertain elements, respectively. Specifically, Case 1, Case 2, Case 3, and Case 4 stand for the completely known TPs, defective mode information (including known, partially unknown, and uncertain TPs), partially unknown TPs, and completely unknown TPs, respectively.

For Case 2, it is assumed that the uncertain TPs comprise four vertices , where the third rows , are given by and the other rows in the four vertices are given with the same elements; that is,
The objective is to design a statefeedback controller of the form (9) for the above system such that the 2D closedloop system is stochastically stable with an performance . By applying Theorem 6, a detailed comparison of the obtained minimum performance indices by the statefeedback controller (9) with four TPM cases being shown in Table 2. It is shown in Tables 1 and 2 that the lower the level of defectiveness of the TPM is, the better the performance can be obtained, which is effective to reduce the design conservatism. Therefore, the introduction of the uncertain TPs is meaningful.

Specifically, in the following, considering the four TPM cases shown in Table 1 and by applying Theorem 6, the feasible solution of for the statefeedback controller is obtained under Case 2 with controller gains given by The feasible solutions for the other three TPM cases in Table 1 are omitted for brevity.
In order to further illustrate the effectiveness of the designed statefeedback controllers, we present some simulation results. Let the boundary conditions be where , and choose the delays (vertical direction), (horizontal direction), and disturbance input as With the previous obtained controllers under Case 2 in Table 1, one possible realization of the Markovian jumping mode is plotted in Figure 1. The state responses for the openloop and closedloop systems are shown in Figures 2 and 3 and Figures 4 and 5, respectively, and Figures 6 and 7 are the controlled output trajectories of the closedloop system. It can be clearly observed from the simulation curves that, despite the defective TPs, the performance of the designed controller is satisfactory.
5. Conclusions
This paper has addressed the problem of control for a class of twodimensional (2D) Markovian jump linear systems (MJLSs) with statedelays and defective mode information. Such defective mode information simultaneously includes the exactly known, partially unknown, and uncertain transition probabilities, which contributes to the practicability of 2D MJLSs. By fully considering the properties of the transition probability matrices, together with the convexification of uncertain domains, an performance analysis criterion for the 2D FornasiniMarchesini local statespace model has been firstly developed, and then via a linearisation procedure, a unified framework has been proposed for the statefeedback controller synthesis that guarantees the stochastic stability of the closedloop system with an disturbance attenuation level. A simulation example has been given to illustrate the effectiveness of the proposed method.
Acknowledgments
The authors are grateful to the Guest Editors and anonymous reviewers for their constructive comments based on which the presentation of this paper has been greatly improved. This work was supported in part by the National Natural Science Foundation of China (61004038, 61374031), in part by the Program for New Century Excellent Talents in University (NCET120147), in part by the Fundamental Research Funds for the Central Universities (HIT.BRETIII.201214), and in part by the Alexander von Humboldt Foundation of Germany.
References
 R. P. Roesser, “A discrete statespace model for linear image processing,” IEEE Transactions on Automatic Control, vol. 20, pp. 1–10, 1975. View at: Google Scholar  MathSciNet
 T. Kaczorek, TwoDimensional Linear Systems, vol. 68, Springer, Berlin, Germany, 1985. View at: MathSciNet
 W. S. Lu and A. Antoniou, TwoDimensional Digital Fiters, Marcel Dekker, New York, NY, USA, 1992.
 S. Xu, J. Lam, Z. Lin, and K. Galkowski, “Positive real control for uncertain twodimensional systems,” IEEE Transactions on Circuits and Systems I, vol. 49, no. 11, pp. 1659–1666, 2002. View at: Publisher Site  Google Scholar  MathSciNet
 S. Xu, J. Lam, Z. Lin et al., “Positive real control of twodimensional systems: Roesser models and linear repetitive processes,” International Journal of Control, vol. 76, no. 11, pp. 1047–1058, 2003. View at: Publisher Site  Google Scholar  MathSciNet
 L. Xie, C. Du, Y. C. Soh, and C. Zhang, “${\mathscr{H}}_{\infty}$ and robust control of 2D systems in FM second model,” Multidimensional Systems and Signal Processing, vol. 13, no. 3, pp. 265–287, 2002. View at: Publisher Site  Google Scholar  MathSciNet
 J. Lam, S. Xu, Y. Zou, Z. Lin, and K. Galkowski, “Robust output feedback stabilization for twodimensional continuous systems in Roesser form,” Applied Mathematics Letters, vol. 17, no. 12, pp. 1331–1341, 2004. View at: Publisher Site  Google Scholar  MathSciNet
 W. Paszke, J. Lam, K. Gałkowski, S. Xu, and Z. Lin, “Robust stability and stabilisation of 2D discrete statedelayed systems,” Systems & Control Letters, vol. 51, no. 34, pp. 277–291, 2004. View at: Publisher Site  Google Scholar  MathSciNet
 N. T. Hoang, H. D. Tuan, T. Q. Nguyen, and S. Hosoe, “Robust mixed generalized ${\mathscr{H}}_{2}$/${\mathscr{H}}_{\infty}$ filtering of 2D nonlinear fractional transformation systems,” IEEE Transactions on Signal Processing, vol. 53, no. 12, pp. 4697–4706, 2005. View at: Publisher Site  Google Scholar  MathSciNet
 D. Peng and X. Guan, “${\mathscr{H}}_{\infty}$ filtering of 2D discrete statedelayed systems,” Multidimensional Systems and Signal Processing, vol. 20, no. 3, pp. 265–284, 2009. View at: Publisher Site  Google Scholar  MathSciNet
 X. Li and H. Gao, “Robust finite frequency ${\mathscr{H}}_{\infty}$ filtering for uncertain 2D Roesser systems,” Automatica, vol. 48, no. 6, pp. 1163–1170, 2012. View at: Publisher Site  Google Scholar  MathSciNet
 S. Xu, J. Lam, and X. Mao, “Delaydependent ${\mathscr{H}}_{\infty}$ control and filtering for uncertain Markovian jump systems with timevarying delays,” IEEE Transactions on Circuits and Systems I, vol. 54, no. 9, pp. 2070–2077, 2007. View at: Publisher Site  Google Scholar  MathSciNet
 H. Liu, D. W. C. Ho, and F. Sun, “Design of ${\mathscr{H}}_{\infty}$ filter for Markov jumping linear systems with nonaccessible mode information,” Automatica, vol. 44, no. 10, pp. 2655–2660, 2008. View at: Publisher Site  Google Scholar  MathSciNet
 M. Liu, D. W. C. Ho, and Y. Niu, “Stabilization of Markovian jump linear system over networks with random communication delay,” Automatica, vol. 45, no. 2, pp. 416–421, 2009. View at: Publisher Site  Google Scholar  MathSciNet
 M. Liu, P. Shi, L. Zhang, and X. Zhao, “Faulttolerant control for nonlinear Markovian jump systems via proportional and derivative sliding mode observer technique,” IEEE Transactions on Circuits and Systems I, vol. 58, no. 11, pp. 2755–2764, 2011. View at: Publisher Site  Google Scholar  MathSciNet
 Z. Wang, J. Lam, and X. Liu, “Exponential filtering for uncertain Markovian jump timedelay systems with nonlinear disturbances,” IEEE Transactions on Circuits and Systems I, vol. 51, no. 5, pp. 262–268, 2004. View at: Google Scholar
 Z. Wang, J. Lam, and X. Liu, “Robust filtering for discretetime Markovian jump delay systems,” IEEE Signal Processing Letters, vol. 11, no. 8, pp. 659–662, 2004. View at: Google Scholar
 Z. Wang, Y. Liu, and X. Liu, “Exponential stabilization of a class of stochastic system with Markovian jump parameters and modedependent mixed timedelays,” IEEE Transactions on Automatic Control, vol. 55, no. 7, pp. 1656–1662, 2010. View at: Publisher Site  Google Scholar  MathSciNet
 H. Dong, Z. Wang, and H. Gao, “Distributed filtering for a class of timevarying systems over sensor networks with quantization errors and successive packet dropouts,” IEEE Transactions on Signal Processing, vol. 60, no. 6, pp. 3164–3173, 2012. View at: Publisher Site  Google Scholar  MathSciNet
 H. Dong, Z. Wang, J. Lam, and H. Gao, “Fuzzymodelbased robust fault detection with stochastic mixed timedelays and successive packet dropouts,” IEEE Transactions on Systems, Man, and Cybernetics B, vol. 42, no. 2, pp. 365–376, 2012. View at: Google Scholar
 Z. Wang, B. Shen, H. Shu, and G. Wei, “Quantized ${\mathscr{H}}_{\infty}$ control for nonlinear stochastic timedelay systems with missing measurements,” IEEE Transactions on Automatic Control, vol. 57, no. 6, pp. 1431–1444, 2012. View at: Publisher Site  Google Scholar  MathSciNet
 B. Shen, Z. Wang, and Y. S. Hung, “Distributed ${\mathscr{H}}_{\infty}$consensus filtering in sensor networks with multiple missing measurements: the finitehorizon case,” Automatica, vol. 46, no. 10, pp. 1682–1688, 2010. View at: Publisher Site  Google Scholar  MathSciNet
 J. Qiu, G. Feng, and J. Yang, “Improved delaydependent ${\mathscr{H}}_{\infty}$ filtering design for discretetime polytopic linear delay systems,” IEEE Transactions on Circuits and Systems II, vol. 55, no. 2, pp. 178–182, 2008. View at: Google Scholar
 B. Shen, Z. Wang, Y. S. Hung, and G. Chesi, “Distributed ${\mathscr{H}}_{\infty}$ filtering for polynomial nonlinear stochastic systems in sensor networks,” IEEE Transactions on Industrial Electronics, vol. 58, no. 5, pp. 1971–1979, 2011. View at: Google Scholar
 G. He, J.A. Fang, and X. Wu, “Robust stability of Markovian jumping genetic regulatory networks with modedependent delays,” Mathematical Problems in Engineering, vol. 2012, Article ID 504378, 18 pages, 2012. View at: Publisher Site 