离散事件系统的无死锁模块化状态反馈控制(英文)  

Deadlock-Free Modular State Feedback Control of Discrete Event Systems

作　　者：李勇华[1] 

机构地区：[1]北京航空航天大学第七研究室,北京100083

出　　处：《控制理论与应用》1993年第5期582-588,共7页Control Theory & Applications

摘　　要：本文讨论离散事件系统的无死锁模块化状态反馈问题,首先我们定义自动机的交与并运算,然后通过引入自动机对的D-不变关系,我们证明当控制目标是两个谓词的交时,模块化状态反馈控制器是无死锁的充要条件是各子控制器是无死锁的且相应的控制器满足D-不变关系。我们证明了一个给定的自动机相对于另一自动机的D-不变子自动机类有最大元存在,并由此给出一个综合算法。In this paper we discuss the problem at synthesizing deadlock-free modular atate feedback controllers for discrete event systems. By introducing the D-invariant relation between automata pairs, we show that for the case the control objective is expressed in terms of the intersection of two predicates, a necessary and sufficient condition for the modular state feedback controller to be deadlock-free is that the component subcontrollers are all deadlock-free and the corresponding pair of automaton meets a D-invariant relation. A design procedure for deadlock-free modular state feedback controller la also presented.

关 键 词：离散事件系统 模块化 反馈控制 

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