一种离散事件系统实时控制器的设计

摘要：

针对实时离散事件系统,提出了一种实时动态控制器的设计方法.用有限状态机FSM(Finite State Machine)对系统进行建模.用时态逻辑TL (Temporal Logic)给出系统的规范化要求.通过这两种形式化方法的有效结合,实现了控制器动态监控的功能.

关键词：FSM、时态逻辑、监控器、动态控制器

所属期刊栏目：25

分类号：TP2(自动化技术及设备)

在线出版日期：2004-03-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：791-795