Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures | IEEE Conference Publication | IEEE Xplore