Stateflow_matlab教程分析.ppt

并行机制—直接事件广播 使用直接事件广播可以限制广播的事件触发指定的状态 可以防止事件广播无意识的改变整个状态图的状态 使用直接事件广播的命令格式：send(event_name,state_name) 例exp22 并行机制—定义状态的本地事件 可以限制事件的作用范围在状态的内部 ： 在浏览器种选择某个状态 使用浏览器的Add 菜单添加事件到数据字典 也可以通过浏览器修改事件的可见范围 也可以修改事件到不同的状态中 并行机制—受限事件广播 状态之外触发状态的本地事件需要指定状态名，命令格式为：state_name.data_name 使用受限的事件广播可以将事件限制在具体的状态内 例exp23 并行机制—隐含事件和条件 有助于简化并行状态之间的依赖关系 减少数据字典中定义的事件数量，降低状态图的复杂程度 隐含事件 ： entry(state_name) 或en(state_name) exit(state_name) 或ex(state_name) change(data_name) 或chg(data_name) wakeup 或tick 隐含条件：[in(state_name)] 并行机制—使用隐含事件和条件 例exp24 并行机制—时间逻辑事件 使用时间逻辑事件，可以根据事件发生的次数决定事件的逻辑转换 时间逻辑操作符(at, every,after和before)分别完成相应的Boolean 运算，处理Stateflow事件的发生次数 时间逻辑可以 ： 监测转移 控制on-event状态动作 语法：temporal_operator(number,event_name) Stateflow中有四种时间逻辑： at(n,event) ： 当事件第n 次触发时 every(n,event) ：当事件每触发n 次时 after(n,event) ：当事件触发n 次后 before(n,event) ：当事件第n 次触发前 例exp25 并行机制—时间逻辑事件（续） 下列情况下，事件计数器清零 ： 具有时间逻辑转移的源状态进入活动状态 具有on-event 状态动作使用时间逻辑运算符的父状态被激活时 stateflow基本概念—状态机 有限元状态机是具有有限个状态的系统的理论表述。它以某些缺省的状态为起点，根据所定义的事件和转移进行操作。转移表示状态机如何对事件进行响应。它有明确的输入和输出个数，可以明确地配置所有的模式或状态。它定义了导致系统从一个状态转换到另一个状态的逻辑或事件 直观理解：模型中包含的所有stateflow块的集合 stateflow基本概念—状态 在有限元状态机里，状态描述的是系统的一种模式。状态具有布尔行为，也就是说在任何给定的时刻它或者是活动的或者是非活动的。 状态在系统中被看作为记忆元件。它保持系统的当前模式，一旦被激活，状态就保持活动的模式，直到系统改变模式，状态才变为非活动的。 在层次的同一级里，所有的状态要么是互斥(OR)的要么并行(AND)的。如果状态之间是互斥的，那么在任何给定的时刻只有一个状态是活动的，如果状态之间是并行的，在同一时刻所有的状态都是活动的。在同一级里面不可能有既是互斥的又是并行的状态存在。它们必须是或者互斥或者并行。 stateflow基本概念—转移 转移描述的是有限状态系统内的逻辑流。转移管理了当系统从当前状态改变时，这个系统可能发生的模式改变。当转移发生时，源状态变为非活动的，目标状态变为活动的。 stateflow基本概念—事件 事件控制有限状态系统的执行。只有某个事件发生后系统才能从一个状态改变到另一个状态。事件是非图形对象——每个事件都被定义成一个独立的名字。如果一个转移用一个事件名做为标签，仅当那个事件发生时，转移才有效。如果转移没用事件名作为标签，只要有事件发生转移就有效。 stateflow基本概念—条件 条件是有限状态系统中的有效流，条件必须定义在[]括号中。当一个事件发生时，只有当[]括号中的语句为真或非零时，带有条件标签的转移才有效。转移可以同时拥有事件和条件；条件要放在事件名之后。当转移标签既有事件又有条件时，只有当指定的事件发生并且条件为真时转移才有效 stateflow基本概念—动作 转移动作是当一个转移发生时要执行的命令。转移动作定义在“/”之后，动作能影响系统本身，并且（或者）影响到与有限状态系统相关的一些外部元素。动作能够处理数据，调用函数，发生触发事件。 如果把动作和转移相关联，动作语句要放在事件标签和条件语句的后面。 stateflow基本概念—数据对象 数据对象存储了关于条件和动作的一些必要的信息。数据对象是非图形对象– 每一个数据对象都被指定成一个独立的名字。 stateflow基本概念—连接节点