基于监控理论的EFSM设计方法

• 作者: 王向云 蔡开元 赵雷
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 形式化方法 软件控制论 离散事件系统 扩展有限状态机(EFSM) 有限状态机(FSM)
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 博士论坛
• 页码范围: 20-24,81
• 页数: 6页
• 分类号: TP311.5|O231
• 字数: 6348字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.06.006

摘要

随着扩展有限状态机(EFSM)模型在计算机科学和工程领域的广泛应用,EFSM的设计逐渐成为一个重要的问题.目前EFSM的设计仍然主要依赖于个人经验,缺乏理论基础.由于EFSM中每个转移的谓词可以看作此转移的一个监控器,所以可以用离散事件系统的监控理论为EFSM设计提供理论基础.首先定义了有限状态机(FSM)导出的EFSM及其产生的语言.然后,基于监控理论中的受控对象和监控器,提出了一种设计EFSM的方法,用离散事件系统监控理论为EFSM设计提供理论依据.最后用两个实际例子说明了提出方法的可用性和有用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡开元	北京航空航天大学自动控制系	45	583	13.0	23.0
2	王向云	天津师范大学计算机与信息工程学院	2	2	1.0	1.0
3	赵雷	北京航空航天大学自动控制系	5	10	2.0	3.0