文档介绍：Stateflow 系统建模同济大学电子与信息工程学院戴毅茹内容提要? Stateflow 入门介绍及基本概念?创建状态图?状态图仿真?流程图建模 Stateflow 的基本简介: ? Statefolw 是一种图形化的设计开发工具,是有限状态机的图形实现工具,也称之为状态流。?主要用于 simulink 中控制和检测逻辑关系。?使用这种图形化的工具可以实现各个状态之间的转换,解决复杂的监控逻辑问题。?它和 Simulink 同时使用,使得 Simulink 更具有事件驱动控制能力。有限状态机简介: Stateflow 的仿真原理是有限状态机( finite state machine ,简称 FSM )理论。所谓有限状态机是指系统中存在可数的状态,在某些事件发生时,系统从一个状态转换成另一个状态,故又称为事件驱动的系统。在有限状态机的描述中,可以设计出由一种状态转换至另一种状态的条件,并将每对可转换的状态均设计出状态迁移的事件,从而构造出状态迁移图。有限状态机示意图: Stateflow 允许用户: (1)建立有限的状态。(2)用图形的形式绘制出状态迁移的条件。(3)使用规定的命令设计状态迁移执行的任务。完成以上操作即构造出整个有限状态机系统。注: Stateflow 模型一般是嵌在 Simulink 模型下运行的, Stateflow 是由事件驱动的,这些事件可以来自某一个 Stateflow 图中,也可以来自 Simulink 。实例: DVD 播放机 8缺省转移 1状态 2转移 3事件 4条件 5动作 7连接节点 6Counter 数据对象一个状态机(可以包含多个 Chart ) 用户可以利用 Stateflow 编辑界面左侧的编辑工具绘制 Stateflow 图形,下面介绍常用的编辑工具。 Matlab 函数 10 放大缩小工具 —插入图块 Chart ?在 MATLAB 命令窗口输入>> sfnew ?直接从 stateflow 库中拖 Chart 块到模型中拖创建状态图—几个术语?每个 Chart 被称作一个 stateflow 图块,每个图块都有对应的 stateflow 框图,模型中所有的图块的集合叫做 stateflow 状态机,且一个模型中只有一个状态机。状态机图块框图双击图块包含的内容创建状态图的几个重要图形对象?状态?连接节点?转移?转移标签?默认转移?添加注释