A Submodular Energy Function Approach to Controlled Islanding with Provable Stability | IEEE Conference Publication | IEEE Xplore