Supervisory control of partially observed discrete event systems with arbitrary control patterns
Supervisory control of partially observed discrete event systems with arbitrary control patterns
复制标题
具有任意控制模式的部分观察离散事件系统的监督控制
DOI：
--
复制
发表时间：
2000
影响因子：
4.3
通讯作者：
S. Takai
中科院分区：
文献类型：
--
作者：
S. Takai
本文研究具有任意控制模式的部分观测离散事件系统的监督控制问题。首先，我们给出了给定的非空闭语言K存在主管的充要条件。其次，我们考虑了语言K不满足该条件的情况。我们证明了当控制模式的集合Gamma在交集下闭合时，总存在它的下确界超语言，且存在一个监督者。这种下位超语言是大于K的最优解。另一方面，当Gamma在并集下闭合时，不一定存在它的上位子语言，它存在一个监督者。换言之，一般不存在小于K的最优解。因此，在这种情况下，我们给出了一个小于K的次优解。
In this paper, we study supervisory control of partially observed discrete event systems with arbitrary control patterns. First, we present a necessary and sufficient condition for the existence of a supervisor for a given non-empty and closed language K. Next, we consider the case where the language K does not satisfy the condition. We prove that there always exists its infimal superlanguage for which there exists a supervisor when the set Gamma of control patterns is closed under intersection. This infimal superlanguage is the optimal solution larger than K. On the other hand, when Gamma is closed under union, there does not necessarily exist its supremal sublanguage for which there exists a supervisor. In other words, the optimal solution smaller than K does not exist in general. So, in this case, we present a suboptimal solution smaller than K.