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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publication54rd IEEE Conference on Decision and Control,CDC 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages2613-2620
Number of pages8
ISBN (Electronic)9781479978861
DOIs
Publication statusPublished - 8 Feb 2015
Event54th IEEE Conference on Decision and Control, CDC 2015 - Osaka, Japan
Duration: 15 Dec 201518 Dec 2015

Publication series

NameProceedings of the IEEE Conference on Decision and Control
Volume54rd IEEE Conference on Decision and Control,CDC 2015
ISSN (Print)0743-1546

Other

Other54th IEEE Conference on Decision and Control, CDC 2015
CountryJapan
CityOsaka
Period15/12/1518/12/15

    Fingerprint

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Modelling and Simulation
  • Control and Optimization

Cite this

Gao, S., Xie, L., Solar-Lezama, A., Serpanos, D., & Shrobe, H. (2015). Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems. In 54rd IEEE Conference on Decision and Control,CDC 2015 (pp. 2613-2620). [7402610] (Proceedings of the IEEE Conference on Decision and Control; Vol. 54rd IEEE Conference on Decision and Control,CDC 2015). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/CDC.2015.7402610