• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.37 no.1
• /
• pp.21-31
• /
• 2000

In this paper, an analysis of the stability for a class of discrete-time neural network control systems is presentd. Based on Lyapunov's direct method, a sufficient stability condition for the neural network control systems is systematically derived and the modified back propagation algorithm which reflects the derived stability condition is suggested. The modified BP originates from the derived sufficient condition and guarantees the exponential stability of the resulting trained closed system. Finally, computer simulation is included to show an example where the derived stability condition and the BP modified bythe condition is used to train the control plant.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.7
• /
• pp.807-815
• /
• 2004

This paper describes the design principle of a fuzzy PID controller with fixed parameters, proposes the simulified form of a fuzzy PID controller to increase the computational efficiency and analyzes stability of a proposed fuzzy PID controller. After a detailed stability analysis using ‘small gain theorem’, a simple and practical sufficient condition for the BIBO stability of the overall feedback control system is derived. The derived stability condition offers a calculation method to obtain parameters of a fuzzy PID controller from parameters of a stable PID controller. Finally several computer simulations are executed to confirm the effectiveness of the fuzzy PID controller with fixed parameters.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.4
• /
• pp.1-6
• /
• 2010

In this paper, we present a new delay-dependent and parameter-dependent robust stability condition for uncertain singular systems with polytopic parameter uncertainties and time-varying delay. The robust stability criterions based on parameter-dependent Lyapunov function are expressed as LMI (linear matrix inequality). Moreover, the proposed robust stability condition is a general algorithm for both singular systems and non-singular systems. Finally, numerical examples are presented to illustrate the feasibility and less conservativeness of the proposed method.

• Journal of Advanced Navigation Technology
• /
• v.20 no.5
• /
• pp.475-481
• /
• 2016

In this paper, the new stability condition of linear discrete interval time-varying systems with time-varying delay time is proposed. The considered system has interval time-varying system matrices for both non-delayed and delayed states with time-varying delay time within given interval values. The proposed condition is derived by using Lyapunov stability theory and expressed by very simple inequality. The restricted stability issue on the interval time-invariant system is expanded to interval time-varying system and a powerful stability condition which is more comprehensive than the previous is proposed. As a results, it is possible to avoid the introduction of complex linear matrix inequality (LMI) or upper solution bound of Lyapunov equation in the derivation of sufficient condition. Also, it is shown that the proposed result can include the many existing stability conditions in the previous literatures. A numerical example in the pe revious works is modified to more general interval system and shows the expandability and effectiveness of the new stability condition.

• Journal of Advanced Navigation Technology
• /
• v.25 no.6
• /
• pp.551-556
• /
• 2021

In this paper, we deal with the stability condition of linear interval discrete systems with time-varying delays and unstructured uncertainty. For the interval discrete system which has interval matrix as its system matrices, time-varying delay time within some interval value and unstructured uncertainty which can include non-linearity and be expressed by only its magnitude, the stability condition is proposed. Compared with the previous result derived by using a upper bound solution of the Lyapunov equation, the new results are derived by the form of simple inequality based on Lyapunov stability condition and have the advantage of being more effective in stability application. Furthermore, the proposed stable conditions are very comprehensive and powerful, including the previously published stable conditions of various linear discrete systems. The superiority of the new condition is proven in the derivation process, and the utility and superiority of the proposed condition are examined through numerical example.

• Proceedings of the KIPE Conference
• /
• 2004.07a
• /
• pp.456-460
• /
• 2004

본 논문은 HVDC시스템의 안정도와 제어 게인과의 상관관계를 다루고 있다. HVDC와 같은 시스템은 비선형적인 요소를 많이 가지고 있기 때문에 수학적인 알고리즘으로 안정도를 판별하고, 제어게인을 구하는 것이 매우 어렵기 때문에 축약된 모델링을 이용하여 제어 게인을 구하였고, 안정도를 분석하였다.

• Journal of Institute of Control, Robotics and Systems
• /
• v.4 no.5
• /
• pp.567-573
• /
• 1998

본 논문에서는 입력과 상태변수에 hard constraint가 있는 이산시간 시스템에 대한 새로운 이동구간 제어기를 제안한다. 제안된 이동구간제어기가 terminal ellipsoid constraint를 이용하여 지수 안정성(exponential stability)을 보장함을 보인다. Feasibility를 증가시키기 위하여 시스템을 안정 모드와 불안정 모드로 바꾸는 방법, constraint를 완화하는 방법을 제안한다. Constraint를 완화할 때 constraint를 만족시키지 못하는 부분의 성능을 개선시키는 방법을 제안하고 예제를 통해서 몇 가지 제안한 방법들을 비교한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.11a
• /
• pp.411-414
• /
• 2007

본 논문은 뉴트럴 타입 시간 지연을 갖는 네트워크 시스템의 안정도 분석 및 퍼지 제어기 설계에 대해서 논의한다. 먼저 대상이 되는 네트워크 시스템은 TS (Takagi-Sugeno: T-S) 퍼지 모델로 표현 되어진다. 리아프노프-크라조브스키의 안정도 이론을 이용하여 뉴트럴 형태의 시간 지연을 갖는 퍼지 시스템의 안정도를 판별한다. 퍼지 시스템의 안정도 조건을 시간 지연에 종속적인 충분조건으로 제시하고 선형 행렬 부등식의 형태로 표현한다. 선형 행렬 부동식의 해를 구하고 이를 바탕으로 퍼지 제어기의 이득값을 설계한다. 제안된 방법의 효율성과 가능성을 보여주기 위해 한 예제를 포함한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.04a
• /
• pp.409-412
• /
• 2007

본 논문에서는 근사 이산-시간 모델 기반 지능형 디지털 재설계 기법의 타당성에 대해서 논의한다. 타당성을 검증하기 위해 재설계된 디지털 제어 퍼지 시스템의 안정도 및 상태-정합에 특성이 분석된다. 구체적으로 근사 이산-시간 모델들의 상태 사이의 비정합의 크기가 충분히 작으면 재설계된 디지털 제어 퍼지 시스템의 평형점은 점근적 안정함을 보인다. 또한 이러한 비정합이 영으로 수렴함에 따라 재설계된 디지털 제어 퍼지 시스템과 주어진 아날로그 제어시스템 사이의 비정합은 매우 작아짐을 보인다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.12
• /
• pp.683-695
• /
• 2007

NAND flash memory-based file systems cannot store their system-related information in the file system due to wear-leveling of NAND flash memory. This forces NAND flash memory-based file systems to scan the whole flash memory during their mounts. The mount time usually increases linearly according to the size of and the usage pattern of the flash memory. NAND flash memory has been widely used as the storage medium of mobile devices. Due to the fact that mobile devices have unstable power supply, the file system for NAND flash memory requires stable recovery mechanism from power failure. In this paper, we present design and implementation of a new NAND flash memory-based file system that provides fast mount and enhanced stability. Our file system mounts 19 times faster than JFFS2's and 2 times faster than YAFFS's. The stability of our file system is also shown to be equivalent to that of JFFS2.