详解Stateflow建模与应用实例Word格式.doc
- 文档编号:13978563
- 上传时间:2022-10-16
- 格式:DOC
- 页数:79
- 大小:2.77MB
详解Stateflow建模与应用实例Word格式.doc
《详解Stateflow建模与应用实例Word格式.doc》由会员分享,可在线阅读,更多相关《详解Stateflow建模与应用实例Word格式.doc(79页珍藏版)》请在冰豆网上搜索。
读者在5~8章将看到Stateflow应用于MCU器件的嵌入式开发,尤其显得得心应手,一些采用传统方法难于实现的算法,如果利用Stateflow建模却非常容易。
大到导弹、航空航天器的控制,小到点亮一个发光二极管,Stateflow都非常称职。
Stateflow状态图模型,还可利用StateflowCoder代码生成工具,直接生成C代码。
Stateflow的主要功能包括:
l使用层次化、可并行的、有明确执行语义的元素,来描述复杂的逻辑系统。
l采用流程图定义图形化函数。
l利用真值表实现表格形式的功能。
l使用临时逻辑处理状态转移与事件。
l支持Mealy和Moore有限状态机。
l可集成用户自定义的C代码。
l可用动画的形式显示状态图的仿真运行过程,并可记录数据。
l调试器使用图形化断点进行单步调试,并可观察其中的数据。
本章主要内容:
lStateflow工作原理与基本概念
l建立Stateflow状态图与流程图
lStateflow的层次结构与并行机制
lStateflow应用
3.1Stateflow基本概念
Stateflow对象可分为图形对象与非图形对象。
图形对象有状态、历史节点、迁移、默认迁移、连接节点、真值表、图形函数、EmbeddedMATLAB函数、盒函数、Simulink函数;
非图形对象有事件、数据、目标。
本节首先介绍常用的对象:
状态、迁移、数据、事件的概念和使用,连接节点留待3.3节、历史节点留待3.4节,其余对象留待3.5节说明。
Stateflow状态机使用一种基于容器的层次结构管理Stateflow对象,也就是说,一个Stateflow对象可以包含其他Stateflow对象。
最高级的对象是Stateflow状态机,它包含了所有的Stateflow对象,因此也就包含了Simulink中的所有Stateflow状态图,以及数据、事件、目标对象。
同样地,状态图包含了状态、盒函数、函数、数据、事件、迁移、节点与注释事件(noteevents)。
用户可以使用这一系列对象,建立一个Stateflow状态图。
而具体到一个状态,它也可以包含上述的对象。
图3.1.1抽象地说明了这样的关系,而图3.1.2则具体地说明了Stateflow状态机的组成。
图3.1.1Stateflow层次机构(数据字典)
图3.1.2Stateflow状态机的组成
3.1.1状态图编辑器
在Simulink模块库浏览器,找到Stateflow模块,如图3.1.3所示,添加入模型窗口,如图3.1.4所示。
图3.1.3Stateflow模块
用户也可以使用以下命令,建立带有Stateflow状态图的Simulink模型,如图3.1.4所示,同时打开Stateflow模块库,如图3.1.5所示。
>
sf
图3.1.4带有Stateflow状态图的Simulink模型
图3.1.5Stateflow模块库
用户还可以直接使用以下命令,快速建立带有Stateflow状态图的Simulink模型。
sfnew
双击Chart模块,打开Stateflow编辑器窗口,如图3.1.6所示,左侧工具栏列出了Stateflow图形对象的按钮。
图3.1.6Stateflow编辑器窗口
3.1.2状态
状态可以理解为事件驱动系统中的模式,可分为激活与非激活状态,而状态是否激活则是由状态图中的事件与条件决定的,若没有预先定义的事件或条件发生,状态将一直保持其原先的激活或非激活状态。
1.状态的层次结构
状态可以包含除了目标(详见第3.6.6节)以外的所有Stateflow对象,所以状态内部可以有其他状态,如图3.1.7所示,处于外层的A称作超状态(或父状态),处于内部的B称作子状态。
每一个状态都有其父状态,图3.1.7中,状态A的父状态就是Stateflow状态图本身。
图3.1.7超状态与子状态
2.状态的横向结构
在Stateflow状态图的顶层或某一超状态下,通常并存有多个状态,它们之间的关系可分为互斥与并行。
(1)互斥状态(OR)
互斥状态的矩形框边缘显示为实线,同一级的互斥状态,至多允许激活一个状态。
如图3.1.8所示的状态图,状态A与状态B是互斥的,它们只能有一个处于激活状态;
当状态A被激活时,同样其子状态A1与A2也只能有一个处于激活状态。
图3.1.8互斥状态
(2)并行状态(AND)
并行状态的矩形框边缘显示为虚线,同一级的并行状态,可在同一时刻被激活。
如图3.1.9所示的状态图。
状态A与状态B是并行的,它们可同时处于激活状态;
子状态A1与A2也同时处于激活状态,而子状态B1与B2只能有一个处于激活状态。
图3.1.9并行状态
状态层次结构与并行机制的详细概念与应用,见3.4与3.5节。
3.状态标签
状态名仅是状态标签的一部分,完整的标签格式如下,第一行是状态名,以下若干行是各类动作,用户可以设置全部或部分的状态动作,当然也可以不设置任何动作。
name/ 状态名
entry:
entryactions 进入该状态时的动作
during:
duringactions 处于该状态时的动作
exit:
exitactions 退出该状态时的动作
onevent_name:
onevent_nameactions 某事件发生时的动作
bind:
events,data 指定需要限制作用范围的事件与数据
①状态名
状态名可由字母、数字、下划线组成,如果状态名后跟随的是回车符,则斜线是可有可无的。
根据Stateflow的分层结构,同级的各个子状态不允许重名,但不同级的状态则不受限制。
图3.1.10所示的Stateflow状态图是有效的,尽管看上去状态C1、C2有重名现象,但在Stateflow分层结构中,它们的全名分别是:
A.On
A.Off
B.On
B.Off
图3.1.10状态名
②状态动作
状态动作如表3.1.1所列。
表3.1.1状态动作类型
动作类型
缩写
说明
entry
en
进入当前状态时的动作
during
du
处于当前状态,并且某事件发生时的动作
Executeswhenthestateisactiveandaspecificeventoccurs
exit
ex
离开当前状态时的动作
bind
无
约束一个事件或数据,使得仅当前状态及其子状态有权限广播该事件或修改该数据
onevent_name
当前状态接收1次广播事件时的动作
onafter(n,event_name)
当前状态完整接收n次广播事件后的动作
onbefore(n,event_name)
当前状态完整接收n次广播事件前的动作
onat(n,event_name)
当前状态完整接收n次广播事件时的动作
onevery(n,event_name)
当前状态每接收n次广播事件时的动作
每个动作类型,用户可指定多个具体动作,每个动作之间以回车、分号、逗号区隔,动作类型关键词后必须跟随一个半角冒号。
(1)entry动作
关键词为entry(或缩写为en)。
如果用户在状态名后加入斜线,并直接跟随具体动作,则该动作默认为进入动作。
如图3.1.11所示,进入状态A时,y=3,同时又执行y++,最终的结果y=4。
图3.1.11entry动作
(2)during动作
关键词为during(或缩写为du)。
如图3.1.12所示,进入状态A时,y=3,同时不断执行y++。
若求解器的定点步长取0.2,仿真时长取2,则最终的结果y=13。
图3.1.12during动作
(3)exit动作
关键词为exit(或缩写为ex)。
如图3.1.13所示,系统处于状态A,当A的激活时间达到5个仿真步长,退出状态A,进入状态B,最终的结果y=4,如图3.1.14所示。
图3.1.13exit动作
图3.1.14输出结果
(4)广播事件动作
表3.1.1所列的广播事件动作,能实现各种的事件触发。
以单次广播事件动作为例,关键词为onevent_name,其中event_name表示某一广播事件名,事件名应是唯一的。
如图3.1.15所示,系统处于状态A,当检测到事件stop,立即执行c()。
图3.1.15广播事件动作
(5)bind动作
关键词为bind。
如图3.1.16所示,变量y、事件start被绑定在状态A,这表示仅有A状态及其子状态有权限修改变量y并广播事件start,其他状态B能够读取变量y、监听到事件start,但无权修改变量y、广播事件start。
图3.1.16bind动作
若运行该状态图,系统提示变量y仅能由状态A及其内部的状态迁移修改,事件start仅能在状态A。
图3.1.17错误提示
与其他动作不同,bind动作不需要判断当前状态是否已激活,也就是说它在整个Stateflow状态图范围内都是有效的,因此不同状态不允许约束同一个变量与事件。
如图3.1.18所示,状态A、B同时约束了变量y,系统提示这是不允许的。
图3.1.18无效的bind动作
图3.1.19错误提示
3.1.3迁移
1.迁移
Stateflow状态图使用一条单向箭头曲线表示迁移,它将两个图形对象连接起来,多数情况下,迁移是指系统从源状态向目标状态的转移。
在迁移曲线上加上标签,可以指定系统在何种条件下从源状态向目标状态转移。
如图3.1.20所示,当系统处于状态A1时间达到1秒,即向状态A2迁移。
图3.1.20状态迁移
2.默认迁移
默认迁移是一种特殊的迁移形式,它没有源对象。
用于指定同一级有多个互斥状态并存时,首先激活的状态。
某些情况下,默认迁移也可以加入标签,限制其所指向目标状态的激活。
如图3.1.21所示,状态A1与A2是互斥的,当它们的父状态A激活时,状态A1也同时激活。
图3.1.21默认迁移
3.迁移标签
迁移标签的完整格式如下,它可用于一般迁移与默认迁移,如图3.1.22所示。
event[condition]{condition_action}/transition_action
图3.1.22完整的迁移标签
各字段的意义如表3.1.2所示:
表3.1.2迁移标签字段
标签字段
event
引发迁移的事件
[condition]
条件动作与迁移的发生条件
{condition_action}
当条件为真时,执行的动作
/transiti
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 详解 Stateflow 建模 应用 实例