International Scholarly Research Notices
Volume 2014 (2014), Article ID 761959, 6 pages
http://dx.doi.org/10.1155/2014/761959

Research Article

An LMI Based Criterion for Global Asymptotic Stability of Discrete-Time State-Delayed Systems with Saturation Nonlinearities

Priyanka Kokil

Indian Institute of Information Technology, Design and Manufacturing, Kancheepuram, Chennai 600 127, India

Received 3 June 2014; Revised 3 August 2014; Accepted 8 August 2014; Published 29 October 2014

Academic Editor: Fernando Tadeo

Copyright © 2014 Priyanka Kokil. 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.

A linear matrix inequality (LMI) based criterion for the global asymptotic stability of discrete-time systems with multiple state-delays employing saturation nonlinearities is presented. Numerical examples highlighting the effectiveness of the proposed criterion are given.

1. Introduction

When discrete-time systems are implemented in finite word length processor using fixed-point arithmetic, nonlinearities are introduced due to quantization and overflow. Such nonlinearities may result in the instability of the designed system. The global asymptotic stability of the null solution guarantees the nonexistence of limit cycles in the realized system. A number of researchers [1–20] have extensively investigated the global asymptotic stability of discrete-time systems in the presence of overflow nonlinearities.

Time delays are generally encountered in various physical, industrial, and engineering systems due to measurement and computational delays, transmission, and transport lags [21, 22]. The presence of time delays may cause instability of the designed discrete-time systems. The problem of stability analysis of discrete-time state-delayed systems has drawn the attention of many researchers [23–37].

Stability analysis of discrete-time systems in the simultaneous presence of nonlinearities and time delays in their physical models is an important problem.

This paper, therefore, deals with the problem of stability analysis of a class of discrete-time state-delayed systems in state-space realization employing saturation overflow arithmetic. The paper is organized as follows. Section 2 introduces the system under consideration. A computationally tractable criterion for the global asymptotic stability of discrete-time state-delayed systems employing saturation overflow arithmetic is established in Section 3. It is demonstrated in Section 4 that a previously reported criterion is recovered from the presented approach as a special case. In Section 5, two examples highlighting the effectiveness of the presented approach are given.

2. System Description

In this section, the description of the system under consideration is given. The following notations are used throughout the paper:

 : set of real matrices, : set of real vectors, : null matrix or null vector of appropriate dimensions, : identity matrix of appropriate dimensions, : transpose of a matrix (or vector) , : is positive definite symmetric matrix, : any vector norm or matrix norm.

The system under consideration is given by

where is the state vector; ,    are the known constant matrices; () is the positive integer for time delays; and is the initial state value at time . The function representing the saturation nonlinearities given by

is under consideration.

Let

Define [14]

and assume that the elements of the matrix satisfy

where is an integer between 0 and . Such assumption does not pose any real difficulty due to the fact that, by relabeling the states, any discrete-time system can easily be transformed into an equivalent system such that (5a) and (5b) hold.

A class of discrete-time systems can be described with (1a), (1b), (1c), (1d), and (2); it includes digital filters implemented in finite word length [1–18], digital control systems with saturation arithmetic [5], neural networks defined on hypercubes [38], and so forth.

The equilibrium state of the system (1a), (1b), (1c), (1d), and (2) is asymptotically stable, if, for any , there exists such that if , , then , for every and .

3. Main Results

In this section, a linear matrix inequality (LMI) based criterion for the global asymptotic stability of the system (1a), (1b), (1c), (1d), (2), (4), (5a), and (5b) is established.

Suppose is a matrix characterized by

where it is implicit that, for , corresponds to a scalar .

For and , the matrix takes the form

where and , ().

Now, we have the following lemma.

Lemma 1. The matrix defined by (6a), (6b), and (6c) satisfies

Proof. Using (6a), (6b), and (6c), we obtain

This completes the proof of Lemma 1.

Now, we prove our main result.

