离散事件系统的无死锁分散监控

Deadlock-free decentralized supervisory control of discrete event systems

该文分别从全局控制目标和局部控制目标讨论了离散事件系统分散监控器的无死锁特性。首先,对于全局控制目标,基于离散事件系统中的分散监控的存在性条件,通过验证全局控制目标是否满足无死锁语言的定义,进而获得无死锁分散监控器存在的判别条件。之后,为了将该判别条件推广到局部控制目标的判别,提出了局部可控性条件与全局控制目标的可控、可观性条件的蕴涵关系,进而可以利用局部控制目标获得分散监控器,再通过在局部控制目标之间定义映射不变关系,建立局部控制目标的无死锁性与全局控制目标的无死锁性的联系,进而获得利用局部控制目标获得无死锁分散监控器的存在性条件。

This paper describes deadlock-free decentralized supervisory control of discrete event systems with global and local specifications. Conditions are given for deadlock-free global specifications with decentralized supervisors. Then, the condition for the existence of deadlock free decentralized supervisors is extended from global specifications to local specifications with the local controllable language implying global controllability and observability with decentralized supervisors obtained for local specifications, The invariance with respect to the given projections gives a relation between the local deadlock free specifications and the global deadlock free specifications, and the condition for the existence of deadlock-free decentralized supervisors achieved by the local specifications.