有限状态机概念

州流程^®图表可以包含基于状态机的顺序决策逻辑。一个有限状态机是事件驱动（反应性）系统的表示。在事件驱动的系统中，如果定义变化的条件是真的，系统将从一个状态（模式）转换为另一个状态（模式）。

例如，您可以使用状态机来表示汽车的自动传输。传输具有这些操作状态：公园，反向，中性，驱动器和低。当驾驶员从一个位置移位到另一个位置时，系统使从一个状态转换到另一个状态，例如，从停车到反向。

传统上，设计师使用真理表来表示有限状态机的输入，输出和状态之间的关系。结果表描述了控制在研究下的系统行为所需的逻辑。设计事件驱动系统的另一种方法是通过在状态之间的转换方面来模拟系统的行为。某些条件下发生事件的发生确定了处于活动状态的状态。状态过渡表和泡沫图是基于此方法的图形表示。

StateFlow Chart可以包含状态转换图，流程图，状态转换表和真桌的形式的顺序和组合逻辑。状态转换图是有限状态机的图形表示。状态和过渡构成顺序逻辑系统的基本构件。表示顺序逻辑的另一种方法是状态转换表，它允许您以表格形式输入状态逻辑。您还可以用流程图和真值表在图表中表示组合逻辑。

您可以在Simulink中包含StateFlow图表作为块金宝app^®模型。在Simulink模型中，这些块的集合就是statflow机器。金宝app

StateFlow图表启用层次结构，并行性和历史记录的表示。您可以通过定义父和后代对象结构来组织复杂的系统。例如，您可以在其他更高级别的状态中组织状态。具有并行性的系统可以同时具有两个或更多个正交状态。您还可以根据历史信息指定转换的目标状态。

符号定义了一组对象和管理这些对象之间关系的规则。StateFlow Chart符号提供了一种传送在状态流图中的设计信息的方法。

StateFlow图表表示法由这些元素组成：

语义描述了如何解释图表符号。典型的状态溢图包含与转换和状态关联的操作。语义在图表执行期间描述了这些动作的序列。

[1] Harel，D“StateCharts：复杂系统的视觉形式主义。”计算机编程科学第8卷，1987年，231-274页。

[2] Hatley, d。j。和i。a。Pirbhai。实时系统规范的策略。纽约，纽约：多塞特房屋出版，1988年。

也可以看看