• The Transactions of the Korean Institute of Power Electronics
• /
• v.7 no.3
• /
• pp.289-296
• /
• 2002

New discrete-time modeling and simulation techniques are proposed which take advantages of the special features of PWM converter power stages and their compensation circuits. These techniques provide reduction of system order, and allow for the faster simulation without any numerical convergence problem. A buck converter with two-stage output filter Is employed to confirm the usefulness of the proposed techniques. The simulation results show these techniques can simulate the responoes of PWM converter system up to high frequencies.

• Journal of Power System Engineering
• /
• v.9 no.4
• /
• pp.175-180
• /
• 2005

Incorrections between model and plant are parameter, system order uncertainties and modeling error due to disturbance like friction. Therefore to achieve a good tracking performance, adaptive discrete time sliding mode tracking controller is used under time-varying desired position. Based on the diophantine equation, a new discrete time sliding function is defined and utilized for the control law. Robustness is increased by using both a recursive least-square method and a sliding function-based nonlinear feedback. The effectiveness of the proposed control algorithm is proved by the results of simulation and experiment.

• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.219-227
• /
• 2008

The DEVS (Discrete Event Systems Specification) formalism supports specification of discrete event models in a hierarchical modular manner. MATLAB/Simulink is widely used for modeling, simulating and analyzing continuous and discrete time systems. This paper proposes a realization of the DEVS formalism in MATLAB/ Simulink. The proposed design enables to use a great amount of mathematical packages and functions included in MATLAB /Simulink. The design is also employed as real time simulation and hybrid system simulation which is a mixture of continuous systems and discrete event systems. The paper introduces Simulink-DEVS model, in which a simulation algorithm is embedded. The model consists of a Simulink-atomic model and a Simulink-coupled model. In addition, the time advance algorithm to simulate the model is suggested. The algorithm handles the time synchronization and the accommodation of different concepts specific to continuous and discrete event models. Two experimental results are presented for a pure discrete event model and a hybrid model.

• 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 KIEE Conference
• /
• 2005.07d
• /
• pp.2498-2500
• /
• 2005

본 논문에서는 복잡한 비선형 동력학 시스템에서의 신뢰성 있고, 융통성 있는 동작을 위한 디지털제어기의 퍼지 모델 기반 설계 도구를 제안하고, 연속시간 비선형 시스템을 위해 퍼지 모델 기반 제어기의 지능형 디지털 재설계를 위한 방법을 제안한다. 이를 위해, 연속시간 시스템에 대해 연속시간 TS 퍼지 모델이 구성되고, 그 다음 연속시간 퍼지 모델 기반 제어기는 등가의 이산시간 퍼지 모델 기반 제어기로 변환된다. 마지막으로 단일링크 유연로봇 시스템의 디지털 제어에 제안된 방법을 적용해 그 효용성을 입증한다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1781-1782
• /
• 2008

본 논문은 시간 지연을 가지는 이산 시간 비선형 상호 결합 시스템의 분산 퍼지 출력 궤환 제어기의 설계에 대해 연구한다. T-S(Takagi-Sugeno) 퍼지 모델 기법을 이용하여 퍼지 상호 결합 시스템을 구한다. 이를 바탕으로 분산 퍼지 출력 궤환 제어기를 설계하고, 폐루프 시스템의 안정도 충분 조건을 선형 행렬 부등식 (LMI)의 형태로 나타낸다. 설계된 이득값을 통하여 상호 결합 시스템이 안정화됨을 모의실험을 통하여 보인다.

• Proceedings of the KIEE Conference
• /
• 1983.07a
• /
• pp.123-125
• /
• 1983

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.1-5
• /
• 2000

하이브리드 시스템의 행동 표현을 각각의 시스템에 적합한 모델링 형식론으로 표현하면, 각각의 모델이 지니고 있는 정확도를 유지할 수 있고, 수행속도를 증가시키는 이점을 가지게 된다. 하이브리드 시스템을 모델링 하는 과정에서 시간 진행에 따른 수행 의미의 고찰은 모델링 방법에 중요한 영향을 끼칠 수 있다. 본 논문에서는 이산 사건 시스템과 연속 시간 시스템간의 입출력 교환을 위해서, 사건을 연속 입력으로 변환하고, 연속 출력을 사건으로 변환하는 인터페이스를 표현하는 형식론을 정의하고, 시뮬레이션의 시간 진행에 따른 종속 관계 방법과 독립 관계 방법을 모두 수행할 수 있는 알고리즘을 제안한다. 이 때, 이산 사건 시스템은 DEVS 형식론에 기반한 알고리즘으로 수행하고, 연속 시스템을 미분방정식의 산술적 누적 알고리즘에 따라 수행하는 통합 환경을 구축하며, 이를 바탕으로 두 미사일의 격추 예제를 수행하여 전쟁 시뮬레이션 분야에 적용가능성을 확인한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.1444-1447
• /
• 1997

In this paper, the problen of dseigning a H.inf. controller is considered, where the controller is realized through digital equipment. We show that the existing discrete-time controller design method can be improved by usign the inveres bilinear transformation. The usefulness of the given method is confirmed by simulation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.477-479
• /
• 2000

최근 대부분의 시스템은 즉각적인 정보를 요구하는 실시간 시스템이다. 실시간 시스템은 오류에 대한 유연적인 대체를 필요로 하는 내고장성 시스템(fault tolerant system)의 개념을 지향한다. 내고장성 시스템은 보다 정확한 시스템 설계가 중요하며, 특히 실시간 시스템에서 필요로 하는 여러 종류의 시간제약에 대한 풍부한 표현력과 명세된 시간에 대한 검증이 중요하다. 본 논문은 특정 시점과 시간 간격, 주기, 이산 시간, 다수의 타이머에 의한 동적 등의 시간 관련 동작을 ATM(Abstract Timed Machine)에 기반으로 명세하고 명세된 시간에 대한 분석을 살펴본다.