Mathematical Problems in Engineering

Volume 2013 (2013), Article ID 749782, 9 pages

http://dx.doi.org/10.1155/2013/749782

Research Article

Stability Analysis of State Saturation 2D Discrete Time-Delay Systems Based on F-M Model

Dongyan Chen and Hui Yu

Department of Applied Mathematics, Harbin University of Science and Technology, Harbin 150080, China

Received 25 September 2013; Accepted 13 November 2013

Academic Editor: Hongli Dong

Copyright © 2013 Dongyan Chen and Hui Yu. 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 stability analysis is investigated for a class of state saturation two-dimensional (2D) discrete time-delay systems described by the Fornasini-Marchesini (F-M) model. The delay is allowed to be a bounded time-varying function. By constructing the delay-dependent 2D discrete Lyapunov functional and introducing a nonnegative scalar , a sufficient condition is proposed to guarantee the global asymptotic stability of the addressed systems. Subsequently, the criterion is converted into the linear matrix inequalities (LMIs) which can be easily tested by using the standard numerical software. Finally, two numerical examples are given to show the effectiveness of the proposed stability criterion.

1. Introduction

Over the past decades, the two-dimensional (2D) systems have received considerable attention due to their extensive applications [1]. The 2D discrete-time systems have been successfully applied to many practical areas such as signal processing, linear image processing, multidimensional digital filtering, seismographic data processing, water stream heating and thermal processes. To mention a few, the problem of linear image processing has been studied in [2] for 2D discrete systems based on the Roesser model (R model). Aiming at the design of the digital filter, the 2D discrete systems based on the Fornasini-Marchesini model (F-M model) have been discussed in [3]. Recently, the modeling, calculation, and stability of 2D discrete systems have been widely studied and a large amount of results on these topics have been published; see, for example, [4–9].

Saturation, as a common and typical nonlinear constraint for practical control systems, is often encountered in various industrial systems. The phenomena of saturations if not properly handled will inevitably affect the implementations of the designed control schemes and may lead to the occurrence of the zero-input limit cycles [10–13]. Dynamical systems with saturation nonlinearities appear commonly in networks and 2D digital filter [14, 15]. When designing the 2D digital filter by using fixed point arithmetic, saturations are introduced due to the overflow and quantization. Recently, many important results on stability analysis of 2D discrete F-M systems with state saturation have been reported in recent literature; see, for example, [16–21]. To be specific, by using the Lyapunov method and employing the property of matrix norm, some sufficient conditions have been presented in [16, 17] to guarantee the global asymptotic stability of the related systems. In [18], an internally stable condition has been given for the design of 2D filters. By introducing a nonnegative scalar, in [19, 20], the criteria based on linear matrix inequality (LMI) have been proposed to ensure the global asymptotic stability of F-M model. Recently, sufficient conditions have been derived in [21] to guarantee the global asymptotic stability of the addressed F-M systems with state saturation nonlinearities.

As well known, the time delays occur in many practical engineering systems [22–24]. The occurrence of the time delays would yield the instability of the controlled systems in some cases. So far, a great number of results have been reported; see, for example, [25–29]. In particular, considerable research attention has been devoted to the problems of stability analysis of 2D discrete time-delay systems. To be specific, by constructing an appropriate Lyapunov function and a scalar , sufficient conditions have been proposed in [26] for state saturation 2D discrete time-delay systems based on the R model. In [27], the state estimation problem has been investigated for 2D complex networks with randomly occurring nonlinearities and probabilistic sensor delays. Accordingly, some sufficient conditions have been established such that the resulted estimation error dynamics are globally asymptotically stable in the mean square sense. To be specific, the problems of global asymptotic stability have been given in [30, 31] for 2D discrete F-M systems with state saturation and constant time delays. However, to the best of author’s knowledge, there has not been much work undertaken on the global asymptotic stability for state saturation 2D discrete time-varying delay systems based on F-M model.

