Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems Conference Paper uri icon


  • 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)

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

  • 14

complete list of authors

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

publication date

  • December 2015