Nomenclature
Binary connectivity parameter between buses and .
Binary variable which is equal to 1 if the PMU installed at bus measures the voltage of bus for , or the current of line for ; and 0 otherwise.
Indices of bus.
Superscript denoting value of the associated variable or parameter when line is out.
Binary variable whose value of 1 indicates that the current of line for or the voltage of bus for can be measured if a PMU is installed at bus .
Index of line.
Number of network lines.
Number of zero injection buses in the power network.
Number of network buses.
Observability function of bus .
Binary decision variable that is equal to 1 if a PMU is installed at bus and 0 otherwise.
Vector of PMUs combination .
Superscript denoting the value of the associated variable or parameter, when influence of the PMU installed at bus (if any) on observability is neglected.
Installation cost of PMU at bus .
Binary auxiliary variable indicating calculation of unknown state of bus is assigned to the equation resulted from the zero injection .
Bus index for zero injection .
Binary parameter whose value is 0 if is equal to , and 1 otherwise.