A distributed approach to the OPF problem
- First Online:
- Received:
- Accepted:
DOI: 10.1186/s13634-015-0226-x
- Cite this article as:
- Erseghe, T. EURASIP J. Adv. Signal Process. (2015) 2015: 45. doi:10.1186/s13634-015-0226-x
- 3 Citations
- 1.1k Downloads
Abstract
This paper presents a distributed approach to optimal power flow (OPF) in an electrical network, suitable for application in a future smart grid scenario where access to resource and control is decentralized. The non-convex OPF problem is solved by an augmented Lagrangian method, similar to the widely known ADMM algorithm, with the key distinction that penalty parameters are constantly increased. A (weak) assumption on local solver reliability is required to always ensure convergence. A certificate of convergence to a local optimum is available in the case of bounded penalty parameters. For moderate sized networks (up to 300 nodes, and even in the presence of a severe partition of the network), the approach guarantees a performance very close to the optimum, with an appreciably fast convergence speed. The generality of the approach makes it applicable to any (convex or non-convex) distributed optimization problem in networked form. In the comparison with the literature, mostly focused on convex SDP approximations, the chosen approach guarantees adherence to the reference problem, and it also requires a smaller local computational complexity effort.
Keywords
Alternating direction method of multipliers Augmented Lagrangian methods Convergence guarantee Distributed processing Optimal power flow Smart grid1 Introduction
One of the key aspects of the current research trends for the future smart grid is the possibility of devising distributed algorithms for solving a global problem. This corresponds to the idea of a decentralized access to generation/storage resources, as well as to the much more challenging task of decentralized control.
The typical smart grid problem taken into consideration for distributed optimization is that of optimal power flow (OPF), that is, the optimal management of electrical power throughout the grid under a number of (electrical) constraints (e.g., the satisfaction of a power request from a load, the presence of a dispatchable/non dispatchable renewable generator or of a storage system). The OPF problem, being non-convex in nature in both the target function and the constraints, is very difficult to solve. For this reason, a widely used approach is to map it into a (somehow) close convex problem, and then solve the convex counterpart by means of distributed methods, e.g., the alternating direction method of multipliers. In this context, semi definite programming (SDP) relaxations have emerged as a common option, e.g., see Lavaei and Sojoudi et al. [1-4], Lam, Tse, and Zhang et al. [5,6], Dall’Anese and Giannakis et al. [7,8], Gayme and Topcu [9], and Erseghe and Tomasin [10]. One of the limits of this approach lies in the lack of adherence to the original problem, and in fact, optimality of the solution can only be ensured for very specific networks. But complexity is also an issue, since the number of variables involved in the local processing is squared with respect to its natural size. A few other worth mentioning approaches are available from the literature. S̆ulc et al. [11] exploit the (convex) LinDistFlow approximation as a lower complexity alternative to SDP relaxation. Magnusson et al. [12] avoid SDP relaxation and propose a sequential convex approximation approach, which, however, is known to imply slow convergence speeds. Instead, the consensus and innovation approach has been applied to the (convex) DC-OPF problem by Hug and Kar et al. [13,14], but the chosen distributed algorithm only provides approximate solutions even in the considered convex scenario.
The kind of approach we follow is alternative to the main trend in the literature, in the sense that we do not consider any convex relaxation and work directly on the non-convex OPF problem. In this way, we can guarantee adherence to the original problem and develop an algorithm which is capable of identifying local minima. This idea was originally exploited in [15] where a distributed algorithm based upon ADMM was proposed. This algorithm provided undeniable evidence of the goodness of the intuition but had two major drawbacks. First, optimization for speed was cumbersome and required centralized coordination. Second, no guarantee on convergence was available, and in fact the algorithm often failed to converge. Although the convergence failure did not practically prevent the algorithm output for being usable, convergence is an issue that practically limits the algorithm speed.
In this paper, we wish to solve the above cited issues. To simplify system parameters and improve convergence speed, we remap the distributed problem in such a way to reveal the network power flow. In the ADMM formulation, the power flow variables are adequately weighted in order to force the algorithm to solve an approximate linear problem in the power flow variables in the first iterations (similarly to what happens with DC-OPF). The approximation is progressively abandoned in later iterations. This corresponds to the practical intuition that a linear power flow exchange problem provides a solution which is close to the optimum (some preliminary results on this aspect were recently presented at an international conference [16]). We also modify the plain ADMM algorithm and reinterpret it as a non-convex augmented Lagrangian method (see the work of Martinez and Birgin et al. [17,18]) where penalty parameters are constantly updated (increased) to always guarantee convergence. More specifically, a global convergence guarantee is available under the assumption that local solvers are efficient, in the sense that they can guarantee the identification of a (feasible) local minimum. This might not be an easy task in general, but it is a reasonable assumption when the number of local variables is controlled. Furthermore, a certificate of convergence to a local optimum is available when penalty parameters are bounded. The kind of coordination involved in this process is only local and therefore defines a fully distributed algorithm.
The rest of this paper is organized as follows. First, the reference OPF problem is presented and put in a networked form readily usable for obtaining a distributed algorithm. Then the distributed approach is discussed in abstract form and its convergence properties proved. Application to the specific OPF problem is then detailed, and the proposed distributed algorithm is finally tested in meaningful scenarios.
2 The OPF problem
We first introduce the OPF problem in its natural (centralized) formulation.
2.1 Standard formulation
where \(\mathcal {N}=\{1,\ldots,N\}\) is the nodes set. The first constraint in (1) refers to power flow equations (i.e., Kirchoff’s laws). The remaining constraints are voltage and power constraint limitations, with \(\underline {V}_{i}\), \(\overline {V}_{i}\), \(\underline {P}_{i}\), \(\overline {P}_{i}\), \(\underline {Q}_{i}\), \(\overline {Q}_{i}\) local upper and lower bounds.
For the ease of simplicity here we refer to a basic OPF problem, but additional constraints can be easily added to (1), e.g., power flow constraints on specific lines. Constraints referred to resources such as storage systems and renewable generators (dispatchable or not dispatchable) can be included by suitably selecting the cost factor f_{i}, by introducing proper corrections to the cost function, or by inserting a time variable. Discrete variables can be also included in the problem formulation (e.g., the tap changing of the transformers, or the cost to turn on/off a generator), in which case a mixed-integer programming solver will be needed. The results that follow are valid for all the above generalizations.
2.2 Region-based formulation
collecting voltage constraints, active and reactive power constraints, and power flow constraints, and to which we may add any additional constraint of interest. Regions \(\mathcal {X}_{k}\) are deliberately chosen to be compact (closed and bounded) in order to strengthen later derivations and results.
collects local cost functions, and where the constraint is forcing equivalence between duplicated (voltage) variables in vectors x_{k}.
2.3 Capturing the power flow
where the first equivalence captures the power flow, since the power flowing through line (i,j) is of the form Z_{i,j}|V_{i}−V_{j}|^{2}, i.e., it only depends on voltage differences as from the first of (9).
where A_{k} is a sparse matrix of size \(2|\mathcal {O}_{k}|\times |\mathcal {V}_{k}|\). In the typical case of large regions having a few connections with neighbors it is \(|\mathcal {O}_{k}|\ll |\mathcal {V}_{k}|\).
3 The distributed approach
We now introduce the distributed algorithm in a general and abstract form, in order to assess its properties and capture its structure with a compact notation.
3.1 Reference optimization problem
where \(\boldsymbol {x}=\;[\boldsymbol {x}_{k}]_{k\in \mathcal {R}}\) collects all variables, \(\boldsymbol {z}=\;[\boldsymbol {z}_{k}]_{k\in \mathcal {R}}\) collects all auxiliary variables, \(F(\boldsymbol {x})=\sum _{k\in \mathcal {R}}F_{k}(\boldsymbol {x}_{k})\) is separable, \(\mathcal {X} = \mathcal {X}_{1}\times \ldots \times \mathcal {X}_{R}\) is a Cartesian product, set \(\mathcal {Z}=\mathcal {Z}^{-}\times \mathcal {Z}^{+}\) is a linear space with associated projector \(\boldsymbol {L}_{\mathcal {Z}}\), and A=diag(A_{1},…,A_{R}) has a block diagonal form. The results given in the following further consider Open image in new window bounded (as we already assumed), and F(x) continuous. We finally assume that (14) has a solution.
The smoothness of functions involved with the OPF problem ensure that a one-to-one relation exists between local minima of problem (14) and the corresponding Karush Kuhn Tucker (KKT) conditions. We have (e.g., see [19])
Theorem1.
where ∂is the proximal sub-gradient operator, and where \(\eta _{\mathcal {A}}\) is the indicator function of set Open image in new window, with \(\eta _{\mathcal {A}}(\boldsymbol {a})=0\) if \(\boldsymbol {a} \in \mathcal {A}\) and +∞ if \(\boldsymbol {a}\not \in \mathcal {A}\). Conditions (15) identify the local minima of (14). □
3.2 Augmented Lagrangian formalization
The PHR augmented Lagrangian of (16) is well defined, in the sense that it ensures the typical properties of ordinary Lagrangians of convex functions, i.e., the zero duality gap property and the applicability of a saddle point theorem. The result is given in ([20], Theorem 11.59). Incidentally, we are using a vector of weighting factors ε instead of a unique multiplication by scalar factor ε. This, however, does not modify derivation nor the final result.
Theorem2.
Conversely, any saddle point (19) identifies a primal and dual solution, as from 1. □
In this context, the search for an optimum point can be turned into the search for a saddle point of the PHR augmented Lagrangian, which is in general more effective in terms of efficiency and speed. However, since only a local optimization point may be available for the first of (19) (because of non-convexity), then only local saddle points can be practically identified. It is then interesting to observe the following result, which is a straightforward consequence of the fact that local minima/maxima conditions of (19) correspond to KKT stationary point conditions (15), as the reader can easily verify.
Theorem3.
There exists a one-to-one correspondence between local minima of the original problem (14), KKT stationary points (15), and local saddle points of the PHR augmented Lagrangian in (19). □
As a consequence, the search for local minima can be mapped into a search for local saddle points of the augmented Lagrangian.
3.3 Alternating direction search for a local saddle point
where E_{t}=diag(ε_{t}), and where ε_{t} is suitably updated at each cycle by guaranteeing ε_{t+1}≥ε_{t}. Note that, differently from [17], and similarly to what we have in ADMM, an independent update is used for x_{t} and z_{t}. In turn, differently from ADMM, the weighting parameters ε_{t} are updated in order to ensure convergence of the process in a non-convex scenario.
so that the third line in KKT conditions (15) is satisfied throughout the iterative process. Note that the update of x_{t} in the first of (24) corresponds to the parallel of a number of local updates because F is separable, and Open image in new window is a Cartesian product. In addition, since the full minimum for the first of (24) may be not available, we relax the result by assuming that a local minimum is achieved and that the target function in this local minimum x_{t+1} is smaller than or equal to the function value in x_{t}. Therefore, a reliability assumption on the local solver is required. Although this might be in general a strong request (e.g., see [21]), especially when the local constraints identify a very small feasibility region, we expect it to be reasonably met when the number of local variables is not too large (i.e., for small regions).
with \(\mathcal {P}[\boldsymbol {\lambda }]= \max (\boldsymbol {\lambda }_{\text {min}}, \min (\boldsymbol {\lambda },\boldsymbol {\lambda }_{\text {max}}))\) a projection onto a compact box. The reason for this action will become clearer later on in the proof of Theorem 5.
where \((i,j)\in \mathcal {O}_{k}, j\in \mathcal {R}_{h}, k,h\in \mathcal {R}\). This approach only requires local message exchanges. With this definition, the update is such that if one value of ε_{k,t} grows to ∞, then all the values in the network do so, as it is for the centralized counterpart (27).
The proposed solution is summarized in Algorithm 1.
3.4 Convergence guarantees
The important characteristic of Algorithm 1 is that, in the given scenario, it provides a distributed solution. The main difference with the inspiring technique of [17] lays in the use of an alternating search with respect to x and z (versus the joint minimum search on (x,z)), this being the key point for obtaining a distributed algorithm. Nevertheless, the algorithm always converges (despite the non-convex scenario), and convergence guarantees essentially equivalent to those of [17] can be derived.
We separately treat the case where the penalty constant parameters are bounded and the case where they are unbounded. For bounded parameters we have the following result.
Theorem4.
- 1.
Sequences {z_{t}} and {λ_{t}} converge to finite values, z^{∗} and λ^{∗}, respectively.
- 2.
There exists a finite limit point (accumulation point) for the sequence {x_{t}}, and if A^{T}A is invertible then sequence {x_{t}} is further guaranteed to converge to a finite value x^{∗}.
- 3.
The triplets (x^{∗},z^{∗},λ^{∗}), with x^{∗} any limit point of {x_{t}}, satisfy the KKT conditions of (15), hence all limit points x^{∗} identify a local minimum to the original problem. Even more, in the limit t→∞ any triplet (x_{t},z_{t},λ_{t}) satisfies the KKT stationarity conditions, i.e., identifies a local minimum and satisfies the constraint Ax_{t}=z_{t}. □
Proof of Theorem 4.
Consider that the sequence of penalty parameters {ε_{t}} is bounded, to have ε_{t}=ε_{∞} for t≥t_{0}. For both (27) and (29), we have that Γ_{t+1}≤θΓ_{t} for t>t_{0}, and therefore λ_{t} is bounded and converges to a finite value λ_{∞} (also in case the projection (26) is limiting the value to its maximum).
Since |ζ_{t}| is guaranteed to be exponentially decreasing because of the assumption Γ_{t+1}≤θΓ_{t}, the above implies g_{∞}=−∞, hence a contradiction. Therefore, g_{t} converges to a finite value, and, as a consequence of (33), the weighted norm \({\| \boldsymbol {z}_{t+1} - \boldsymbol {z}_{t} \|}_{\epsilon _{\infty }}^{2}\) converges to 0, i.e., z_{t} converges to a finite value too. These results justify points 1 and 2.
and since the values on the second and third lines tend to 0 in the limit, then in the limit, the KKT stationary point conditions (15) are satisfied.
As a consequence, bounded penalty parameters guarantee a convergence of the algorithm to a KKT stationary point, i.e., they imply the identification of a local minimum. Note that the result is sufficiently strong also in the case where A^{T}A is not invertible (see second part of point 3). This is an important property since the invertibility of A^{T}A is only ensured for a single-node regions choice \(\mathcal {R}_{k}=\{k\}\).
The result for unbounded parameters assumes that the ill conditioning associated with very large/infinite values is adequately solved, e.g., by locally normalizing the minimization in (32) by the maximum penalty value ∥ε_{k,t}∥_{∞}. We have
Theorem5 (Unbounded penalties).
- 1.
Sequence {z_{t}} converges to a finite value, z^{∗}.
- 2.
There exists a finite limit point for the sequence {x_{t}}, and if A^{T}A is invertible then sequence {x_{t}} is ensured to converge to a finite value x^{∗}. □
Proof.
we still verify that properties \({\lim }_{\textit {t}\rightarrow \infty }|\tilde {\zeta }_{t}|=0\) and
hold, and we also have that \(\Delta \tilde {g}_{t}\) converges to 0. Hence \(\tilde {g}_{t}\) converges to a finite value, so that there exist limit points for the sequence {x_{t}}. From (34) we also find that z_{t} converges to a finite value. This proves the theorem.
Note that Theorem 5, although being able to prove convergence of both sequences {x_{t}} and {z_{t}}, cannot guarantee that the limit solution is feasible, i.e., it satisfies Ax_{t}=z_{t}. As a matter of fact, in the limit, the minimization in (32) assumes the (approximate) form
which corresponds to an iterative algorithm for performing a projection of x onto the feasible space \(\mathcal {X}\cap \{\boldsymbol { x}| \boldsymbol {A} \boldsymbol {x}= \boldsymbol {L}_{\mathcal {Z}} \boldsymbol { A}\boldsymbol { x}\}\), and in this context, the contribution \( \| \boldsymbol {L}_{\mathcal {Z}}\boldsymbol { A}(\boldsymbol { x}-\boldsymbol { x}_{t}) \|^{2}\) plays the role of a proximity operator, forcing vicinity to the solution available from the previous step. Therefore, if the algorithm used to solve the local problem (32) is sufficiently powerful, then convergence to a feasible point is also ensured in the limit. This is the case, in practice, only for moderately non-convex scenarios.
4 The distributed OPF algorithm
The distributed OPF algorithm that we obtain by applying Algorithm 1 to problem (12) is summarized in Algorithm 2. The local penalty parameters update (29)-(31) is used.
Note that two local message exchanges (denoted with arrows) are required in lines 10 to 11 and lines 22 to 23 to exchange, respectively, the updated values x_{k,t} (in order to update auxiliary variables) and the temptative penalty parameters updates \(\check {\boldsymbol {\epsilon }}_{k,t}\) (in order to make sure that the final update satisfies (21)). In principle, a single message exchange could be obtained by postponing the penalty parameters correction of line 24 after the auxiliary variable update in line 13, at the cost of some sub optimality in performance.
Overall, the local processing effort of Algorithm 2 is light. The algorithm complexity is determined by the update of x_{t} in line 5, which corresponds to a region-based optimization problem, and which can be efficiently solved by state-of-the-art methods, e.g., interior point methods (IPMs). The remaining actions require a limited effort, especially in the standard case where a few connections are active with neighboring regions and auxiliary vectors are short (i.e., \(|\mathcal {O}_{k}|\ll |\mathcal {V}_{k}|\)).
- 1.
Weighting constants ρ and ζ (they define matrices A_{k}, see (12)-(13)). They should be chosen in such a way that ρ≫ζ>0, in order to force the algorithm towards an approximate linear solution on power flow variables.
- 2.
Initialization value for penalty parameters ξ. It should be set to a small value to guarantee a good algorithm outcome even when starting from a point very far from the optimum.
- 3.
Penalty parameters update constants 0<θ<1 and τ>1. In order to avoid a rapid increasing behavior on penalty parameters, the constants should be set to values close to 1.
5 Performance assessment
The algorithm performance is tested using three different scenarios, namely: 1) the wide area network IEEE Power System Test Case Archive [22]; 2) the IEEE PES Distribution Test Feeder [23,24]; 3) a microgrid topology generated according to the model proposed in [25]. The networks in Scenarios 2) and 3) have a tree topology, while Scenario 1) involves networks with many loops where algorithm convergence may be an issue. All chosen scenarios are moderate sized networks, with moderate non-convexities, which constitute the applicability field of the proposed algorithm. Applicability to more complex networks with more severe non-convexities and a high number of loops (e.g., the Polish system models) requires use of some additional (quasi centralized) coordination between entities, and will be the subject of future investigation.
5.1 Description of the scenarios
- 1.
Networks sizes N=30, 57, 118, and 300 are used. Constraints and load requests are set as from the MATPOWER distribution [26].
- 2.
The N=123 nodes network is used in single-phase fashion. The chosen settings are inspired by [6]. Load requests are set as given in the dataset, and generating capabilities ranges are added in the form |Q_{G,i}|≤1.2|Q_{L,i}|, and 0≤P_{G,i}≤30 kW, where the subscript L stands for load and G for generation. Voltage regulation is applied with 0.94≤|V_{i}|≤1.06.
- 3.
A unique network is selected with N=120. The network is generated as four joint small-world graphs with 30 nodes (to limit the depth of the graph) and rewiring probability p=0.4 (see also details in [16]). Lines lengths have an exponential distribution with parameter μ=65.86 m and a minimum distance set to 10 m. The impedance value is chosen 2.9400+j0.0861 Ω/km (class 1, 10 mm^{2} cables). Load requests are randomly generated with an uniform distribution in [0,3] kW, and with a uniform cosϕ with \(\phi \in [-\frac \pi 8,\frac \pi 8]\). 20% of the nodes are given generation capabilities, randomly distributed in [0,10] kW for active power and [−20,20] kVAr for reactive power. Voltage regulation is applied in the range 0.9≤|V_{i}|≤1.1.
5.2 Region partitioning
Region partitioning is a fundamental aspect for ensuring a good performance. Ideally, compact regions with very few outer connections guarantee limited complexity, accuracy of the solution, and controlled computational time. In the considered scenarios, region partitioning is chosen in such a way that a unique generator is available in each region, and the region further includes those loads which are electrically closer (in terms of line impedance) to the generator. Since this corresponds to an excessively fine partitioning in Scenario 2), for the IEEE feeder, the region choice is made in such a way that a local controller is placed at each network bifurcation point, and the associated region corresponds to all those nodes which are electrically closer to it (in terms of line impedance).
5.3 Simulation tools
The local optimization problem (see line 5 of Algorithm 2, or see the first of (24)) is solved by using IPOPT [27], an efficient IPM solver which allows a MatLab interface. Although a true optimality guarantee is not available, IPM methods are known to perform very well for OPF kind of problems. MUMPS linear solver is used within IPOPT, and the warm start option is used in such a way to start the local minimization process using the solution available from the previous iteration (this reduces computational times). The code is run on a MacBook Air and is written in MatLab [28].
5.4 Convergence test in the considered scenarios
Performance starting from a remote point
Network | ||||||
---|---|---|---|---|---|---|
IEEE 30 | IEEE 57 | IEEE 118 | IEEE 300 | IEEE feeder 123 | radial 120 | |
IPOPT | ||||||
Generated power P_{G} | 190.80 MW | 1.26 GW | 4.25 GW | 23.74 GW | 3.53 MW | 169.81 kW |
Number of iterations | 12 | 10 | 20 | 33 | 17 | 22 |
Processing time | 0.17 s | 0.29 s | 1.56 s | 20.97 s | 1.55 s | 1.45 s |
Algorithm 2 | ||||||
Number of regions R | 5 | 7 | 54 | 69 | 24 | 25 |
ρ | 3 | 3 | 5 | 5 | 10 | 10 |
ζ | 1/3 | 1/3 | 1/5 | 1/5 | 1/10 | 1/10 |
ξ | 3 | 3 | 10 | 10 | 30 | 30 |
θ | 0.99 | 0.99 | 0.99 | 0.99 | 0.99 | 0.99 |
τ | 1.02 | 1.02 | 1.02 | 1.02 | 1.02 | 1.02 |
Generated power P_{G} | 191.07 MW | 1.26 GW | 4.26 GW | 23.79 GW | 3.55 MW | 170.78 kW |
Gap | 0.14% | 0.002% | 0.25% | 0.23% | 0.42% | 0.57% |
Number of iterations | 110 | 144 | 186 | 216 | 246 | 85 |
Processing time (aggregate) | 8.93 s | 20.03 s | 119.18 s | 214.88 s | 110.22 s | 32.28 s |
Max processing time per region | 2.08 s | 6.42 s | 3.25 s | 12.16 s | 10.36 s | 5.18 s |
Average processing time per region | 1.79 s | 2.86 s | 2.21 s | 3.11 s | 4.59 s | 1.29 s |
For the three scenarios considered, Figure 2 shows in the first column the voltages V_{i} (amplitude and phase diagram) at convergence, together with the active voltage constraints. Observe that all voltage limitations are met.
The second column of Figure 2 shows the behavior of the primal gap in norm 2 and norm ∞ as a function of the iteration number t. Although the curves are not strictly decreasing, they are clearly diminishing to zero-gap value. The penalty parameters update, illustrated in the third column of Figure 2, shows the ability of (29)-(31) of keeping a small gap between maximum and minimum values of ε_{t}. The fact that the parameters are always increasing is due to the sub optimality of the distributed criterion with respect to the centralized criterion (27) which would be more effective in limiting the increase of penalty parameters. Nevertheless, the algorithm converges to points very close to the optimum (see Table 1) despite the very badly chosen initial point. In this respect, the local IPM solvers are fully capable of resolving the limit problem (35) and hence guarantee convergence to a feasible point. Note that the slower convergence is experienced with Scenario 2), i.e., the IEEE feeder with N=123. This is due to the fact that this is the network with highest depth due to its radial structure. This makes the distributed process particularly challenging since agreement must be obtained between regions that are very far one from the other.
Finally, in the fourth column of Figure 2, we provide the locally determined reactive power regulation (Q_{G,i} stands for reactive power at generators), which show a converging behavior in accordance with the fact that the primal gap is vanishing. A perfectly equivalent behavior is found for active powers (but this is not shown in figure).
5.5 Performance evaluation
A more in-depth performance measure for the tests of Figure 2 is given in Table 1, where the distributed approach of Algorithm 2 is compared with the performance of a centralized IPOPT solver.
Note that the performance gap with respect to a central solver is always below a 1% error, which is an impressive performance considering that we are dealing with a worst case situation, and that we are approaching the problem in distributed form with a severe network partitioning. As a matter of fact, the outstanding performance of IPMs is mainly due to their central coordination capabilities (e.g., see [15]). Incidentally, we observed that the performance of Algorithm 2 is almost independent of the chosen settings. As a consequence, the performance gap in Table 1 coincides with the ultimate accuracy that could be achieved after thousands of iterations for every studied case.
By inspecting the references, the reader can further appreciate the substantial improvement with respect to the performance of the ADMM-based algorithm of [15], and the sensibly improved network size and partitioning performance with respect to the preliminary algorithm version of [16].
5.6 Processing times
Figure 3 shows, for the six networks under consideration, the maximum local processing time and the aggregate processing time per iteration. These are almost constant throughout the iterative process, evidencing the fact that the processing time is approximately linear in the number of iterations. From Table 1, we can further extract some information on the time needed per region (the max processing time per region), which is in a range between 2 and 13 s, the value being in agreement with the literature on distributed OPF (e.g., see [6]).
Observe that communication delays were not taken into account in Figure 3 and Table 1, and in fact these can be made negligible by choosing a suitable communication technique. High data rate communication standards with associated short packet lengths are to be preferred. This is the case, for example, of broadband power line communication techniques which can guarantee packet lengths of less than a millisecond [29] and which can be deployed in small area applications (e.g., in micro grids). WiMax is a wireless alternative in these scenarios. For wide area applications, instead, optical fiber communications (e.g., gigabit Ethernet) are an appropriate solution.
6 Conclusions
In this paper, we proposed a distributed algorithm for OPF regulation based upon a non-convex formulation. By suitably controlling penalty parameters, the algorithm was proven to always converge under a proper assumption on local solver reliability. A certificate of convergence to a local minimum is also available under the request that penalty factors are bounded. The algorithm was shown to provide a reliable performance also in a worst case situation where the search for the optimum is initialized on a point very far from its final destination. The algorithm was proven to be efficient and fast and to be also robust with respect to a severe network partitioning. Its required computational effort was found to be of the order of state-of-the-art methods (using convex problem approximations to ease the convergence issue), with the added value of allowing for a full adherence to the original problem since no (convex) approximation is used.
On the applicability side, the distributed algorithm is readily applicable on moderate time scales (tens of seconds) and on moderate sized networks (up to 300 nodes) for system optimization purposes, not concerning fast regulation (e.g., fault or protection issues require much faster time scales). In this scenario, the algorithm is also expected to be robust to packet losses, because of its alternating direction structure.
Applicability to larger network sizes, with many loops, and more severe non-convexities is instead out of the scope of the present work. As a matter of fact, the proposed alternating direction search allows distributing the processing burden, but might not find an agreement (or it might take too long) in harsh situations. To overcome these difficulties, two strategies can be jointly employed. On the one side, some criteria to determine the optimal region partition strategy should be identified. On the other side, some additional coordination between agents should be used, e.g., a proper distributed generalization of the techniques used in the work of Martinez and Birgin et al. [18] which could also be capable of closing the performance gap with respect to a centralized solver. Use of recent advances on ADMM accelerated methods and scaling techniques (e.g., see [30]) is also an interesting option but need to be suitably adapted to a non-convex context. These aspects are left for future investigations.
Copyright information
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.