STOCHASTIC STATE ESTIMATION FOR SMART GRIDS

Abstract

A method of approximating a solution of a stochastic state estimation (SSE) model of an electric grid, includes choosing (70) starting anchor points in an SSE model of an electric grid, relaxing (71) constraints of an SSE objective function to solve for a feasible solution of the SSE model, calculating (72) updated dual variables and infeasibility reduction directions from the feasible solution, generating (73) a linear cut for the chosen starting anchor points, choosing (74) a step size toward the reduction directions, and updating (75) the anchor points through branching by making the chosen step, wherein each anchor point defines a rectangle that at least partially covers a feasible solution set of the SSE model and the set of rectangles covering the feasible solution set of the SSE model define an approximate solution of the SSE model of said electric grid.

Description

TECHNICAL FIELD

This disclosure is directed to methods for stochastic distribution system state estimation for smart grids.

DISCUSSION OF THE RELATED ART

Distribution system state estimation produces a real-time estimate of a distribution network model by extracting information from a redundant input data set consisting of remote sensor, predicted and static data items. Consider the state estimation task, where x denotes an n-dimensional state vector, z denotes an m-dimensional observation vector, u denotes a vector of observation noise, assumed independent and driven by Gaussian probability law, and h denotes a vector function relating state and observation variables:

z ₁ −h ₁(x)=ν,  (1a)

z ₂ −h ₂(x)=0,  (1b)

h ₁ ≦h₁≦ h₁  (1c)

The constraints of EQ. (1a) state that a sub-vector of the measurement residual, z₁−h₁(x), is a random variable. The constraints of EQ. (1b) state that a sub-vector of the measurement residual, z₂−h₂(x), is known deterministically. The constraints of EQ. (1c) state that a subvector of the measurement function, h₁, is box-constrained.

In a power system state estimation task formulation, x denotes power system state variables, e.g. node voltage magnitudes and angles, transformer voltage magnitude and angle tap positions, node active and reactive power injections. The function h expresses the electrical relationships between the state variables and the measurements. Constraints (1a) could model voltage magnitude and/or angle measurements with imperfect sensors. Constraints (1b) could model zero-injection active and reactive power pseudo-measurements. Constraints (1c) could model physical and operational requirements that the network state should not be viable unless transformer tap positions, branch current magnitude, active and reactive power flows, node voltage magnitudes and angles are within some associated box constraints. In addition, standard operation practice and physical laws require that some power system variables lie within three regions, defined by three limit pairs, namely, operational limits (OPL), long-term emergency limits (LTEL), and short-term emergency limits (SHTEL). In addition, most variables may not lie outside an interval defined by a pair of reasonability or viability limits (VIAL). For example, the voltage magnitude at some node is normally constrained as follows:

V _i ⁴ ≦V_i³≦V_i²≦V_i¹≦V_i≦ V_i¹≦ V_i²≦ V_i³≦ V_i⁴,  (2)

where [V_i¹, V_i¹], [V_i², V_i²], [V_i³, V_i³], [V_i³, V_i³] denote operational box, long-term emergency box, short-term emergency box, and reasonability box, respectively.

The power system state estimation task is then cast as a constrained mathematical optimization problem:

minJ(x)  (3)

s.t.z ₂ −h ₂(x)=0  (4)

h≦h≦ h  (5)

where the following objective function is used in the least square framework:

J(x)=[z−h(x)]^TW[z−h(x)].  (6)

Unconstrained weighted least squares (WLS) approaches omit the constraints in EQ. (5) or handle them in a non-systematic way. Constrained WLS approaches incorporate either a subset of or all constraints. An issue with unconstrained WLS approach lies in its requirement of associating a large weight to each component of the measurement residual z₂−h₂(x). The unconstrained WLS framework is inadequate for dealing with box constraints. The constrained WLS is more suitable for handling the constraints. However, existing constrained WLS approaches are based on general nonlinear solution techniques or linear approximation that are not scalable to large-scale power system network models, with three-phase unbalanced distribution network being a conspicuous example.

As distribution system utilities are facing more regulatory and customer pressures to improve power supply reliability, to reduce losses and to address power quality issues arising from an ever-growing penetration of grid-connected dispersed generation, there is a need for state estimation software that is fast and highly scalable. A distribution management system (DMS) or control center, endowed with efficient monitoring applications, will improve the performance of distribution networks operation and control. New control capabilities, for loads as well as distributed generators, will enhance the controllability of a distribution network. Such level of controllability would, however, remain in the conceptual realm unless distribution control systems and control engineers are fed with estimates of network states that are more accurate than are currently available.

SUMMARY

Exemplary embodiments of the invention as described herein generally include methods and systems for a new state estimation approach for distribution networks, which have intrinsically lower measurement redundancy than in transmission networks. A new state estimation model according to an embodiment of the invention takes account of network phase unbalance, switching devices and discrete controls such as switchable shunt capacitors and reactors, transformers magnitude and phase tap positions, as well as renewable generators. A stochastic state estimation (SSE)-model-specific interior-point and cutting-plane method according to an embodiment of the invention has been demonstrated to be applicable to the stochastic state estimation of multi-phase unbalanced power systems. A state estimator according to an embodiment of the invention is general, highly scalable and applies to transmission as well as distribution network systems. A state estimation framework according to an embodiment of the invention takes account of distribution systems with renewable generators, as well as jumps, induced by network switching events.

According to an aspect of the invention, there is provided a method for approximating a solution of a stochastic state estimation (SSE) model of an electric grid, including (1) choosing starting anchor points in an SSE model of an electric grid, (2) relaxing constraints of an SSE objective function to solve for a feasible solution of the SSE model, (3) calculating updated dual variables and infeasibility reduction directions from the feasible solution, (4) generating a linear cut for the chosen starting anchor points, (5) choosing a step size toward the reduction directions; and (6) updating the anchor points through branching by making the chosen step, wherein each anchor point defines a rectangle that at least partially covers a feasible solution set of the SSE model, wherein each rectangle is a convex set, and the set of rectangles covers the feasible solution set of the SSE model.

According to a further aspect of the invention, the method includes (7) repeating steps (2) through (6) until either a feasible solution is found or an infeasibility check is true.

According to a further aspect of the invention, the method includes (8) pre-solving a few-iterations of a primal of a convexified SSE model.

According to a further aspect of the invention, the method includes (9) calculating updated primal variables and reduced cost directions.

According to a further aspect of the invention, the method includes (10) repeating steps (4) through (9) until either an optimal solution is found or an iteration limit is reached.

According to another aspect of the invention, there is provided a method for finding an optimal solution of a stochastic state estimation (SSE) model of an electric grid, including (1) providing a convexified SSE model of an electric grid, said convexified SSE model including an objective function having an objective value, a plurality of constraints, and a convex hull, (2) initializing a node list with a solution of the SSE objective function in its convex hull, an optimal solution of the SSE model to an empty set, and upper and lower bounds of the objective value of the objective function, (3) selecting a node from the node list and initializing a first cutting plane to a constraint associated with said node, (4) solving the objective function subject for the first cutting plane to obtain a current solution and saving the objective value of the current solution of the objective function, (5) updating the objective value upper bound to a largest optimal objective value among current nodes, (6) if the current solution of the SSE model is a feasible solution of the SSE model, and if the objective value of the current solution is greater than the objective value lower bound, setting the objective value lower bound to the current solution objective value and the optimal solution of the SSE model to the current solution of the SSE model, (7) if a number of cutting plane is less than a predetermined maximum and if the objective value of the current solution is greater than the objective value lower bound, generate a plurality of new cutting planes for the current node to produce a tighter feasible region of the SSE model, and (8) if the number of cutting plane is greater than the predetermined maximum, create two new nodes and a constraint for each new mode, and add the new nodes to the node list.

According to a further aspect of the invention, the method includes, if the node list is empty, setting the optimal solution of the SSE model to the current solution of the SSE model, and the optimal objective value of the SSE model to the current solution objective value.

According to a further aspect of the invention, the method includes, if the current solution of the SSE model is infeasible, repeating steps (3) and (4).

According to a further aspect of the invention, the method includes, if the objective value of the current solution is less than the objective value lower bound, repeating steps (3) through (5).

According to another aspect of the invention, there is provided a non-transitory program storage device readable by a computer, tangibly embodying a program of instructions executed by the computer to perform the method steps for covering a feasible region of a stochastic state estimation (SSE) model of an electric grid.

According to another aspect of the invention, there is provided a non-transitory program storage device readable by a computer, tangibly embodying a program of instructions executed by the computer to perform the method steps for finding an optimal solution of a stochastic state estimation (SSE) model of an electric grid.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 depicts Tables 1 and 2, which summarize the states variables, measurements and pseudo-measurements used in an SE, according to an embodiment of the invention.

FIG. 2 depicts a one-phase power system, according to an embodiment of the invention.

FIG. 3 depicts a reduced network model post-NTP, according to an embodiment of the invention.

FIG. 4 depicts a network unified compound π diagram, according to an embodiment of the invention.

FIG. 5 illustrates the forms of the feasibility sets of F_ij^S and F_ij^C on the complex plane, according to an embodiment of the invention.

FIG. 6 illustrates the idea of rectangle coverage accuracy, according to an embodiment of the invention

FIG. 7 is a flow chart of an algorithm for covering a feasible region, according to an embodiment of the invention.

FIG. 8 shows a branch-and-bound tree for EQS. (91), according to an embodiment of the invention.

FIG. 9 is a flowchart of a branch-and-cut algorithm according to an embodiment of the invention.

FIG. 10 is a block diagram of an exemplary computer system for implementing an SSE-model-specific interior-point and cutting-plane method for state estimation in a distribution network, according to an embodiment of the invention.

DETAILED DESCRIPTION OF EXEMPLARY EMBODIMENTS

Exemplary embodiments of the invention as described herein generally include systems and methods for state estimation in a distribution network. Accordingly, while the invention is susceptible to various modifications and alternative forms, specific embodiments thereof are shown by way of example in the drawings and will herein be described in detail. It should be understood, however, that there is no intent to limit the invention to the particular forms disclosed, but on the contrary, the invention is to cover all modifications, equivalents, and alternatives falling within the spirit and scope of the invention.

Nomenclature

The main notation used throughout the present disclosure is summarized below.

Acronyms

AC Alternating Current

AMI Advanced Metering Infrastructure.

DER Distributed Energy Resource.

DMS Distribution Management System.

DSE Distribution System Sate Estimation.

MIP Mixed-Integer Programming.

MIQP Mixed Integer Quadratic Program.

NLP Nonlinear Programming.

NTP Network Topology Processing or Network Topology Processor.

PV Photovoltaic.

QP Quadratic Programming.

SCADA Supervisory Control and Data Acquisition System.

SLP Successive Linear Programming

WLS Weighted Least Squares.

Variables

I_ij Current flow magnitude at origin terminal of branch ij.

I_ji Current flow magnitude at sending terminal of branch ij.

P_ij Active power flow at origin terminal of branch ij.

P_ji Active power flow at destination terminal of branch

Q_ij Reactive power flow at origin terminal of branch ij.

Q_ji Reactive power flow at destination terminal of branch

V_k Voltage magnitude at node or bus k.

θ_k Voltage angle at node or bus k.

s_ij Status of switch ij.

Other Mathematical Symbols

∇_xh gradient of the function h with respect to x.

∇_x²h Hessian of the function h with respect to x.

x^T transpose of x.

