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

本文讨论离散事件系统的无死锁模块化状态反馈问题。首先我们定义自动机的交与并运算，然后通过引入自动机对的Ｄ－不变关系，我们证明当控制目标是两个谓词的交时，模块化状态反馈控制器是无死锁的充要条件是各子控制器是无死锁的且相应的控制器满足Ｄ－不变关系。我们证明了一个给定的自动机对于另一自动机的Ｄ－不变子自动机类有最大元存大，并由此给出一个综合算法。

Deadlock-Free Modular State Feedback Control of Event Systems

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.