한국지능시스템학회:학술대회논문집 (Proceedings of the Korean Institute of Intelligent Systems Conference)
- 한국퍼지및지능시스템학회 1998년도 추계학술대회 학술발표 논문집
- /
- Pages.485-491
- /
- 1998
실시간 시간논리 구조를 이용한 비결정적 이산사건 동적시스템의 모델링
Modeling of Nondeterministic Discrete Events Dynamic System Using Real-Time Temporal logic Framework
초록
이산사건 시스템은 시간의 이산순간에 상태변화가 발생하는 시스템으로서 공정제어, Robotics, 교통시스템, Flexible Manufacturing System, 통신등 많은 분야의 시스템이 이산사건 시스템들이지만 아직도 포괄적이고 융통성 있는 제어이론이 연구되지 않았다. 본 연구는 특히 Real-Time Temporal Logic Framework(RTTL)에서 비결정적으로 발생되어지는 확정적인 사건들로써 유발되어지는 비결정적 이산사건 시스템의 모델링 방법을 제시하였다. 이 방법을 두 개의 machine들로 구성된 Flexible Manufacturing System(FMS)에 적용하여 설명하였다. 이 방법은 복잡한 이산사건 시스템의 모델링을 모듈화하여 간편하게 표현 할 수 있는 우수한 특성을 가지고 있다.
키워드