Additional symbols used here are dual variables, which are mnemonically displayed on top of the corresponding equality or inequality symbols. If x is a variable, then x and x denote the lower limit and upper limit, respectively, of x. Other symbols with a narrower scope are defined in the subsections where they are used.

1 Introduction

A new state estimation solver according to an embodiment of the invention can address the following requirements:

Full library of power models suitable for smart grids;

Multi-phase unbalanced power distribution systems;

Real-time (1-5s) estimation;

Distributed operation;

Non-systematic/inadequate sensor observability;

Switching events;

High penetration of intermittent local generation; and

Variety mix of known and unknown Volt/Var control modes.

An SSE algorithm according to an embodiment of the invention has the following features, which are applicable to SE:

• • support various types of power flow constraints;
  • implement a model-specific primal-dual interior point method, which is fast and scalable, owing to usage of a fully continuous solver, applied to a locally linearized SSE, and matrix partitioning into ‘super-node blocks’;
  • implement a novel SSE iterative convexification scheme, which leans on a new coarse discretization of non-linear AC voltage law, a novel branch-and-cut (i.e. branch-and-bound with cutting planes) discretization management scheme, and model-specific cutting planes to speed up the global solution search; and
  • implement a novel parametric relaxation model for network topology, by starting from a previous solution following a network topology change. This is achieved by means of continuous parameter relaxation.

For switching event filtering, a fast statistical jump-diffusion identification procedure according to an embodiment of the invention can be applied to a pocket of network (i.e. a local area of the network) to identify discrete events in real-time. A procedure according to an embodiment of the invention uses regular continuous sensor measurements, builds a local state-space model with a mix of discrete and continuous events, exploits the fact that a discrete event has a step and duration, casts this problem as a small-scale MIQP, uses a polynomial DP heuristic for solving the MIQP in real-time, and implies a high likelihood of correct identification if there is enough measurement redundancy.

For identification of distributed renewable energy plants, the production vector of a DER array can be modeled by a small set of common dynamic factors. The sensitivity factor of each DER in the array is specific due to local conditions. The value of the common factors vector is short-term predictable. The power injection vector of the DER array is modulated by local protection and power electronic controls. The modulation may have multiple modes switching based on a relay control thresholds/band. Each mode produces a performance curve, following power injection for a band-locked energy production. A model according to an embodiment of the invention can be solved by a machine-learning algorithm, such as SVM or matrix completion. The idea is to forecast short term DER power outputs and terminal voltages, using power injection measurements or pseudo-measurements or previous estimates as well as a common factors observations history to reconstruct the unknown control modes and curves and a DER sensitivity matrix.

2 Model Formulation

An SE algorithm according to an embodiment of the invention can perform the following:

(1) Filter network discrete events;(2) Filter distributed energy plants;

(3) Perform NTP;

(4) Build the SE model;(5) Determine observable islands;(6) Solve a constrained WLS for a network state in every observable island;(7) Perform bad data analysis;(8) If bad data was filtered out, repeat from step 6; and(9) Estimate the network state in all (i.e observable and non-observable) islands

Tables 1 and 2, shown in FIG. 1, summarize the states variables, measurements and pseudo-measurements used in an SE according to an embodiment of the invention.

Since the aforementioned principles are applicable for single-phase or multi-phase systems, some of the main steps of the state estimation approach according to an embodiment of the invention will be highlighted using a single-phase system model.

2.1 Illustration with One-Phase System Model

Consider the network of FIG. 2, which is a one-phase power system diagram. The network has nine nodes, numbered from 1 to 9, 5 switches, designated by the symbol SW, one generator, designated by GN, two lines, designated by the symbol LN, and two loads designated by the symbol LD. The lines and switches are further identified by the nodes being connected. Suppose that the following quantities are measured:

Active and reactive power injections at node 1;

Active and reactive power flow at the origin terminal of line 12;

Current flow magnitude at the origin terminal of line 13;

Current flow magnitude at the destination terminal of switch 35;

Voltage magnitudes at nodes 1 and 3;

Voltage angles at nodes 1 and 2;

Status of switch 24; and

Status of switch 35.

In addition, suppose that all switches are closed and that the generator is online.

A basic NTP is carried out, using the available information. Specifically, since all switches are closed, super nodes can be defined by collapsing nodes and switching devices. Note the presence of flow measurements on the switching devices 57 and 89. This scarce data would be lost if switches 57 and 89 were trivially collapsed to form super nodes. In this case, the switches 57 and 89 can be modeled using the generalized SE concept. The generator being online entails that all devices are likely energized.

Note that the switches 57 and 89 can be collapsed after analytically transferring the measurements on switches 57 and 89 to the destination terminals of the line 12 and 13, respectively; for example. However, for the sake of simplicity, this disclosure will omit further exposition on this transformation. 5

The results of the basic NTP yield the reduced network diagram of FIG. 3, after re-numbering and re-ordering of nodes.

The variables of the reduced network model are:

P₁ Active power injection at node 1;

P₂ Active power injection at node 2;

P₂₁ Active power flow at destination terminal of line 12;

P₁₂ Active power flow at origin terminal of line 12;

Q₁ Reactive power injection at node 1;

Q₂ Reactive power injection at node 2;

Q₂₁ Reactive power flow at destination terminal of line 12;

Q₁₂ Reactive power flow at origin terminal of line 12;

V_i Voltage magnitude at node i, i=1, 2, 3, 4, 5;

θ_i Voltage angle at node i, i=1, 2, 3, 4, 5;

s₂₄ Status of switch 24; and

s₃₅ Status of switch 35.

The model has eighteen state variables. According to an embodiment of the invention, the following variables can be chosen as state variables:

P₁ Active power of injection at node 1;

P₄ Active power injection at node 4;

P₅ Active power injection at node 5;

Q₁ Reactive power injection at node 1;

Q₄ Reactive power injection at node 4;

Q₅ Reactive power injection at node 5;

V_i Voltage magnitude at node i, i=1, 2, 3, 4, 5;

θ_i Voltage angle at node i, i=1, 2, 3, 4, 5;

s₂₄ Status of switch 24; and

s₃₅ Status of switch 35.

The following notation will now be introduced, where R, G, and B are obtained from transformations of user supplied network admittance parameters:

R _ij ^S=((G_ij^S)²+(B_ij^S)²)^1/2,∀ij  (7)

R _ij ^C=((G_ij^C)²+(B_ij^C)²)^1/2,∀ij  (8)

α_ij^S=arcsin(B_ij^S/R_ij^S),∀ij  (9)

α_ij^C=arcsin(B_ij^C/R_ij^C),∀ij  (10)

x _i =[P ₁ ,Q ₁ ,I ₁ ,P ₂ ,Q ₂ ,I ₂ ,P ₃ ,Q ₃ ,I ₃ ,P ₄ ,Q ₄ ,I ₄ ,P ₅ ,Q ₅ ,I ₅]  (11)

x _ij =[P ₁₂ ,Q ₁₂ ,I ₁₂ ,P ₂₁ ,Q ₂₁ ,I ₂₁ ,P ₁₃ ,Q ₁₃ ,I ₁₃ ,P ₃₁ ,Q ₃₁ ,I ₃₁ ,P ₂₄ ,Q ₂₄ ,I ₂₄ ,P ₄₂ ,Q ₄₂ ,I ₄₂ ,P ₃₅ ,Q ₃₅ ,I ₃₅ ,P ₅₃ ,Q ₅₃ ,I ₅₃]  (12)

u _i =[V ₁,θ₁,V₂,θ₂,V₃,θ₃,V₄,θ₄,V₅,θ₅]  (13)

u _ij =[s ₂₄ ,s ₃₅]  (14)

The network model is defined by the following set of constraints:

$\begin{array}{cc}P_{12}=G_{12}^SV_{11}+V_{12}\left(G_{12}^C\cos {\theta }_{12}+B_{12}^C\sin {\theta }_{12}\right)& \left(15a\right)\\ Q_{12}=-B_{12}^SV_{11}+V_{12}\left(G_{12}^C\sin {\theta }_{12}-B_{12}^C\cos {\theta }_{12}\right)& \left(15b\right)\\ I_{12}^2={\left(R_{12}^S\right)}^2V_{11}+{\left(R_{12}^C\right)}^2V_{22}+2R_{12}^SR_{12}^CV_{12}\cos \left({\theta }_{12}+{\alpha }_{12}^S-{\alpha }_{12}^C\right)& \left(15c\right)\\ P_{21}=G_{21}^SV_{22}+V_{21}\left(G_{21}^C\cos {\theta }_{21}+B_{21}^C\sin {\theta }_{21}\right)& \left(15d\right)\\ Q_{21}=-B_{21}^SV_{22}+V_{21}\left(G_{21}^C\sin {\theta }_{21}-B_{21}^C\cos {\theta }_{21}\right)& \left(15e\right)\\ I_{21}^2={\left(R_{21}^S\right)}^2V_{22}+{\left(R_{21}^C\right)}^2V_{11}+2R_{21}^SR_{21}^CV_{21}\cos \left({\theta }_{21}+{\alpha }_{21}^S-{\alpha }_{21}^C\right)& \left(15f\right)\\ P_{13}=G_{13}^SV_{11}+V_{13}\left(G_{13}^C\cos {\theta }_{13}+B_{13}^C\sin {\theta }_{13}\right)& \left(15g\right)\\ Q_{13}=-B_{13}^SV_{11}+V_{13}\left(G_{13}^C\sin {\theta }_{13}-B_{13}^C\cos {\theta }_{13}\right)& \left(15h\right)\\ I_{13}^2={\left(R_{13}^S\right)}^2V_{11}+{\left(R_{13}^C\right)}^2V_{33}+2R_{13}^SR_{13}^CV_{13}\cos \left({\theta }_{13}+{\alpha }_{13}^S-{\alpha }_{13}^C\right)& \left(15i\right)\\ P_{31}=G_{31}^SV_{33}+V_{31}\left(G_{31}^C\cos {\theta }_{31}+B_{31}^C\sin {\theta }_{31}\right)& \left(15j\right)\\ Q_{31}=-B_{31}^SV_{33}+V_{31}\left(G_{31}^C\sin {\theta }_{31}-B_{31}^C\cos {\theta }_{31}\right)& \left(15k\right)\\ I_{31}^2={\left(R_{31}^S\right)}^2V_{33}+{\left(R_{31}^C\right)}^2V_{11}+2R_{31}^SR_{31}^CV_{31}\cos \left({\theta }_{31}+{\alpha }_{31}^S-{\alpha }_{31}^C\right)& \left(15l\right)\\ P_1=P_{12}+P_{13}& \left(16a\right)\\ Q_1=Q_{12}+Q_{13}& \left(16b\right)\\ \begin{array}{c}{I}_1^2=I_{12}^2+I_{13}^2+2I_{12}I_{13}\\ =\left[{\left(R_{12}^S\right)}^2+{\left(R_{13}^S\right)}^2+2R_{12}^SR_{13}^S\cos \left({\alpha }_{12}^S-{\alpha }_{13}^S\right)\right]V_{11}+{\left(R_{12}^C\right)}^2V_{22}+\\ {\left(R_{13}^S\right)}^2V_{33}+2R_{12}^SR_{12}^CV_{12}\cos \left({\theta }_{12}+{\alpha }_{12}^S-{\alpha }_{12}^C\right)+\\ 2R_{12}^SR_{13}^CV_{13}\cos \left({\theta }_{13}+{\alpha }_{12}^S-{\alpha }_{13}^C\right)+\\ 2R_{12}^CR_{13}^SV_{21}\cos \left({\theta }_{21}+{\alpha }_{12}^C-{\alpha }_{13}^S\right)+\\ 2R_{12}^CR_{13}^SV_{23}\cos \left({\theta }_{23}+{\alpha }_{12}^C-{\alpha }_{13}^C\right)+\\ 2R_{13}^CR_{13}^CV_{13}\cos \left({\theta }_{13}+{\alpha }_{13}^S-{\alpha }_{13}^C\right)\end{array}& \left(16c\right)\\ P_2=P_{21}+P_{24}& \left(16d\right)\\ Q_2=Q_{21}+Q_{24}& \left(16e\right)\\ I_2^2=I_{21}^2+I_{24}^2+2I_{21}I_{24}& \left(16f\right)\\ P_3=P_{31}+P_{35}& \left(16g\right)\\ Q_3=Q_{31}+Q_{35}& \left(16h\right)\\ I_3^2=I_{31}^2+I_{35}^2+2I_{31}I_{35}& \left(16i\right)\\ P_4=P_{42}& \left(16j\right)\\ Q_4=Q_{42}& \left(16k\right)\\ I_4^2=I_{42}^2& \left(16l\right)\\ P_5=P_{53}& \left(16m\right)\\ Q_5=Q_{53}& \left(16n\right)\\ I_5^2=I_{53}^2& \left(160\right)\\ {\underset{\_}{V}}_i\le V_i\le {\stackrel{\_}{V}}_i,i=1,2,3,4,5& \left(17a\right)\\ {\underset{\_}{\theta }}_i\le {\theta }_i\le {\stackrel{\_}{\theta }}_i,i=1,2,3,4,5& \left(17b\right)\\ {\underset{\_}{P}}_{12}\le P_{12}\le {\stackrel{\_}{P}}_{12}& \left(17c\right)\\ {\underset{\_}{P}}_{21}\le P_{21}\le {\stackrel{\_}{P}}_{21}& \left(17d\right)\\ {\underset{\_}{Q}}_{12}\le Q_{12}\le {\stackrel{\_}{Q}}_{12}& \left(17e\right)\\ {\underset{\_}{Q}}_{21}\le Q_{21}\le {\stackrel{\_}{Q}}_{21}& \left(17f\right)\\ {\underset{\_}{P}}_1\le P_1\le {\stackrel{\_}{P}}_1& \left(17g\right)\\ {\underset{\_}{P}}_2\le P_2\le {\stackrel{\_}{P}}_2& \left(17h\right)\\ s_{12},s_{24}\in \left\{0,1\right\}& \left(18\right)\end{array}$

