Automated Vulnerability Analysis of AC State Estimation under Constrained False Data Injection in Electric Power Systems Conference Paper

abstract

• 2015 IEEE. We introduce new methods for the automatic vulnerability analysis of power grids under false data injection attacks against nonlinear (AC) state estimation. We encode the analysis problems as logical decision problems that can be solved automatically by SMT solvers. To do so, we propose an analysis technique named symbolic propagation, which is inspired by symbolic execution methods for finding bugs and exploits in software programs. We show that the proposed methods can successfully analyze vulnerability of AC state estimation in realistic power grid models. Our approach is generalizable towards many other applications such as power flow analysis and state estimation.

name of conference

• 2015 54th IEEE Conference on Decision and Control (CDC)

authors

• Xie, Le

published proceedings

• 2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC)

author list (cited authors)

• Gao, S., Xie, L. e., Solar-Lezama, A., Serpanos, D., & Shrobe, H.

citation count

• 18

complete list of authors

• Gao, Sicun||Xie, Le||Solar-Lezama, Armando||Serpanos, Dimitrios||Shrobe, Howard

publication date

• January 2015

publisher

• Institute of Electrical and Electronics Engineers (IEEE)  Publisher

published in

• Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control  Journal

keywords

• 7 Affordable And Clean Energy

Digital Object Identifier (DOI)

• 10.1109/cdc.2015.7402610

International Standard Book Number (ISBN) 13

• 9781479978861

start page

• 2613

end page

• 2620

volume

• 54rd IEEE Conference on Decision and Control,

URL

• http%3A%2F%2Fdx.doi.org%2F10.1109%2Fcdc.2015.7402610

user-defined tag

• 7 Affordable and Clean Energy