In this paper, we aim to investigate the problem of global asymptotic stability for 2D discrete F-M systems with state saturation and time delays. Here, the delays are assumed to be time varying with known lower and upper bounds. By constructing a delay-dependent 2D discrete Lyapunov functional and introducing a nonnegative scalar based on a row diagonally dominant matrix, a sufficient condition is proposed to guarantee the global asymptotic stability of the addressed systems. Subsequently, the problem of global asymptotic stability is converted into the problem of feasibility by solving the LMIs. Finally, two numerical examples are given to show the effectiveness of the proposed criterion. The main contribution of this paper lies in that new stability criterion is given for state saturation 2D discrete F-M systems with time-varying delays.

Notations. The fundamental notations used in the paper are given as follows: and denote the identity matrix and zero matrix with appropriate dimensions. For a matrix , stands for transpose of the matrix . means that is positive definite symmetric matrix.

2. Problem Formulation and Preliminaries

In this paper, we consider the following 2D discrete F-M system with state saturation and time-varying delays:

where is the -dimensional state vector and is the 2-dimensional time variable along the vertical and horizontal directions satisfying . , , and are time-varying delays along the vertical and horizontal directions, respectively. We assume and satisfying:

where and denote the lower and upper bounds of the delay along the horizontal directions, and denote the lower and upper bounds of the delay along the vertical directions. Throughout this paper, the superscript to any vector (or matrix) stands for the transpose of that vector (or matrix).

The saturation nonlinearity is given by

with

The system (1) has finite initial conditions and with fixed yet nonzero values for and , and

where and are positive integers.

To proceed, we introduce the following definitions which will be used in the subsequent derivations.

Definition 1. The origin of the 2D discrete time-delay system is said to be stable (in the sense of Lyapunov) if for every there exists a such that

for all ,  , whenever and , where and are positive integers and denotes any of the equivalent norms on .

Definition 2 (see [21]). The origin of the 2D system (1) is said to be globally asymptotically stable if the following conditions are simultaneously satisfied:

(1)system (1) is stable;(2)every solution of system (1) tends to the origin as ; that is,

Definition 3 (see [32]). The matrix is said to be row diagonally dominant if

Definition 4. For a 2D function , denote its difference as

where

3. Main Results

In this section, we aim to investigate the problem of stability analysis for the 2D discrete F-M system with state saturation and time-varying delays. By resorting to the LMI technique, a sufficient condition is given to ensure the global asymptotic stability of the addressed system.

Theorem 5. The origin of 2D discrete system (1) is globally asymptotically stable if there exist matrices , and , where and with , , , and being symmetric positive definite matrices and is row diagonally dominant with nonnegative diagonal elements, satisfying the following matrix inequality:

with

Proof. In order to prove the global asymptotic stability of the 2D discrete F-M system (1), we construct the following Lyapunov functional as in [26]:

where

with , , , and being matrices to be determined.

According to Definition 4, the corresponding difference of along the trajectory of system (1) can be calculated as follows:

with

Noting (13)–(15), it can be derived that

Denoting

we have

where

Now, construct the following parameter :

Let

The saturation region can be divided into two regions, and we have

Thus, we obtain

Subsequently, due to the property of row diagonally dominant matrix , we have . Furthermore, note that is the sum of nonnegative scalars, and hence . Therefore,

where

If , then ; that is

Hence, for any nonnegative integer , we have

It is clear that the sum of the Lyapunov functional is a decreasing function along the state trajectories of system (1). Then, noting the initial condition , we have

Summarizing the above discussions, it can be shown that (11) is a sufficient condition which ensures the global asymptotic stability of system (1). This completes the proof of Theorem 5.

As special cases, if there is no time delay in system (1), that is, and , or the time delays are constant, then we can have the following corollaries.

Corollary 6. Consider the system (1) without time delay. If there exist matrices and , with , , and being symmetric positive definite matrices and is row diagonally dominant with nonnegative diagonal elements, satisfying the following matrix inequality:

then the origin of 2D discrete system (1) without time delay is globally asymptotically stable.

Corollary 7. Consider the constant time delay , . If there exist matrices , , and , where and , with , , , and being symmetric positive definite matrices and is row diagonally dominant with nonnegative diagonal elements, satisfying the following matrix inequality:

then the origin of 2D discrete system (1) with constant time delay is globally asymptotically stable.

