主要内容

粉、摩尔和连续时间图表

实现特定于域的语义

选择连续更新的方法模型,对连续和离散模式的变化。用粉状的图表模型有限状态机的输出电流输入和当前状态的函数。用摩尔图表模型有限状态机的输出只依赖于当前状态。

主题

连续时间系统

粉和摩尔图表