离散事件模型的代数方法及其监控理论  

Algebraic Approach and Supervisory Control Theory of Discrete Event Models

作　　者：黄典伟[1] 吴智铭[1] 

机构地区：[1]上海宝钢自动化研究所,上海交通大学自动化系

出　　处：《上海交通大学学报》1996年第4期14-19,共6页Journal of Shanghai Jiaotong University

基　　金：国家自然科学基金;"八六三"高技术CIMS主题组的资助

摘　　要：有限状态机（ＦＳＭ）、Ｐｅｔｒｉ网、通信顺序进程（ＣＳＰ）和有限递归进程（ＦＲＰ）都是用来描述离散事件动态系统逻辑行为的，都可以化为一种代数形式．本文首先描述了构造离散事件模型的一般方法，然后讨论了在其上发展的监控理论．Finite state machine (FSM), Petri net,Communicating Sequential Process(CSP) and Finitely Recursive Process(FRP) are usually considered in describing the logic behavior of discrete event dynamic systems (DEDS).All of these models can be represented by a unique algebraic formulation. This paper provides a general algebraic approach for DEDS modeling. The DEDS supervisory control theory of the model is also discussed.

关 键 词：离散事件模型 代数模型 离散事件系统 监控理论 

分 类 号：TP271.8[自动化与计算机技术—检测技术与自动化装置]