• Communications of the Korean Mathematical Society
• /
• v.17 no.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.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.420-420
• /
• 2000

In this paper, we propose an adaptive controller using RBFN(radial basis function network) for robot manipulators The structure of the proposed controller consists of a RBFN and VSC-1 ike control. RBFN is used in order to approximate かon system, and VSC-like control to guarantee robustness On the basis of the Lyapunov stability theorem, we guarantee the stability for the total system. And the learning law of RBFN is established by the Lyapunov method, Finally, we apply the proposed controller to tracking control for a 2 link SCARA type robot manipulator.

• International Journal of Aeronautical and Space Sciences
• /
• v.9 no.2
• /
• pp.71-78
• /
• 2008

New formation flight controller for unmanned aerial vehicles is proposed. A behavioral decentralized control approach called formation geometry center control is adopted. Trajectory tracking as well as formation geometry keeping are the purpose of the formation flight, and therefore two controllers are designed: a trajectory tracking controller for reference trajectory tracking, and a position controller for formation geometry keeping. Each controller is designed using Lyapunov stability theorem to guarantee the asymptotic stability. Formation flight controller is finally obtained by combining the trajectory tracking controller and the formation geometry keeping controller using a weighting parameter that depends on the relative distance error between unmanned aerial vehicles. Numerical simulations are performed to validate the performance of the proposed controller.

• Journal of Power Electronics
• /
• v.17 no.4
• /
• pp.983-990
• /
• 2017

This paper proposes a model predictive control based on the discrete Lyapunov function to improve the performance of power electronic converters. The proposed control technique, based on the finite control set model predictive control (FCS-MPC), defines a cost function for the control law which is determined under the Lyapunov stability theorem with a control error compensation. The steady state and dynamic performance of the proposed control strategy has been tested under a single phase AC/DC voltage source rectifier (S-VSR). Experimental results demonstrate that the proposed control strategy not only offers global stability and good robustness but also leads to a high quality sinusoidal current with a reasonably low total harmonic distortion (THD) and a fast dynamic response under linear loads.

• Proceedings of the IEEK Conference
• /
• 1999.11a
• /
• pp.720-723
• /
• 1999

For that the attitude control performance test of the satellite, dynamic analysis of satellite structure performed in reference with KOREASAT, and the equation of motion of rigid bodies was derivated. For attitude stability, Lyapunov's stability theorem and state space expression were applied to dynamic equation of satellite. To prove efficiency of our method, simulations are performed and result are shown.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.25 no.9
• /
• pp.1461-1467
• /
• 2001

This paper proposes a new approach for the ant-swing control of overhead cranes. The proposed control consists of a model-based anti-swing control scheme and a practical path planning scheme. The anti-swing control scheme is designed based on the Lyapunov stability theorem; the proposed control does not require the usual constraints of small load mass, small load swing, slow hoisting speed, and small hoisting distance, but guarantees asymptotic stability while keeping all internal signals bounded. The path planning scheme is designed based on the concepts of minimum-time control and anti-swing control; the proposed path planning generates near-minimum-time trajectories independently of hoisting speed and distance. The effectiveness of the proposed control is shown by computer simulation.

• Journal of applied mathematics & informatics
• /
• v.32 no.5_6
• /
• pp.807-816
• /
• 2014

The asymptotic behavior of solutions of Lyapunov type matrix Volterra integro differential equation, in which the coefficient matrices are not stable, is studied by the method of reduction.

• Transactions on Control, Automation and Systems Engineering
• /
• v.2 no.2
• /
• pp.92-97
• /
• 2000

The Lyapunov stability theorem is used to derive a control law that can be used to control the spacing between vehicles in a platoon. A third order system is adopted to model the vehicle and power-train dynamics. In addition, the concept of

• Proceedings of the KIEE Conference
• /
• 2006.10c
• /
• pp.226-228
• /
• 2006

This paper is concerned with an Adaptive Fuzzy Sliding Mode Control(AFSMC) that the fuzzy systems are used to approximate the unknown functions of nonlinear system. In the adaptive fuzzy system, we adopt the adaptive law to approximate the dynamics of the nonlinear plant and to adjust the parameters of AFSMC. The stability of the suggested control system is proved via Lyapunov stability theorem, and convergence and robustness properties are demonstrated. The simulation results demonstrate that the performance is improved and the system also exhibits stability.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.48 no.10
• /
• pp.1287-1292
• /
• 1999

In large-scale systems, we frequently encounter the time-delay and the uncertainty, and these should be considered in the design of controller because these are the source of the degradation of the system performance and instability of system. In this paper, we consider the robust stability of the linear large scale systems with the uncertainties and the time-delays. The considered uncertainties are both structured uncertainty and the unstructured uncertainty. Also, the considered time-delays are time-varying having finite time derivative limits. Based on the Lyapunov theorem and the linear matrix inequality(LMI) technique, we present two sufficient conditions that guarantee the robust stability of the system. The conditions are expressed as the LMI forms which can be easily checked their feasibility by using the well-known LMI control toolbox. Finally, we show by two examples that our results are less conservative than the previous results.