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

Mohammad Ashiqur Rahman, Amarjit Datta. Impact of Stealthy Attacks on Optimal Power Flow: A Simulink-Driven Formal Analysis. IEEE Trans. Dependable Sec. Comput., 17(3):451-464, 2020. [doi]

Abstract

Abstract is missing.