Theorem 2. The zero solution of the system described by (1a), (1b), (1c), (1d), (2), (4), (5a), and (5b) is globally asymptotically stable if there exist positive scalars ,   , () and positive definite symmetric matrices , () such that the following LMI holds:

where is characterized by (6a), (6b), and (6c).

Proof. Let

In view of (1a), (1b), (1c), (1d), we have

Using (1b), (12), and (5b), one obtains

It follows from (5b) and (13) that

which, together with (2), yields

Consider a quadratic Lyapunov function [19]

Application of (16) to (1a), (1b), (1c), and (1d) gives

Now choose the quantity “” as [14]

when and

when .
From (13) and (15), we obtain

Therefore,

Using Lemma 1 and (21), it is easy to show that the first term of (18) is nonnegative for the nonlinearities given by (2) if (8) is satisfied. In view of (15), the second term of (18) is zero. Thus, the quantity “” given by (18) is nonnegative. Equation (18) can also be expressed as

Adding to and subtracting from (17), the quantity “” yields, after some rearrangement,

where

and is given by (10). Therefore, if , then for . Thus, condition is a sufficient condition for the global asymptotic stability of the system (1a), (1b), (1c), (1d), (2), (4), (5a), (5b), and only when . This completes the proof of Theorem 2.

Remark 3. The matrix inequality (10) is linear in the unknown parameters ,  (, ()), , and (). Thus, it can be easily solved using MATLAB LMI toolbox [39, 40].

Remark 4. Note that condition (10) is independent of the delay. Therefore, one need not know the size of the delays to establish the global asymptotic stability of the system (1a), (1b), (1c), (1d), (2), (4), (5a) and (5b) via Theorem 2.

Remark 5. Condition (10) provides a limit cycle-free realizability condition for the system with saturation arithmetic.

Remark 6. Stability of the system can be established via Theorem 2 for one combination of the elements of the matrix , that is, where the elements of first rows of satisfy (5a) and those of the remaining rows satisfy (5b). The stability results for the other possible combinations of the elements of matrix can easily be worked out.

4. Comparison

In this section, we will compare the main result of this paper with the result stated in [41].

Theorem 7 (see [41]). The zero solution of the system described by (1a), (1b), (1c), (1d), (2), and (4) is globally asymptotically stable if there exist positive definite symmetric matrices and () such that

Proposition 8. Theorem 2 implies Theorem 7.

Proof. It can be easily conceived that, with

matrix reduces to a positive definite symmetric matrix ; as a result, (10) reduces to (25). Therefore, Theorem 7 is recovered from Theorem 2 as a special case.

Remark 9. The present work may be treated as an extension of [41]. Moreover, the present approach leads to generalized and improved result over the result appearing in [41].

5. Numerical Examples

In this section, two numerical examples are given to demonstrate the usefulness of the present result.

Example 1. Consider a second-order system (1a), (1b), (1c), (1d), (2), (4), (5a), and (5b) with

Here, , , , and . Using MATLAB LMI toolbox [39, 40], it can be verified that Theorem 7 does not provide any feasible solution for this example.

We now apply Theorem 2 in the example under consideration. To check the feasibility of (10), we choose the matrix in the following form:

where and . With the help of MATLAB LMI toolbox [39, 40], it turns out that (10) yields the following solutions for the present system:

Therefore, Theorem 2 affirms the global asymptotic stability of the present system. Figure 1 shows the trajectory of the state variable for the present example with

Figure 1: Trajectory for the state variables.

The global asymptotic stability of the system under consideration (via Theorem 2) has also been verified for a number of randomly generated initial conditions with the help of trajectories traces of the system.

Example 2. Consider a system described by (1a), (1b), (1c), (1d), (2), (4), (5a), and (5b) with

Here, , , , and . Using MATLAB LMI toolbox [39, 40], it can be verified that (10) leads to the following feasible solutions:

