离散事件系统的分散观测：至少一个人可以告诉
Decentralized Observation of Discrete-Event Systems: At Least One Can Tell
摘要：
我们引入了一个新的分散观察条件，我们称之为“至少有一个可以告诉”（OCT），并试图捕捉的想法，任何可能的行为，系统可以产生，至少有一个分散观察代理可以告诉是否该行为是“好”或“坏”，为“好”和“坏”的正式规范。我们提供了几个等价的公式的OCT条件，我们将其与（并表明它是不同的）以前介绍的联合观测。事实上，相反的联合可观性是不可判定的，我们表明，OCT条件是可判定的。我们还表明，当条件成立时，有限状态分散观测器存在。
英文摘要：
We introduce a new decentralized observation condition which we call "at least one can tell" (OCT) and which attempts to capture the idea that for any possible behavior that a system can generate, at least one decentralized observation agent can tell whether that behavior was "good" or "bad", for given formal specifications of "good" and "bad". We provide several equivalent formulations of the OCT condition, and we relate it to (and show that it is different from) previously introduced joint observability. In fact, contrary to joint observability which is undecidable, we show that the OCT condition is decidable. We also show that when the condition holds, finite-state decentralized observers exist.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
