Abstract
This paper is concerned with robust stability analysis of uncertain Roesser-type discrete-time two-dimensional (2D) systems. In particular, the underlying parameter uncertainties of system parameter matrices are assumed to belong to a convex bounded uncertain domain, which usually is named as the so-called polytopic uncertainty and appears typically in most practical systems. Robust stability criteria are proposed for verifying the robust asymptotical stability of the related uncertain Roesser-type discrete-time 2D systems in terms of linear matrix inequalities. Indeed, a parameter-dependent Lyapunov function is applied in the proof of our main result and thus the obtained robust stability criteria are less conservative than the existing ones. Finally, the effectiveness and applicability of the proposed approach are demonstrated by means of some numerical experiments.
1. Introduction
During the past several decades, the well-known Lyapunov stability theory has become an efficient tool for dealing with the problem of stability analysis of many kinds of uncertain systems [1–6]. However, those earlier results on stability analysis of uncertain systems are developed by using the so-called common quadratic Lyapunov function (CQLF) [7]. Actually, the CQLF applies a single Lyapunov matrix for all the submodels and therefore the obtained stability criteria are rather conservative. With the purpose of further releasing the conservatism of the stability criteria, the affine parameter-dependent Lyapunov function (APDLF) has been proposed in [8], where the fixed quadratic Lyapunov function is replaced by a Lyapunov function with affine dependence on the underlying uncertain parameters. Because of the construction of such parameter-dependent Lyapunov functions, the conservatism could be released a lot as a tradeoff.
On the other hand, the famous 2D systems model could represent a wide range of practical plants, for example, water stream heating, thermal processes, biomedical imaging, gas absorption, river pollution modeling, data processing and transmission, process of gas filtration, grid based wireless sensor networks, and so forth, [9, 10]. As a result, a considerable interest in stability analysis of 2D systems has emerged during the past two decades [11–15]. Recently, the 2D system theory has also been applied to address the problem of stability analysis 2D state-space digital filters with saturation arithmetic in [16–30]. However, it is worth noting that most of the aforementioned results are feasible for linear 2D systems without uncertainties. As is well known, most of the practical 2D dynamical systems in the realistic world are subject to parameter uncertainties and the above results would fail to work when some uncertain parameters occur in the practical settings.
In particular, 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 stability analysis more complicated. Due to the complexity of mathematical analysis of Roesser-type discrete-time 2D systems with parameter uncertainties, there has been little literature which focuses on robust stability analysis of uncertain Roesser-type discrete-time 2D systems so far. Thus, this problem needs to be further investigated and this fact motivates us to carry out this task in this paper.
Based on the above analysis, the problem of robust stability analysis of Roesser-type discrete-time 2D systems with parameter uncertainties will be addressed via the Lyapunov stability theory. The parameter uncertainties of 2D system's parameter matrices are assumed to belong to a convex bounded uncertain domain, which usually is named as the so-called polytopic uncertainty and appears typically in most modeling processes of uncertainties. An efficient parameter-dependent Lyapunov function is applied in the derivation of our main result and thus the obtained robust stability criteria are less conservative than the existing ones. Moreover, robust stability criteria are given to verify the robust asymptotical stability of the uncertain Roesser-type discrete-time 2D systems in terms of linear matrix inequalities. Finally, the effectiveness and applicability of the proposed approach are demonstrated by means of numerical examples.
The rest of this paper is organized as follows: following the introduction, some preliminaries are provided in Section 2. In Section 3, LMI-based robust stability criteria are proposed for verifying the robust asymptotical stability of the uncertain Roesser-type discrete-time 2D systems. A numerical example is given to demonstrate the effectiveness of the given approach in Section 4. Finally, some conclusions are also given in Section 5.
The following notations are applied for simplicity. A star in a symmetric matrix denotes the transposed element in the symmetric position; the symbol represents the identity matrix with appropriate dimension; (or ) means the matrix is symmetric and positive definite (or symmetric and positive semidefinite); denotes the transpose of .
2. Preliminaries
Consider a class of uncertain discrete-time 2D systems which is described by the Roesser-type model with where and are two integers in . is the horizontal state in and is the vertical state in , where and are dimensions of the horizontal state vector and the vertical state vector, respectively. The system coefficient matrix is not precisely known but belongs to a convex bounded uncertain domain: with , , , and , respectively. Specially, these matrices , , , and belong to a convex bounded (polytope type) uncertain domain given as follows: where is the so-called unit simplex given by Moreover, the boundary conditions along two independent directions are defined as and , where and are boundary conditions along the horizontal direction and vertical direction, respectively.
Finally, let us end this section by giving a definition and a lemma which will play an important role in the following proof.
Denote , and then we give the definition of robust asymptotical stability for uncertain Roesser-type discrete-time 2D system (1).
Definition 1. The uncertain Roesser-type discrete-time 2D system (1) is robust asymptotically stable if with the initial and boundary conditions and .
Lemma 2 (see [7]). Given matrices and with appropriate dimensions, the inequality is equivalent to , .
3. Main Results
In this section, by using the Lyapunov stability theory, sufficient robust stability criteria for ensuring the robust asymptotical stability of the underlying uncertain Roesser-type discrete-time 2D system (1) will be proposed in terms of linear matrix inequalities. Indeed, less conservative robust stability conditions are given by means of a parameter-dependent Lyapunov function and a slack method for exploiting the algebraic properties of the uncertain Roesser-type discrete-time 2D system (1).
Theorem 3. The uncertain Roesser-type discrete-time 2D system (1) is robust asymptotically stable if there exist appropriately dimensional matrices , ; , with such that the following LMIs hold:
Proof. Consider the following parameter-dependent Lyapunov function which is suitable for the uncertain Roesser-type discrete-time 2D system (1):
where the matrix is a positive definite matrix and with the following structure: , , , .
Then, the variation of the parameter-dependent Lyapunov function could be described as
By applying the Lyapunov stability theory, the uncertain Roesser-type discrete-time 2D system (1) is robust asymptotically stable if the following inequality holds:
Applying Lemma 2 to (10), it can be concluded that inequality (10) is equivalent to the following inequality:
On the other hand, reordering the expression of , one can obtain
where we have
From (10)–(12), if the LMI-based stability conditions (7) hold, inequality (10) evidently holds, which guarantee the robust asymptotical stability for the uncertain Roesser-type discrete-time 2D system (1).
This completes the proof.
Remark 4. From (1) and (4), the parameter uncertainties of 2D system parameter matrices are assumed to belong to a convex bounded uncertain domain. Then, LMI-based robust stability criteria are given for ensuring the robust asymptotical stability of the underlying uncertain Roesser-type discrete-time 2D systems in Theorem 3. Indeed, the parameter-dependent Lyapunov function is applied in the derivation of our main result and thus the obtained robust stability criteria are less conservative than before. Furthermore, the effectiveness and applicability of the proposed results will be demonstrated by means of numerical experiments in the following section.
4. Numerical Examples
Consider the uncertain Roesser-type discrete-time two-dimensional systems 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 and for and for and for .
Let ; the stability criteria given in Theorem 3 are feasible by solving LMIs (7), which guarantee the robust asymptotical stability for the underlying uncertain Roesser-type discrete-time 2D systems. On the other hand, Figures 1 and 2 show the state trajectory of the system state variables and with and , respectively. From Figures 1 and 2, it is easy to see that the state trajectories of and are robust asymptotically stable in this case.
Let ; the stability criteria given in Theorem 3 are feasible by solving LMIs (7), which guarantee the robust asymptotical stability for the underlying uncertain Roesser-type discrete-time 2D systems. On the other hand, Figures 3 and 4 show the state trajectory of the system state variables and with and , respectively. From Figures 3 and 4, it is easy to see that the state trajectories of and are robust asymptotically stable in this case.
Let ; the stability criteria given in Theorem 3 are not feasible by solving LMIs (7), which do not guarantee the robust asymptotical stability for the underlying uncertain Roesser-type discrete-time 2D systems. On the other hand, Figures 5 and 6 show the state trajectory of the system state variables and with and , respectively. From Figures 5 and 6, it is easy to see that the state trajectories of and are not robust asymptotically stable in this case. Now, it could be concluded that the effectiveness and applicability of the proposed approach given in Theorem 3 are illustrated by means of numerical experiments.
5. Conclusions
The problem of robust stability analysis of a class of uncertain Roesser-type discrete-time 2D systems has been addressed by using an efficient parameter-dependent Lyapunov function. In particular, the parameter uncertainties of the underlying 2D system's parameter matrices belong to a convex bounded uncertain domain, which often is named as polytopic uncertainty and appears typically in most practical systems. In order to ensure the robust asymptotic stability of the uncertain Roesser-type discrete-time 2D systems, LMI-based robust stability criteria are proposed by exploiting the algebraic properties of the convex bounded uncertain domain. Finally, a numerical example is provided to demonstrate the effectiveness and applicability of the approach given in this paper.
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 Grant 61304069 and 61372195, the National Nature Science Foundation of Liaoning Province under Grant 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.