离散事件系统的分散观测：至少一个能判明
形式语言与自动机理论
2021-08-11 v1 计算机科学中的逻辑
多智能体系统
软件工程
系统与控制
系统与控制
摘要
我们引入了一种新的分散观测条件，称之为“至少一个能判明”（OCT），该条件试图捕捉这样的理念：对于系统可能生成的任何行为，在给定“好”与“坏”的形式化规范下，至少有一个分散观测智能体能判明该行为是“好”还是“坏”。我们提供了 OCT 条件的若干等价表述，并将其与先前引入的联合可观测性联系起来（并证明其不同于联合可观测性）。事实上，与不可判定的联合可观测性相反，我们证明了 OCT 条件是可判定的。我们还证明了当该条件成立时，存在有限状态的分散观测器。
引用
@article{arxiv.2108.04523,
title = {Decentralized Observation of Discrete-Event Systems: At Least One Can Tell},
author = {Stavros Tripakis and Karen Rudie},
journal= {arXiv preprint arXiv:2108.04523},
year = {2021}
}