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

• 作者: 吴智铭 王蓓
• 来源期刊: 自动化学报
• 学科: 工学
• 关键词: FSM 时态逻辑 监控器 动态控制器
• 年，卷（期）: 1999,（6）
• 所属期刊栏目: 短文
• 页码范围: 791-795
• 页数: 5页
• 分类号: TP2
• 字数: 2221字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴智铭	上海交通大学自动化系	121	2157	27.0	41.0
2	王蓓	上海交通大学自动化系	12	85	5.0	9.0