有限状态机的概念- MATLAB和Simulink金宝app - 金宝app,下载188bet金宝搏,金宝搏官方网站

有限状态机概念

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

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

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

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

您可以在Simulink中将状态图作为块包含进来金宝app^®模型。Simulink模型中这些块的集合就是Stateflow机器。金宝app

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

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

状态图表示法由以下元素组成:

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

状态描述:复杂系统的视觉形式。计算机编程学1987年第8卷，第231-274页。

哈特利，D. J.和I. A.皮尔布海。实时系统规范的策略。纽约，纽约:多塞特出版社，1988年。