Stateflow使用方法教案.pptx

《Stateflow使用方法教案.pptx》由会员分享，可在线阅读，更多相关《Stateflow使用方法教案.pptx（57页珍藏版）》请在得力文库 - 分享文档赚钱的网站上搜索。

1、会计学1Stateflow使用方法使用方法Stateflow的基本简介：的基本简介：uStatefolw 是一种图形化的设计开发工具，是有限状态机的图 形实现工具，也称之为状态流。u主要用于simulink 中控制和检测逻辑关系。u使用这种图形化的工具可以实现各个状态之间的转换，解决复 杂的监控逻辑问题。u它和Simulink 同时使用使得Simulink 更具有事件驱动控制能力。第1页/共57页有限状态机简介：有限状态机简介：Stateflow 的仿真原理是有限状态机（finite state machine，简称FSM）理论。所谓有限状态机是指系统中存在可数的状态，在某些事件发生时，系统从

2、一个状态转换成另一个状态，故又称为事件驱动的系统。在有限状态机的描述中，可以设计出由一种状态转换至另一种状态的条件，并将每对可转换的状态均设计出状态迁移的事件，从而构造出状态迁移图。第2页/共57页有限状态机示意图：有限状态机示意图：Stateflow允许用户：（1）建立有限的状态。（2）用图形的形式绘制出状态 迁移的条件。（3）使用规定的命令设计状 态迁移执行的任务。完成以上操作即构造出整 个有限状态机系统。注：Stateflow 模型一般是嵌在Simulink 模型下运行的，Stateflow 是由事件驱动的，这些事件可以来自某一个Stateflow 图中，也可以来自Simulink。第3

3、页/共57页 在MATLAB窗口中点开Simulink,在Simulink的library中点开Stateflow,将chart拖入一个新建的文件中，结果如下图所示。第4页/共57页 双 击 untitled*窗口中的Stateflow 模块打开如图下图 所示的Stateflow 编辑界面，用户可以在此窗口中编辑所需的Stateflow 模型。Stateflow 提供了强大的图形编辑功能，用户可以使用它描述很复杂的逻辑关系式。1.状态工具2.历史交汇工具3.缺省状态迁移工具4.交汇连接工具5.真值表6.图形函数工具7.内嵌Matlab函数8.模型整理工具10放大缩小工具9.函数调用第5页/共5

4、7页 在Stateflow 编辑界面中点击鼠标右键，可以看到下图（a）所示的快捷菜单，选择其中的Properties（属性）菜单，可以打开图（b）所示的对话框，用户可以在此对话框中设置整个Stateflow 模型的属性。第6页/共57页 用户可以利用Stateflow 编辑界面左侧的编辑工具绘制Stateflow图形，下面介绍常用的编辑工具。1.状态工具2.历史交汇工具3.缺省状态迁移工具4.交汇连接工具5.真值表6.图形函数工具7.内嵌Matlab函数8.模型整理工具10放大缩小工具9.函数调用第7页/共57页状态工状态工具具 系统的状态是指系统运行的模态。在Stateflow 下，状态有两

5、种行为：活动的（active）和非活动的（inactive）。单击状态工具按钮并拖动到编辑界面的空白处，即可绘制出一个状态的示意模块。我们可以在该模块右上角的问号位置填写状态的名称及动作描述。entry为一种状态动作。右图中状态的动作描述为：entry：speed=1，将speed 的值赋为1。使用CtrlC 和CtrlV 或使用edit菜单下的复制及粘贴命令，即可再复制一个同样的模块。第8页/共57页（2）右击建立的状态图标，并选择快捷菜单中的Properties 菜 单项，可打开如下图所示的设置状态属性的对话框。可以 在Label 栏填写状态的名称和动作描述。状态名称与动作的描述：状态名称

