Proceedings of the KIEE Conference (대한전기학회:학술대회논문집)
- 1997.11a
- /
- Pages.109-112
- /
- 1997
Modeling and Control of Fixed-time Traffic Control Problem 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.11.29
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 modeling and control of fixed-time traffic control problem which by way of a 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