CONSTRUCTIVE AND DISCRETE VERSIONS OF THE LYAPUNOV′S STABILITY THEOREM AND THE LASALLE′S INVARIANCE THEOREM

Title & Authors
CONSTRUCTIVE AND DISCRETE VERSIONS OF THE LYAPUNOV′S STABILITY THEOREM AND THE LASALLE′S INVARIANCE THEOREM
Lee, Jae-Wook;

Abstract
The purpose of this paper is to establish discrete versions of the well-known Lyapunov's stability theorem and LaSalle's invariance theorem for a non-autonomous discrete dynamical system. Our proofs for these theorems are constructive in the sense that they are made by explicitly building a Lyapunov function for the system. A comparison between non-autonomous discrete dynamical systems and continuous dynamical systems is conducted.
Keywords
non-autonomous discrete dynamical system;Lyapunov function;exponentially stable fixed point;
Language
English
Cited by
1.
Criterion for the limit cycle free state-space digital filters with external disturbances and quantization/overflow nonlinearities, Engineering Computations, 2016, 33, 1, 64
2.
Criterion for the elimination of overflow oscillations in fixed-point digital filters with saturation arithmetic and external disturbance, AEU - International Journal of Electronics and Communications, 2011, 65, 9, 750
3.
A new condition for the elimination of overflow oscillations in direct form digital filters, International Journal of Electronics, 2012, 99, 11, 1581
4.
Criterion for limit cycle-free state-space digital filters with external disturbances and generalized overflow non-linearities, Transactions of the Institute of Measurement and Control, 2016, 014233121668028
5.
A Note on the Induced $${\varvec{l}}_\infty$$ l ∞ Stability of Fixed-Point Digital Filters Without Overflow Oscillations and Instability Due to Finite Wordlength Effects, Circuits, Systems, and Signal Processing, 2017, 36, 3, 1288
References
1.
Geometrical Methods in the Theory of Ordinary Differential Equations, 1977.

2.
DIFFERENTIAL GEOMETRY CONTROL THEORY, 1983.

3.
Applied methematical sciences, 1986. vol.42.

4.
Nonliear Systems, 1992.

5.
Stability by Lyapunov's Direct Method, 1961.

6.
IEEE Trans. on Circuits and System, 2001. vol.48. 1, pp.51-66

7.
J. Dynamical System, Measurement, Control, 1981. vol.112. pp.119-125

8.
Proc. IEEE, 1985. vol.73. pp.1703-1715