文档介绍：Stateflow系统建模要求和方法
Stateflow系统建模要求和方法
内容提要
Stateflow入门介绍及基本概念
创建状态图
状态图仿真
流程图建模
Stateflow系统建模要求和方法
Stateflow的基本简介：
Statefolw 是一种图形化的设计开发工具，是有限状态机的图
形实现工具，也称之为状态流。
主要用于simulink 中控制和检测逻辑关系。
使用这种图形化的工具可以实现各个状态之间的转换，解决复
杂的监控逻辑问题。
它和Simulink 同时使用,使得Simulink 更具有事件驱动控制能力。
Stateflow系统建模要求和方法
有限状态机简介：
Stateflow 的仿真原理是有限状态机（finite state machine，简
称FSM）理论。
所谓有限状态机是指系统中存在可数的状态，在某些事件发生
时，系统从一个状态转换成另一个状态，故又称为事件驱动的系统。
在有限状态机的描述中，可以设计出由一种状态转换至另一种
状态的条件，并将每对可转换的状态均设计出状态迁移的事件，从
而构造出状态迁移图。
Stateflow系统建模要求和方法
有限状态机示意图：
Stateflow允许用户：
（1）建立有限的状态。
（2）用图形的形式绘制出状态
迁移的条件。
（3）使用规定的命令设计状
态迁移执行的任务。
完成以上操作即构造出整
个有限状态机系统。
注：Stateflow 模型一般是嵌在Simulink 模型下运行的，Stateflow 是由事件
驱动的，这些事件可以来自某一个Stateflow 图中，也可以来自Simulink。
Stateflow系统建模要求和方法
实例：DVD播放机
8缺省转移
1状态
2转移
3事件
4条件
5动作
7连接节点
6Counter数据对象
一个状态机（可以包含多个Chart）
Stateflow系统建模要求和方法
用户可以利用Stateflow 编辑界面左侧的编辑工具绘制Stateflow图形，下面介绍常用的编辑工具。

10放大缩小工具

Stateflow系统建模要求和方法
创建状态图—插入图块Chart
在MATLAB命令窗口输入 >> sfnew
直接从stateflow库中拖Chart块到模型中
拖
Stateflow系统建模要求和方法
创建状态图—几个术语
每个Chart被称作一个stateflow图块，每个图块都有对应的stateflow框图，模型中所有的图块的集合叫做stateflow状态机，且一个模型中只有一个状态机。
状态机
图块
框图
双击
图块包含的内容
Stateflow系统建模要求和方法
创建状态图的几个重要图形对象
状态
连接节点
转移
转移标签
默认转移
添加注释
Stateflow系统建模要求和方法