Power Grid Decomposition Based on Vertex Cut Sets and Its Applications to Topology Control and Power Trading | IEEE Conference Publication | IEEE Xplore