Mathematical Problems in Engineering

Volume 2014 (2014), Article ID 490174, 5 pages

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

Research Article

Control Synthesis of Uncertain Roesser-Type Discrete-Time Two-Dimensional Systems

Yan Zhao,¹ Tieyan Zhang,¹ Dan Zhao,¹ Cunxu Wang,¹ and Miao LI²

¹School of Renewable Energy, Shenyang Institute of Engineering, Shenyang, Liaoning 110136, China

²School of Engineering and Information Technology, Murdoch University, Perth, WA 6150, Australia

Received 15 January 2014; Accepted 8 February 2014; Published 19 March 2014

Academic Editor: Weichao Sun

Copyright © 2014 Yan Zhao et al. 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.

This paper is concerned with control synthesis of uncertain Roesser-type discrete-time two-dimensional (2D) systems. The mathematical model of the 2D system’s parameter uncertainty, which may appear typically in many actual environment, is modeled as a convex bounded uncertain domain. By using the Lyapunov stability theory, stabilization conditions is proposed in with the purpose of ensuring the robust asymptotical stability of the underlying closed-loop uncertain Roesser-type discrete-time 2D systems. Furthermore, the obtained result of this paper is formulated in the form of linear matrix inequalities (LMIs), which can be easily solved via standard numerical software. Finally, a numerical example is also provided to demonstrate the effectiveness of the proposed result.

1. Introduction

Over the past several decades, the 2D systems have attracted considerable research interests due to their wide applications in many areas such as water stream heating, thermal processes, biomedical imaging, data processing and transmission, multidimensional digital filters, image processing, grid based wireless sensor networks [1, 2]. Recently, the problems of stability analysis and control synthesis of 2D systems have been investigated in [3–5]. Furthermore, the so-called 2D modeling theory could be applied as an efficient analysis tool to deal with other problems; for example, elimination of overflow oscillations in 2D digital filters employing saturation arithmetic has been implemented be means of LMIs in [6], LMI-based stability analysis of 2D discrete systems described by the Fornasini-Marchesini (FM) second model with state saturation has been addressed in [7], filter design for 2D Markovian jump systems has been given in [8], and optimal guaranteed cost control of 2D discrete uncertain systems has been studied in [9], respectively. More recently, considering the fact that state saturation often appears in various 2D digital systems when its transfer function is implemented by a state-space model with the finite wordlength format, the problem of stability analysis of 2D state-space digital filters with saturation arithmetic has been deeply investigated in the literature [9–28] and less conservative LMI-based stability criteria have been persistently obtained. However, it is worth noting that most of the above results are only for certain 2D systems. As is well known, most of the practical plants can be modelled as some linear 2D systems with system’s parameter uncertainties and then these existing results fail to work when system’s uncertain parameters affect the 2D system.

As is well known, the Lyapunov stability theory has become an efficient tool for addressing the problem of stability analysis and control synthesis of linear or nonlinear uncertain systems. Indeed, the earlier results on stability analysis and control synthesis of linear uncertain systems were obtained by applying the common quadratic Lyapunov function (CQLF). However, the CQLF applies a single Lyapunov matrix for all uncertain submodels and the obtained results are often very conservative. With the purpose of further reducing the conservatism, an efficient affine parameter-dependent Lyapunov function (APDLF) is proposed in [21], and the derived results can be less conservative than other existing ones. More importantly, it is worth noting that the Roesser-type discrete-time 2D system’s information is propagated along two independent directions and this fact makes the problem of control synthesis more complicated than the usual 1D linear uncertain systems. Therefore, due to the complexity of mathematical analysis, there has been few work on control synthesis of linear uncertain Roesser-type discrete-time 2D systems in the existing literature so far. Indeed, this problem needs to be further investigated and this fact motivates us to carry out the investigation proposed in this paper.

Motivated by the above analysis, the problem of control synthesis of uncertain Roesser-type discrete-time two-dimensional systems will be investigated based on the Lyapunov stability theory in this paper. In particular, the used mathematical model of the system’s parameter uncertainty, which often appears typically in most practical environments, is modeled as a convex bounded uncertain domain. Because the Roesser-type discrete-time 2D system’s information is propagated along two independent directions, and thus the derivation of control synthesis would be more complicated than the usual 1D models. Then, LMI-based stabilization conditions are proposed by applying both a Lyapunov function for the uncertain Roesser-type discrete-time 2D system and a state-feedback control law for the uncertain Roesser-type discrete-time 2D system. Under the control of obtained state-feedback control law, the uncertain Roesser-type discrete-time 2D system could be ensured to be robust asymptotically stable. More importantly, the obtained result of this paper is formulated by means of linear matrix inequalities (LMIs), which can be easily solved via standard MATLAB software. Finally, the effectiveness of the proposed approach in this paper is demonstrated by some numerical examples.

