主要内容

Mealy, Moore和连续时间图

实现特定于领域的语义

对于同时响应连续和离散模式变化的模型,选择连续更新方法。使用Mealy图建模有限状态机,其输出是当前输入和当前状态的函数。使用摩尔图来建模有限状态机,其输出仅依赖于当前状态。

主题

连续时间系统

米利和摩尔图表