Constraints (15) model voltage laws, which map the voltage magnitudes and angles to branch active and reactive power flows. Constraints (16) model active-power balance and reactive-power balance at every super-node. Constraints (17) models variable box (i.e. lower bound and upper bound) constraints. Constraints (18) model the integrality constraints on a subset of variables.

Given the selected state variables, measurement functions according to an embodiment of the invention can be defined as follows:

$\begin{array}{cc}{h}^{x_i}=\left(P_1,Q_1,I_1\right)& \left(19a\right)\\ =P_h^{x_i}x_i& \left(19b\right)\\ h^{x_{\mathrm{ij}}}=\left(P_{12},Q_{12},I_{12},I_{24},I_{13},I_{35}\right)& \left(19c\right)\\ =P_h^{x_{\mathrm{ij}}}x_{\mathrm{ij}}& \left(19d\right)\\ h^{u_i}=\left(V_1,{\theta }_1,V_4,{\theta }_4,V_5,{\theta }_5\right)& \left(19e\right)\\ =P_h^{u_i}u_i& \left(19f\right)\\ h^{u_{\mathrm{ij}}}=\left(s_{24},s_{35}\right)& \left(19g\right)\\ =P_h^{u_{\mathrm{ij}}}u_{\mathrm{ij}}& \left(19h\right)\\ h=\left(h^{x_i},h^{x_{\mathrm{ij}}},h^{u_i},h^{u_{\mathrm{ij}}}\right)& \left(19i\right)\end{array}$

which yields an additive mixture of nonlinear functions of the state variables vector and the observation errors vector:

$\begin{array}{cc}{z}^{x_i}=\left(P_1^{\mathrm{ME}},Q_1^M,{\left(I_1^{\mathrm{ME}}\right)}^2\right)& \left(20a\right)\\ =h^{x_i}+v^{x_i}& \left(20b\right)\\ z^{x_{\mathrm{ij}}}=\left(P_{12}^{\mathrm{ME}},Q_{12}^M,I_{13}^{\mathrm{ME}},I_{35}^{\mathrm{ME}}\right)& \left(20c\right)\\ =h^{x_{\mathrm{ij}}}+v^{x_{\mathrm{ij}}}& \left(20d\right)\\ z^{u_i}=\left(V_1^{\mathrm{ME}},{\theta }_1^{\mathrm{ME}},V_4^{\mathrm{ME}},{\theta }_4^{\mathrm{ME}},V_5^{\mathrm{ME}},{\theta }_5^{\mathrm{ME}}\right)& \left(20e\right)\\ =h^{u_i}+v^{u_i}& \left(20f\right)\\ z^{u_{\mathrm{ij}}}=\left(s_{24}^{\mathrm{ME}},s_{35}^{\mathrm{ME}}\right)& \left(20g\right)\\ =h^{u_{\mathrm{ij}}}+v^{u_{\mathrm{ij}}}& \left(20h\right)\\ z=h+v& \left(20i\right)\\ v=\left(v^{x_i},v^{x_{\mathrm{ij}}},v^{u_i},v^{u_{\mathrm{ij}}}\right)& \left(20j\right)\end{array}$

2.2 Illustration with a Three-Phase Unbalanced System Model

Consider FIG. 4, which depicts a network unified compound it diagram. A unified power flow model according to an embodiment of the invention allows a concise exposition. If the network of FIG. 4 is one-phase only, the power and current injections are expressed as follows:

$\begin{array}{cc}{P}_{\mathrm{ij}}=G_{\mathrm{ij}}^Sa_{\mathrm{ij}}^2V_{\mathrm{ii}}+a_{\mathrm{ij}}a_{\mathrm{ji}}V_{\mathrm{ij}}\left(G_{\mathrm{ij}}^C\cos \left({\theta }_{\mathrm{ij}}+{\phi }_{\mathrm{ij}}-{\phi }_{\mathrm{ji}}\right)+B_{\mathrm{ij}}^C\sin \left({\theta }_{\mathrm{ij}}+{\phi }_{\mathrm{ij}}-{\phi }_{\mathrm{ji}}\right)\right)& \left(21a\right)\\ Q_{\mathrm{ij}}=-B_{\mathrm{ij}}^Sa_{\mathrm{ij}}^2V_{\mathrm{ii}}+a_{\mathrm{ij}}a_{\mathrm{ji}}V_{\mathrm{ij}}\left(G_{\mathrm{ij}}^C\sin \left({\theta }_{\mathrm{ij}}+{\phi }_{\mathrm{ij}}-{\phi }_{\mathrm{ji}}\right)-B_{\mathrm{ij}}^C\cos \left({\theta }_{\mathrm{ij}}+{\phi }_{\mathrm{ij}}-{\phi }_{\mathrm{ji}}\right)\right)& \left(21b\right)\\ I_{\mathrm{ij}}^2={\left(R_{\mathrm{ij}}^S\right)}^2V_{\mathrm{ii}}+{\left(R_{\mathrm{ij}}^C\right)}^2V_{\mathrm{jj}}+2R_{\mathrm{ij}}^SR_{\mathrm{ij}}^CV_{\mathrm{ij}}\cos \left({\theta }_{\mathrm{ij}}+{\alpha }_{\mathrm{ij}}^S-{\alpha }_{\mathrm{ij}}^C\right)& \left(21c\right)\\ P_i=\sum _jP_{\mathrm{ij}}& \left(21d\right)\\ Q_i=\sum _jQ_{\mathrm{ij}}& \left(21e\right)\\ I_i^2=\sum _jI_{\mathrm{ij}}^2+2\sum _m\sum _{n>m}I_{\mathrm{im}}I_{\mathrm{in}}& \left(21f\right)\end{array}$

If the unified branch model of FIG. 4 is multi-phase, the corresponding power flows and model may be stated as follows, if i_p,j_m, denote phase p of node i and phase m of node j:

$\begin{array}{cc}{P}_{i_pj_m}=G_{i_pj_m}^Sa_{i_pj_m}^2V_{i_pj_p}+a_{i_pj_m}a_{j_mi_p}V_{i_pj_m}\left[\begin{array}{c}{G}_{i_pj_m}^C\cos \left({\theta }_{i_pj_m}+{\phi }_{i_pj_m}-{\phi }_{j_mi_p}\right)+\\ B_{i_pj_m}^C\sin \left({\theta }_{i_pj_m}+{\phi }_{i_pj_m}-{\phi }_{j_mi_p}\right)\end{array}\right]& \left(22a\right)\\ Q_{i_pj_m}=-B_{i_pj_m}^Sa_{i_pj_m}^2V_{i_pj_p}+a_{i_pj_m}a_{j_mi_p}V_{i_pj_m}\left[\begin{array}{c}{G}_{i_pj_m}^C\sin \left({\theta }_{i_pj_m}+{\phi }_{i_pj_m}-{\phi }_{j_mi_p}\right)-\\ B_{i_pj_m}^C\cos \left({\theta }_{i_pj_m}+{\phi }_{i_pj_m}-{\phi }_{j_mi_p}\right)\end{array}\right]& \left(22b\right)\\ I_{i_pj_m}^2={\left(R_{i_pj_m}^S\right)}^2V_{\mathrm{ii}}+{\left(R_{i_pj_m}^C\right)}^2V_{\mathrm{jj}}+2R_{i_pj_m}^SR_{i_pj_m}^CV_{i_pj_m}\cos \left({\theta }_{i_pj_m}+{\alpha }_{i_pj_m}^S-{\alpha }_{i_pj_m}^C\right)& \left(22c\right)\\ P_{i_p}=\sum _j\sum _mP_{i_pj_m}& \left(22d\right)\\ Q_{i_p}=\sum _j\sum _mQ_{i_pj_m}& \left(22e\right)\\ I_{i_p}^2=\sum _j\sum _mI_{i_pj_m}^2+2\sum _j\sum _k\sum _m\sum _{m>n}I_{i_pj_m}I_{i_pk_n}& \left(22f\right)\end{array}$

Note that that EQS. (22) may be cast in a format such that the two-dimensional index space (i.e. three-phase node and phase identifier) are mapped to a one dimensional space, for example:

$\begin{array}{cc}\tilde{i}=i_p& \left(23a\right)\\ =3i+p& \left(23b\right)\end{array}$

From this perspective, the aforementioned concepts and illustration, for a single-phase network model, also apply to a multi-phase network model, thereby abstracting out implementation details required for three-phase systems.

3 Model Solution

Concepts of new SSE algorithm according to an embodiment of the invention may be applied to 3-phase state estimation. This approximation is general enough to accommodate three-phase network AC power flow equations. An SSE model according to an embodiment of the invention is based on a novel convex approximation of the power flow constraints and objective functions. The convex approximation scheme ensures robustness. An SSE model according to an embodiment of the invention also uses a new coarse discretization of the non-linear AC voltage law, a novel branch-and-bound-and-cut discretization management scheme, and model-specific cutting planes to speed up the global solution search. An SSE model according to an embodiment of the invention can support a host of active-power, reactive-power as well as coupled active-reactive power constraints.

