乘积合成离散事件系统监督控制器的存在性  

The Existence of the Supervisor of Product Composition for Discrete Event Systems

作　　者：蔡逸凡[1] 李承家[1] 田小丽[1] 

机构地区：[1]杭州电子科技大学理学院,浙江杭州310018

出　　处：《杭州电子科技大学学报（自然科学版）》2008年第2期86-89,共4页Journal of Hangzhou Dianzi University：Natural Sciences

基　　金：国家自然科学基金(60772006)

摘　　要：离散事件系统是事件驱动的动态系统,有限自动机是其主要建模形式。对于离散事件系统的乘积合成方式,根据不同的控制需求,以定理的形式用两种方法给出两个系统乘积自动机的监督控制器存在的条件,从而为实现复杂系统监督控制提供理论依据,为离散事件系统的监督控制理论的应用开拓新的途径。Discrete event systems are event - driven dynamic systems, which are mostly modeled by finite automata. Regarding product composition of two discrete event subsystems, two supervisor existence theorems are given with respect and develop to different control specifications. The results provide theoretical basis to synthesize complex systems new prospect in the application of the supervisory control theory of discrete event systems.

关 键 词：离散事件系统 有限自动机 可控性 监督控制器 

分 类 号：O231.2[理学—运筹学与控制论]