Stateflow系统建模(全)解读
Stateflow系统建模
同济大学 电子与信息工程学院
戴毅茹
内容提要
Stateflow入门介绍及基本概念
创建状态图
状态图仿真
流程图建模
Stateflow的基本简介:
Statefolw 是一种图形化的设计开发工具,是有限状态机的图
形实现工具,也称之为状态流。
主要用于simulink 中控制和检测逻辑关系。
使用这种图形化的工具可以实现各个状态之间的转换,解决复
杂的监控逻辑问题。
它和Simulink 同时使用,使得Simulink 更具有事件驱动控制能力。
有限状态机简介:
Stateflow 的仿真原理是有限状态机(finite state machine,简
称FSM)理论。
所谓有限状态机是指系统中存在可数的状态,在某些事件发生
时,系统从一个状态转换成另一个状态,故又称为事件驱动的系统。
在有限状态机的描述中,可以设计出由一种状态转换至另一种
状态的条件,并将每对可转换的状态均设计出状态迁移的事件,从
而构造出状态迁移图。
有限状态机示意图:
Stateflow允许用户:
(1)建立有限的状态。
(2)用图形的形式绘制出状态
迁移的条件。
(3)使用规定的命令设计状
态迁移执行的任务。
完成以上操作即构造出整
个有限状态机系统。
注:Stat