状态机嵌入DEVS的组合建模方法研究

摘要

DEVS提供了模块化、层次化的系统建模和仿真执行框架,但是缺乏对于系统行为的抽象建模能力.状态图扩展了原有的FSM,通过可视化的、灵活的状态迁移图描述系统的复杂行为.提出将状态图嵌入DEVS的组合建模方法,互为补充,以建立复杂的离散控制系统.DEVS作为系统的建模框架并提供执行逻辑支持,状态图扩展DEVS的事件交互机制和时间推进机制,描述系统的行为逻辑.详细介绍了状态图和DEVS的语法语义,重点阐述状态图嵌入DEVS的实现机制.结合一个应用实例,说明嵌入状态图的DEVS用于建立离散控制系统模型的优势.