3.1 Model-Specific Interior Point Method

A SSE algorithm according to an embodiment of the invention is based on a fast and scalable primal-dual interior method, and is a fully continuous solver, applicable to a locally linearized SSE system, using matrix partitioning into ‘super-node blocks’.

3.1.1 Continuous SSE Model

3.1.1.1 Solver Model Specification

According to an embodiment of the invention, it may be assumed that an electric grid (SSE) model consists of buses iε{1,N} connected by branches ijε{1,N}×{1,N}. The connection matrix R is given as:

$\begin{array}{cc}{R}_{\mathrm{ij}}=\{\begin{array}{cc}1,& \mathrm{if}\mathrm{branch}\mathrm{ij}\mathrm{exists},\\ 0,& \mathrm{otherwise}.\end{array}& \left(24\right)\end{array}$

A minimal SSE model according to an embodiment of the invention assumes an AC-only grid with continuous-only state-dependent variables x and controls u. In addition to that, no thermal capacity limits are enforced on branch power flows. Finally, a discrete logic variable z defining a linearization region of originally non-convex AC voltage law constraints is assumed to be a fixed binary vector z⁰.

3.1.1.2 Box-Constraint Set

Two box-constraint families nay be defined that independently limit bus control vector u_i and dependent bus variable vector x_i:

x ^LB _i ≦x _i ≦x _u ^UB,

u _i ^LB ≦u _i ≦u _i ^UB.  (25)

Bus control vector u_i typically includes voltage magnitude V_i (log-scaled in this model), phase angle θ_i, and shunt switch position Q_i. Bus dependent variables vector x_i typically includes net active x_i^P and reactive x_i^Q power injection. Similarly, a box-constraint family may be defined for branch variables that independently limit branch control vector u_ij that typically include transformer tap selection t_ij and phase shift φ_i,, and dependent branch variable vector that typically includes net active x_ij^P and reactive x_ij^Q:

x _ij ^LB ≦x _ij ≦x _ij ^UB,

u _ij ^LB ≦u _ij ≦u _ij ^Q.  (26)

3.1.1.3 Flow Balance Set

At every bus there must be maintained a net power injection balance between a bus and connected branches. According to an embodiment of the invention, branch dependent variables vector x_ij may be defined (typically xi_j=(x_ij^P,x_ij^Q)) and the balance specified as follows:

$\begin{array}{cc}{x}_i=\sum _{j=1}^NR_{\mathrm{ij}}·x_{\mathrm{ij}}& \left(27\right)\end{array}$

The matrix R is always highly sparse since the density of connections in real-world power grids is typically 1-5 branches per bus.

3.1.1.4 Discrete Control Grid

Some of the components in bus control vector u_i may be discrete, while the others may be continuous. According to an embodiment of the invention, a minimal discretization of the overall Cartesian product space partitions the vector u_i into intervals kε[1,K_i] each defined by a box [u_ik^LB,u_ik^UB], a fixed anchor vector u_ik⁰ and a binary choice variable z_ik. The latter is assumed fixed at z_ik⁰ in a minimal SSE specification according to an embodiment of the invention. Then, discrete control grid is given by the following discrete box-constraint family:

$\begin{array}{cc}\sum _{k=1}^{K_i}z_{\mathrm{ik}}^0u_{\mathrm{ik}}^{\mathrm{LB}}\le u_i\le \sum _{k=1}^{K_i}z_{\mathrm{ik}}^0u_{\mathrm{ik}}^{\mathrm{UB}}.& \left(28\right)\end{array}$

Similarly, a discrete control grid may be defined for the branch control vector u_ij defined by kε[1,K_ij] intervals each defined by a box [u_ijk^LB,u_ijk^UB] a fixed anchor vector u_ijk⁰ and a binary choice variable z_ijk, assumed fixed in an embodiment at z_ijk⁰ in this minimal SSE specification):

$\begin{array}{cc}\sum _{k=1}^{K_i}z_{\mathrm{ijk}}^0u_{\mathrm{ijk}}^{\mathrm{LB}}\le u_i\le \sum _{k=1}^{K_i}z_{\mathrm{ijk}}^0u_{\mathrm{ijk}}^{\mathrm{UB}}.& \left(29\right)\end{array}$

3.1.1.5 Discretized Voltage Law

Each interval k implies a new feasibility set x_ij^k for the branch power flow vector x_ij represented as a rectangle generated by intervals [u_ik^LB,u_ik^UB], [u_jk^LB,u_jk^UB] and [u_ijk^LB,u_ijk^UB] following the voltage law gradient lines drawn at the combined anchor point (u_ik⁰,u_jk⁰,u_ijk⁰). According to an embodiment of the invention, the set X_ij^k is not specifically included in the model specification. Instead, a discretized version of an AC voltage law defining the relation between branch power flow vectors x_ij and control vectors u_i, u_j, u_ij linearized with respect to a given anchor point (u_i⁰,u_j⁰,u_ij⁰) that is typically given by the grid anchor point u_ik⁰,u_jk⁰,u_ijk⁰ corresponding to z_ik⁰ and z_ijk⁰. Then, according to an embodiment of the invention the following form of a discretized AC voltage law can be assumed:

x _ij =Rij(A_ij⁰u_i+B_ij⁰u_j+C_ij⁰u_ij+D_ij⁰u_ji+E_ij⁰)  (30)

This constraint exhibits two types of sparsity: one inherited from R_ij and the other due to dependence on only two control vectors (u_i, u_j) and (u_ij, u_ji) instead of the whole-grid control vector U=[(u_i)_i=1^N,(u_ij)_i,j=1^N]. The matrices A_ij⁰,B_ij⁰,C_ij⁰,D_ij⁰,E_ij⁰ can be explicitly precalculated for every link (i, j) for the given anchor point) (u_i⁰,u_j⁰,u_ij⁰).

3.1.1.6 Objective Function

An embodiment of the invention may assume a generic convex quadratic cost function to be minimized. This function includes terms related to managing the control vector u_i that minimizes control adjustment costs, bus dependent variables vector x_i that minimize generation costs, and branch dependent variables vector x_ij that minimize transmission losses:

$\begin{array}{cc}\min \sum _{i=1}^N\left[\frac{1}{2}x_i^TV_i^Xx_i+\frac{1}{2}u_i^TV_i^Uu_i+S_i^Xx_i+S_i^Uu_i\right]+\sum _{i,j=1}^NR_{\mathrm{ij}}\left[\frac{1}{2}x_{\mathrm{ij}}^TW_{\mathrm{ij}}^Xx_{\mathrm{ij}}+\frac{1}{2}u_{\mathrm{ij}}^TW_{\mathrm{ij}}^Uu_{\mathrm{ij}}+T_{\mathrm{ij}}^Xx_{\mathrm{ij}}+T_{\mathrm{ij}}^Uu_{\mathrm{ij}}\right]& \left(31\right)\end{array}$

3.1.1.7 Interior Point Method

First, the model is standardized to the following format:

$\begin{array}{cc}\min f\left(x,u\right)=\sum _{i=1}^N\left[\frac{1}{2}x_{i1}^TV_i^Xx_{i1}+\frac{1}{2}u_{i1}^TV_i^Uu_{i1}+S_{i1}^Xx_{i1}+S_{i1}^Uu_{i1}\right]+\sum _{i,j=1}^NR_{\mathrm{ij}}\left[\frac{1}{2}x_{i\mathrm{j1}}^TW_{\mathrm{ij}1}^Xx_{\mathrm{ij}1}+\frac{1}{2}u_{ij}^TW_{\mathrm{ij}}^Uu_{\mathrm{ij}1}+T_{\mathrm{ij}1}^Xx_{\mathrm{ij}1}+T_{\mathrm{ij}1}^Uu_{\mathrm{ij}1}\right]& \left(32\right)\end{array}$

subject to:

$\begin{array}{cc}{x}_{i1}+s_{xi}=x_{i1}^{\mathrm{UB}}& \left(33a\right)\\ u_{i1}+s_{ui}=u_{i1}^{\mathrm{UB}}& \left(33b\right)\\ x_{\mathrm{ij}1}+s_{\mathrm{xi}j}=x_{\mathrm{ij}1}^{\mathrm{UB}}& \left(33c\right)\\ u_{\mathrm{ij}1}+s_{\mathrm{uij}}=u_{\mathrm{ij}1}^{\mathrm{UB}}& \left(33d\right)\\ x_{i1}-\sum _{j=1}^NR_{\mathrm{ij}}·x_{\mathrm{ij}1}=b_x& \left(34\right)\\ x_{\mathrm{ij}1}-R_{\mathrm{ij}}\left(A_{\mathrm{ij}}^0u_{i1}+B_{\mathrm{ij}}^0u_{j1}+C_{\mathrm{ij}}^0u_{\mathrm{ij}1}+D_{\mathrm{ij}}^0u_{\mathrm{ji}1}\right)=b_v& \left(35\right)\end{array}$

where, s_xi, s_ui, s_xij, s_uij are slack variables, and

$\begin{array}{cc}x_{i1}=x_i-x_i^{\mathrm{LB}}& \left(36\right)\\ x_{\mathrm{ij}1}=x_{\mathrm{ij}}-x_{\mathrm{ij}}^{\mathrm{LB}}& \left(37\right)\\ x_{i1}^{\mathrm{UB}}=x_i^{\mathrm{UB}}-x_i^{\mathrm{LB}}& \left(38\right)\\ x_{\mathrm{ij}1}^{\mathrm{UB}}=x_{\mathrm{ij}}^{\mathrm{UB}}-x_{\mathrm{ij}}^{\mathrm{LB}}& \left(39\right)\\ u_{i1}=u_i-\max \left\{u_i^{\mathrm{LB}},\sum _{k=1}^{K_i}z_{\mathrm{ik}}^0u_{\mathrm{ik}}^{\mathrm{LB}}\right\}& \left(40\right)\\ u_{ij1}=u_i-\max \left\{u_{\mathrm{ij}}^{\mathrm{LB}},\sum _{k=1}^{K_{\mathrm{ij}}}z_{\mathrm{ijk}}^0u_{\mathrm{ijk}}^{\mathrm{LB}}\right\}& \left(41\right)\\ u_{i1}^{\mathrm{UB}}=\min \left\{u_i^{\mathrm{UB}},\sum _{k=1}^{K_i}z_{\mathrm{ik}}^0u_{\mathrm{ik}}^{\mathrm{UB}}\right\}-\max \left\{u_i^{\mathrm{LB}},\sum _{k=1}^{K_i}z_{\mathrm{ik}}^0u_{\mathrm{ik}}^{\mathrm{LB}}\right\}& \left(42\right)\\ u_{\mathrm{ij}1}^{\mathrm{UB}}=\min \left\{u_{\mathrm{ij}}^{\mathrm{UB}},\sum _{k=1}^{K_i}z_{\mathrm{ijk}}^0u_{\mathrm{ijk}}^{\mathrm{UB}}\right\}-\max \left\{u_{\mathrm{ij}}^{\mathrm{LB}},\sum _{k=1}^{K_i}z_{\mathrm{ijk}}^0u_{\mathrm{ijk}}^{\mathrm{LB}}\right\}& \left(43\right)\\ b_x=\sum _{j=1}^NR_{\mathrm{ij}}·x_{\mathrm{ij}}^{\mathrm{LB}}-x_i^{\mathrm{LB}}& \left(44\right)\\ b_v=R_{\mathrm{ij}}·\hspace{1em}\left(\begin{array}{c}{E}_{\mathrm{ij}1}^0+A_{\mathrm{ij}}^0\max \left\{u_i^{\mathrm{LB}},\sum _{k=1}^{K_i}z_{\mathrm{ik}}^0u_{\mathrm{ik}}^{\mathrm{LB}}\right\}+B_{\mathrm{ij}}^0\max \left\{u_j^{\mathrm{LB}},\sum _{k=1}^{K_i}z_{\mathrm{ik}}^0·u_{\mathrm{jk}}^{\mathrm{LB}}\right\}+\\ C_{\mathrm{ij}}^0\max \left\{u_{\mathrm{ij}}^{\mathrm{LB}},\sum _{k=1}^{K_{\mathrm{ij}}}z_{\mathrm{ijk}}^0u_{\mathrm{ijk}}^{\mathrm{LB}}\right\}+D_{\mathrm{ij}}^0\max \left\{u_{\mathrm{ji}}^{\mathrm{LB}},\sum _{k=1}^{K_{\mathrm{ij}}}z_{\mathrm{ijk}}^0u_{\mathrm{jik}}^{\mathrm{LB}}\right\}\end{array}\right)-x_{\mathrm{ij}}^{\mathrm{LB}}& \left(45\right)\\ \mathrm{Let}v\left(X\right)=x_{\mathrm{ij}1}-R_{\mathrm{ij}}·\left(A_{\mathrm{ij}}^0·u_{i1}+B_{\mathrm{ij}}^0·u_{j1}+C_{\mathrm{ij}}^0·u_{\mathrm{ij}1}+D_{\mathrm{ij}}^0·u_{\mathrm{ji}1}\right)-b_v& \left(46\right)\\ o\left(x_{\mathrm{ij}},x_i\right)=x_{i1}-\sum _{j=1}^NR_{\mathrm{ij}}·x_{\mathrm{ij}1}-b_x& \left(47\right)\end{array}$

