[KSCI] Korea Science Citation Index Service

http://dx.doi.org/10.4134/CKMS.2002.17.1.155

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

Lee, Jae-Wook (Department of Industrial Engineering, Pohang University of Science and Technology)

Publication Information

Communications of the Korean Mathematical Society / v.17, no.1, 2002 , pp. 155-163 More about this Journal

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;

Citations & Related Records

Reference

1	Convergent regions of Newton homotopy methods: theory and computational applications / [ Jaewook Lee;H. -D. Chiang ] / IEEE Trans. on Circuits and System DOI ScienceOn
2	/ [ V. I. Arnold ] / Geometrical Methods in the Theory of Ordinary Differential Equations
3	Asymptotic stability and feedback stabilization / [ R. W. Brockett(eds.);R. S. Millman(eds.);H. J. Sussmann(eds.) ] / DIFFERENTIAL GEOMETRY CONTROL THEORY
4	Direct methods for transient stability analysis of power systems: Recent results / [ P. P. Varaiya;F. F. Wu;R. L. Chen ] / Proc. IEEE DOI ScienceOn
5	Sastry A new feedback method for dynamic control of manipulators / [ M. Takegaki;S. Sastry ] / J. Dynamical System, Measurement, Control
6	/ [ J. P. La Salle;S. Lefschetz ] / Stability by Lyapunov's Direct Method
7	Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields / [ J. Guckenheimer;P. Homes ] / Applied methematical sciences
8	/ [ H. K. Khalil ] / Nonliear Systems

Reference

9	Choon Ki Ahn. (2011) AEU - International Journal of Electronics and Communications Criterion for the elimination of overflow oscillations in fixed-point digital filters with saturation arithmetic and external disturbance / 65 (9) , 750
11	Choon Ki Ahn. (2012) International Journal of Electronics A new condition for the elimination of overflow oscillations in direct form digital filters / 99 (11) , 1581
	Priyanka Kokil. (2016) Transactions of the Institute of Measurement and Control Criterion for limit cycle-free state-space digital filters with external disturbances and generalized overflow non-linearities / , 014233121668028
1	Diksha -. (2016) Engineering Computations Criterion for the limit cycle free state-space digital filters with external disturbances and quantization/overflow nonlinearities / 33 (1) , 64
3	Priyanka Kokil. (2017) Circuits, Systems, and Signal Processing 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 / 36 (3) , 1288
1573-7543	(2018) Cluster Computing Criterion for realizing state-delayed digital filters subjected to external interference employing saturation arithmetic / (1573-7543)
1	(2012) Advances in Difference Equations Induced l∞ stability of fixed-point digital filters without overflow oscillations and instability due to finite word length effects / 2012 (1)