6、与动作的描述：（1）双击已拖出的状态模块右上角的问号，可在该位置填写状态 的名称及动作描述。状态模块的名称状态属性设置对话框在Label 栏填写状态的名称和动作描述。选择状态动作第9页/共57页状态迁移关系设置：状态迁移关系设置：把鼠标放在一个状态块的边界，当出现十字光标时按下鼠标键并拖动至另一个状态的边界释放，可以绘制出从一个状态到另一个状态的连线。单击此连线，在该连线上会出现一个问号，我们可以在该问号处添加状态迁移标记。第10页/共57页 状态迁移标记可以含有触发事件、迁移条件、条件动作及迁移动作，或他们中的任意组合。状态迁移标记的一般形式是：触发事件迁移条件关系式条件动作/迁移动作触发事

7、件：表示只要迁移关系式是真，该触发事件可以引发状态的迁移。缺省触发事件时，任何事件均可在条件关系式为真的情况下引 引发状态的迁移。迁移条件关系式：写在方括号中，该关系式为真时，触发事件可以引发状 态的迁移。条件动作：是指当迁移条件关系式一旦成立（即为真），就执行的动作，通常发生在迁移终点被确定有效之前。如果没有规定迁移条件 关系式，则认为条件关系式为真，即刻执行条件动作。条件动 作必须写在花括号中。迁移动作：是指当迁移终点已经确定有效，才执行的动作。如果迁移包含 很多阶段，迁移动作只有在整个迁移通道到终点确认为有效后 方可执行。迁移动作写在斜线/之后。第11页/共57页状态迁移标记的一般形式举

8、例 上图表明只要当条件关系式off_count=0 为真时，发生的事件off_switch 才可引发状态On至状态Off 的迁移发状态迁移。只要迁移条件off_count=0为真，即可执行条件动作off_count+；当条件off_count=0为真，发生了off_switch 事件，迁移终点状态Off 确认为有效，此时执行迁移动作LED_off条件动作迁移关系表达式触发事件迁移动作第12页/共57页缺省状态转移设置 ss3.第13页/共57页 缺省状态转移设置的作用是告诉Stateflow图形，当它开始工作时，哪个状态先处激活状态。点击Stateflow 图形编界面中的 图标，然后将鼠标移动

9、到要设置为初始状态的状态即可。如图：第14页/共57页4.事件与数据设置第15页/共57页 前面为状态迁移规定了迁移触发事件的名称，也就是说状态的迁移仅在这些事件发生的时候才开始。为了利用这些事件触发，我们必须先定义这些事件。下面以下图为例，讲解如何定义on_ switch 和off_switch 事件。第16页/共57页 从stateflow 编辑界面的add 菜单选择 Event，并在随后弹出的下拉菜单下选择 Input from Simulink，打开事件对话框，见图。将事件对话框中的 Name 改为off_switch/on_switch，trigger 选择为Falling（即下降沿

10、触发）/Rising（即上升沿触发），点击 OK 保存off_switch 事件的设置。第17页/共57页 事件的范围（Scope）有三种选择：Local 是指利用本 Stateflow 图形界面产生的触发事件；Input from Simulink 是指从 Simulink 模型引入事件至 Stateflow 图形界面；Output to Simulink 是指将Stateflow 图形界面产生的事件输出到Simulink 模型中。事件的触发方式（Trigger）有四种选择：Either、Rising、Falling 和 Function Call。其中选择Rising 或Falling 分

11、别指利用事件的上升沿或下降沿触发；Either 是指不管上升沿还是下降沿事件均可以触发；Function Call 是一种函数调用的触发方式。第18页/共57页 前面我们还为状态设置了动作，如状态 On的动作描述为 entry：speed=1，是希望在状态 On激活时将speed 的值赋为 1，这个数据是要在 Simulink 模型中使用的，所以要将数据传递到Simulink 模型中。在能够被利用之前，这个数据必须先定义。第19页/共57页 从stateflow 编辑界面的add 菜单选择 Data，并在随后弹出的下拉菜单下选择 Output to Simulink，打开数据对话框，如图；将数

