概述

1、简介

2、基本概念

Stateflow是一个交互式设计工具，用来对复杂的事件驱动模型系统进行建模与仿真。通过紧密地与Simulink和MATLAB集成，Stateflow将复杂的控制和监督逻辑有效地结合到Simulink模型中，为Simulink用户提供了一个设计嵌入式系统的完美解决方案。

Statefolw 是一种图形化的设计开发工具，是有限状态机的图形实现工具，也被称为状态流。主要用于simulink 中控制和检测逻辑关系,主要针对控制系统中复杂控制逻辑建模与仿真。它和Simulink 同时使用使得Simulink 更具有事件驱动控制能力。

有限状态机是指系统中存在可数的状态，在某些事件发生时，系统从一个状态转换成另一个状态，故又称为事件驱动的系统。在有限状态机的描述中，可以设计出由一种状态转换至另一种状态的条件，并将每对可转换的状态均设计出状态迁移的事件，从而构造出状态迁移图。

Stateflow能够做：

      stateflow基本概念—状态机

Stateflow允许用户：
（1）建立有限的状态。
（2）用图形的形式绘制出状态迁移的条件。
（3）使用规定的命令设计状态迁移执行的任务。完成以上操作即构造出整个有限状态机系统。

状态
状态是指系统运行的模态。在Stateflow 下，状态有两种行为：活动的（active）和非活动的（inactive）。状态有互斥和并行两种。

互斥状态的矩形框边缘都是实线，只能有一种状态被激活。当状态A被激活时，其子状态A1和A2也只能有一个被激活。

并行状态的矩形框边缘都是虚线，同一级的并行状态可在同一时间被激活。状态A和B并行可同时被激活，状态A1和A2也可同时被激活，但B1和B2则不能

状态迁移关系设置：
把鼠标放在一个状态块的边界，当出现十字光标时按下鼠标键并拖动至另一个状态的边界释放，可以绘制出从一个状态到另一个状态的连线。单击此连线，在该连线上会出现一个问号，我们可以在该问号处添加状态迁移标记。

状态迁移标记可以含有触发事件、迁移条件、条件动作及迁移动作，或他们中的任意组合。
状态迁移标记的一般形式是：
触发事件[迁移条件关系式]{条件动作}/迁移动作
触发事件：表示只要迁移关系式是真，该触发事件可以引发状态的迁移。
缺省触发事件时，任何事件均可在条件关系式为真的情况下引
引发状态的迁移。
迁移条件关系式：写在方括号中，该关系式为真时，触发事件可以引发状
态的迁移。
条件动作：是指当迁移条件关系式一旦成立（即为真），就执行的动作，
条件动作必须写在花括号中。
迁移动作：是指当迁移终点已经确定有效，才执行的动作。