一种离散事件系统实时控制器的设计
An Approach for Designing Real Time DES Controller
-
摘要: 针对实时离散事件系统,提出了一种实时动态控制器的设计方法.用有限状态机 FSM(Finite State Machine)对系统进行建模.用时态逻辑TL(Temporal Logic)给出系统的 规范化要求.通过这两种形式化方法的有效结合,实现了控制器动态监控的功能.Abstract: A new design method is presented for discrete event system(DES)controller. DES is modeled by finte state mechanism (FSM). The system specification is described by using temporal logic (TL). With the combination of these two formal methods ,one can not only realize the DES supervisor to maintain close-loop behavior in the allowed state domain, but also add control actions dynamically to enforce the system to meet the required dynamic specification.
-
Key words:
- Finite state machine /
- temporal logic /
- supervisor /
- dynamic controller
计量
- 文章访问数: 2041
- HTML全文浏览量: 95
- PDF下载量: 985
- 被引次数: 0