The rest of this paper is organized as follows: following the introduction, some preliminaries are provided in Section 2. LMI-based stabilization conditions of the uncertain Roesser-type discrete-time 2D systems are given in Section 3 and the task of control synthesis is achieved. In Section 4, a numerical example is given to demonstrate the effectiveness of the proposed result given in this paper. Finally, some conclusions are given in Section 5.

For simplicity, the notations used are fair standard. For example,   (or ) denotes the matrix as symmetric and positive definite (or symmetric and positive semidefinite); a star in a symmetric matrix represents the transposed element in the symmetric position; means the transpose of ; the symbol denotes the identity matrix with appropriate dimension.

2. Preliminaries

Consider a class of uncertain Roesser-type discrete-time 2D systems which are described as follows:

with

where is the horizontal state in , is the vertical state in , where and are dimensions of the horizontal state vector and the vertical state vector, respectively. is the control input in . are two integers in . In this paper, the system’s coefficient matrices and are assumed to be not precisely known and belong to the fixed structure as follows:

where we have , , , , , and , respectively. Furthermore, the matrices , , , , , and belong to a convex bounded (polytope type) uncertain domain given by

where is the unit simplex given by

Without loss of generality, the boundary conditions along two independent directions are defined as , , where and are corresponding boundary conditions along two independent directions.

Let us denote , and then we give out the definition of robust asymptotical stability for uncertain Roesser-type discrete-time 2D systems (1) as follows.

Definition 1. The uncertain Roesser-type discrete-time 2D systems (1) are robust asymptotically stable if with the initial and boundary conditions and .

Then, we end this section with a well-known lemma which plays an important role in the proof of our main result.

Lemma 2 (see [22]). Given matrices , , with appropriate dimensions, the matrix inequality is equivalent to the following two-matrix inequality: , .

3. Main Results

Considering the characteristics of the uncertain Roesser-type discrete-time 2D systems (1), a kind of state-feedback control law for implementing the task of control synthesis is proposed as follows:

where we have with and .

Therefore, the closed-loop uncertain Roesser-type discrete-time 2D systems (1) become

With the purpose of conceiving the robust asymptotic stability of the closed-loop uncertain Roesser-type discrete-time 2D systems, stabilization conditions will be developed by applying a Lyapunov function for uncertain Roesser-type discrete-time 2D systems in the following sequel.

Theorem 3. Under the control of the state-feedback control law (6), the closed-loop uncertain Roesser-type discrete-time 2D systems (7) are robust asymptotically stable if there exist appropriately dimensional matrices and, with

such that the following LMIs hold:

Moreover, the controller gain matrices could be calculated as follows: .

Proof. Consider a Lyapunov function for closed-loop uncertain Roesser-type discrete-time 2D systems (7) as follows:

where the Lyapunov matrix is a positive definite matrix and with the following structure: , , .

Then, the variation of can be written as

where .

Then, it is easy to see that the closed-loop uncertain Roesser-type discrete-time 2D systems (7) are asymptotically stable if the following inequality holds:

Using Lemma 2 (i.e., the well-known Schur complement lemma given in [22]) in (12), it could be concluded that (12) is equivalent to the inequality as follows:

Pre- and postmultiplying both sides of (13) by and applying the change of related matrix variables as , the inequality (13) becomes

On the other hand, reordering the expression of , one gets

From (13)–(15), if the LMI-based stabilization condition (9) holds, the inequality (12) evidently holds, which guarantees the robust asymptotical stability for the closed-loop uncertain Roesser-type discrete-time 2D systems (7).

This completes the proof.

Remark 4. By using the Lyapunov stability theory, LMI-based stabilization conditions are given in Theorem 3 and the robust asymptotical stability for the closed-loop uncertain Roesser-type discrete-time 2D systems (1) is ensured. Here, it is worth noting that the Roesser-type discrete-time 2D system’s information is propagated along two independent directions and this fact makes the problem of control synthesis more complicated than before. However, the obtained result of this paper is formulated in the form of linear matrix inequalities, which can be easily solved via standard MATLAB software.

