| 基于监控理论的EFSM设计方法 |
| |
| 引用本文： | 王向云,赵雷,蔡开元.基于监控理论的EFSM设计方法[J].计算机工程与应用,2009,45(6):20-24. |
| |
| 作者姓名： | 王向云 赵雷 蔡开元 |
| |
| 作者单位： | 1. 天津师范大学,计算机与信息工程学院,天津,300387
2. 北京航空航天大学,自动控制系,北京,100083 |
| |
| 基金项目： | 国家自然科学基金，天津市高等学校科技发展基金计划项目，天津师范大学引进人才基金计划项目 |
| |
| 摘 要： | 随着扩展有限状态机(EFSM)模型在计算机科学和工程领域的广泛应用,EFSM的设计逐渐成为一个重要的问题。目前EFSM的设计仍然主要依赖于个人经验,缺乏理论基础。由于EFSM中每个转移的谓词可以看作此转移的一个监控器,所以可以用离散事件系统的监控理论为EFSM设计提供理论基础。首先定义了有限状态机(FSM)导出的EFSM及其产生的语言。然后,基于监控理论中的受控对象和监控器,提出了一种设计EFSM的方法,用离散事件系统监控理论为EFSM设计提供理论依据。最后用两个实际例子说明了提出方法的可用性和有用性。
|
| 关 键 词： | 形式化方法 软件控制论 离散事件系统 扩展有限状态机(EFSM) 有限状态机(FSM) |
| 收稿时间： | 2008-11-11 |
| 修稿时间： | 2008-12-1
|
Design approach for EFSM based on supervisory control theory |
| |
| WANG Xiang-yun,ZHAO Lei,CAI Kai-yuan.Design approach for EFSM based on supervisory control theory[J].Computer Engineering and Applications,2009,45(6):20-24. |
| |
| Authors: | WANG Xiang-yun ZHAO Lei CAI Kai-yuan |
| |
| Affiliation: | WANG Xiang-yun1,ZHAO Lei2,CAI Kai-yuan21.College of Computer , Information Engineering,Tianjin Normal University,Tianjin 300387,China 2.Department of Automatic Control,Beihang University,Beijing 100083,China |
| |
| Abstract: | With Extended Finite State Machine(EFSM) being applied widely in the fields of computer science and engineering, the design of EFSM is becoming an important issue.However,existing design methods for EFSM lack rigorous theoretical foundation and therefore have to rely heavily on the experience of personal.In this paper,the supervisory control theory of discrete event systems are suggested to be a theoretical foundation to EFSM design,since a transition predicate of an EFSM can be seen as a supervisor of the ... |
| |
| Keywords: | formal method software cybernetics discrete event dynamic system Extended Finite State Machines（EFSM） Finite State Machines（FSM） |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
|
