论文部分内容阅读
针对实时离散事件系统，提出了一种实时动态控制器的设计方法。用有限状态机ＦＳＭ对系统进行建模，实时态逻辑ＴＬ给出系统的规范化要求。通过对两种形式化方法的有效结合，实现了控制器动态监控的功能。
一种离散事件系统实时控制器的设计
【摘 要】
：
针对实时离散事件系统，提出了一种实时动态控制器的设计方法。用有限状态机ＦＳＭ对系统进行建模，实时态逻辑ＴＬ给出系统的规范化要求。通过对两种形式化方法的有效结合，实现了控制器动态
【机 构】
：
上海交通大学自动化系
【出 处】
：
自动化学报
【发表日期】
：
1999年6期
其他文献