A Submodular Optimization Approach to Controlled Islanding under Cascading Failure | IEEE Conference Publication | IEEE Xplore