Strong Mixed-Integer Formulations for Power System Islanding and Restoration

Intentional controlled islanding (ICI) and black start allocation (BSA) are two examples of problems in the power systems literature that have been formulated as mixed integer programs (MIPs) and allow reconfiguration of the power system topology. A key consideration in both of these problems is that each island that appears after a reconfiguration must have at least one energized generator. In this paper, we examine three alternative MIP formulations for this restriction, show their equivalence, and prove that two of them are stronger in terms of their linear programming relaxation than the formulation most commonly used in the power systems literature. Since the time to solve MIPs can vary significantly between equivalent formulations, we also present computational experiments on the IEEE test systems for the ICI and BSA problems. We observe that a polynomially separable, exponential in size, strong formulation yields the best performance for the BSA problem and exhibits a comparable performance to a linear in size, weak formulation for the ICI problem.