离散事件系统中的信念属性：统一框架及其应用
系统与控制
2024-09-11 v1 系统与控制
摘要
本文从全新视角研究部分观测离散事件系统（DES）的属性验证问题。具体而言，我们考虑系统由两个独立观察者观测的情形，每个观察者都拥有自己的观察方式。第一个观察者（即低层观察者）旨在推断系统的实际行为，而第二个观察者（即高层观察者）则旨在推断关于系统的 Agent 1 的知识。我们提出一种通用概念，即信念属性，捕捉从高层观察者到低层观察者的推理。该概念的一个典型实例是高阶不透明性（high-order opacity），即指入侵者不知道系统知道某些关键信息的事实。这种形式化非常普遍，支持用户自定义的基于信息状态的知识关系。我们展示了信念属性的通用定义如何应用于信息泄露诊断或无需显式通信的战术合作等不同问题场景。最后，我们提供了信念属性验证的系统方法。特别地，我们识别出一些可以更高效验证的信念属性片段。
引用
@article{arxiv.2409.06588,
title = {On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications},
author = {Bohan Cui and Ziyue Ma and Shaoyuan Li and Xiang Yin},
journal= {arXiv preprint arXiv:2409.06588},
year = {2024}
}