대한전기학회:학술대회논문집 (Proceedings of the KIEE Conference)

대한전기학회 (The Korean Institute of Electrical Engineers)
권호 표지

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

Modeling of Discrete Event Systems with Real-time Temporal Logic Frameworks

  • 정용만 (원광대학교 제어계측공학과) ;
  • 이원혁 (원광대학교 제어계측공학과) ;
  • 최정내 (원광대학교 제어계측공학과) ;
  • 황형수 (원광대학교 제어계측공학과)
  • Jeong, Yong-Man (Department of Control and Instrumentation Engineering University of Wonkwang) ;
  • Lee, Won-Hyok (Department of Control and Instrumentation Engineering University of Wonkwang) ;
  • Choi, Jeong-Nae (Department of Control and Instrumentation Engineering University of Wonkwang) ;
  • Hwang, Hyung-Soo (Department of Control and Instrumentation Engineering University of Wonkwang)
  • 발행 : 1997.07.21
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

A Discrete Event Dynamic System is a system whose states change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the systems is the lack of appropriate modeling techniques. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the analysis and control of DEDS. The Real-time Temporal Logic Frameworks is extended with a suitable structure of modeling hard real-time constraints. Modeling rules are developed for several specific situations. It is shown how the graphical model can be translated to a system of linear equations and constraints.

키워드