基于非确定性监督器的不透明性强制监督控制

本文研究了在离散事件系统背景下通过监督控制实现不透明性的强制。若入侵者（建模为被动观察者）永远无法确信系统处于秘密状态，则称系统是不透明的。设计目标是综合一个监督器，使得即使控制策略公开已知，闭环系统仍是不透明的。本文提出了一种利用非确定性监督器强制不透明性的新方法。非确定性监督器是一种决策机制，在每一时刻提供一组控制决策，并从决策集中随机选取一个具体控制决策来实际控制被控对象。与标准确定性控制机制相比，这种非确定性控制机制能够增强受控系统的可否认性，因为在线控制决策是随机实现，无法从控制策略中隐式推断。我们给出了一个可靠且完备的算法用于综合非确定性不透明性强制监督器。此外，我们证明了非确定性监督器严格强于确定性监督器，即在某些情况下即使确定性监督器无法强制不透明性，也可能存在非确定性不透明性强制监督器。