Relative coobservability in decentralized supervisory control of discrete-event systems
Relative coobservability in decentralized supervisory control of discrete-event systems
复制标题
离散事件系统分散监督控制中的相对协同可观测性
DOI：
10.1080/00207179.2017.1397754
复制
发表时间：
--
影响因子：
2.1
通讯作者：
W.M. Wonham
中科院分区：
文献类型：
--
作者：
Kai Cai;Renyuan Zhang;W.M. Wonham
本文研究了离散事件系统在部分观测下的分散监督控制中的相对共观测性概念。这扩展了我们以前的工作相对可观测性从一个集中的设置到分散的。分散监督控制中的一个基本概念是可共观性（及其几种变体）;然而，这个属性在集合并下不是封闭的，因此通常不存在上元。我们提出的相对coobservability，虽然比coobservability强，代数上表现良好，一个给定的语言的至上相对coobservable子语言存在。我们提出了一个基于语言的算法来计算这个最高子语言，该算法允许直接使用现成的算法实现。此外，相对可共观性比共正性弱，共正性在集合并下也是封闭的;与共正性不同，相对可共观性对禁用不可观测的可控事件没有约束。
In this paper, we study the concept ofrelative coobservabilityin decentralised supervisory control of discrete-event systems under partial observation. This extends our previous work on relative observability from a centralised setup to a decentralised one. A fundamental concept in decentralised supervisory control is coobservability (and its several variations); this property is not, however, closed under set union, and hence there generally does not exist the supremal element. Our proposed relative coobservability, although stronger than coobservability, is algebraically well behaved, and the supremal relatively coobservable sublanguage of a given language exists. We present a language-based algorithm to compute this supremal sublanguage; the algorithm allows straightforward implementation using off-the-shelf algorithms. Moreover, relative coobservability is weaker than conormality, which is also closed under set union; unlike conormality, relative coobservability imposes no constraint on disabling unobservable controllable events.