Qualitative planning in imperfect information games with active sensing and reactive sensor attacks: Cost of unawareness

作     者：Kulkarni, Abhishek N. Han, Shuo Leslie, Nandi O. Kamhoua, Charles A. Fu, Jie 

作者机构：The Robotics Engineering Program Dept. of Electrical and Computer Engineering Worcester Polytechnic Institute WorcesterMA01609 United States The Department of Electrical and Computer Engineering University of Illinois ChicagoIL60607 United States Raytheon Technologies U.S. Army Research Laboratory 

出 版 物：《arXiv》 (arXiv)

年 卷 期：2021年

核心收录：

主　　题：Formal methods 

摘      要：We consider the probabilistic planning problem where the agent (called Player 1, or P1) can jointly plan the control actions and sensor queries in a sensor network and an attacker (called player 2, or P2) can carry out attacks on the sensors. We model such an adversarial interaction using a formal model-a reachability game with partially controllable observation functions. The main contribution of this paper is to assess the cost of P1 s unawareness: Suppose P1 misinterprets the sensor failures as probabilistic node failures due to unreliable network communication, and P2 is aware of P1 s misinterpretation in addition to her partial observability. Then, from which states can P2 carry out sensor attacks to ensure, with probability one, that P1 will not be able to complete her reachability task even though, due to misinterpretation, P1 believes that she can almost-surely achieve her task. We develop an algorithm to solve the almost-sure winning sensor-attack strategy given P1 s observation-based strategy. Our attack analysis could be used for attack detection in wireless communication networks and the design of provably secured attack-aware sensor allocation in decision-theoretic models for cyber-physical systems. Copyright © 2021, The Authors. All rights reserved.