12、据名Name改为speed，点击OK保存设置即可。第20页/共57页 常用设置：数据范围（Scope）可以设置为Local（局部数据）、Input（从Simulink 模型中输入数据）、Output（向 Simulink 模型输出数据）、Constant（常数）、parameter（变量）和Data store memory（存储的数据）六种形式。数据的类型（Type）可以是Double（双精度）、Single（单精度）、Int32（整数）及 Boolean（布尔数）等，也可以设置为 Inherited，即继承原来的设置。第21页/共57页另一种定义事件和数据的方式：在Stateflow 编辑

13、界面中，选择Tools菜单中的Explore，将会打开模型管理器 Model Explorer。如图：第22页/共57页2023/4/25第 24 页点击该处添加事件点击该处添加数据第23页/共57页5 交汇连接设置 ljm 第24页/共57页使用Stateflow编辑界面中的交汇连接工具可以产生交汇连接点。该工具主要用于处理状态迁移过程中的迁移信号的分离和汇合。第25页/共57页简单的使用了交汇连接工具的实例：第26页/共57页第27页/共57页第28页/共57页事实上，交汇连接工具的合理使用可以完成非常复杂的逻辑关系：例如实现如下if_then 判断功能if Cond1 Action1if

14、 Cond2 Action2elseif Cond3Action3第29页/共57页还可实现For 循环功能：第30页/共57页6、图形函数的设置及其调用第31页/共57页前面例子中的Stateflow 图中多次利用了条件关系式temp=120。对于这种多次使用的关系式，我们可以设置一个图形函数Function，使用时调用这个函数即可。状态流的图形函数是使用交汇连接工具和状态迁移工具绘制的状态流图形。用户可以建立一个图形函数，在里面加入流程图，然后在状态的动作和迁移过程中反复调用。因为调用函数时，函数必须执行完全，所以图形函数中不能含有状态。一个最小的图形函数至少要包含一个缺省状态迁移和一个终

15、止的交汇连接工具。第32页/共57页要在一个 Stateflow 图添加一个图形函数Function，只需点击Stateflow 图中的图形函数工具 ，移动鼠标至Stateflow 图中的适当位置，再点击一下鼠标左键即可。在图形函数function 后写入函数的返回变量及函数名格式为：返回形参函数名（形参）；回车后即可建立该图形函数。一旦建立了图形函数，用户可以在状态流的状态动作和状态迁移中反复调用它，调用的格式与函数的格式完全相同，只是需要将形参换成实际的参数变量。第33页/共57页这两个工具必须有！第34页/共57页2023/4/25第 36 页7、多层状态的嵌套第35页/共57页继续上面

16、的例子：当系统开始处于休眠状态时，状态Off 激活时，状态High 和Low 实际上均需要On_switch事件激活，这样我们可以利用一个状态来包含这两个状态，这样可以使Stateflow 图更简单明了。下面说明如何进行多层状态的设计以及多层状态在仿真时如何进行状态迁移的。第36页/共57页第37页/共57页第38页/共57页可以将上层状态包含的状态迁移图设置成子图的形式。用户只需在上层状态On 内的任意点点击鼠标右键，在出现的下拉菜单中选择Make Contents 中的Subchart 即可。Make Contents 中的Subchart 具有复选功能，再选它时，上层状态又变回非子图形式

17、了。第39页/共57页双击打开子图第40页/共57页历史交汇工具的功能和使用方法 ss8.第41页/共57页功能：Stateflow 图进入上层状态时，缺省状态迁移线连接的子状态首先被激活。但在有些情况下，希望在进入上层状态时首先激活前一次运行时最后激活的那个子状态。这样的要求可以通过在上层状态中引入历史交汇工具完成。使用方法：点击Stateflow 图左侧的历史交汇工具图标 ，然后将鼠标移至上层状态中的任意位置，再点击鼠标即添加了一个历史交汇工具。如图：第42页/共57页9、嵌入式、嵌入式 M 函数的设置及其调用函数的设置及其调用n n嵌入式 MATLAB 函数使用户可以利用MATLAB 强