Therefore, for this example, Theorem 2 succeeds to determine the global asymptotic stability of the system. However, (25) becomes infeasible and, consequently, Theorem 7 fails to ensure the global asymptotic stability of the present example.

6. Conclusions

An LMI-based sufficient condition (Theorem 2) for the global asymptotic stability of discrete-time systems with multiple state-delays employing saturation nonlinearities has been established. It is shown that Theorem 2 is less stringent than Theorem 7. Two numerical examples highlighting the usefulness of the presented result have been discussed.

The potential extensions of the proposed idea to the problems of stability of linear discrete-time systems with interval-like time-varying delay in the state [42, 43], stability of fixed-point state-space digital filters with saturation arithmetic [44], robust stability of discrete-time state-delayed systems using generalized overflow nonlinearities [19], stability of linear systems with input saturation and asymmetric constraints on the control increment or rate [45], and stability of linear two-dimensional systems with multidelays and input saturation [46], to other situations such as [47, 48], appear to be appealing problems for future investigation.

Conflict of Interests

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

Acknowledgments

The author wishes to thank Professor Fernando Tadeo and the anonymous reviewers for their constructive comments and suggestions.

References

J. H. F. Ritzerfeld, “Condition for the overflow stability of second-order digital filters that is satisfied by all scaled state-space structures using saturation,” IEEE transactions on circuits and systems, vol. 36, no. 8, pp. 1049–1057, 1989.

V. Singh, “A new realizability condition for limit cycle-free state-space digital filters employing saturation arithmetic,” IEEE Transactions on Circuits and Systems, vol. 32, no. 10, pp. 1070–1071, 1985.

V. Singh, “Elimination of overflow oscillations in fixed-point state-space digital filters using saturation arithmetic,” IEEE Transactions on Circuits and Systems, vol. 37, no. 6, pp. 814–818, 1990.

T. Bose and M. Chen, “Overflow oscillations in state-space digital filters,” IEEE transactions on circuits and systems, vol. 38, no. 7, pp. 807–810, 1991.

D. Liu and A. N. Michel, “Asymptotic stability of discrete-time systems with saturation nonlinearities with applications to digital filters,” IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol. 39, no. 10, pp. 798–807, 1992.

H. Kar and V. Singh, “A new criterion for the overflow stability of second-order state-space digital filters using saturation arithmetic,” IEEE Transactions on Circuits and Systems I, vol. 45, no. 3, pp. 311–313, 1998.

H. Kar and V. Singh, “Stability analysis of discrete-time systems in a state-space realisation with partial state saturation nonlinearities,” IEE Proceedings: Control Theory and Applications, vol. 150, no. 3, pp. 205–208, 2003.

T. Ooba, “Stability of linear discrete dynamics employing state saturation arithmetic,” IEEE Transactions on Automatic Control, vol. 48, no. 4, pp. 626–630, 2003.

H. Kar and V. Singh, “Elimination of overflow oscillations in fixed-point state-space digital filters with saturation arithmetic: an LMI approach,” IEEE Transactions on Circuits and Systems II: Express Briefs, vol. 51, no. 1, pp. 40–42, 2004.

V. Singh, “Stability analysis of discrete-time systems in a state-space realisation with state saturation nonlinearities: Linear matrix inequality approach,” IEE Proceedings Control Theory and Applications, vol. 152, no. 1, pp. 9–12, 2005.

H. Kar and V. Singh, “Elimination of overflow oscillations in digital filters employing saturation arithmetic,” Digital Signal Processing, vol. 15, no. 6, pp. 536–544, 2005.

H. Kar, “An LMI based criterion for the nonexistence of overflow oscillations in fixed-point state-space digital filters using saturation arithmetic,” Digital Signal Processing, vol. 17, no. 3, pp. 685–689, 2007.

V. Singh, “Modified form of Liu-Michel's criterion for global asymptotic stability of fixed-point state-space digital filters using saturation arithmetic,” IEEE Transactions on Circuits and Systems II, vol. 53, no. 12, pp. 1423–1425, 2006.