Remark 8. Note that the problem of global asymptotic stability has been investigated in [33] for state saturation 2D discrete system without time delay. Accordingly, a stability criterion has been derived in [33] but a positive diagonally matrix is needed to be searched. It can be easily seen that the stability condition in [33] is a special case of (30) in Corollary 6. Therefore, the stability condition proposed in this paper is less conservative than the one in [33]. Meanwhile, note that a stability condition has been proposed in [21] where an unknown matrix must be given firstly. The values of must take specific values. Compared with the results in [21], we only need to find matrix . It concludes that the stability condition in [21] is more conservative than our result.

Remark 9. It is worth mentioning that the delay-fractioning approach has been employed in [34, 35] to reduce the conservativeness of the time delay. It has been shown that the developed approach performs well when dealing with the time delay compared with other methods. Accordingly, some effective SMC/SMO schemes based on the delay-fractioning idea have been proposed for discrete time-delay nonlinear stochastic systems with randomly occurring incomplete information. Motivated by the results in [34, 35], we are now researching into the stability criterion based on the delay-fractioning approach for the state saturation 2D discrete time-delay systems. The corresponding results will appear in the near future. Moreover, note that the recursive filters have been designed in [36–38] for time-varying networked nonlinear systems with missing measurements. It is also interesting to consider the analysis and synthesis of 2D discrete nonlinear systems with state saturations and missing measurements.

Remark 10. It is worth noting that the conditions in Theorem 5 are not strict LMI due to the fact that the matrix is row diagonally dominant with nonnegative diagonal elements. Hence, the results of Theorem 5 and Corollary 6 are not convex which lead to the computational difficulties. In the following, an alternative approach is developed to deal with the nonconvex problem.

Let be -dimensional column vectors in which the th element is and other elements are . Let be the set of -dimensional column vectors in which the th element is and other elements are either or and . Then, the condition where matrix is row diagonally dominant and the diagonal is composed of nonnegative elements can be equivalently converted into the following LMIs:

Together with (11) and (32), we can see that the proposed stability condition is a convex one and then can be easily solved by using the standard numerical software.

4. Numerical Examples

In this section, two numerical examples are given here to illustrate the effectiveness of the main results.

Example 1. Consider the state saturation 2D discrete time-delay system (1) with

The lower and upper bounds are given by , , , and .

Solving the inequalities (11) and (32) in the Matlab environment, we can obtain

Then, we can see that there exist the required matrices , , , , and satisfying LMIs (11) and (32). As such, according to Theorem 5, the origin of system (1) is globally asymptotically stable which confirms the feasibility of the proposed main results.

Example 2. Consider a 2D system described by (1) without time delay. The system parameters are given as

By using the Matlab LMI Toolbox, it can be easily verified that the following feasible solutions can be obtained

That is, there exist the required matrices , , and satisfying LMI (30). According to Corollary 6, the origin of system (1) is globally asymptotically stable which confirms the effectiveness of the presented results. However, it can be tested that the conditions in [33] are infeasible. Therefore, the result in our paper is less conservative than the one in [33].

5. Conclusions

In this paper, we have discussed the problem of global asymptotic stability for 2D discrete F-M systems with state saturation and time-varying delays. By constructing the 2D discrete-time Lyapunov functional, a new stability criterion has been established to ensure that the addressed system is globally asymptotically stable. The proposed stability criterion is in terms of the LMIs which can be easily tested by using the Matlab matrix toolbox. Two numerical examples have been given to demonstrate the feasibility of the proposed stability condition. It is worth mentioning that the construction of the scalar has taken full effects from time delays with hope to reduce the conservativeness. One of the future research topics would be the extension of the proposed main results to more general state saturation 2D discrete systems as in [39–41] with network-induced phenomena.

Acknowledgments

This work was supported in part by the Science Research Project of Abroad Scholars of Educational Commission of Heilongjiang Province under Grant 1152hq09 and the National Natural Science Foundation of China under Grants 11271103 and 11301118.

References

C. E. de Souza, L. Xie, and D. F. Coutinho, “Robust filtering for 2-D discrete-time linear systems with convex-bounded parameter uncertainty,” Automatica, vol. 46, no. 4, pp. 673–681, 2010.

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.

N. G. El-Agizi and M. M. Fahmy, “Two-dimensional digital filters with no overflow oscillations,” IEEE Transactions on Acoustics, Speech and Signal Processing, vol. 27, no. 5, pp. 465–469, 1979.

