部分观测下分层监督控制的条件

部分观测下分层监督控制的基本问题是为原始（低层）与抽象（高层）被控对象寻找保持可观测性的条件。文献中已识别出针对可观测规约的两个条件——观测一致性（OC）与局部观测一致性（LOC）。然而，OC 与 LOC 的可判定性尚属开放问题。我们证明对于正则系统，OC 与 LOC 均是可判定的。我们进一步表明，这些条件并不能保证在低层与高层计算的上确界（正规或相对可观测）子语言总是重合。为解决该问题，我们提出一个新条件——修正观测一致性——并证明在此条件下，上确界正规子语言在层间得以保持，而高层上确界相对可观测子语言至少不劣于低层上确界相对可观测子语言，即高层解甚至可能优于低层解。