Stateflow是有限状态机（finite state machine）的图形工具，它可以用于解决复杂的逻辑问题，用户可以通过图形化工具实现在不同状态之间的转换。Stateflow可以直接嵌入到Simulink仿真模型中，并且在仿真的初始化阶段，SIMULINK会把Stateflow绘制的逻辑图形通过编译程序转换成C语言，使二者有机地结合在一起。 Stateflow可以在SIMULINK Extra模块库中找到。

Stateflow的仿真原理是有限状态机（finite state machine）理论，有限状态机是指系统含有可数的状态，在相应的状态事件发生时，系统会从当前状态转移到与之对应的状态。在有限状态机中实现状态的转移是有一定条件的，同时相互转换的状态都会有状态转移事件，这样就构成了状态转移图。在SIMULINK的仿真窗口中，允许用户建立有限个状态以及状态转移的条件与事件，从而绘制出有限状态机系统，这样就可以实现对系统的仿真。Stateflow的仿真框图一般都会嵌入到Simulink仿真模型中，同时实现状态转移的条件或是事件即可以取自Stateflow仿真框图，也可以来自Simulink仿真模型。