H. Gao, J. Lam, S. Xu, and C. Wang, “Stability and stabilization of uncertain 2-D discrete systems with stochastic perturbation,” Multidimensional Systems and Signal Processing, vol. 16, no. 1, pp. 85–106, 2005.

H. Gao, J. Lam, C. Wang, and S. Xu, “ model reduction for uncertain two-dimensional discrete systems,” Optimal Control Applications & Methods, vol. 26, no. 4, pp. 199–227, 2005.

P. Agathoklis, “Lower bounds for the stability margin of discrete two-dimensional systems based on the two-dimensional Lyapunov equation,” IEEE Transactions on Circuits and Systems, vol. 35, no. 6, pp. 745–749, 1988.

M. G. B. Sumanasena and P. H. Bauer, “Realization using the Fornasini-Marchesini model for implementations in distributed grid sensor networks,” IEEE Transactions on Circuits and Systems I: Regular Papers, vol. 58, no. 11, pp. 2708–2717, 2011.

X. Li and H. Gao, “Robust finite frequency filtering for uncertain 2-D systems: the FM model case,” Automatica, vol. 49, no. 8, pp. 2446–2452, 2013.

T. A. C. M. Claasen, W. F. G. Mecklenbräuker, and J. B. H. Peek, “Effects of quantization and overflow in recursive digital filters,” IEEE Transactions on Acoustics, Speech and Signal Processing, vol. 24, no. 6, pp. 517–529, 1976.

D. Chen, S. Li, and Y. Shi, “The practical stabilization for a class of networked systems with actuator saturation and input additive disturbances,” Mathematical Problems in Engineering, vol. 2012, Article ID 326876, 19 pages, 2012.

J. Hu, Z. Wang, H. Gao, and L. K. Stergioulas, “Probability-guaranteed finite-horizon filtering for a class of nonlinear time-varying systems with sensor saturations,” Systems & Control Letters, vol. 61, no. 4, pp. 477–484, 2012.

Z. Wang, B. Shen, and X. Liu, “ filtering with randomly occurring sensor saturations and missing measurements,” Automatica, vol. 48, no. 3, pp. 556–562, 2012.

H. Kar and V. Singh, “Stability analysis of 2-D digital filters with saturation arithmetic: an LMI approach,” IEEE Transactions on Signal Processing, vol. 53, no. 6, pp. 2267–2271, 2005.

V. Singh, “Robust stability of 2-D digital filters employing saturation,” IEEE Signal Processing Letters, vol. 12, no. 2, pp. 142–145, 2005.

D. R. Liu and A. N. Michel, “Stability analysis of state-space realizations for two-dimensional filters with overflow nonlinearities,” IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol. 41, no. 2, pp. 127–137, 1994.

D. Liu, “Lyapunov stability of two-dimensional digital filters with overflow nonlinearities,” IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol. 45, no. 5, pp. 574–577, 1998.

E. Fornasini and G. Marchesini, “On the internal stability of two-dimensional filters,” IEEE Transactions on Automatic Control, vol. 24, no. 1, pp. 129–130, 1979.

H. Kar and V. Singh, “Stability analysis of 2-D digital filters described by the Fornasini-Marchesini second model using overflow nonlinearities,” IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol. 48, no. 5, pp. 612–617, 2001.

H. Kar and V. Singh, “Stability analysis of 1-D and 2-D fixed-point state-space digital filters using any combination of overflow and quantization nonlinearities,” IEEE Transactions on Signal Processing, vol. 49, no. 5, pp. 1097–1105, 2001.

V. Singh, “Stability analysis of 2-D discrete systems described by the Fornasini-Marchesini second model with state saturation,” IEEE Transactions on Circuits and Systems II : Express Briefs, vol. 55, no. 8, pp. 793–796, 2008.

Z. Wang, Y. Liu, and X. Liu, “Exponential stabilization of a class of stochastic system with Markovian jump parameters and mode-dependent mixed time-delays,” IEEE Transactions on Automatic Control, vol. 55, no. 7, pp. 1656–1662, 2010.

