摘要
扩展有限状态机(EFSM)是一种构造模型的形式化描述语言.首先根据化工过程特征,改进EFSM模型和数据依赖关系,构建变量、状态及相互之间转换条件和动作的化工过程EFSM描述模型;然后提出化工过程变量之间的静、动态依赖关系和故障传播路径的分析方法;最后通过典型化工过程CSTR仿真应用验证了EFSM模型描述及分析方法的可行性和有效性,为工业过程的故障传播分析提供一种新的思路和方法.
The extended finite state machine（EFSM） is a formal description language of model constrution.According to the chemical process characteristics,EFSM models and data dependencies are improved,and the chemical process EFSM model is constructed including variables,states,transitions,conditions and actions between variables.The method of static and dynamic variables transitions and fault propagation path analysis is proposed.The simulation CSTR experimental results of the typical chemical process show the effectiveness and feasibility of the EFSM model description and analysis methods.New ideas and methods are provided for the fault propagation analysis in the industrial process.
出处
《控制与决策》
EI
CSCD
北大核心
2014年第11期2108-2112,共5页
Control and Decision
基金
国家自然科学基金项目(61104131)
中央高校基本科研业务费专项基金项目(JD1310)
关键词
扩展有限状态机
形式化
数据依赖
故障传播
extended finite state machine
formalization
data depengdence
fault propagation analysis
