Login / Signup

Impact of Stealthy Attacks on Optimal Power Flow: A Simulink-Driven Formal Analysis.

Mohammad Ashiqur RahmanAmarjit Datta
Published in: IEEE Trans. Dependable Secur. Comput. (2020)
Keyphrases
  • formal analysis
  • optimal power flow
  • power system
  • formal methods
  • control system
  • knowledge acquisition
  • agent model
  • control algorithm
  • security mechanisms
  • security protocols