Mealy, Moore和连续时间图
实现特定于领域的语义
对于同时响应连续和离散模式变化的模型,选择连续更新方法。使用Mealy图建模有限状态机,其输出是当前输入和当前状态的函数。使用摩尔图来建模有限状态机,其输出仅依赖于当前状态。
主题
连续时间系统
- 状态流中的连续时间建模
模拟连续时间内表现出模态行为的系统。 - 在局部变量中存储连续状态信息
定义连续时间变量及其导数。
米利和摩尔图表
- 米利和摩尔机器概述
创建实现Mealy和Moore状态机语义的图表。 - 粉状图的设计注意事项
使用最佳实践在图表中实现Mealy语义。 - 摩尔图的设计考虑因素
使用最佳实践在图表中实现摩尔语义。 - 在Mealy和Moore语义之间转换图表
在更改状态机类型时实现等效的图表行为。 - 在MATLAB函数中初始化持久变量
专用语义影响函数初始化持久数据的方式。