有限状态机概念
Stateflow®图表可以包含基于状态机的顺序决策逻辑。一个有限状态机是事件驱动(响应式)系统的表示。在事件驱动的系统中，如果定义更改的条件为真，则系统将从一种状态(模式)转换到另一种状态(模式)。
例如，您可以使用状态机来表示汽车的自动变速器。变速器有以下操作状态:驻车、倒车、空挡、驱动和低速。当驾驶员从一个位置换到另一个位置时，系统也会从一种状态转换到另一种状态，例如，从停车到倒车。
有限状态机表示
传统上，设计人员使用真值表来表示有限状态机的输入、输出和状态之间的关系。结果表描述了控制所研究系统行为所必需的逻辑。设计事件驱动系统的另一种方法是根据状态之间的转换来描述系统的行为，从而对系统的行为建模。在某些条件下事件的发生决定了活动状态。状态转换图和气泡图是基于这种方法的图形表示。
Stateflow图表表示
状态流程图可以包含状态转换图、流程图、状态转换表和真值表形式的顺序和组合逻辑。状态转换图是有限状态机的图形表示。州和转换形成顺序逻辑系统的基本构建块。表示顺序逻辑的另一种方法是状态转换表，它允许您以表格形式输入状态逻辑。还可以用流程图和真值表在图表中表示组合逻辑。
您可以将状态流图表作为块包含在Simulink中金宝app®模型。这些模块在Simulink模型中的集合就是状态流机。金宝app
状态流程图支持表示层次结构、并行性和历史。您可以通过定义父对象和子对象结构来组织复杂的系统。例如，您可以在其他高级状态中组织状态。具有并行性的系统可以同时具有两个或多个正交状态。您还可以根据历史信息指定转换的目标状态。
符号
符号定义了一组对象和控制这些对象之间关系的规则。状态流程图符号提供了一种在状态流程图中交流设计信息的方法。
状态流图表符号由以下元素组成:
一组图形对象
一组非图形的基于文本的对象
定义了这些对象之间的关系
语义
语义描述了如何解释图表符号。一个典型的状态流程图包含与转换和状态相关联的操作。语义描述了图表执行期间这些操作的顺序。
参考书目
[1] Harel, D，《状态图:复杂系统的视觉形式主义》计算机程序设计学1987年第8卷，第231-274页。
b[2]哈特利，d.j.和i.a.p irbhai。实时系统规范策略。纽约:多赛特出版社，1988。