H. Kar, “An improved version of modified Liu-Michel’s criterion for global asymptotic stability of fixed-point state-space digital filters using saturation arithmetic,” Digital Signal Processing, vol. 20, no. 4, pp. 977–981, 2010.

V. Singh, “Novel criterion for stability of discrete-time systems in a state-space realization utilizing saturation nonlinearities,” Applied Mathematics and Computation, vol. 218, no. 8, pp. 4305–4311, 2011.

V. Singh, “New criterion for stability of discrete-time systems joined with a saturation operator on the state-space,” AEU-International Journal of Electronics and Communications, vol. 66, no. 6, pp. 509–511, 2012.

V. Singh, “Stability of discrete-time systems joined with a saturation operator on the state-space: yet another version of Liu-Michel's criterion,” AEÜ International Journal of Electronics and Communications, vol. 66, no. 1, pp. 28–31, 2012.

P. Kokil, V. K. R. Kandanvli, and H. Kar, “A note on the criterion for the elimination of overflow oscillations in fixed-point digital filters with saturation arithmetic and external disturbance,” AEÜ—International Journal of Electronics and Communications, vol. 66, no. 9, pp. 780–783, 2012.

V. Krishna Rao Kandanvli and H. Kar, “Robust stability of discrete-time state-delayed systems employing generalized overflow nonlinearities,” Nonlinear Analysis, Theory, Methods and Applications, vol. 69, no. 9, pp. 2780–2787, 2008.

V. Krishna Rao Kandanvli and H. Kar, “Robust stability of discrete-time state-delayed systems with saturation nonlinearities: linear matrix inequality approach,” Signal Processing, vol. 89, no. 2, pp. 161–173, 2009.

M. S. Mahmoud, Robust Control and Filtering for Time-Delay Systems, vol. 5 of Control Engineering, Marcel Dekker, New York, NY, USA, 2000.

M. Malek-Zavarei and M. Jamshidi, Time-Delay Systems: Analysis, Optimization and Applications, North-Holland, Amsterdam, The Netherlands, 1987.

J. K. Hale, Functional Differential Equations, Springer, New York, NY, USA, 1971.

J. Richard, “Time-delay systems: an overview of some recent advances and open problems,” Automatica, vol. 39, no. 10, pp. 1667–1694, 2003.

H. Shao, “Delay-dependent approaches to globally exponential stability for recurrent neural networks,” IEEE Transactions on Circuits and Systems II, vol. 55, no. 6, pp. 591–595, 2008.

H. Huang and G. Feng, “Improved approach to delay-dependent stability analysis of discrete-time systems with time-varying delay,” IET Control Theory and Applications, vol. 4, no. 10, pp. 2152–2159, 2010.

V. K. R. Kandanvli and H. Kar, “An LMI condition for robust stability of discrete-time state-delayed systems using quantization/overflow nonlinearities,” Signal Processing, vol. 89, no. 11, pp. 2092–2102, 2009.

S. Xu, “Robust filtering for a class of discrete-time uncertain nonlinear systems with state delay,” IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol. 49, no. 12, pp. 1853–1859, 2002.

S. Xu, J. Lam, and T. Chen, “Robust control for uncertain discrete stochastic time-delay systems,” Systems and Control Letters, vol. 51, no. 3-4, pp. 203–215, 2004.

G. Lu and D. W. C. Ho, “Robust observer for nonlinear discrete systems with time delay and parameter uncertainties,” IEE Proceedings—Control Theory and Applications, vol. 151, no. 4, pp. 439–444, 2004.

R. M. Palhares, C. E. de Souza, and P. L. D. Peres, “Robust filtering for uncertain discrete-time state-delayed systems,” IEEE Transactions on Signal Processing, vol. 49, no. 8, pp. 1696–1703, 2001.

W. Chen, Z. Guan, and X. Lu, “Delay-dependent guaranteed cost control for uncertain discrete-time systems with both state and input delays,” Journal of the Franklin Institute, vol. 341, no. 5, pp. 419–430, 2004.

