偏序观测下全局与局部容错分散式状态估计

我们研究了在协调器接收到的信息可能被恶意攻击者破坏或篡改的情况下，离散事件系统的分散式状态估计问题。具体而言，系统由一组（局部）观测站点 (OS) 观测，这些站点偶尔将其记录的观测序列发送给负责估计系统状态的协调器。本文中称为错误的故障和攻击包括符号删除、插入和替换，每种错误都带有正成本。提出了两种类型的错误，即全局错误和局部错误，以描述错误对分散式信息处理的影响。当所有 OS 记录相同的错误时，发生全局错误；而当不同的 OS 记录不同的错误时，发生局部错误。区分这些错误类型对于正确设计分散式信息处理（以便更具弹性并能更好地处理攻击和故障）非常重要。对于每种错误类型，我们提出了两种有效执行状态估计的方法：一种基于适当修改原始系统，另一种基于推断原始系统的匹配行为。对于每种方法，我们采用一种“估计-发布”方法来设计算法，以构建用于状态估计的相应同步器。