18、大的功能，在Stateflow 图中编MATLAB 语言函数，调用MATLAB 的各类函数。Simulink 利用嵌入MATLAB 函数的状态流实现Simulink 模型中嵌入MATLAB 模块功能。第43页/共57页9、嵌入式、嵌入式 M 函数的设置及其调用函数的设置及其调用n n单击单击MM文件图标后文件图标后将其拖入工作区，将其拖入工作区，在左上图中问号在左上图中问号处单击写入处单击写入MATLAB MATLAB 函数名函数名及其形参名，如及其形参名，如MaxMinMaxMin（x x）n n双击新建的双击新建的MM文件文件会出现函数编辑会出现函数编辑窗口，当窗口，当MATLABMATL

19、AB中自带中自带函数不能实现所函数不能实现所需功能，我们可需功能，我们可以在该窗口编辑以在该窗口编辑实现目标功能所实现目标功能所需的函数。需的函数。M文件图标第44页/共57页10、真值表的设置及其使用、真值表的设置及其使用n nStateflow 模块使用函数来处理在Stateflow 图中需反复处理的动作或判断。n n在真值表中，用户可以用条件、决策和动作来做逻辑判断，并执行相应的动作。n n对于纯粹的逻辑来讲，真值表比图形函数更容易编写、维护，也更容易阅读。真值表还可以告诉用户是否对于指定的条件做出了足够的或过多的决策。第45页/共57页10、真值表的设置及其使用、真值表的设置及其使用n

20、 nStateflow Stateflow 使用真值表函数实现逻辑决策及相应动使用真值表函数实现逻辑决策及相应动作的执行。作的执行。n nStateflow Stateflow 真值表含有条件、决策和动作。真值表含有条件、决策和动作。Condition(条件)列中的每个条件先要判断是真（T）或 假（F），对于上表，就是判断x1，y1，z1 是否成立。每个条件可以如上表标记为T、F 或-(即不 论T 或F)第46页/共57页10、真值表的设置及其使用、真值表的设置及其使用n n每个每个DecisionDecision（决策）列隐含着各个条件的（决策）列隐含着各个条件的“与与”操作。操作。表表12

21、.1 12.1 中中Decision1 Decision1 列中，当列中，当x x1 1 为真，而为真，而y y1 1 和和z z1 1 同时为假时，同时为假时，Decision1 Decision1 为真。为真。n n执行过程中，执行过程中，Stateflow Stateflow 会从会从Decision1 Decision1 开始判断真值表中开始判断真值表中的每个决策，如果哪个的每个决策，如果哪个DecisionDecision为真，就执行该为真，就执行该Decision Decision 对应的动作。如当对应的动作。如当x x1 1 为真，而为真，而y y1 1 和和z z1 1 同时同

22、时为假时，为假时，Decision1Decision1为真，执行动作将为真，执行动作将t t 置为置为1 1。n n表中的最后一个决策称为缺省决策，它包含着除了前面表中的最后一个决策称为缺省决策，它包含着除了前面列举的决策外的所有其他决策。如果列举的决策外的所有其他决策。如果Decision1Decision13 3 都是假都是假的，则的，则Default Decision Default Decision 自动为真，执行其对应的动作，自动为真，执行其对应的动作，将将t t 值置为值置为4 4。第47页/共57页10、真值表的设置及其使用、真值表的设置及其使用n n单击单击MM文件图文件图标后

23、将其拖标后将其拖入工作区，入工作区，在左上图中在左上图中问号处单击问号处单击写入写入MATLAB MATLAB 函函数名及其形数名及其形参名，如参名，如MaxMinMaxMin（x x）n n双击新建的双击新建的MM文件会出现文件会出现真值表编辑真值表编辑窗口，当内窗口，当内嵌窗口不能嵌窗口不能实现所需功实现所需功能，我们可能，我们可以在该窗口以在该窗口编辑所需函编辑所需函数数真值表图标第48页/共57页10、真值表的设置及其使用、真值表的设置及其使用-真值表编辑窗口真值表编辑窗口n n单击 增添条件编辑表和动作编辑表中的行数。n n单击 增添Decision 决策的列数第49页/共57页用用

