• Journal of Korea Society of Industrial Information Systems
• /
• v.22 no.1
• /
• pp.23-32
• /
• 2017

In this paper, We suggest a unified approach for the analysis of discrete-time MAP/G/1 queueing system. Many researches on the D-MAP/G/1 queue have been used different approach to analyze system queue length and waiting time for the same system. Therefore, a unified framework for analyzing a system is necessary from a viewpoint of system design and management. We first derived steady-state workload distribution, and then waiting time and sojourn time are derived by the result of workload analysis. Finally, system queue length distribution is derived with generating function from the sojourn time distribution.

• Proceedings of the KIEE Conference
• /
• 1999.11c
• /
• pp.687-689
• /
• 1999

본 논문에서는 이산 제어 시스템의 작업 수행 시, 특정작업에 있어서의 불규칙한 시간 지연 때문에 시스템이 불안정해지는 것을 막기 위해 시간 지연을 갖는 시스템의 안정도를 분석한다. Soft real time OS인 Windows NT 운영체제를 갖는 PC-based 이산 제어 시스템에서는 하드웨어적으로 인터럽트를 사용하여 시간 제한성이 있는 작업을 수행한다. 그러나 인터럽트와 함께 수반되는 DPC(Deferred Procedure Call)의 불규칙한 수행 시간 때문에 다른 작업이 수행되어야 할 표본시간이 길어지게 된다. 이러한 현상으로 다른 작업의 시간 지연이 발생하게 되며, 시간 지연은 시스템을 불안정하게 하는 요인이 된다. 안정성 분석 면에서 보면, 시간 지연을 고려하지 않은 시스템의 극점은 안정한 위치에 존재하게 되는데 반해, 시간 지연을 고려한 시스템의 극점은 불안정한 위치에 존재하게 된다. 따라서 본 논문에서는 시간 지연이 존재하는 제어 시스템의 안정성을 보장하기 위해서 시스템의 안정성을 분석한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.10a
• /
• pp.485-491
• /
• 1998

이산사건 시스템은 시간의 이산순간에 상태변화가 발생하는 시스템으로서 공정제어, Robotics, 교통시스템, Flexible Manufacturing System, 통신등 많은 분야의 시스템이 이산사건 시스템들이지만 아직도 포괄적이고 융통성 있는 제어이론이 연구되지 않았다. 본 연구는 특히 Real-Time Temporal Logic Framework(RTTL)에서 비결정적으로 발생되어지는 확정적인 사건들로써 유발되어지는 비결정적 이산사건 시스템의 모델링 방법을 제시하였다. 이 방법을 두 개의 machine들로 구성된 Flexible Manufacturing System(FMS)에 적용하여 설명하였다. 이 방법은 복잡한 이산사건 시스템의 모델링을 모듈화하여 간편하게 표현 할 수 있는 우수한 특성을 가지고 있다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.1
• /
• pp.45-51
• /
• 2001

본 논문은 이산 시간 Takagi-Sugeno (TS) 퍼지 시스템에 대한 출력 추종 제어기 설계에 관하여 연구한다. 출력 추종 제어기의 설계를 위하여 이산 시간 TS 퍼지 시스템을 불확실성을 포함한 선형 시스템의 집합으로서 표현하는 기법을 제시한다. 시스템의 상태에 대하여 어파인 변환을 하여 출력 추종 제어문제를 안정화 문제로 변환한다. 점근적 추종성능을 보장하는 제어기 설계를 위한 충분조건은 선형 행렬 부등식의 형태로 표현되면 주어진 제어기 설계의 해는 여러 가지 수치적 기법을 이용하여 효율적으로 구해질 수 있다. 트레일러 트럭의 임의의 위치에 후진 주차시키기 위한 제어기 설계의 예를 통하여 본 논문에서 제안한 추종 제어 기법의 효용성을 검증한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.13 no.5
• /
• pp.422-428
• /
• 1988

An iterative learning control system is a control system which makes system outputs follow desired outputs by iterating its trials over a finite time interval. In a discrete time system, we proposed one method in which present control inputs can be obtained by a linear combination of the input sequence and time-shifted error sequence at previous trial. In contrast with a continous time learning control system which needs differential opreration of an error signal, the time shift operation of the error sequence is simpler in a computer control system and its effectiveness is shown by a simulation.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.11a
• /
• pp.159-164
• /
• 2005

