Mohammad Ashiqur Rahman, Ehab Al-Shaer, Rajesh G. Kavasseri. A formal model for verifying the impact of stealthy attacks on optimal power flow in power grids. In ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, Berlin, Germany, April 14-17, 2014. pages 175-186, IEEE, 2014. [doi]
Abstract is missing.