方略学科导航

搜索结果: 1-1 共查到“自动化仪器仪表与装置实时控制”相关记录1条 . 查询时间(0.191 秒)

一种离散事件系统实时控制器的设计 FSM 时态逻辑监控器 < 2008/12/9

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