有限状态机是反应系统的模型。该模型定义了一组有限的状态和行为,以及当某些条件满足时系统如何从一种状态转换到另一种状态。
有限状态机用于建模动态系统中的复杂逻辑,如自动传输、机器人系统和移动电话。
包含复杂逻辑的操作示例包括:
- 调度一个系统的一系列任务或步骤
- 定义故障检测、隔离和恢复逻辑
- 监督如何在不同的操作模式之间切换
有限状态机可以用状态图表示。状态图提供了传统有限状态机之外的额外功能,例如:
- 大规模系统的分层状态建模
- 添加流程图来定义复杂的决策逻辑
- 定义正交状态来表示具有并行性的系统
有关状态机建模的更多信息,请参见Stateflow®。。