Then, for the sake of conciseness, EQS. (33), (34) and (35) as (48), (49) and (50), may be rewritten as, respectively:

X+s=X ^UB  (48)

o(X)=0  (49)

v(X)=0  (50)

The coefficients of the objective f also change:

$\begin{array}{cc}{S}_{i1}^X=S_i^X+x_i^{\mathrm{LB}}·V_i^X& \left(51a\right)\\ S_{i1}^U=S_i^U+\max \left\{u_j^{\mathrm{LB}},\sum _{k=1}^{K_i}z_{\mathrm{ik}}^0·u_{\mathrm{jk}}^{\mathrm{LB}}\right\}·V_i^U& \left(51b\right)\\ T_{\mathrm{ij}1}^X=T_{\mathrm{ij}}^X+x_i^{\mathrm{LB}}·W_{\mathrm{ij}}^X& \left(51c\right)\\ T_{\mathrm{ij}1}^U=T_{\mathrm{ij}}^U+\max \left\{u_j^{\mathrm{LB}},\sum _{k=1}^{K_i}z_{\mathrm{ik}}^0·u_{\mathrm{jk}}^{\mathrm{LB}}\right\}·W_{\mathrm{ij}}^U& \left(51d\right)\end{array}$

By introducing logarithmic barrier terms, there is the following Lagrangian function:

L _μ(X,S)=f(X)−μ^T(ln X+ln S)−Y^T(X+S−X^UB)−y₁^To(x_ij,x_i)−y₂^Tv(X))  (52)

Here,

X=({x_i1},{x_ij1},{u_i1},{u_ij1})^T  (53)

S=({s_xi},{s_xij},{s_ui},{s_uij})^T  (54)

The vectors of Lagrange multipliers Y and y are called dual variables. The KKT first order optimality conditions of the resulting system are given by EQS. (55).

$\begin{array}{cc}\left[\begin{array}{c}\nabla L_X\\ \nabla L_S\\ \nabla L_Y\\ \nabla L_{y1}\\ \nabla L_{y2}\end{array}\right]=\left[\begin{array}{c}\nabla f\left(X\right)-\mu /X-Y-y_1^T\nabla o\left(x_{\mathrm{ij}},x_i\right)-y_2^T\nabla v\left(X\right)\\ -\mu /S-Y\\ -\left(X+S-X^{\mathrm{UB}}\right)\\ -o\left(x_{\mathrm{ij}},x_i\right)\\ -v\left(X\right)\end{array}\right]=0& \left(55\right)\end{array}$

Introducing μ/X=Z_x, μ/S=Z_s in EQ. (55) yields EQ. (56):

$\begin{array}{cc}\left[\begin{array}{c}\nabla L_X\\ \nabla L_S\\ \nabla L_Y\\ \nabla L_{y1}\\ \nabla L_{y2}\end{array}\right]=\left[\begin{array}{c}\nabla f\left(X\right)-Z_x-Y-y_1^T\nabla o\left(x_{\mathrm{ij}},x_i\right)-y_2^T\nabla v\left(X\right)\\ -Z_s-Y\\ -\left(X+S-X^{\mathrm{UB}}\right)\\ -o\left(x_{\mathrm{ij}},x_i\right)\\ -v\left(X\right)\\ Z_x·X-\mu E\\ Z_s·S-\mu E\end{array}\right]=0& \left(56\right)\end{array}$

Using Newton method to solve the above non-linear equation, produces the linear equation EQ. (57), where H is the Hessian matrix defined in EQ. (58).

$\begin{array}{cc}H·\left[\begin{array}{c}\Delta X\\ \Delta S\\ \Delta Y\\ \Delta y_1\\ \Delta y_2\\ \Delta Z_x\\ \Delta Z_s\end{array}\right]=-\left[\begin{array}{c}\nabla f\left(X\right)-Z_x-Y-y_1·\nabla o\left(x_{\mathrm{ij}},x_i\right)-y_2·\S v\left(X\right)\\ -Y-Z_s\\ -\left(X+S-X^{\mathrm{UB}}\right)\\ -o\left(x_{\mathrm{ij}},x_i\right)\\ -v\left(X\right)\\ Z_{\infty }·X-\mu E\\ Z_s·S-\mu E\end{array}\right]& \left(57\right)\\ H=\left[\begin{array}{ccccccc}{H}_{11}& 0& -I& H_{41}^T& H_{51}^T& -I& 0\\ 0& 0& -I& 0& 0& 0& -I\\ -I& -I& 0& 0& 0& 0& 0\\ H_{41}& 0& 0& 0& 0& 0& 0\\ H_{51}& 0& 0& 0& 0& 0& 0\\ \mathrm{diag}\left(Z_X\right)& 0& 0& 0& 0& \mathrm{diag}\left(X\right)& 0\\ 0& \mathrm{diag}\left(Z_S\right)& 0& 0& 0& 0& \mathrm{diag}\left(S\right)\end{array}\right]\mathrm{where}& \left(58\right)\\ H_{11}=\mathrm{diag}\left(V^x,W^x,V^u,W^U\right),& \left(59\right)\\ H_{41}=\left[-I,R,0,0\right]& \left(60\right)\\ R=\left[\begin{array}{cccc}\left[R_{11}I\dots R_{1N_1}I\right]& 0& \dots & 0\\ 0& \left[R_{21}I\dots R_{2N_2}I\right]& \dots & 0\\ 0& ⋮& \ddots & ⋮\\ 0& \dots & 0& \left[R_{N_11}I\dots R_{N_1N_1}I\right]\end{array}\right]\mathrm{and}& \left(61\right)\\ {\left(H_{51}\right)}_{\mathrm{ij}}=\left[0,-I,\dots R_{\mathrm{ij}}A_{\mathrm{ij}}^0,\dots R_{\mathrm{ij}}B_{\mathrm{ij}}^0,\dots R_{\mathrm{ij}}C_{\mathrm{ij}}^0,\dots R_{\mathrm{ij}}D_{\mathrm{ij}}^0,\dots 0\right]& \left(62\right)\end{array}$

Note that all four diagonal blocks in the matrix H₁₁ are themselves diagonal matrices by design, where (H₅₁)_ij is the row of branch ij.

Defining EQ. (63), EQ. (64) follows:

$\begin{array}{cc}\left[\begin{array}{c}\nabla f\left(X\right)-Z_x-Y-y_1^T\nabla o\left(x_{\mathrm{ij}},x_i\right)-y_2^T\nabla v\left(X\right)\\ -Y-Z_s\\ -\left(X+S-X^{\mathrm{UB}}\right)\\ -o\left(x_{\mathrm{ij}},x_i\right)\\ -v\left(X\right)\\ Z_x·X-\mu E\\ Z_s·S-\mu E\end{array}\right]=\left[\begin{array}{c}{r}_X\\ r_S\\ r_Y\\ r_{y_1}\\ r_{y_2}\\ r_{Z_x}\\ r_{Z_s}\end{array}\right]& \left(63\right)\\ \left[\begin{array}{ccccccc}{H}_{11}& 0& -I& H_{41}^T& H_{51}^T& -I& 0\\ 0& 0& -I& 0& 0& 0& -I\\ -I& -I& 0& 0& 0& 0& 0\\ H_{41}& 0& 0& 0& 0& 0& 0\\ H_{51}& 0& 0& 0& 0& 0& 0\\ \mathrm{diag}\left(Z_X\right)& 0& 0& 0& 0& \mathrm{diag}\left(X\right)& 0\\ 0& \mathrm{diag}\left(Z_S\right)& 0& 0& 0& 0& \mathrm{diag}\left(S\right)\end{array}\right]\left[\begin{array}{c}\Delta X\\ \Delta S\\ \Delta Y\\ \Delta y_1\\ \Delta y_2\\ \Delta Z_x\\ \Delta Z_s\end{array}\right]=-\left[\begin{array}{c}{r}_X\\ r_S\\ r_Y\\ r_{y_1}\\ r_{y_2}\\ r_{Z_x}\\ r_{Z_s}\end{array}\right]& \left(64\right)\end{array}$

To solve the Newton equations, the dimension can be reduced as follows. From the last two equations, there is:

ΔZ_x=diag(X)⁻¹(−T_Zx−diag(Z_x)ΔX)  (65)

ΔZ_s=diag(S)⁻¹(−T_Zs−diag(Z_s)ΔS)  (66)

Substituting for the other equations and re-organizing the equations into primal and dual parts yields EQ. (67).

