Stateflow中“exit”命令和转移动作的理解

模型仿真配置如下图：

状态图和输入输出参数如下：

外部的事件和参数如下，其中事件E ，R ，T 为外部输入event事件，触发方式为Either双边沿触发，C1，C2为输入参数：

 

无论是用E ，R ，T哪个事件触发，第一次执行的都是唤醒状态机 ，事件触发的状态图可以发现，例如：开始模型后，点击事件R

启动的仍然是A.A1

注意：
组成转移标签的四个部分不一定完整地出现，但是不论出现哪几个部分，标签的内容必须按照上面指定的顺序书写。

event_or_message[condition]{condition_action}/transition_action

事件或消息[ 条件] {条件动作}/{转移动作}

图中，out = 9和out = 10是转移动作而不是条件动作，条件动作条件成立就执行，而转移动作只有转移成立（即事件或消息成立&&条件成立）才执行。

开始执行模型，先点击事件E，点击事件T，结束模型，观察示波器中out的数值。

点击事件E后out = 5，点击事件T后out = 7，你会发现无论点击多少次ex:out = 6都不会出现，难道ex:out = 6没有执行吗？。

真正的原因：

离开A.A1状态，进入A.A2状态发生在同一个采样周期，在这个采样周期里，离开A.A1状态out首先被赋值为6，然后进入A.A2状态状态，又被赋值为7，赋值为6的时候，还没有发生对外输出的过程，在赋值为7之后，状态稳定在A.A2，输出为 7。

真正的过程：
执行事件T后，首先执行ex: out = 6，同时A.A2被激活执行 en:out = 7 ，二者在同一个时间步长内执行，out先后被赋值。

同样的，执行事件E时，out的值变化是这样的，首先事件E出发后A状态被激活，en:out = 1, A.A1默认同时被激活en:out = 5, 二者在同一个时间步长内执行，out先后被赋值，只不过只有一个采样周期结束后才向外部输出数值。如果将状态图A.A2中en:out = 7去掉，再执行事件E和T，就发现可以输出out = 6了

以上的状态图，大家还可以用来研究转移动作的执行，子状态A.A2子状态转移指向历史节点等问题，多试验就会有收获，光看书进步的慢。还有一个小技巧，状态图中所有的out = 后面都没有“;”，执行过程中可以在“DiagonsticsViewer”观察到out值得变化。当然了大家在写程序得时候还是加上吧，要不就会不断得输出值，哈哈。