3Stateflow建模与应用0511

第3 章Stateflow 原理与建模 Stateflow 是有限状态机的图形实现工具，它可以用于解决事件驱动系统中复杂的逻辑问题。Stateflow 通过开发有限状态机和流程图的设计环境扩展Simulink 的功能，在系统中可以用图形化的工具来实现各个状态之间的迁移。 Stateflow 通过开发有限状态机和流程图的设计环境扩展Simulink 的功能，Stateflow 是和Simulink 一起用于对事件驱动型动态系统分析的交互式仿真设计工具。Stateflow 使用自然、可读和易理解的形式来表达复杂逻辑，同时与MATLAB 和Simulink 紧密集成，为包含控制、优先级管理、工作模式逻辑的嵌入式系统的设计提供了有效的工作环境。 而有限状态机又称为事件驱动系统，指系统在条件发生变化时，即有事件发生时从一个状态转换到另一个状态。通过将系统中的行为描述成不同状态的转换，可将系统设计成事件驱动系统。在特定的条件下发生的事件来激活状态，状态迁移图就是基于此种方法的图形表示。 Stateflow 图表采用图形建模的方式构建层次化的、并行工作的状态和它们之间由事件驱动的逻辑迁移关系。Stateflow 在传统状态图的基础上扩展了控制流、Embedded MATLAB函数、图形函数、真值表、临时运算符、直接事件广播并可以集成用户自编 C 代码，而且通过Stateflow Coder 可以为 Stateflow 状态图模型自动生成 C 代码。 本章主要向读者介绍 Stateflow 图表的基本图形对象的用法，并通过一个实例完整的介绍了 Stateflow 建模及仿真调试的全过程，还介绍了如何在Stateflow 图表中集成自定义代码以提高仿真能力。主要内容包括：  Stateflow 概述  流程图  状态图的层次  并行机制  其他的图形对象  Embedded MATLAB 函数  Simulink 函数  集成自定义代码  Stateflow 建模实例 3.1Stateflow 概述 Stateflow 主要有以下特点：  提供层次化、可并行的、具有明确执行语义的建模语言元素，并以自然易懂的形式来描述复杂逻辑系统。  使用流程图定义图形化函数，使用 Embedded MATLAB 函数进行编程操作、使用真值表完成表格形式的处理。  采用临时逻辑调度状态迁移与事件。  支持 Mealy和Moore 有限状态机。  可集成用户自定义输入输出变量的C 代码。  支持向量，矩阵，总线信号和定点数据类型。  可进行静态模型检查，包括病态定义的真值表。  可动态检测迁移冲突，死循环，状态不一致，数据范...