Cyber physical systems which integrate physical system dynamics with digital cyber infrastructure are envisioned to transform our core infrastructural frameworks such as the smart electricity grid, transportation networks and advanced manufacturing. This integration however exposes the physical system functioning to the security vulnerabilities of cyber communication. Both scientific studies and real world examples have demonstrated the impact of data injection attacks on state estimation mechanisms on the smart electricity grid. In this work, an abstract theoretical framework is proposed to study data injection/modification attacks on Markov modeled dynamical systems from the perspective of an adversary. Typical data injection attacks focus on one shot attacks by adversary and the non-detectability of such attacks under static assumptions. In this work we study dynamic data injection attacks where the adversary is capable of modifying a temporal sequence of data and the physical controller is equipped with prior statistical knowledge about the data arrival process to detect the presence of an adversary. The goal of the adversary is to modify the arrivals to minimize a utility function of the controller while minimizing the detectability of his presence as measured by the KL divergence between the prior and posterior distribution of the arriving data. Adversarial policies and tradeoffs between utility and detectability are characterized analytically using linearly solvable control optimization.
[1]
Frank L. Lewis,et al.
Reinforcement Learning and Approximate Dynamic Programming for Feedback Control
,
2012
.
[2]
Yang Xiao,et al.
Cyber Security and Privacy Issues in Smart Grids
,
2012,
IEEE Communications Surveys & Tutorials.
[3]
Peng Ning,et al.
False data injection attacks against state estimation in electric power grids
,
2011,
TSEC.
[4]
H. Vincent Poor,et al.
An Introduction to Signal Detection and Estimation
,
1994,
Springer Texts in Electrical Engineering.
[5]
E. Todorov,et al.
Linearly Solvable Optimal Control
,
2013
.
[6]
A. G. Expósito,et al.
Power system state estimation : theory and implementation
,
2004
.
[7]
Edward A. Lee.
Cyber Physical Systems: Design Challenges
,
2008,
2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
[8]
L. Tong,et al.
Malicious Data Attacks on Smart Grid State Estimation: Attack Strategies and Countermeasures
,
2010,
2010 First IEEE International Conference on Smart Grid Communications.