离散事件系统受攻击下的联合状态估计

考虑了在遭受网络攻击的部分可观离散事件系统设定中的状态估计问题。操作员通过隐藏某些事件发生与否的自然投影来观测一个工厂。操作员的目标是估计系统的当前状态。观测受到攻击者的破坏，攻击者能够篡改一组传感器的读数，从而插入虚假事件或抹除某些观测。攻击者的目的是改变操作员的状态估计。我们定义了一种称为联合估计器的自动机，用以描述所有可能攻击的集合。更具体地，通过对攻击观察者与管理员观察者这两个状态观测器进行并发组合，得到无界联合估计器。该联合估计器针对每一可能的被篡改观测，给出联合状态估计，即与未篡改观测一致的状态集合以及与篡改观测一致的状态集合。此结构可用于判定某攻击函数相对于误导性关系是否有害。我们的方法还扩展至攻击者在两次连续观测间至多插入n个事件的情形。