%0 Journal Article
%T 一种离散事件系统实时控制器的设计
%A 王蓓
%A 吴智铭
%J 自动化学报
%P 791-795
%D 1999
%X ？针对实时离散事件系统,提出了一种实时动态控制器的设计方法.用有限状态机FSM(FiniteStateMachine)对系统进行建模.用时态逻辑TL(TemporalLogic)给出系统的规范化要求.通过这两种形式化方法的有效结合,实现了控制器动态监控的功能.
%K FSM
%K 时态逻辑
%K 监控器
%K 动态控制器
%U http://www.aas.net.cn/CN/abstract/abstract16623.shtml