论文标题
部分观察下的等级监管控制：正态性
Hierarchical Supervisory Control under Partial Observation: Normality
论文作者
论文摘要
保留植物之间规格及其抽象之间规格的可观察性的条件对于对部分观察的离散事件系统的分层监督控制至关重要。观察一致性和局部观察一致性被确定为这种情况。为了保持正态性，仅需要观察一致性。尽管观察一致性可以保留正常规格的水平之间的正态性，但对于不正常的规格，观察一致性不足以确保在低水平和高水平重合的上计算出的至上的正常sublanguage。我们定义了经过修改的观察一致性，根据该一致性，不同级别的至上的正常sublugion是重合的。我们表明，（修改）观察一致性的验证是有限自动机的PSPACE-HARD，而与有限自动机相比，对表达模型的验证略高。 （修改）观察一致性的可决定性是一个开放的问题。因此，我们进一步讨论了两个易于验证的较强条件。最后，我们说明了铁路控制器的示例以及MRI扫描仪的一部分案例研究的示例。
Conditions preserving observability of specifications between the plant and its abstraction are essential for hierarchical supervisory control of discrete-event systems under partial observation. Observation consistency and local observation consistency were identified as such conditions. To preserve normality, only observation consistency is required. Although observation consistency preserves normality between the levels for normal specifications, for specifications that are not normal, observation consistency is insufficient to guarantee that the supremal normal sublanguage computed on the low level and on the high level coincide. We define modified observation consistency, under which the supremal normal sublanguages of different levels coincide. We show that the verification of (modified) observation consistency is PSPACE-hard for finite automata and undecidable for slightly more expressive models than finite automata. Decidability of (modified) observation consistency is an open problem. Hence we further discuss two stronger conditions that are easy to verify. Finally, we illustrate the conditions on an example of a railroad controller and on a case study of a part of an MRI scanner.
