论文部分内容阅读
该文分别从全局控制目标和局部控制目标讨论了离散事件系统分散监控器的无死锁特性。首先,对于全局控制目标,基于离散事件系统中的分散监控的存在性条件,通过验证全局控制目标是否满足无死锁语言的定义,进而获得无死锁分散监控器存在的判别条件。之后,为了将该判别条件推广到局部控制目标的判别,提出了局部可控性条件与全局控制目标的可控、可观性条件的蕴涵关系,进而可以利用局部控制目标获得分散监控器,再通过在局部控制目标之间定义映射不变关系,建立局部控制目标的无死锁性与全局控制目标的无死锁性的联系,进而获得利用局部控制目标获得无死锁分散监控器的存在性条件。
In this paper, we discuss the deadlock-free characteristics of discrete event system distributed monitor from global control objectives and local control objectives respectively. First of all, for the global control target, based on the existence condition of decentralized monitoring in discrete event system, the existence of the deadlock-free decentralized monitor can be obtained by verifying whether the global control target satisfies the definition of deadlock-free language. Then, in order to generalize the discriminant condition to the local control objective, the implication relation between the local controllability condition and the controllable and observability condition of the global control objective is proposed, and then the decentralized monitor can be obtained by using the local control goal, In this paper, we define the invariant relation between local control targets, establish deadlock-free relation between deadlock-free and global control targets of local control targets, and then obtain the existence condition of using deadlock-free decentralized monitors by using local control targets .