24、Box工具整理状态流程图工具整理状态流程图Boxes 能够很方便地用来整理Stateflow 图。yy第50页/共57页Box的创建方法：的创建方法：（1）利用 Stateflow 编辑界面左边的Box 工具 。点击图标 ，将鼠标移至Stateflow 编辑界面的适当位置，再点击鼠标，即可创建一个Box 对象，在Box 的问号处写入该Box 的名称。（2）可以先建立一个状态，将该状态转换为Box。右击创建好的状态，在弹出的下拉菜单中选择TypeBox 即可创建一个Box 对象。创建好 Box 工具后，用户可以在此Box 工具中创建其他的对象以完成一定的逻辑判断功能。第51页/共57页（3）有的

25、时候，用户可能已经建立了一些对象了，这时，可以利用 上述的两种方法创建 Box 对象，然后将Box 框扩大到能够包含 所以需要包入的对象。第52页/共57页 图形的打包处理：将所有的对象放入Box 中后，用户还可以将整个含对象的Box打包成一个图形对象，只要右击Box，在弹出的下拉菜单中选择Make ContentsGroup 或简单的双击该Box 对象，即可完成打包过程，打包的对象边框变粗，如图（a）内保图形的隐藏：用户也可以右击Box，在弹出的下拉菜单中选择Make Contents Subcharted 隐含Box 中的对象，将Box 中的对象变成子图形式,如图（b）。（a）(b)第53

26、页/共57页（1）对于逻辑顺序的影响：大多数情况下，Boxes 不改变Stateflow 图实现的逻辑判断功能，但是在存在并行状态时，它却影响着Stateflow 图中的激活顺序。Stateflow 图中左边的的Box 比它右边任何并行状态或者Box 要先激活。在某一个Box 内，并行状态的激活顺序依然是上下左右的顺序。（关于并行状态的问题，下节即将讲述）其他问题的说明：其他问题的说明：（2）关于数据的适用范围 对一个 Box 添加数据，可以使Box 中的所有元素共享该数据。第54页/共57页12、含并行执行状态的、含并行执行状态的Stateflow图图n n单一状态（单一状态（Exclusi

27、ve State Exclusive State 或称为或称为Or StateOr State），单一），单一状态的边界是实线。单一状态的最大特征是同一状态的边界是实线。单一状态的最大特征是同一时间，父状态中仅有一个子状态可以处于激活状时间，父状态中仅有一个子状态可以处于激活状态。态。n n并行状态（并行状态（Parallel State Parallel State 或称为或称为And StateAnd State）的边界是）的边界是虚线，并行状态的特点是父状态中的多个子状态虚线，并行状态的特点是父状态中的多个子状态可以同时处于激活状态。可以同时处于激活状态。n n并行状态在状态图中的位置决

28、定着其激活的顺序。并行状态在状态图中的位置决定着其激活的顺序。位于上部的状态较位于下部的状态较早被激活，位于上部的状态较位于下部的状态较早被激活，同一高度层中，位于左边的状态较位于右边的状同一高度层中，位于左边的状态较位于右边的状态较早被激活。激活的顺序依照上下，左右态较早被激活。激活的顺序依照上下，左右的原则。的原则。第55页/共57页12、含并行执行状态的、含并行执行状态的Stateflow图图 在在Stateflow Stateflow 编辑界编辑界面的空白处，右面的空白处，右击鼠标，在弹出击鼠标，在弹出的下拉菜单中选的下拉菜单中选择择DecompositionDecompositionParallelParallel（ANDAND）即可将两个状态即可将两个状态Fan1 Fan1 和和Fan2 Fan2 设置设置为并行状态，表为并行状态，表现为该两状态的现为该两状态的边框变为虚线，边框变为虚线，且且Stateflow Stateflow 按照上按照上下左右的原则，下左右的原则，自动给出此两个自动给出此两个并行状态执行的并行状态执行的顺序，并在其右顺序，并在其右上角标出顺序号。上角标出顺序号。第56页/共57页