Stateflow 图

以图形形式设计模态逻辑

对包含有限数量的状态的系统进行建模。使用状态以图形方式表示系统的模式。条件转移提供这些模式之间的路径。通过状态和转移中的动作来控制系统的行为。

模块

`sfnew`	创建包含空 Stateflow 模块的 Simulink 模型
`sflib`	打开 Stateflow 模块库
`stateflow`	打开 Stateflow 模块库，并创建包含空图的 Simulink 模型
`sfopen`	打开 Simulink 模型
`sfclose`	关闭 Stateflow 图
`sfsave`	Save Simulink model
`sfprint`	Print Stateflow charts
`sfhelp`	在帮助浏览器中打开 Stateflow 文档
`sfdebugger`	打开“断点和监视”窗口
`sfexplr`	打开模型资源管理器
`sfpref`	Set preferences for Stateflow charts
`convertToChart`	Convert state transition table to Stateflow chart (自 R2023b 起)
`convertToSTT`	Convert Stateflow chart to state transition table (自 R2023b 起)

使用 Stateflow 图对有限状态机进行建模

表示事件驱动的反应式系统。
- Modeling Guidelines for Stateflow Charts
- 指定 Stateflow 图的属性
Stateflow 对象概述

了解可以在 Stateflow^® 图中使用的状态、转移和其他对象。
- 命名 Stateflow 对象的规范
- Stateflow 对象在执行期间如何交互
通过使用状态来表示工作模式

创建状态以描述反应式系统的工作模式。
工作模式之间的转移

使用条件转移作为状态之间的路径。
通过使用历史结点继续先前的子状态活动
创建记录状态的激活子状态的历史结点。
Create Entry and Exit Connections Across State Boundaries
Improve componentization by isolating the transition logic for entering and exiting states.