UAV(Unmanned Air Vehicle) 시스템은 새로운 알고리즘과 소프트웨어 디자인에 바탕을 두고 빠르게 발전하고 있다. 그러나, 일반적으로 쓰이고 있는 전자공학적인 제어 시스템은 개발의 복잡성과 그에 따른 이용증대에 대한 문제점을 가지고 있다. 이에 본 논문에서는 연속시간 시스템으로 표현되는 비행기 모델과 이의 효과적인 제어를 위해 이산사건 시스템으로 표현되는 조종사 모델간의 연동을 제안한다. 전자공학적 모델인 연속시스템은 자세한 표현력을 바탕으로 정량적이고 정확한 비행기 모델을 표현할 수 있으며 제어 모델인 이산사건 시스템은 각 사건과 시스템의 상태에 따른 정성적인 행동제어를 가능하게 한다. 본 연구는 한국항공대학교에서 개발한 이산사건 시뮬레이터인 DEJAVA(DEVS Java)와 연속시간시뮬레이터인 MATLAB 시뮬레이터 환경을 바탕으로, NASA에서 개발된 HL2O 비행시뮬레이터와 조종사 모델을 위한 지능제어시스템 개념을 사용하여 구현되었다.

• Proceedings of the KIEE Conference
• /
• 2008.04a
• /
• pp.209-210
• /
• 2008

본 논문에서는 제어기에 승산형 섭동을 가지는 제어기와 이산시간 특이시스템을 안정화시키는 비약성 제어기 설계방법을 제시한다. 강인 비약성 제어기가 존재할 조건과 제어기 설계방법을 블록최적화가 가능한 선형 행렬부등식 접근방법으로 제안한다. 또한, 제어기의 약성 성도를 표시하는 비약성 척도를 동시에 계산함으로 승산형 섭동의 제어기 최대 변동정도를 제시한다. 제안한 비약성 제어기는 제어기의 이득 변동에도 불구하고 이산 시간 특이시스템의 강인 안정성을 보장한다.

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

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

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2008.04a
• /
• pp.392-395
• /
• 2008

본 논문은 퍼지 제어기를 이용하여 이산 비선형 뉴트럴 시스템을 안정화 시킨다. 시간 지연을 가지는 이산 비선형 모델에 퍼지 제어기를 연결하여 폐회로를 구성하고, 이에 대한 안정도 분석 및 성능 평가에 대해 연구한다. 이산 비선형 시스템을 먼저 T-S 퍼지모델로 모델링 하고, 모델링된 시스템을 안정화 시키기 위한 제어기를 설계한다. 퍼지 모델과 퍼지 제어기 모두 같은 멤버쉽 함수를 가진다고 가정하며, 제어기 이득값 설계를 위한 선형 행렬 부등식 조건을 유도한다. 모의 실험을 통하여 제안된 제어기의 안정도를 입증한다.

• Journal of Institute of Control, Robotics and Systems
• /
• v.4 no.6
• /
• pp.689-694
• /
• 1998

본 논문에서는 상태와 제어입력에 시간지연을 가지는 이산 불확실성 시스템의 견실 H/sub ∞/ 상태궤환 제어기 설계문제를 다룬다. 동일한 제어기에 대해서, 파라미터 불확실성을 가지는 시간지연 시스템이 자승적 안정성(quadratic stability)과 폐루프 시스템의 H/sub ∞/ 노옴의 한계를 유지하면서 파라미터 불확실성이 없는 등가의 시스템으로 변형된다. 그리고 주어진 이산 불확실성 시간지연 시스템의 견실 H/sub ∞/ 상태궤환 제어기가 존재할 충분조건과 제어기 설계 알고리듬을 제시한다. 또한 변수치환과 Schur 여수(complement) 정리를 이용하면 구한 충분조건은 LMI(linear matrix inequality) 형태로 쓸 수 있다. 예제를 통하여 제시한 결과의 타당성을 보인다.