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