X. Guan, Z. Lin, and G. Duan, “Robust guaranteed cost control for discrete-time uncertain systems with delay,” IEE Proceedings-Control Theory and Applications, vol. 146, no. 6, pp. 598–602, 1999.

L. Bakule, J. Rodellar, and J. M. Rossell, “Robust overlapping guaranteed cost control of uncertain state-delay discrete-time systems,” IEEE Transactions on Automatic Control, vol. 51, no. 12, pp. 1943–1950, 2006.

W.-H. Chen, Z.-H. Guan, and X. Lu, “Delay-dependent guaranteed cost control for uncertain discrete-time systems with delay,” IEE Proceedings: Control Theory and Applications, vol. 150, no. 4, pp. 412–416, 2003.

J. H. Kim and S. J. Ahn, “Guaranteed cost and filtering for discrete-time polytopic uncertain systems with time delay,” Journal of the Franklin Institute, vol. 342, no. 4, pp. 365–378, 2005.

M. S. Mahmoud, E. Boukas, and A. Ismail, “Robust adaptive control of uncertain discrete-time state-delay systems,” Computers and Mathematics with Applications, vol. 55, no. 12, pp. 2887–2902, 2008.

A. N. Michel, J. Si, and G. Yen, “Analysis and synthesis of a class of discrete-time neural networks described on hypercubes,” IEEE Transactions on Neural Networks, vol. 2, no. 1, pp. 32–46, 1991.

P. Gahinet, A. Nemirovski, A. J. Laub, and M. Chilali, LMI Control Toolbox for use with Matlab, The MathWorks, Natick, Mass, USA, 1995.

S. Boyd, L. El Ghaoui, and E. Feron, Linear Matrix Inequalities in System and Control Theory, vol. 15, SIAM, Philadelphia, Pa, USA, 1994.

P. Kokil, H. Kar, and V. K. R. Kandanvli, “Stability analysis of discrete-time state-delayed systems with saturation nonlinearities,” in Proceedings of the 2011 International Conference on Computational Intelligence and Computing Research, Kanyakumari, India, 2011.

P. Kokil, H. Kar, and V. K. R. Kandanvli, “Stability analysis of linear discrete-time systems with interval delay: a delay-partitioning approach,” ISRN Applied Mathematics, vol. 2011, Article ID 624127, 10 pages, 2011.

P. Kokil, V. K. R. Kandanvli, and H. Kar, “Delay-partitioning approach to stability of linear discrete-time systems with interval-like time-varying delay,” International Journal of Engineering Mathematics, vol. 2013, Article ID 291976, 7 pages, 2013.

P. Kokil and H. Kar, “An improved criterion for the global asymptotic stability of fixed-point state-space digital filters with saturation arithmetic,” Digital Signal Processing, vol. 22, no. 6, pp. 1063–1067, 2012.

A. Benzaouia, F. Tadeo, and F. Mesquine, “The regulator problem for linear systems with saturations on the control and its increments or rate: an LMI approach,” IEEE Transactions on Circuits and Systems I: Regular Papers, vol. 53, no. 12, pp. 2681–2691, 2006.

M. Benhayoun, A. Benzaouia, F. Mesquine, and F. Tadeo, “Stabilization of 2D continuous systems with multi-delays and saturated control,” in Proceeding of the 18th Mediterranean Conference on Control and Automation (MED ’10), pp. 993–999, Marrakech, Morocco, June 2010.

T. Hu, Z. Lin, and B. M. Chen, “Analysis and design for discrete-time linear systems subject to actuator saturation,” Systems and Control Letters, vol. 45, no. 2, pp. 97–112, 2002.

T. Hu and Z. Lin, “The equivalence of several set invariance conditions under saturation,” in Proceeding of the 41st IEEE Conference on Decision and Control, pp. 4146–4147, Las Vegas, Nev, USA, December 2002.