• Communications of the Korean Mathematical Society
• /
• 제17권1호
• /
• pp.155-163
• /
• 2002

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.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1994년도 Proceedings of the Korea Automatic Control Conference, 9th (KACC) ; Taejeon, Korea; 17-20 Oct. 1994
• /
• pp.543-547
• /
• 1994

In this paper, the new approach and technique are introduced and derived from the original Lyapunov direct method which is used to decide the stability of system conveniently. This proposed technique modifies the formal concepts of the sufficient conditions of Lyapunov stability and is able to generate the methods for the robust design of control systems. Also, it applies to the dynamic systems with bounded perturbations and the results of the computer program using the new concept are compared with those of previous research papers and conventional Lyapunov direct method. It is possible to recognize the practical improvements of the estimation of robustness bounds of the systems.

• Journal of applied mathematics & informatics
• /
• 제7권1호
• /
• pp.125-137
• /
• 2000

A solution of the findpath problem in which a moving object in required to avoid moving obstacles and move to the designated target in the plane is porcided via the second method of Lyapunov. This paper presents an new control designed by a family of piecewise Lyapunov functions to solve a findpath problem and gives some simultion results of that.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• 제39권11호
• /
• pp.1163-1173
• /
• 1990

In the stability analysis of a synchronous motor, the considerations of the initial conditions, that is, field application points and the determination techniques of stability regions to assure stable operations over four quadrants are very important. In this paper, Lyapunov stability regions obtained from a newly proposed algorithm with Lyapunov function of simple type on the basis of numerical analysis method are shown to be true stability regions which can accurately pull in within 2 (rad) after field application.

• Journal of Industrial Technology
• /
• 제11권
• /
• pp.33-41
• /
• 1991

Using the Brayton and Tong's computer-generated Lyapunov functions, we stabilize the multilocomotive train system so that the system is globally asymptotically stable. We decompose an interconnected system into the second order subsystems. Lyapunov functions of the free subystems are constructed using the Brayton and Tong's algorithm. An aggregated test matrix is determined in terms of the qualitative properties of the free subsystems and the interconnecting structures. Stated feedback is used for stabilizing the entire system.

• The Pure and Applied Mathematics
• /
• 제18권4호
• /
• pp.329-336
• /
• 2011

Some new Lyapunov-type inequalities for a class of nonlinear differential systems, which are natural refinements and generalizations of the well-known Lyapunov inequality for linear second order differential equations, are given. The results of this paper cover some previous results on this topic.

• The Pure and Applied Mathematics
• /
• 제5권2호
• /
• pp.143-147
• /
• 1998

We show that a real valued function $\phi$ defined by $\phi (\chi)$ = (equation omitted) is a Lyapunov function of compact asymptotically stable set M.

• Kyungpook Mathematical Journal
• /
• 제48권3호
• /
• pp.473-486
• /
• 2008

In this paper we generate a fuzzy dynamical matrix Lyapunov system and obtain a sufficient condition for the observability of this system.

• Korean Journal of Mathematics
• /
• 제21권3호
• /
• pp.345-350
• /
• 2013

Some results on the sensitivity of the solution of the generalized Lyapunov equation $$A^{n-1}X+A^{n-2}XA^*+{\cdots}+X(A^*)^{n-1}=B$$ are shown follow easily from well-known theorems in functional analysis.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 한국정밀공학회 2008년도 춘계학술대회 논문집
• /
• pp.285-286
• /
• 2008