状态和转移的语法

通过使用动作和条件来表达图行为

通过指定状态转移时间以及动作执行时间来控制 Stateflow^® 图的执行。通过广播事件同步状态执行。检测数据值的变化，并检查在图执行期间有哪些状态为活动状态。

模块

Stateflow 模块

Chart	用有限状态机实现控制逻辑
State Transition Table	以表格形式表示模态逻辑
Truth Table	用条件、决策和动作来表示逻辑决策行为

Stateflow 语法

全部展开

运算符

更改检测

`hasChanged`	检测 Stateflow 图中自上一时间步以来的数据更改
`hasChangedFrom`	检测 Stateflow 图中从指定值以来的数据变化
`hasChangedTo`	检测 Stateflow 图中到指定值时的数据变化
`change`	当 Stateflow 图中的数据更改值时生成隐式事件

边沿检测

`crossing`	检测 Stateflow 图中自上一时间步以来数据的上升沿或下降沿
`falling`	检测 Stateflow 图中自上一时间步以来数据的下降沿
`rising`	检测 Stateflow 图中自上一时间步以来数据中的上升沿

消息活动

`send`	广播消息或事件
`receive`	从队列中提取消息
`discard`	丢弃消息
`forward`	转发消息
`isvalid`	确定消息是否有效
`length`	Determine length of message queue

状态活动

`in`	检查状态活动
`enter`	当状态变为激活时生成隐式事件
`exit`	当状态变为非激活时生成隐式事件

数据类型转换

`boolean`	将数值转换为布尔值
`ascii2str`	将类型为 `uint8` 的数组转换为字符串
`str2ascii`	将字符串转换为 `uint8` 类型的数组
`str2double`	将 Stateflow 图中的字符串转换为双精度值
`string`	在 Stateflow 图中将值转换为字符串
`tostring`	将值转换为字符串
`type`	Type of Stateflow data object

字符串创建和串联

`blanks`	由空白字符组成的字符数组
`plus`	在 Stateflow 图中串联字符串
`strcpy`	字符串赋值
`strcat`	串联字符串

字符串数据的属性

`isletter`	确定 Stateflow 图中哪些字符是字母
`isspace`	确定 Stateflow 图中哪些字符是空格
`isstring`	确定 Stateflow 图中输入是否为字符串
`strlen`	确定字符串的长度
`strlength`	确定 Stateflow 图中字符串的长度

查找和替换子字符串

`contains`	确定 Stateflow 图中的字符串是否包含子字符串
`startsWith`	确定 Stateflow 图中字符串是否以子字符串开头
`endsWith`	确定 Stateflow 图中的字符串是否以子字符串结尾
`strfind`	在 Stateflow 图中的字符串内查找子字符串
`extractAfter`	提取 Stateflow 图中指定位置后的子字符串
`extractBefore`	提取 Stateflow 图中指定位置之前的子字符串
`substr`	从字符串中提取子字符串
`replace`	在 Stateflow 图中查找和替换子字符串
`replaceBetween`	Replace substrings between start and end points in Stateflow chart
`strrep`	在 Stateflow 图中查找和替换子字符串
`erase`	删除 Stateflow 图中字符串内的子字符串
`eraseBetween`	Delete substring between start and end points in Stateflow chart
`insertAfter`	在 Stateflow 图中的子字符串后插入字符串
`insertBefore`	在 Stateflow 图中的子字符串前插入字符串

编辑字符串数据

`lower`	在 Stateflow 图中将字符串转换为小写
`upper`	将 Stateflow 图中的字符串转换为大写
`reverse`	反转 Stateflow 图中字符串字符的顺序
`strip`	从 Stateflow 图中的字符串删除前导和尾随字符
`strtrim`	从 Stateflow 图中的字符串删除前导和尾随空白

比较字符串数据

`matches`	确定 Stateflow 图中两个字符串是否匹配
`strcmp`	比较 Stateflow 图中的字符串（区分大小写）
`strcmpi`	比较 Stateflow 图中的字符串（不区分大小写）
`strncmp`	比较 Stateflow 图中字符串的前 N 个字符（区分大小写）
`strncmpi`	比较 Stateflow 图中字符串的前 N 个字符（不区分大小写）

时序逻辑

`after`	在事件广播或指定时间后执行图
`at`	在事件广播时或指定时间执行图
`before`	在事件广播或指定时间之前执行图
`every`	按固定间隔执行图
`duration`	Stateflow 图中条件有效期间的时间长度
`elapsed`	自状态激活以来的时间
`count`	条件有效期间的图执行次数
`temporalCount`	事件数、图执行次数或自状态激活以来的时间

与 MATLAB 代码对接

this Access chart data during simulation

主题

使用 MATLAB 和 C 作为动作语言语法时的差异

比较图动作语言的功能。
- 对 Stateflow 数据的运算
- Supported Symbols in Actions
命名 Stateflow 对象的规范
保留关键字、名称长度限制和命名限制。
通过组合状态动作来消除冗余代码
组合一个状态中的 entry、during 和 exit 动作。
Control Function-Call Subsystems by Using bind Actions
Bind a function-call output event to the activity of a state.
组合使用转移和结点以创建分支路径
在转移路径中创建决策点。
Call Extrinsic MATLAB Functions in Stateflow Charts
Access MATLAB^® functions that are not supported for code generation.
Access MATLAB Functions and Workspace Data in C Charts
Call built-in MATLAB functions by using the ml operator.
在 C 语言状态图中调用 C 库函数
在状态和转移标签中访问 C 函数。
Check State Activity by Using the in Operator
Determine if a state is active during chart execution.
检测数据和表达式值的更改
定义数据和表达式在时间步之间更改值时的图行为。
使用时序逻辑控制图的执行
使用基于事件的和绝对时间的时序逻辑运算符。
通过使用隐式事件控制图行为
通过数据值和状态活动的变化触发图动作。
使用去抖逻辑减少瞬变信号
设计能适当处理快速变化信号的状态机。
Control Oscillations by Using the duration Operator
Simplify debouncing logic in charts that have transient signals.

精选示例

Bang-Bang 温度控制系统建模

对一个调节锅炉温度的 Bang-Bang 控制系统进行建模。

打开模型

Implement an Automatic Transmission Gear System by Using the duration Operator

Use debouncing logic to filter out transient signals that do not represent a true change of state.

打开模型

Simulate a Media Player

Use enumerated data and strings to define the behavior of a media player.

打开模型

Design a Game by Using Stateflow

Implement the game of Tetris by using a Stateflow® chart. This model is a redesigned version of the classic Stateflow demo sf_tetris. The new design incorporates these programming paradigms:

打开模型