$\begin{array}{cc}\left[\begin{array}{cccccc}{H}_{41}& 0& |& 0& 0& 0\\ H_{51}& 0& |& 0& 0& 0\\ -I& -I& |& 0& 0& 0\\ \_& \_& & \_& \_& \_\\ H_{11}+{\mathrm{diag}\left(X\right)}^{-1}\mathrm{diag}\left(Z_x\right)& 0& |& -I& H_{41}^T& H_{51}^T\\ 0& {\mathrm{diag}\left(S\right)}^{-1}\mathrm{diag}\left(Z_s\right)& |& -I& 0& 0\end{array}\right]\hspace{1em}\left[\begin{array}{c}\Delta X\\ \Delta S\\ \_\\ \Delta Y\\ \Delta y_1\\ \Delta y_2\end{array}\right]=\left[\begin{array}{c}-r_{y1}\\ -r_{y2}\\ -r_Y\\ \_\\ -r_x-{\mathrm{diag}\left(X\right)}^{-1}r_{Z_x}\\ -r_s-{\mathrm{diag}\left(S\right)}^{-1}r_{Z_s}\end{array}\right]& \left(67\right)\\ \mathrm{Defining}{\tilde{H}}_{11}=H_{11}+{\mathrm{diag}\left(X\right)}^{-1}\mathrm{diag}\left(Z_x\right)& \left(68a\right)\\ {\tilde{H}}_{22}={\mathrm{diag}\left(S\right)}^{-1}\mathrm{diag}\left(Z_S\right)& \left(68b\right)\\ {\tilde{r}}_x=r_x+{\mathrm{diag}\left(X\right)}^{-1}r_{Z_x}& \left(68c\right)\\ {\tilde{r}}_s=r_s+{\mathrm{diag}\left(S\right)}^{-1}r_{Z_s}& \left(68d\right)\\ \Delta X=\left[\begin{array}{c}\left\{\Delta x_i\right\}\\ \left\{\Delta x_{\mathrm{ij}}\right\}\\ \left\{\Delta u_{\mathrm{ij}}\right\}\\ \left\{\Delta u_{\mathrm{ij}}\right\}\end{array}\right]& \left(68e\right)\\ \Delta y_1=\left\{\Delta y_1^{x_i}\right\}& \left(68f\right)\\ \Delta y_2=\left\{\Delta y_2^{x_{\mathrm{ij}}}\right\}& \left(68g\right)\end{array}$

Therefore, one can have

$\begin{array}{cc}\left[\begin{array}{cc}{H}_{41}& 0\\ H_{51}& 0\\ -I& -I\end{array}\right]\left[\begin{array}{c}\Delta X\\ \Delta S\end{array}\right]=\left[\begin{array}{c}-r_{y_1}\\ -r_{{y}_2}\\ -r_Y\end{array}\right]& \left(69\right)\\ \left[\begin{array}{cc}{\tilde{H}}_{11}& 0\\ 0& {\tilde{H}}_{22}\end{array}\right]\left[\begin{array}{c}\Delta X\\ \Delta S\end{array}\right]+\left[\begin{array}{ccc}-I& H_{41}^T& H_{51}^T\\ -I& 0& 0\end{array}\right]\lfloor \begin{array}{c}\Delta Y\\ \Delta y_1\\ \Delta y_2\end{array}\rfloor =\left[\begin{array}{c}-{\tilde{r}}_x\\ -{\tilde{r}}_s\end{array}\right]& \left(70\right)\end{array}$

3.1.2 Discrete SSE Model

An AC (SSE) model according to an embodiment of the invention assumes AC-only grid with state-dependent integer variable z and continuous variable x and controls u. In addition to that, no thermal capacity limits are enforced on branch power flows. The interior point cutting plane method (IPCPM), which possesses the advantages of both the interior pint method and the cutting plane method, becomes a suitable approach to a large-scale and mixed-integer SSE according to an embodiment of the invention. It employs a successive linearization and convexification process and iteratively solves the mixed integer linear program.

The cutting plane method is widely used to solve mixed-integer systems. However, a direct application of an existing cutting plane method to an SSE model according to an embodiment of the invention is problematic because of the following two reasons. Firstly, it is questionable whether and how well current cutting plane methods can handle a large-scale system. Secondly, an SSE model according to an embodiment of the invention is highly structural, which means every constraint is quite local and is with respect to only one node or branch. This sparsity structure is crucial for an interior point solver to work efficiently. Therefore, the cutting plane needs to be adaptive to the structure, i.e. it should also be a local constraint within a single node or branch and can be easily put into recursive computation. From this point of view, a straightforward use of a conventional cutting plane is improper since it requires computing an inverse matrix which will very likely destroy the sparsity structure.

According to an embodiment of the invention, a class of mixed-rounding cutting planes are provided which are suitable to an SSE model according to an embodiment of the invention and the main procedure for each iteration. In each iteration, a class of cutting planes is generated. The cutting plane can be either generic basis-independent or basis dependent. Both of them are only based on local information, i.e. constraints of a single branch.

3.1.2.1 SSE Model Specification

The original SSE model according to an embodiment of the invention is a nonlinear, nonconvex, mixed-integer large-scale model. Introducing certain convexification and linearization techniques yields a simplied linear program. According to an embodiment of the invention, it may be assumed that there are continuous state-dependent variables x and controls u that are always nonnegative.

3.1.2.2 Node Constraints

According to an embodiment of the invention, the following box-constraint family and flow balance constraints are defined for node i:

$\begin{array}{cc}{x}_i^{\mathrm{LB}}\le x_i\le x_i^{\mathrm{UB}}& \left(71a\right)\\ x_i=\sum _{j=1}^NR_{\mathrm{ij}}·x_{\mathrm{ij}}& \left(71b\right)\end{array}$

The node constraints are only a small part among all constrains of an SSE model according to an embodiment of the invention. The major and key part is the branch constraints described next.

3.1.2.3 Branch Constraints

To reformulate a convex set of branch constraints, predefined anchor vectors u_i,k⁰,u_j,k⁰,u_ij,k⁰,u_ji,k⁰ may be introduced for each branch (i, j). Accordingly, there are also 0-1 control variables z_i,k⁰,z_j,k⁰,z_ij,k⁰,z_ji,k⁰ to specify the anchor point around which the linearization is preformed. Therefore with predefined box constraints u_i,k^UB(LB),u_j,k^UB(LB),u_ij,k^UB(LB),u_ji,k^UB(LB), there are the following constrains for branch (i, j)

$\begin{array}{cc}\sum _{k=1}^{K_i}z_{i,k}^0·u_{i,k}^{\mathrm{LB}}\le u_i\le \sum _{k=1}^{K_i}z_{i,k}^0·u_{i,k}^{\mathrm{UB}}& \left(72a\right)\\ \sum _{k=1}^{K_j}z_{j,k}^0·u_{j,k}^{\mathrm{LB}}\le u_j\le \sum _{k=1}^{K_j}z_{j,k}^0·u_{j,k}^{\mathrm{UB}}& \left(72b\right)\\ \sum _{k=1}^{K_{\mathrm{ij}}}z_{\mathrm{ij},k}^0·u_{\mathrm{ij},k}^{\mathrm{LB}}\le u_{\mathrm{ij}}\le \sum _{k=1}^{K_{\mathrm{ij}}}z_{\mathrm{ij},k}^0·u_{\mathrm{ij},k}^{\mathrm{UB}}& \left(72c\right)\\ \sum _{k=1}^{K_{\mathrm{ji}}}z_{\mathrm{ji},k}^0·u_{\mathrm{ji},k}^{\mathrm{LB}}\le u_{\mathrm{ji}}\le \sum _{k=1}^{K_{\mathrm{ji}}}z_{\mathrm{ji},k}^0·u_{\mathrm{ji},k}^{\mathrm{UB}}& \left(72d\right)\\ x_{\mathrm{ij}}^{\mathrm{LB}}\le x_{\mathrm{ij}}\le x_{\mathrm{ij}}^{\mathrm{UB}}& \left(72e\right)\\ \sum _{k=1}^{K_i}z_{i,k}^0=1& \left(72f\right)\\ \sum _{k=1}^{K_j}z_{j,k}^0=1& \left(72g\right)\\ \sum _{k=1}^{K_{\mathrm{ij}}}z_{\mathrm{ij},k}^0=1& \left(72h\right)\\ z_{i,k}^0,z_{j,k}^0,z_{\mathrm{ij},k}^0\in \left\{0,1\right\}& \left(72i\right)\\ x_{\mathrm{ij}}=R_{\mathrm{ij}}·\left(A_{\mathrm{ij}}^0·u_i+B_{\mathrm{ij}}^0·u_j+C_{\mathrm{ij}}^0·u_{\mathrm{ij}}+D_{\mathrm{ij}}^0·u_{\mathrm{ji}}+E_{\mathrm{ij}}^0\right).& \left(73\right)\end{array}$

3.1.2.4 Interior Point Method

A discrete SSE model formulation according to an embodiment of the invention is a generalization of ae continuous SSE formulation according to an embodiment of the invention, with the addition of discrete variables. An interior point method according to an embodiment of the invention for a discrete SSE formulation is a generalization of the interior point method for the continuous SSE formulation, and follows the same derivation as above, taking account of the additional discrete variables.

3.2 SSE Iterative Convex Approximation

An SSE model according to an embodiment of the invention is based on a novel convex approximation of the power flow constraints and objective functions. Note that the SE model is defined by the network topology, the state vector, the measurement vector, the network model and the measurement functions. The measurement function is a projection of the network model functions. The convex approximation applies to the network functions. Hence, a convex approximation may be developed for the SE model. According to an embodiment of the invention, the SE voltage law relations can be reformulated using complex plane representation such that it leads to a convex representation of the feasibility set for branch power flows P_ij, Q_ij. The quality of convex approximation can be managed by properly adding more anchor points for branch voltages and phase angle difference. According to an embodiment of the invention, an MIP heuristic can be used to control this process in run-time. The heuristic is based on branch-and-cut mechanism and uses constraint infeasibility as the primal indicator for placing new anchor points. First of all, introduce a complex branch flow:

F _ij =P _ij +iQ _ij  (74)

Note that the voltage law relations include two terms:

a self-admittance term that only depends on single bus voltage; and

a cross-admittance term that depends on phase angles and cross-product of voltages

Thus, the complex branch flow can be represented as:

Fij=F _ij ^S +F _ij ^C  (75)

The Euler representation of complex numbers in polar coordinates is used for both self- and cross-admittance terms:

F _ij ^C=exp(T_ij^C+i(θ_i−θ_j−α_ij^C))  (76)

F _ij ^S=exp(T_ij^S+i(−α_ij^S))  (77)

The modules r_ij^C and r_ij^S are driven by both voltages and admittances:

T _ij ^C=ln V_i+ln a_ij+ln V_j+ln a_ji+ln R_ij^C  (78)

T _ij ^S=ln V_i+ln a_ii+ln V_i+ln a_ii+ln R_ij^S  (79)

where R_ij^S,R_ij^C,α_ij^S,α_ij^C are driven by admittances only:

$\begin{array}{cc}{R}_{\mathrm{ij}}^S={\left[{\left(G_{\mathrm{ij}}^S\right)}^2+{\left(B_{\mathrm{ij}}^S\right)}^2\right]}^{\frac{1}{2}}& \left(80\right)\\ R_{\mathrm{ij}}^C={\left[{\left(G_{\mathrm{ij}}^C\right)}^2+{\left(B_{\mathrm{ij}}^C\right)}^2\right]}^{\frac{1}{2}}& \left(81\right)\\ {\alpha }_{\mathrm{ij}}^S=\arcsin \left(B_{\mathrm{ij}}^S/R_{\mathrm{ij}}^S\right)& \left(82\right)\\ {\alpha }_{\mathrm{ij}}^C=\arcsin \left(B_{\mathrm{ij}}^C/R_{\mathrm{ij}}^C\right)& \left(83\right)\end{array}$

We switch to logs of bus voltages (equivalent to measure them in logarithmic scale). This transformation does not introduce new non-linearity into the model since the voltages only have box constraints.

Note that the voltage tensor product is now a linear sum in the expression for the modules r_ij^C and r_ij^S. Thus, a transformation introduces an easy way to preserve the Rank 1 property of the voltage tensor product.

Note that the chosen transformer taps (in the log scale) also appear linearly in the in the expression for the modules. Thus, a transformation according to an embodiment of the invention creates a new way to introduce a binary transformer tap choice, similar to that of the switching shunts and phase shift. This eliminates the need for an inflated set of transformer constraints in an SSE model formulation according to an embodiment of the invention and MIP enforcement of the binary choice performs much faster for this reformulation.

