基于时态逻辑的离散事件动态系统研究进展

摘要：

首先对离散事件动态系统采用的时态逻辑及有关框架进行介绍，然后概述了该理论在控制综合与性质正确性验证方面的主要研究成果，最后指出了存在问题及未来研究方向。

关键词： 时态逻辑 离散事件动态系统 时态逻辑模型(TLM) 控制综合 可控性

作者: 李勇健 田国会 刘长有

作者单位: 工业大学自动化工程系

会议类型: 国内会议

会议名称: 1998中国控制与决策学术年会

会议地点: 张家界

会议语种:中文

页码: 690～695

在线出版日期: 1998-04-01（万方平台首次上网日期，不代表论文的发表时间）