论文标题
在反应传感器攻击下综合攻击感控制和主动传感策略
Synthesizing Attack-Aware Control and Active Sensing Strategies under Reactive Sensor Attacks
论文作者
论文摘要
我们考虑防守者（P1）的概率计划问题，他们可以共同查询传感器并采取控制措施以达到一组目标状态，同时意识到对手（P2）可能攻击的传感器（P2），他们具有完美的观察。为了综合P1的可证明的，攻击感知的关节控制和主动感应策略，我们在图形上构建了一个随机游戏，其中包括包括实际的游戏状态（仅攻击者知道），辩护人对游戏状态的信念（由攻击者基于他对Defender的了解而构建）。我们提出了一种算法来计算P1的基于信念的，随机的策略，以确保在知情P2进行的最坏情况传感器攻击下以概率为单位满足可达目标。我们证明了算法的正确性，并使用示例说明了。
We consider the probabilistic planning problem for a defender (P1) who can jointly query the sensors and take control actions to reach a set of goal states while being aware of possible sensor attacks by an adversary (P2) who has perfect observations. To synthesize a provably-correct, attack-aware joint control and active sensing strategy for P1, we construct a stochastic game on graph with augmented states that include the actual game state (known only to the attacker), the belief of the defender about the game state (constructed by the attacker based on his knowledge of defender's observations). We present an algorithm to compute a belief-based, randomized strategy for P1 to ensure satisfying the reachability objective with probability one, under the worst-case sensor attack carried out by an informed P2. We prove the correctness of the algorithm and illustrate using an example.
