Simulink—Stateflow实战指南：状态机设计与行为控制

1. Stateflow入门：从零开始构建状态机

第一次接触Stateflow时，我被它强大的图形化建模能力震撼到了。作为Simulink的扩展模块，Stateflow专门用于设计复杂的状态机系统。打开MATLAB后，我习惯在命令行输入"sfnew"快速创建一个包含Stateflow Chart的Simulink模型。这个Chart就是我们设计状态机的主战场。

状态机的核心概念其实很简单：系统在不同时间处于不同状态，事件触发状态间的转换。比如一个简单的交通灯系统，就包含红灯、黄灯、绿灯三种状态。在Stateflow中，每个状态用圆角矩形表示，状态间的转换用带箭头的连线表示。双击Chart模块进入编辑界面后，你会发现左侧工具栏提供了各种建模元素，最常用的就是"State"状态模块。

创建第一个状态时，我建议从简单的互斥状态开始。互斥状态意味着同一时间只能有一个状态处于激活状态。比如在电机控制系统中，电机可能处于"停止"、"正转"或"反转"状态，这些状态就是互斥的。要创建互斥状态，只需连续添加多个状态模块，Stateflow默认会将它们设为互斥关系。

2. 状态行为控制：entry/during/exit动作详解

状态机的强大之处在于可以精确控制每个状态的行为。Stateflow提供了三种核心状态动作：entry（进入）、during（持续）和exit（退出）动作。这些动作决定了状态在不同生命周期阶段的行为。

entry动作在状态被激活时执行一次，非常适合做初始化工作。比如当系统进入"数据采集"状态时，可以在entry动作中初始化传感器和计数器。语法很简单：在状态名称下方输入"en:"，然后写上要执行的语句。例如：

en: count = 0;
sensor_init();

during动作则是在状态保持激活期间持续执行。比如在"温度监控"状态中，可以用during动作定期读取温度值：

du: temp = read_temp();
if temp > threshold
    // 触发状态转换
end

exit动作在