有限状态机概念- MATLAB和Simulink万博1manbetx - 万博1manbetx,s manbetx 845,万博尤文图斯

有限状态机概念

Stateflow^®图表可以包含基于状态机的顺序决策逻辑。一种有限状态机是事件驱动(响应式)系统的表示。在事件驱动的系统中，如果定义更改的条件为真，则系统将从一种状态(模式)转换为另一种状态(模式)。

例如，您可以使用状态机来表示汽车的自动传输。变速器有以下工作状态:停车、倒车、空挡、驱动和低档。当驾驶员从一个位置切换到另一个位置时，系统就会从一种状态切换到另一种状态，例如，从停车到倒车。

传统上，设计师使用真值表来表示有限状态机的输入、输出和状态之间的关系。结果表描述了控制所研究系统的行为所必需的逻辑。设计事件驱动系统的另一种方法是通过在状态之间的转换来描述系统的行为，从而为系统的行为建模。事件在一定条件下的发生决定了活动状态。状态转移图和气泡图是基于这种方法的图形表示。

状态流程图可以包含状态转换图、流程图、状态转换表和真值表的形式的顺序和组合逻辑。状态转换图是有限状态机的图形表示。州和转换形成顺序逻辑系统的基本构建块。代表顺序逻辑的另一种方法是状态转换表，其允许您以表格形式输入状态逻辑。您还可以代表具有流程图和真理表的图表中的组合逻辑。

可以在Simulink中包含状态流图作为块万博1manbetx^®模型。在Simulink模型中的这些块的集合是州流机。万博1manbetx

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

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

状态流程图符号由以下元素组成:

语义描述如何解释图表符号。典型的状态流程图包含与转换和状态相关的操作。语义描述了图表执行过程中这些动作的顺序。

bb0 Harel, D，“状态图:复杂系统的视觉形式主义”计算机程序设计学卷。8,1987，第231-274页。

[2] Hatley，D. J.和I. A. Pirbhai。实时系统规范策略。纽约:多塞特出版社，1988。