状态机作为对事物运行规则的一种抽象方法，在实际工作开发中应用非常广泛，它是一种用来进行对象行为建模的工具，相对于常规建模来说，状态机和流程图本身具有使用性强、可读和易理解的特点，可以将复杂的逻辑问题变得清晰与简单。

本文主要介绍Modelica标准库v3.2.1中的StateGraph库及其应用。本文所有的操作都是在MWorks.Sysplorer操作下进行，其他支持Modelica的软件也可完成本文中的操作建模部分。

01状态机基础概念

在第一次听到“状态机”的时候，相信大家都是有点模糊的，因此在本文开始需要首先介绍一个知识点“什么叫状态机？”。

简单来说，状态机不是一个实际的机器设备，而是一种数学模型，它的全称为有限状态自动机（FiniteStateMachine，简写FSM）。

FSM是指一个对象有有限个状态，每一时刻该对象都处在其提前定义好的一种或多种状态中，同时每个状态都需要去完成某些特定的事情，在完成特定时动作后或在外界的控制下转移到另外一种对象。生活中有很多状态机例子，下图为开关门例子，门开着的时候说Wel

转载请注明:http://www.aideyishus.com/lkgx/2004.html