基于部分有序观测序列的去中心化状态估计与不透明性验证

本文研究了去中心化观测架构下的状态估计与不透明性验证问题。具体而言，我们考虑行为被一组观测站记录的离散事件系统。这些站点在同步发生时将他们记录的部分有序观测序列传输给协调器。为正确地从协调器的角度分析系统行为，我们首先引入了 Complete Synchronizing Sequence structure (CSS structure) 的概念，这简洁地捕捉了每个系统状态在不同信息提供下状态演化。基于 CSS structure，我们随后构建相应的 current-state 和 initial-state 估计器，用于协调器上的离线状态估计。在用于验证此去中心化架构下的状态隔离属性时，CSS structure 的使用相较于文献中现有方法显著降低了复杂度。特别是，我们讨论如何在协调器处验证 initial-state 不透明性，以及一种新颖的不透明性概念，即 current-state-at-synchronization 不透明性。