用于逻辑驱动系统建模的状态流
课程详细信息
这两天的课程展示了如何使用Stateflow实现复杂的决策流和有限状态机®.本课程重点介绍如何在Simulink中使用流程图、状态机、真值表和状态转换表万博1manbetx®设计。
主题包括:
- 流程图
- 状态机
- 分层状态机
- 并行状态机
- 状态机中的事件
- 状态机中的函数
- 真值表
- 状态转换表
- 基于组件的建模
2天中的第一天
建模流程图
摘要目的:用流程图实现决策流程。
- 连接和过渡
- 流程图行为
- Stateflow接口
- 条件和条件操作
- 图表数据
- 常见的模式
状态机建模
摘要目的:使用状态转换图实现状态机。
- 状态机行为
- 状态和过渡行动
- 表初始化
- 行动执行命令
- 状态内流程图
- Mealy和Moore图表
分层状态图
摘要目的:实现层次图以提高状态机设计的清晰度。
- 超级国家和次级国家
- 状态数据
- 历史结
- 过渡的优先级
- 行动执行命令
平行状态图
摘要目的:实现并行状态来建模多处理设计。
- 平行国家的好处
- 图表/状态分解
- 平行状态行为
2天中的第二天
在状态图中使用事件
摘要目的:使用状态流图中的事件来影响图表的执行。
- 在状态图中使用事件
- 广播事件
- 包含事件的状态图的行为
- 隐式的事件
- 时态逻辑运算符
从状态流调用函数
摘要目的:用Simulink块、MATLAB代码和流程图在状态流图中创建函数。万博1manbetx
- 函数的类型
- 万博1manbetx仿真软件的功能
- MATLAB函数
- 图形化功能
真值表和状态转换表
摘要目的:以表格形式创建流程图和状态转换图。
- 真值表
- 条件、决定和行动
- 状态转换表
- 状态、转换和动作
状态流中基于组件的建模
摘要目的:重用状态流设计,约束图表语义,并与结构化的Simulink数据交互。万博1manbetx
- 总线信号
- 数据类型
- 原子子图表
- 数据映射
- 图表重用