部分观测下的监督控制：观测一致性何时可判定
Supervisory Control under Partial Observation: Where Observation Consistency Becomes Decidable
- The Hong Kong University of Science and Technology (Guangzhou)（香港科技大学（广州））
- Institute of Mathematics of the Czech Academy of Sciences（捷克科学院数学研究所）
- Faculty of Science, Palacky University Olomouc（帕尔默大学奥洛穆茨分校理学院）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
本文证明部分观测下监督控制中的观测一致性（OC）和修正观测一致性（MOC）验证问题不可判定，并识别出在plant的每个环含可观测高层事件的可判定类，其验证复杂度为PSPACE-complete。
AI中文摘要：
观测一致性（OC）和修正观测一致性（MOC）是部分观测下分层和模块化监督控制中使用的结构条件。对由确定性有限自动机生成的语言验证这些条件，其复杂度为PSPACE-hard，而可判定性此前是开放问题。我们通过证明这两个问题均不可判定来回答该问题，即不存在验证OC或MOC的算法。在积极方面，我们识别了一个由对plant的限制定义的可判定类：如果自动机的每个环都包含一个由可观测高层事件标记的转移，则这两个条件的验证均为PSPACE-complete。
英文摘要：
Observation consistency (OC) and modified observation consistency (MOC) are structural conditions used in hierarchical and modular supervisory control under partial observation. Their verification for languages generated by deterministic finite automata is PSPACE-hard, whereas decidability was open. We answer this question by showing that both problems are undecidable, that is, there are no algorithms verifying OC or MOC. On the positive side, we identify a decidable class defined by a restriction on the plant: if every cycle of the automaton contains a transition labeled by an observable high-level event, then verification of both conditions is PSPACE-complete.