H. Dong, Z. Wang, and H. Gao, “Distributed filtering for a class of Markovian jump nonlinear time-delay systems overlossy sensor networks,” IEEE Transactions on Industrial Electronics, vol. 60, no. 10, pp. 4665–4672, 2013.

J. Hu, Z. Wang, H. Gao, and L. K. Stergioulas, “Robust sliding mode control for discrete time-delay systems with stochastic nonlinearities,” Journal of the Franklin Institute, vol. 349, no. 4, pp. 1459–1479, 2012.

B. Shen, S. X. Ding, and Z. Wang, “Finite-horizon fault estimation for linear discrete time-varying systems with delayed measurements,” Automatica, vol. 49, no. 1, pp. 293–296, 2013.

S.-F. Chen, “Delay-dependent stability for 2D systems with time-varying delay subject to state saturation in the Roesser model,” Applied Mathematics and Computation, vol. 216, no. 9, pp. 2613–2622, 2010.

J. Liang, Z. Wang, and X. Liu, “State estimation for two-dimensional complex networks with randomly occurring nonlinearities and randomly varying sensor delays,” International Journal of Robust and Nonlinear Control.

J. Hu, Z. Wang, B. Shen, and H. Gao, “Gain-constrained recursive filtering with stochastic nonlinearities and probabilistic sensor delays,” IEEE Transactions on Signal Processing, vol. 61, no. 5, pp. 1230–1238, 2013.

Z. Wang, B. Shen, H. Shu, and G. Wei, “Quantized control for nonlinear stochastic time-delay systems with missing measurements,” IEEE Transactions on Automatic Control, vol. 57, no. 6, pp. 1431–1444, 2012.

S.-F. Chen, “Stability analysis of 2-D state-delayed systems with saturation nonlinearities,” in Proceedings of the 7th Asian Control Conference (ASCC '09), pp. 412–417, Hong Kong, China, August 2009.

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.

H. Fang and Z. Lin, “Stability analysis for linear systems under state constraints,” IEEE Transactions on Automatic Control, vol. 49, no. 6, pp. 950–955, 2004.

T. Hinamoto, “Stability of 2-D discrete systems described by the Fornasini-Marchesini second model,” IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol. 44, no. 3, pp. 254–257, 1997.

J. Hu, Z. Wang, Y. Niu, and L. K. Stergioulas, “ sliding mode observer design for a class of nonlinear discrete time-delay systems: a delay-fractioning approach,” International Journal of Robust and Nonlinear Control, vol. 22, no. 16, pp. 1806–1826, 2012.

J. Hu, Z. Wang, H. Gao, and L. K. Stergioulas, “Robust sliding mode control for discrete stochastic systems with mixed time delays, randomly occurring uncertainties, and randomly occurring nonlinearities,” IEEE Transactions on Industrial Electronics, vol. 59, no. 7, pp. 3008–3015, 2012.

J. Hu, Z. Wang, H. Gao, and L. K. Stergioulas, “Extended Kalman filtering with stochastic nonlinearities and multiple missing measurements,” Automatica, vol. 48, no. 9, pp. 2007–2015, 2012.

H. Dong, Z. Wang, and H. Gao, “Distributed filtering for a class of time-varying systems over sensor networks with quantization errors and successive packet dropouts,” IEEE Transactions on Signal Processing, vol. 60, no. 6, pp. 3164–3173, 2012.

J. Hu, Z. Wang, and H. Gao, “Recursive filtering with random parameter matrices, multiple fading measurements and correlated noises,” Automatica, vol. 49, no. 11, pp. 3440–3448, 2013.

Z. Wang, D. Ding, H. Dong, and H. Shu, “ consensus control for multi-agent systems with missing measurements: the finite-horizon case,” Systems and Control Letters, vol. 62, no. 10, pp. 827–836, 2013.

J. Hu, Z. Wang, B. Shen, and H. Gao, “Quantised recursive filtering for a class of nonlinear systems with multiplicative noises and missing measurements,” International Journal of Control, vol. 86, no. 4, pp. 650–663, 2013.

Z. Wang, H. Dong, B. Shen, and H. Gao, “Finite-horizon filtering with missing measurements and quantization effects,” IEEE Transactions on Automatic Control, vol. 58, no. 7, pp. 1707–1718, 2013.