Modeling of Nondeterministic Discrete Events Dynamic System Using Real-Time Temporal logic Framework

실시간 시간논리 구조를 이용한 비결정적 이산사건 동적시스템의 모델링

  • 김진권 (원광대학교 제어계측공학과) ;
  • 이원혁 (원광대학교 제어계측공학과) ;
  • 최정내 (원광대학교 제어계측공학과) ;
  • 황형수 (원광대학교 제어계측공학과)
  • Published : 1998.10.01

Abstract

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

Keywords