Remark 5. It is worth noting that the used Lyapunov matrix in (10) is a single Lyapunov matrix for all uncertain submodels and the corresponding results are often very conservative. To further reduce the conservatism, several new Lyapunov functions may be developed to overcome these drawbacks [21]. In the future, the search for relaxed stabilization conditions would be investigated by extending the methods given in [23] and [24].

4. Numerical Examples

Consider a class of uncertain Roesser-type discrete-time two-dimensional systems which could be described as follows:

where , , and  . And the following parameter values about , , , , , and are given: , , , , , and . Furthermore, the initial and boundary conditions of the above uncertain Roesser-type discrete-time two-dimensional systems are set as for , for , for , and for .

Let and ; Figures 1 and 2 show the state trajectories of the system state variables and , respectively. It is easy to see that the state trajectories of and are not asymptotically stable from Figures 1 and 2.

Figure 1: The state trajectory of without control input.

Figure 2: The state trajectory of without control input.

Using Theorem 3, the following control matrices could be calculated by solving the LMI-based stabilization conditions (9):

Under the control of (6), Figures 3 and 4 show the state trajectories of the system state variables and , respectively. Now, it is easy to see that the state trajectories of the system state variables are robust asymptotically stable from Figures 3 and 4; that is, the effectiveness of the proposed result given in Theorem 3 has been illustrated via this numerical example.

Figure 3: The state trajectory of with control input.

Figure 4: The state trajectory of with control input.

5. Conclusions

In this paper, the problem of control synthesis of uncertain Roesser-type discrete-time 2D systems has been investigated via the well-known Lyapunov stability theory. The mathematical model of the system’s parameter uncertainty, which often appears typically in practical environment, is modeled by a convex bounded uncertain domain. With the purpose of conceiving the robust asymptotic stability of the closed-loop uncertain Roesser-type discrete-time 2D systems, stabilization conditions have been developed by proposing a Lyapunov function for uncertain Roesser-type discrete-time 2D systems. The obtained stabilization conditions are in terms of LMIs and can be easily solved via standard MATLAB software. Finally, a numerical example is provided to demonstrate the effectiveness of the proposed result.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work is supported by the National Nature Science Foundation of China under Grants 61304069 and 61372195, the National Nature Science Foundation of Liaoning Province under Grants 2013020124, 2012201010, and 201102160, the Key Project of Chinese Ministry of Education under Grant 212033, the Key Technologies R&D Program of Liaoning Province under Grant 2011224006, the Program for Liaoning Excellent Talents in University under Grant LJQ2011136, the Scientific Research Fund of Liaoning Provincial Education Department under Grant L2013494, and the Science and Technology Program of Shenyang under Grant F11-264-1-70.

References

R. P. Roesser, “A discrete state-space model for linear image processing,” IEEE Transactions on Automatic Control, vol. 20, no. 1, pp. 1–10, 1975.

E. Fornasini and G. Marchesini, “State-space realization theory of two-dimensional filters,” IEEE Transactions on Automatic Control, vol. 21, no. 4, pp. 484–492, 1976.

D. H. Owens, N. Amann, E. Rogers, and M. French, “Analysis of linear iterative learning control schemes—a 2D systems/repetitive processes approach,” Multidimensional Systems and Signal Processing, vol. 11, no. 1-2, pp. 125–177, 2000.

B. Sulikowski, K. Gałkowski, E. Rogers, and D. H. Owens, “Output feedback control of discrete linear repetitive processes,” Automatica, vol. 40, no. 12, pp. 2167–2173, 2004.

S. Yin, H. Luo, and S. Ding, “Real-time implementation of fault-tolerant control systems with performance optimization,” IEEE Transactions on Industrial Electronics, vol. 64, no. 5, pp. 2402–2411, 2014.

V. Singh, “Elimination of overflow oscillations in 2-D digital filters employing saturation arithmetic: an LMI approach,” IEEE Signal Processing Letters, vol. 12, no. 3, pp. 246–249, 2005.

S. Yin, S. X. Ding, A. H. A. Sari, and H. Hao, “Data-driven monitoring for stochastic systems and its application on batch process,” International Journal of Systems Science, vol. 44, no. 7, pp. 1366–1376, 2013.

L. Wu, P. Shi, H. Gao, and C. Wang, “ filtering for 2D Markovian jump systems,” Automatica, vol. 44, no. 7, pp. 1849–1858, 2008.

