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

【Abstract】 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.更多还原