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