A. Dhawan and H. Kar, “Optimal guaranteed cost control of 2-D discrete uncertain systems: an LMI approach,” Signal Processing, vol. 87, no. 12, pp. 3075–3085, 2007.

V. Singh, “New LMI condition for the nonexistence of overflow oscillations in 2-D state-space digital filters using saturation arithmetic,” Digital Signal Processing, vol. 17, no. 1, pp. 345–352, 2007.

V. Singh, “Global asymptotic stability of 2-D state-space digital filters with saturation arithmetic: modified approach,” Signal Processing, vol. 88, no. 5, pp. 1304–1309, 2008.

V. Singh, “On global asymptotic stability of 2-D discrete systems with state saturation,” Physics Letters A, vol. 372, no. 32, pp. 5287–5289, 2008.

A. Dhawan and H. Kar, “An LMI approach to robust optimal guaranteed cost control of 2-D discrete systems described by the Roesser model,” Signal Processing, vol. 90, no. 9, pp. 2648–2654, 2010.

A. Dey and H. Kar, “An LMI based criterion for the global asymptotic stability of 2-D discrete state-delayed systems with saturation nonlinearities,” Digital Signal Processing, vol. 22, no. 4, pp. 633–639, 2012.

A. Dhawan and H. Kar, “An improved LMI-based criterion for the design of optimal guaranteed cost controller for 2-D discrete uncertain systems,” Signal Processing, vol. 91, no. 4, pp. 1032–1035, 2011.

A. Dey and H. Kar, “Robust stability of 2-D discrete systems employing generalized overflow nonlinearities: an LMI approach,” Digital Signal Processing, vol. 21, no. 2, pp. 262–269, 2011.

S. Yin, S. Ding, A. Haghani, H. Hao, and P. Zhang, “A comparison study of basic datadriven fault diagnosis and process monitoring methods on the benchmark Tennessee Eastman process,” Journal of Process Control, vol. 22, no. 9, pp. 1567–1581, 2012.

S. Yin, G. Wang, and H. Karimi, “Data-driven design of robust fault detection system for wind turbines,” Mechatronics, 2013.

V. Singh, “Improved LMI-based criterion for global asymptotic stability of 2-D state-space digital filters described by Roesser model using two's complement arithmetic,” Digital Signal Processing, vol. 22, no. 3, pp. 471–475, 2012.

P. Kokil, A. Dey, and H. Kar, “Stability of 2-D digital filters described by the Roesser model using any combination of quantization and overflow nonlinearities,” Signal Processing, vol. 92, no. 12, pp. 2874–2880, 2012.

P. Gahinet, P. Apkarian, and M. Chilali, “Affine parameter-dependent Lyapunov functions and real parametric uncertainty,” IEEE Transactions on Automatic Control, vol. 41, no. 3, pp. 436–442, 1996.

S. Boyd, L. E. Ghaoui, and E. Feron, Linear Matrix Inequality in System and Control Theory, SIAM Studies in Applied Mathematics, SIAM, Philadelphia, Pa, USA, 1994.

X. Xie, H. Ma, Y. Zhao, D. Ding, and Y. Wang, “Control synthesis of discrete-time T—S fuzzy systems based on a novel Non-PDC control scheme,” IEEE Transactions on Fuzzy Systems, vol. 21, no. 1, pp. 147–157, 2013.

X. Xie, D. Yue, and X. Zhu, “Further studies on control synthesis of discrete-time T-S fuzzy systems via useful matrix equalities,” IEEE Transactions on Fuzzy Systems, 2013.

W. C. Sun, H. J. Gao Sr., and O. Kaynak, “Finite frequency control for vehicle active suspension systems,” IEEE Transactions on Control Systems Technology, vol. 19, no. 2, pp. 416–422, 2011.

W. Sun, Y. Zhao, J. Li, L. Zhang, and H. Gao, “Active suspension control with frequency band constraints and actuator input delay,” IEEE Transactions on Industrial Electronics, vol. 59, no. 1, pp. 530–537, 2012.

Y. Suzuki, S. Morioka, and H. Ueda, “Cooking support with information projection over ingredient,” International Journal of Innovative Computing, Information and Control, vol. 9, no. 12, pp. 4753–4763, 2013.

M. Nakatani and T. Ohno, “An integrated model depicting psychology of active/Non-active internet users: how to motivate people to use internet at home,” International Journal of Innovative Computing, Information and Control, vol. 9, no. 12, pp. 4765–4779, 2013.