Proceedings of the KIEE Conference (대한전기학회:학술대회논문집)
- 1997.07b
- /
- Pages.590-592
- /
- 1997
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)
- Published : 1997.07.21
Abstract
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.
Keywords