FIG. 5 illustrates the forms of the feasibility sets of F_ij^S and F_ij^C on the complex plane. The feasibility set for F_ij^S is a line, because the phase angle is fixed to be equal to −α_ij^S. The feasibility set for F_ij^C is a sector of a ring provided by box intervals for its radius and angle.

The former tap choice implies different sectors and basically weighing them with exclusive binary choice variables.

Overall, the feasibility set of the F_ij and, due to the power flow conservation constraint, the net power injection, P_i+iQ_i becomes a weighted sum of different ring sectors on the complex plane.

A ring sector is not a convex set. Thus, a sum of ring sectors is not a convex set. Moreover, such sum may take various geometric forms on the complex plane comprising pieces of ring sectors; that is, very unsystematic and highly non-convex.

However, it is easy to convexify a ring sector if its angle span is small: pick a middle point and cover it with a rectangle formed by the ring's tangent lines (at the middle point). Then, large-span sector is a combination of several disjoint small sectors and each of them can be covered by such a rectangle. Therefore, any ring sector can be covered with a high accuracy by a combination of properly centered, scaled and oriented rectangles.

The degree of coverage accuracy can be controlled by increasing the number of rectangles and also by their placement. Theoretically speaking, a ring sector could be convexified by any other convex geometric shapes coverage, so that convexification is similar to, say, triangulation of the ring sector. However, triangulation in general is a hard and numerically costly task while rectangulation is a natural choice for ring sector coverage and rectangles are very easy and numerically inexpensive to generate via tangent lines and polar coordinate intervals. FIG. 6 illustrates the idea of different rectangle coverage accuracy. Each black dot in FIG. 6 represents the anchor point for the corresponding rectangle.

Note that increasing the number of rectangles often does not lead to higher accuracy. Thus, proper placement of just a few anchor points can be the best coverage. Moreover, the whole coverage may not be needed right at the beginning of the solution process and new anchor points may be added in the solution run-time in case the solver finds it useful to place a new rectangle in the uncovered region. This is the core idea of an MIP heuristic according to an embodiment of the invention for placing new anchor points.

If each sector is covered by rectangles and there is a selection process for the rectangles within a sector such that only one of the rectangles is chosen at a time, then the feasibility set of F_ij and, due to the Power Flow Conservation constraint, the net power injection, P_i+iQ_i, becomes a sum of rectangles, that is, a convex set, due to the preservation of convexity through set sum process. Thus, the overall SSE model can be convexified.

In the simple case where rectangles are generated by tangent lines and polar coordinate intervals, Voltage Law convexification is equivalent to a first-order approximation of the Euler representation's exponent for the complex power flow F_ij in the neighborhood of the given anchor point ({tilde over (P)}_ij,{tilde over (Q)}_ij):

$\begin{array}{cc}{F}_{\mathrm{ij}}^s={\tilde{F}}_{\mathrm{ij}}^s+\frac{\partial {\tilde{F}}_{\mathrm{ij}}^s}{\partial v_i}\left(v_i-{\tilde{v}}_i\right)+\frac{\partial {\tilde{F}}_{\mathrm{ij}}^s}{\partial v_j}\left(v_j-{\tilde{v}}_j\right)+\frac{\partial {\tilde{F}}_{\mathrm{ij}}^s}{\partial {\theta }_i}\left(v_i-{\tilde{\theta }}_i\right)+\frac{\partial {\tilde{F}}_{\mathrm{ij}}^s}{\partial {\theta }_j}\left({\theta }_j-{\tilde{\theta }}_j\right)& \left(84\right)\\ F_{\mathrm{ij}}^c={\tilde{F}}_{\mathrm{ij}}^c+\frac{\partial {\tilde{F}}_{\mathrm{ij}}^c}{\partial v_i}\left(v_i-{\tilde{v}}_i\right)+\frac{\partial {\tilde{F}}_{\mathrm{ij}}^c}{\partial v_j}\left(v_j-{\tilde{v}}_j\right)+\frac{\partial {\tilde{F}}_{\mathrm{ij}}^c}{\partial {\theta }_i}\left(v_i-{\tilde{\theta }}_i\right)+\frac{\partial {\tilde{F}}_{\mathrm{ij}}^c}{\partial {\theta }_j}\left({\theta }_j-{\tilde{\theta }}_j\right)& \left(85\right)\\ A_{\mathrm{ij}}=\left[\begin{array}{cc}2{\tilde{P}}_{\mathrm{ij}}^s+{\tilde{P}}_{\mathrm{ij}}^c& -{\tilde{Q}}_{\mathrm{ij}}^c\\ 2{\tilde{Q}}_{\mathrm{ij}}^s+{\tilde{Q}}_{\mathrm{ij}}^c& {\tilde{P}}_{\mathrm{ij}}^c\end{array}\right]& \left(86\right)\\ B_{\mathrm{ij}}=\left[\begin{array}{cc}{\tilde{P}}_{\mathrm{ij}}^c& {\tilde{Q}}_{\mathrm{ij}}^c\\ {\tilde{Q}}_{\mathrm{ij}}^c& {\widetilde{-P}}_{\mathrm{ij}}^c\end{array}\right]& \left(87\right)\\ E_{\mathrm{ij}}=\left[\begin{array}{c}{E}_{\mathrm{ij}1}\\ E_{\mathrm{ij}2}\end{array}\right]\mathrm{where}& \left(88\right)\\ E_{\mathrm{ij}1}={\tilde{P}}_{\mathrm{ij}}^s+{\tilde{P}}_{\mathrm{ij}}^c-2{\tilde{v}}_i{\tilde{P}}_{\mathrm{ij}}^s-{\tilde{P}}_{\mathrm{ij}}^c\left({\tilde{v}}_i+{\tilde{v}}_j\right)+{\tilde{Q}}_{\mathrm{ij}}^c\left({\tilde{\theta }}_i-{\tilde{\theta }}_j\right)& \left(89\right)\\ E_{\mathrm{ij}2}={\tilde{Q}}_{\mathrm{ij}}^s+{\tilde{Q}}_{\mathrm{ij}}^c-2{\tilde{v}}_i{\tilde{Q}}_{\mathrm{ij}}^s-{\tilde{Q}}_{\mathrm{ij}}^c\left({\tilde{v}}_i+{\tilde{v}}_j\right)+{\tilde{P}}_{\mathrm{ij}}^c\left({\tilde{\theta }}_i-{\tilde{\theta }}_j\right)& \left(90\right)\end{array}$

This linearization is similar to an SLP linearization except that it uses log-scale voltages and transformer taps and thus it preserves the voltage tensor product Rank 1 property.

In the simplest case where only one anchor point is used, this approximation is similar to the DC representation of the SSE problem, except that it consider voltages as variables, not fixed as in conventional DC approximation schemes.

In general case, an MIP heuristic according to an embodiment of the invention can manage a solution process by placing anchor points and generating a covering of the SSE model feasible region with rectangles according to the following work flow, illustrated in the flow chart of FIG. 7:

• (1) Choose starting anchor points (step 70).
• (2) Pre-solve a few-iterations of the dual of the convexified SSE by relaxing constraints due to the SSE objective function (i.e. solving for any feasible solution without optimization) (step 71)
• (3) Produce updated dual variables and infeasibility reduction directions (Step 72).
• (4) Generate a linear cut for the chosen anchor points (step 73).
• (5) Choose a step size towards chosen direction (step 74).
• (6) Update the anchor points set through branching by making the chosen step (Step 75).
• (7) Go back to step 2 until either a feasible solution is found or infeasibility check is true (Step (76).
• (8) Pre-solve a few iterations of the primal of the convexified SSE (Step 77).
• (9) Produce updated primal variables and reduced cost directions (Step 78).
• (10) Go back to the step 4 unless either an optimal solution is found or an iteration limit is reached (Step 79).

This process resembles an SLP process, however a branch-and-cut mechanism is used instead of penalties. Branching ensures that the previously checked anchor points are not discarded but rather are traversed in a tree-like recursive way. Cutting provides a way to discard anchor points that are checked to be infeasible or inferior.

There other non-convex relations in an SSE model according to an embodiment of the invention, such as Branch Flow Cone (BFC) and Branch Flow Bilinear (BFB) constraints as well as Converter equations. BFC is convex constraint and thus can be included to the convexified SSE without any modifications. BFB is not convex and is due to branch capacity lower bound, and may be ignored.

Converter relations are a bit more challenging but can be convexified and managed by the same MIP process according to an embodiment of the invention though the quality of approximation may be lower due to some necessary simplification assumptions. However, realistic cases the fraction of Converter components is negligibly small compared to AC and DC nodes so that the approximation accuracy is not crucial.

3.3 Branch-and-Bound-and-Cut Discretization Management

To illustrate the concept of branch-and-bound, consider the following linear mixed-integer program.

min100x₁−72x₂−36x₃  (91a)

s.t.−2x₁+x₂≦0  (91b)

−4x₁+x₃≦0  (91c)

x ₁ +x ₂≦1  (91d)

x ₁ ,x ₂ ,x ₃ε{0,1}  (91e)

FIG. 8 shows a branch-and-bound tree of EQS. (91), where S_α denotes a feasible after fixing a subset of the binary variables to non-fractional values.

Note that an infeasibility condition holds for S₀:

$\begin{array}{cc}{S}_0=\left\{x\text{:}x_1=0,x_2\le 0,x_3\le 0,x_2+x_3\ge 1\right\}& \left(92\right)\\ =\varnothing .& \left(93\right)\end{array}$

Let z₁₀, z₁₁₀ and z₁₁₁ denote the objective values of a reduced linear program on the subset S₁₀, S₁₁₀ and S₁₁₁, respectively:

z ₁₁₁=−8≦x₁₁₀=28≦z₁₀=64  (94)

The solution of EQS. (91) is x₁=1, x₂=1, and x₃=1.

Consider the following MILP:

$\begin{array}{cc}\underset{x1,x2}{\max }\gamma =c_1^Tx_1+c_2^Tx_2& \left(95a\right)\\ s.t.A_1x_1+A_2x_2=b& \left(95b\right)\\ x_1\in {\left\{0.1\right\}}^q,x_2\ge 0& \left(95c\right)\end{array}$

where x₁ and x₂ denote vectors of binary and fractional decision variables, respectively, in EQS. (95).

Let X denote the feasible region of EQS. (95) and C, its convex hull. Assume that an appropriate data structure, denoted N, is used to store the nodes generated through a branch-and-cut procedure. Further, let N denote the index set of N; that is, nεN is an active branch-and-cut node at the current stage of the algorithm.

A branch-and-cut algorithm is a branch-and-bound procedure with cutting planes. A branch-and-cut algorithm according to an embodiment of the invention is outlined as follows, and illustrated in the flow chart of FIG. 9:

• (1) (Initialization) (Step 91) Initialize node list N with the original, possibly preprocessed, linear relaxation max{c^Tx: xεC}, and optimal solution (x₁*,x₂*) with the empty element. Set γ*:=−∞ and γ*:=+∞.
• (2) If N is empty (Step 92), set (Step 92.2) γ*=γ*, (x₁*,x₂*)=({circumflex over (x)}₁*,{circumflex over (x)}₂*), exit with the optimal solution (x₁*,x₂*) and objective value γ*. Else, (Step 92.1) select and remove a node, n, from N; set k:=1, m_n=0 and cutting plane C_nk:=C_n.
• (3) (LP relaxation) (Step 93) Solve the linear program max {c^Tx: xεC_nk} and store its objective value in γ_nk. If γ_nk=−∞ (i.e. if max {c^Tx: xεC_nk} is infeasible) (Step 93.1), go to step 2.
• (4) (Updating upper bound) (Step 94) Store an optimal solution in (x₁^nk,x₂^nk) and update γ* with the largest optimal objective value for a linear-programming relaxation among all current active branch-and-cut nodes.
• (5) (Pruning) If γ_nk≦γ*(Step 95), go to step 2.
• (6) (Updating lower bound) If (x₁^nk,x₂^nk) is feasible in EQS. (95); that is, if (x₁^nk,x₂^nk)εX (Step 96), set (Step 96.1) γ*=γ_nk, {circumflex over (x)}₁*,{circumflex over (x)}₂*)=(x₁^nk,x₂^nk), and go to step 2.
• (7) (Cut generation) If m_n≦ m_n (Step 97), go to step 8. Else, (Step 97.1) solve the separation to generate a finite number m_nk of valid inequalities (or cutting planes), A_n(k+1)x≦b_n(k+1), for C_nk. If m_nk≦1, m_n+=m_nk, add the new m_nk inequalities to C_nk producing a tighter feasible region C_n(k+1)=C_nk∩{x: A_n(k+1)x≦b_n(k+1)}; set k+=1; go to step 3.
• (8) (Branching) (Step 98) Choose a fractional scalar variable, x_1l, from the sub-vector x₁, and create two new branch-and-cut nodes. Index the two new nodes by n+1 and n+2, respectively. Add the rounding constraints x_il≦└x_1l^nk┘ for one node, and x_1l≧|x_1l^nk| for the other node, forming the constraint sets C_{( n+1)} and C_{( n+2)}.

