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

Kokil, Priyanka

doi:https://doi.org/10.1155/2014/761959

International Scholarly Research Notices

On this page

Abstract Introduction Conclusions Acknowledgments References Copyright Related Articles

Research Article | Open Access

Volume 2014 | Article ID 761959 | https://doi.org/10.1155/2014/761959

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

Priyanka Kokil¹

Academic Editor: Fernando Tadeo

Received03 Jun 2014

Revised03 Aug 2014

Accepted08 Aug 2014

Published29 Oct 2014

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 bywhere 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 satisfywhere 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 bywhere 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

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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar
T. Ooba, “Stability of linear discrete dynamics employing state saturation arithmetic,” IEEE Transactions on Automatic Control, vol. 48, no. 4, pp. 626–630, 2003.
View at: Publisher Site | Google Scholar | MathSciNet
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar | Zentralblatt MATH
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.
View at: Publisher Site | Google Scholar
M. S. Mahmoud, Robust Control and Filtering for Time-Delay Systems, vol. 5 of Control Engineering, Marcel Dekker, New York, NY, USA, 2000.
View at: MathSciNet
M. Malek-Zavarei and M. Jamshidi, Time-Delay Systems: Analysis, Optimization and Applications, North-Holland, Amsterdam, The Netherlands, 1987.
View at: MathSciNet
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.
View at: Publisher Site | Google Scholar | MathSciNet
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar
S. Xu, “Robust $H_{\infty}$ 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.
View at: Publisher Site | Google Scholar
S. Xu, J. Lam, and T. Chen, “Robust $H_{\infty}$ control for uncertain discrete stochastic time-delay systems,” Systems and Control Letters, vol. 51, no. 3-4, pp. 203–215, 2004.
View at: Publisher Site | Google Scholar
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.
View at: Google Scholar
R. M. Palhares, C. E. de Souza, and P. L. D. Peres, “Robust $H_{\infty}$ filtering for uncertain discrete-time state-delayed systems,” IEEE Transactions on Signal Processing, vol. 49, no. 8, pp. 1696–1703, 2001.
View at: Publisher Site | Google Scholar | MathSciNet
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.
View at: Publisher Site | Google Scholar | MathSciNet
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.
View at: Google Scholar
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.
View at: Publisher Site | Google Scholar | MathSciNet
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.
View at: Publisher Site | Google Scholar
J. H. Kim and S. J. Ahn, “Guaranteed cost and $H_{\infty}$ filtering for discrete-time polytopic uncertain systems with time delay,” Journal of the Franklin Institute, vol. 342, no. 4, pp. 365–378, 2005.
View at: Publisher Site | Google Scholar | MathSciNet
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.
View at: Publisher Site | Google Scholar | Zentralblatt MATH
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | MathSciNet
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.
View at: Google Scholar
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.
View at: Publisher Site | Google Scholar | MathSciNet
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar | MathSciNet
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.
View at: Publisher Site | Google Scholar | MathSciNet
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.
View at: Publisher Site | Google Scholar
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.
View at: Publisher Site | Google Scholar | Zentralblatt MATH
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.
View at: Google Scholar

Copyright

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.

PDF Download Citation

Download other formats

Order printed copies

Views

720

Downloads

361

Citations