Stateflow 是集成于 Simulink 中的图形化设计与开发工具，主要用于针对控制系统中的复杂控制逻辑进行建模与仿真，Stateflow 适用于针对事件响应系统(Reactive System)进行建模和仿真。与事件响应系统相对应的就是动态变换系统(Dynamic Transformational System)。动态变换系统通常可以利用数学表达式、 方程等组成的输入/输出关系进行描述，像这样的系统利用 Simulink 进行建模是最为方便的。而事件响应系统通常利用一些自然语言或者逻辑表达式进行描述，这样的系统就需要利用 Stateflow 来进行建模。Stateflow 与Simulink 结合起来，可以创建确定性监管控制系统。 利用 Stateflow 可视化的模型和直观的仿真能力，可以清晰、 简洁地反映出复杂动态逻辑关系。 Stateflow 的基础是有限状态机理论，它通过对状态图、 流程图的创建， 对事件驱动系统进行建模和仿真。
第一章    创建状态图
第二章   状态图的仿真

第三章   流程图

第四章   有限状态系统—层次化建模

第五章   有限状态系统—并行机制