Add the newly created nodes to the node list N; set n=2. Go to step 2.

Note that the rounding constraints together with the binary nature of the components of the (optimal) subvector x₁ in EQS. (95) can be equivalently reduced to x_1l=0 and x_1l=1, respectively. Hence the branching step can be viewed as a variable fixing step.

3.4 Solution Initialization Strategies

An SSE according to an embodiment of the invention can support four solution initialization strategies, which will prove particularly helpful for DSE, namely full warm-start, partial warm-start, partial cold-start and full coldstart, as outlined below.

Full Warm-Start:

This initialization strategy yields a very fast SSE solution. The full warm-start applies if no island or bus split occurs. This strategy uses the pre-SSE state to warm-start the continuous solver for linearized SSE.

Partial Warm-Start:

This initialization strategy yields a fast SSE solution. The partial warm-start applies if a switching event occurs with no island or bus split. This strategy uses local discrete event identification procedure, applies identified discrete event as a hot-fix of the state vector, then uses the updated state to warm-start the continuous solver for linearized SSE.

Partial Cold-Start:

This initialization strategy yields an SSE solution that may take a few extra seconds. The partial cold-start applies if a localized bus or island split occurs. This solution strategy uses the continuous parametric relaxation of SSE topology, updates the state vector to warm-start the continuous solver, introduces a handful of discretization points for the network with local topology change, and allows a few branch-and-cut iterations.

Full Cold-Start:

This initialization strategy yields an SSE that is more CPU intensive. The full cold-start applies if no warm-start information is re-usable. This solution strategy uses only new information (i.e. topology from NTP), introduces coarse discretization of every bottle-neck node/link, and allows enough branch-and-cut iterations to get a solution.

4 System Implementations

It is to be understood that embodiments of the present invention can be implemented in various forms of hardware, software, firmware, special purpose processes, or a combination thereof. In one embodiment, the present invention can be implemented in software as an application program tangible embodied on a computer readable program storage device. The application program can be uploaded to, and executed by, a machine comprising any suitable architecture.

FIG. 10 is a block diagram of an exemplary computer system for implementing an (SSE)-model-specific interior-point and cutting-plane method for state estimation in a distribution network according to an embodiment of the invention. Referring now to FIG. 10, a computer system 101 for implementing the present invention can comprise, inter alia, a central processing unit (CPU) 102, a memory 103 and an input/output (I/O) interface 104. The computer system 101 is generally coupled through the I/O interface 104 to a display 105 and various input devices 106 such as a mouse and a keyboard. The support circuits can include circuits such as cache, power supplies, clock circuits, and a communication bus. The memory 103 can include random access memory (RAM), read only memory (ROM), disk drive, tape drive, etc., or a combinations thereof. The present invention can be implemented as a routine 107 that is stored in memory 103 and executed by the CPU 102 to process the signal from the signal source 108. As such, the computer system 101 is a general purpose computer system that becomes a specific purpose computer system when executing the routine 107 of the present invention.

The computer system 101 also includes an operating system and micro instruction code. The various processes and functions described herein can either be part of the micro instruction code or part of the application program (or combination thereof) which is executed via the operating system. In addition, various other peripheral devices can be connected to the computer platform such as an additional data storage device and a printing device.

It is to be further understood that, because some of the constituent system components and method steps depicted in the accompanying figures can be implemented in software, the actual connections between the systems components (or the process steps) may differ depending upon the manner in which the present invention is programmed. Given the teachings of the present invention provided herein, one of ordinary skill in the related art will be able to contemplate these and similar implementations or configurations of the present invention.

While the present invention has been described in detail with reference to exemplary embodiments, those skilled in the art will appreciate that various modifications and substitutions can be made thereto without departing from the spirit and scope of the invention as set forth in the appended claims.

Claims

1. A method approximating a solution of a stochastic state estimation (SSE) model of an electric grid, comprising the steps of: (1) choosing starting anchor points in an SSE model of an electric grid;(2) relaxing constraints of an SSE objective function to solve for a feasible solution of the SSE model;(3) calculating updated dual variables and infeasibility reduction directions from the feasible solution;(4) generating a linear cut for the chosen starting anchor points;(5) choosing a step size toward the reduction directions; and(6) updating the anchor points through branching by making the chosen step, wherein each anchor point defines a rectangle that at least partially covers a feasible solution set of the SSE model, wherein each rectangle is a convex set, and the set of rectangles covering the feasible solution set of the SSE model define an approximate solution of the SSE model of said electric grid.

2. The method of claim 1, further comprising (7) repeating steps (2) through (6) until either a feasible solution is found or an infeasibility check is true.

3. The method of claim 2, further comprising (8) pre-solving a few-iterations of a primal of a convexified SSE model.

4. The method of claim 3, further comprising (9) calculating updated primal variables and reduced cost directions.

5. The method of claim 4, further comprising (10) repeating steps (4) through (9) until either an optimal solution is found or an iteration limit is reached.

6. A method of finding an optimal solution of a stochastic state estimation (SSE) model of an electric grid, comprising the steps of: (1) providing a convexified SSE model of an electric grid, said convexified SSE model including an objective function having an objective value, a plurality of constraints, and a convex hull;(2) initializing a node list with a solution of the SSE objective function in its convex hull, an optimal solution of the SSE model to an empty set, and upper and lower bounds of the objective value of the objective function;(3) selecting a node from the node list and initializing a first cutting plane to a constraint associated with said node;(4) solving the objective function subject for the first cutting plane to obtain a current solution and saving the objective value of the current solution of the objective function;(5) updating the objective value upper bound to a largest optimal objective value among current nodes;(6) if the current solution of the SSE model is a feasible solution of the SSE model, and if the objective value of the current solution is greater than the objective value lower bound, setting the objective value lower bound to the current solution objective value and the optimal solution of the SSE model to the current solution of the SSE model;(7) if a number of cutting plane is less than a predetermined maximum and if the objective value of the current solution is greater than the objective value lower bound, generate a plurality of new cutting planes for the current node to produce a tighter feasible region of the SSE model; and(8) if the number of cutting plane is greater than the predetermined maximum, create two new nodes and a constraint for each new mode, and add the new nodes to the node list.

7. The method of claim 6, further comprising, if the node list is empty, setting the optimal solution of the SSE model to the current solution of the SSE model, and the optimal objective value of the SSE model to the current solution objective value.

8. The method of claim 6, further comprising, if the current solution of the SSE model is infeasible, repeating steps (3) and (4).

9. The method of claim 6, further comprising, if the objective value of the current solution is less than the objective value lower bound, repeating steps (3) through (5).

10. A non-transitory program storage device readable by a computer, tangibly embodying a program of instructions executed by the computer to perform the method steps for approximating a solution of a stochastic state estimation (SSE) model of an electric grid, comprising the steps of: (1) choosing starting anchor points in an SSE model of an electric grid;(2) relaxing constraints of an SSE objective function to solve for a feasible solution of the SSE model;(3) calculating updated dual variables and infeasibility reduction directions from the feasible solution;(4) generating a linear cut for the chosen starting anchor points;(5) choosing a step size toward the reduction directions; and(6) updating the anchor points through branching by making the chosen step, wherein each anchor point defines a rectangle that at least partially covers a feasible solution set of the SSE model, wherein each rectangle is a convex set, and the set of rectangles covering the feasible solution set of the SSE model define an approximate solution of the SSE model of said electric grid.

11. The computer readable program storage device of claim 10, the method further comprising (7) repeating steps (2) through (6) until either a feasible solution is found or an infeasibility check is true.

12. The computer readable program storage device of claim 11, the method further comprising (8) pre-solving a few-iterations of a primal of a convexified SSE model.

13. The computer readable program storage device of claim 12, the method further comprising (9) calculating updated primal variables and reduced cost directions.

14. The computer readable program storage device of claim 13, the method further comprising (10) repeating steps (4) through (9) until either an optimal solution is found or an iteration limit is reached.

15. A non-transitory program storage device readable by a computer, tangibly embodying a program of instructions executed by the computer to perform the method steps for finding an optimal solution of a stochastic state estimation (SSE) model of an electric grid, comprising the steps of: (1) providing a convexified SSE model of an electric grid, said convexified SSE model including an objective function having an objective value, a plurality of constraints, and a convex hull;(2) initializing a node list with a solution of the SSE objective function in its convex hull, an optimal solution of the SSE model to an empty set, and upper and lower bounds of the objective value of the objective function;(3) selecting a node from the node list and initializing a first cutting plane to a constraint associated with said node;(4) solving the objective function subject for the first cutting plane to obtain a current solution and saving the objective value of the current solution of the objective function;(5) updating the objective value upper bound to a largest optimal objective value among current nodes;(6) if the current solution of the SSE model is a feasible solution of the SSE model, and if the objective value of the current solution is greater than the objective value lower bound, setting the objective value lower bound to the current solution objective value and the optimal solution of the SSE model to the current solution of the SSE model;(7) if a number of cutting plane is less than a predetermined maximum and if the objective value of the current solution is greater than the objective value lower bound, generate a plurality of new cutting planes for the current node to produce a tighter feasible region of the SSE model; and(8) if the number of cutting plane is greater than the predetermined maximum, create two new nodes and a constraint for each new mode, and add the new nodes to the node list.

16. The computer readable program storage device of claim 15, the method further comprising, if the node list is empty, setting the optimal solution of the SSE model to the current solution of the SSE model, and the optimal objective value of the SSE model to the current solution objective value.

17. The computer readable program storage device of claim 15, the method further comprising, if the current solution of the SSE model is infeasible, repeating steps (3) and (4).

18. The computer readable program storage device of claim 15, the method further comprising, if the objective value of the current solution is less than the objective value lower bound, repeating steps (3) through (5).