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

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