论文标题
离散事件系统中分散观察，诊断和控制问题的等效性
Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems
论文作者
论文摘要
本文证明了观察问题，控制问题（与部分观察）和分散的离散事件系统的诊断问题之间的等效性，即，三类问题是图丁等同的，因为一个类图林将其减少到另一个类别。 等效性将控制问题分解为更简单的控制sub \ - /问题的集合，这些问题等同于观察问题。同样，可以将诊断问题转换为正式简单的观察问题。由于在以前的工作中已证明其最通用的公式中的观察问题是不可确定的，因此这里产生的等效性表明，控制问题也是不可确定的。而诊断问题的不确定性是已知的结果。
This paper demonstrates an equivalence between observation problems, control problems (with partial observation), and diagnosis problems of decentralized discrete-event systems, namely, the three classes of problems are Turing equivalent, as one class Turing reduces to another. The equivalence allows decomposition of a control problem into a collection of simpler control sub\-/problems, which are each equivalent to an observation problem; and similarly allows converting a diagnosis problem to a formally simpler observation problem. Since observation problems in their most general formulation have been shown to be undecidable in previous work, the equivalence produced here demonstrates that control problems are also undecidable; whereas the undecidability of diagnosis problems is a known result.
