Second-order cone AC optimal power flow: convex relaxations and feasible solutions
- 153 Downloads
Abstract
Optimal power flow (OPF) is the fundamental mathematical model to optimize power system operations. Based on conic relaxation, Taylor series expansion and McCormick envelope, we propose three convex OPF models to improve the performance of the second-order cone alternating current OPF (SOC-ACOPF) model. The underlying idea of the proposed SOC-ACOPF models is to drop assumptions of the original SOC-ACOPF model by convex relaxation and approximation methods. A heuristic algorithm to recover feasible ACOPF solution from the relaxed solution of the proposed SOC-ACOPF models is developed. The proposed SOC-ACOPF models are examined through IEEE case studies under various load scenarios and power network congestions. The quality of solutions from the proposed SOC-ACOPF models is evaluated using MATPOWER (local optimality) and LINDOGLOBAL (global optimality). We also compare numerically the proposed SOC-ACOPF models with other two convex ACOPF models in the literature. The numerical results show robust performance of the proposed SOC-ACOPF models and the feasible solution recovery algorithm.
Keywords
Optimal power flow Conic relaxation McCormick envelope Taylor series expansion Feasible solution1 Introduction
Optimal power flow (OPF) is an indispensable tool in fairly wide areas of power system operations and the applications are still expanding [1, 2, 3, 4]. The challenges of integrating large amount of renewable energy, increasing multi-terminal high voltage direct current (HVDC) connections and growing number of prosumers in distribution grid are now pushing the electricity industry to seek more accurate, reliable and efficient OPF tools. Since the alternating current (AC) power flow constraints are complex, nonlinear and nonconvex in nature, enormous research efforts have been put into developing efficient algorithms to solve OPF during the past decades. References [1] and [2] summarize methods to solve OPF in the early stages ranging from linear, nonlinear and quadratic programming to Newton-based algorithm and interior point method (IPM). Heuristic optimization algorithms based on evolutionary and intelligence approaches to solve OPF can be found in [5] and [6]. Traditionally, the direct current OPF (DCOPF) as an estimation of full alternating current OPF (ACOPF) is pervasively employed for large-scale power system calculations [7]. With fast development of smart grids [8], distribution network is now in the unprecedented interest of advanced monitoring and control [9]. Distribution networks have larger resistance to reactance (R/X) ratio as compared to the transmission networks. Accordingly, the DCOPF results of distribution networks need to be carefully examined. Besides, the operation points and nodal prices obtained from solving ACOPF in transmission and distribution networks are more accurate [10, 11]. Accordingly, accurate and fast methods to solve ACOPF are in demand.
Mathematical modelling techniques to convexify the nonconvex ACOPF model by convex relaxations can give useful bound of ACOPF objective function. Convexity also guarantees finding global solution by using mature solution algorithms (e.g. IPM). Considering abundant commercially available solvers (such as MOSEK [12]) for solving convex optimization problems, the remaining task is to tighten the relaxations used in the convexification. Though assuming no lower bound for active power generation to exactly convexify mesh networks is not realistic, the proposed branch flow model in [13] as a convex relaxation of ACOPF is very important and useful. Reference [14] gives exact convex relaxations of OPF under some assumptions on network parameters. Based on the branch flow approach, authors in [15] present an ACOPF model using second-order cone programming (SOCP) and it shows accurate solutions for several IEEE test cases when the objective is transmission loss minimization. The SOCP based convex ACOPF model in [15] serves as the starting point of deriving our second-order cone ACOPF (SOC-ACOPF) models in this paper. A cone-programming-based OPF for radial distribution networks is proposed in [16]. Reference [9] continues to improve its cone relaxation by generating tight cutting planes. For radial networks, sufficient conditions regarding network property and voltage upper bound under which the proposed relaxed ACOPF can give global ACOPF solution are derived in [14]. Recent applications of SOCP based convex ACOPF model in distributional locational marginal pricing (DLMP), transmission-distribution coordination and decentralized power system operation can be found in [17, 18, 19].
Semi-definite programming (SDP) is another promising convexification approach for ACOPF [20, 21]. The computational limits of SDP are shown in [22]. Efficient algorithms for solving SDP-based ACOPF model remain to be found [20]. Regarding solving ACOPF in large-scale power networks, SDP-based ACOPF takes much more CPU time than SOCP-based ACOPF. Using matrix combination and decomposition techniques, authors in [23] accelerate SDP-based ACOPF and show that more than 1000 seconds solver time are required to compute cases with around 3000 buses. Important analysis and results from [24, 25, 26] show that SDP relaxations are exact only for limited types of problems. Even for a 2-bus 1-generator power system, SDP-based ACOPF can be infeasible and inexact [27]. In cases where the exactness is not guaranteed, solutions of SDP-based ACOPF rarely have physical meanings.
Results from [28] show that quadratic convex (QC) relaxation of ACOPF may produce some improvements in accuracy over SOCP-based ACOPF but with reduced computational efficiency. The feasible region relationship of SOCP, SDP and QC approaches are analyzed in [28]. The SDP and QC approaches give tighter relaxations than the SOCP approach but they are not equivalent to each other. In terms of computational performance, the QC and SOCP approaches are much faster and reliable than the SDP approach [28]. Based on first-order Taylor series expansion, a current voltage (IV) formulation for ACOPF is proposed in [29, 30]. The advantages of the current-voltage formulation are that the approximated ACOPF problem is linear and much faster to be solved than nonlinear formulations. However, an iterative algorithm is required to check the violations of nonconvex ACOPF constraints and then to construct the inner or outer bounds of the approximations. Authors in [31] propose three different relaxation methods to improve SOCP-based ACOPF. The arctangent constraints in the rectangular formulation of ACOPF are convexified by McCormick relaxations, polyhedral envelopes and dynamically generated linear inequalities [31]. The results show prominent computational efficiency of the SOCP approach over the SDP approach [31]. Compared with the formulations in [31], the proposed SOC-ACOPF models in this paper deal with the nonconvex ACOPF constraints directly and the set of decision variables used in our models are different.
Regarding the feasibility of the relaxed solutions, three types of sufficient conditions about power injections, voltage magnitudes and phase angles to guarantee obtaining exact solutions are proposed in [26]. Authors in [31] strengthen the relaxations of SOCP-based ACOPF model by dynamically generating linear valid inequalities to separate solutions of SOCP-based ACOPF from other relaxed constraints. However, it is not guaranteed that feasible solution can be always recovered by this approach. The complementarity conditions in the Karush–Kuhn–Tucker (KKT) system of DCOPF are used in [32] to recover feasible solution of ACOPF. A sequential algorithm to improve the tightness of some relaxed constraints of a SOCP-based ACOPF model is proposed in [17]. The performance of this algorithm for large power networks remains to be improved.
- 1)
Three SOC-ACOPF models based on second-order cone relaxations, Taylor series expansion and McCormick envelops are proposed.
- 2)
A heuristic algorithm is proposed to recover feasible solutions of ACOPF from the relaxed solutions obtained from the proposed SOC-ACOPF models.
- 3)
A computational comparison with other SOCP-based ACOPF formulations in the literature is conducted.
The rest of this paper is organized as follows. Section 2 presents mathematical formulations of the proposed SOC-ACOPF models. Section 3 proposes the heuristic algorithm to recover feasible solutions. Section 4 discusses numerical results for various IEEE test cases under different load scenarios and power network congestions. A numerical comparison with two other SOCP based convex ACOPF models in the literature is conducted. Section 5 concludes the improvements of the proposed SOC-ACOPF models.
2 SOC-ACOPF
It is assumed that the electric networks are three phase and balanced (this assumption is generally used by many OPF models such as the DCOPF model). Our proposed SOC-ACOPF models use less approximations or assumptions than the DCOPF model. Considering the wide application of DCOPF, the proposed SOC-ACOPF models are more applicable. The proposed SOC-ACOPF models are derived using line sending-end power injections and voltage phase angle difference variables. In this way, we can directly obtain voltage phase angle solutions from the models. Note that in some of the derived models, instead of using voltage magnitude variables \(v_{n},v_{s_{l}},v_{r_{l}}\), voltage magnitude square variables \(V_{n} \triangleq v^2_{n},V_{s_{l}} \triangleq v^2_{s_{l}},V_{r_{l}} \triangleq v^2_{r_{l}}\) are included (voltage magnitude can be recovered from the model by taking the root of the voltage magnitude square solutions). \(n\in N\) is the index of node set N, l is the index of transmission line set L. \(v_{n}\) is the voltage magnitude at node n. \(v_{s_{l}}, v_{r_{l}}\) are the voltage magnitudes at the sending end and receiving end of transmission line l. The convexity of the proposed SOC-ACOPF models are further validated numerically by MOSEK solver which can only solve convex programming models in general algebraic modeling system (GAMS). We want to emphasize that the numerical validation by MOSEK is a double-check of the convexity of the proposed SOC-ACOPF models. We have detailed analytic explanations in following sections about why our derived model are convex. In short, the fundamental reason is because all the derived constraints are either linear or in the form of second-order cone which are definitely convex constraints.
2.1 SOC-ACOPF: Model P
This approximation is based on following assumptions: \({\textcircled {1}}\) assumption 1, voltage magnitude product \(v_{s_{l}}v_{r_{l}}\) is approximately equal to 1 per-unit in (11); \({\textcircled {2}}\) assumption 2, voltage phase angle difference across each line is small enough such that \(\sin \theta _{l}\approx \theta _{l}\).
It is worth to mention that assumption 1 is only used to linearize constraint (11). Voltage solutions from Model P are allowed to take other values which do not satisfy assumption 1. In this paper, we refer Model P summarized in (1)–(10) as the original SOC-ACOPF model. We will gradually improve Model P by dropping assumptions 1 and 2 in following sections. Constraint (7) in Model P is replaced by different formulations in the new SOC-ACOPF models. Assumptions 1 and 2 are valid for both transmission and distribution network in normal operations. However, there can be abnormal situations when these assumptions do not hold. This is one of the reasons that we want to drop assumptions 1 and 2, and propose new SOC-ACOPF models in order to improve the solution accuracy.
2.2 SOC-ACOPF: Model R
Model R is convex because: \({\textcircled {1}}\) constraints (15)–(18), (21)–(28), (30)–(33) are linear; \({\textcircled {2}}\) constraint (29) is in the form of second-order cone. For the convexity of other constraints, please refer to the explanations of Model P in Section 2.1.
2.3 SOC-ACOPF: Model T
Model T is convex because: \({\textcircled {1}}\) constraints (40)–(45), (53)–(56), (58)–(61) are linear; \({\textcircled {2}}\) constraints (49)–(52) and (57) are in the form of second-order cone. For the convexity of other constraints, please refer to the explanations of Model P in Section 2.1 and Model R in Section 2.2.
2.4 SOC-ACOPF: Model E
Model E is convex because constraints (63)–(73) are linear. For the convexity of other constraints, please refer to the explanations of Model P in Section 2.1.
3 Feasibility
Objective value
Case | Objective value ($) | |||||||
---|---|---|---|---|---|---|---|---|
Model P | Model R | Model T | Model E | Model 1 | Model 2 | MATPOWER | LINDOGLOBAL | |
IEEE 14 | 8078.84 | 8075.22 | 8106.73 | 8092.32 | 8072.42 | 8073.16 | 8081.53 | 8081.54 |
IEEE 57 | 41696.94 | 41711.78 | 41713.25 | 41711.78 | 41673.10 | NA | 41737.79 | 41737.93 |
IEEE 118 | 12919.50 | 129339.60 | 129625.50 | 129376.00 | 129330.74 | 129325.68 | 129660.70 | 129660.54 |
IEEE 300 | 719381.80 | 718301.60 | 721368.40 | 718546.27 | 718091.78 | 719451.23 | 719725.11 | NA |
1354pegase | 74053.90 | 74096.14 | 74100.85 | 74040.99 | 74006.84 | 73974.56 | 74069.35 | NA |
2869pegase | 133877.00 | 133875.40 | 133931.40 | 133934.70 | 133866.95 | 133823.28 | 133999.29 | NA |
Computation CPU time
Case | CPU time (s) | |||||||
---|---|---|---|---|---|---|---|---|
Model P | Model R | Model T | Model E | Model 1 | Model 2 | MATPOWER | LINDOGLOBAL | |
IEEE 14 | 0.08 | 0.06 | 0.12 | 0.09 | 0.08 | 0.07 | 0.11 | 0.20 |
IEEE 57 | 0.09 | 0.11 | 0.25 | 0.17 | 0.11 | NA | 0.12 | 2.31 |
IEEE 118 | 0.09 | 0.27 | 0.54 | 0.36 | 0.13 | 0.09 | 0.30 | 27.10 |
IEEE 300 | 0.25 | 1.29 | 1.48 | 0.64 | 0.25 | 0.22 | 0.48 | NA |
1354pegase | 0.76 | 2.78 | 3.92 | 2.50 | 0.64 | 2.56 | 8.58 | NA |
2869pegase | 1.97 | 10.94 | 11.47 | 9.72 | 1.23 | 6.82 | 18.66 | NA |
4 Numerical results
All the proposed SOC-ACOPF models (Model P, Model R, Model T and Model E) are implemented in GAMS and solved by MOSEK. A computer with 2.4 GHz CPU and 8 GB RAM is deployed for the computations (except the computations in Section 4.2). It is worth to mention that voltage phase angle solutions can be obtained from solving the proposed SOC-ACOPF models directly since voltage phase angle is one of the decision variables in all the SOC-ACOPF models (see constraint (7) in Model P, constraints (17), (18) in Model R, constraints (40)–(45) in Model T and constraints (72), (73) in Model E). The convergence of MOSEK solver is guaranteed by the convexity of all the proposed SOC-ACOPF models. Solutions of ACOPF from MATPOWER [34] and LINDOGLOBAL are set as the benchmarks. The LINDOGLOBAL solver employs branch-and-cut methods to find the global optimal solution. MATPOWER uses MATLAB built-in interior point solver (MIPS) to solve nonconvex ACOPF. If a solution is not found, we denote the corresponding result as ‘NA’ (the LINDOGLOBAL solver in GAMS currently cannot solve optimization models with over 3000 variables and 2000 constraints). To compare with other SOC-ACOPF models in the literature, we also implement the model in reference [13] (denoted as Model 1 in the tables) and the model in reference [28] (denoted as Model 2 in the tables). The data for test case of 1354pegase and 2869pegase are from reference [35].
Since all the proposed SOC-ACOPF models are convex, solutions from MOSEK solver in GAMS for the models are global optimal. Please note the solutions of the proposed SOC-ACOPF models are global optimal for the corresponding SOC-ACOPF models. We do not mean that the optimal solutions from SOC-ACOPF models are global optimal for the nonconvex ACOPF model. Only the solutions from LINDOGLOBAL here can be regarded as the global optimal solution for the nonconvex ACOPF model. The solutions from MATPOWER are local optimal and are not guaranteed to be global optimal for the nonconvex ACOPF model. The slight differences of the solutions from the proposed SOC-ACOPF models are because the formulations are different and they have different feasible regions. In other words, the proposed SOC-ACOPF models are not equivalent with each other. This is why we use LINDOGLOBAL as a benchmark for the comparisons. The relative gap termination tolerance of the solution algorithm using by MOSEK to solve SOC-ACOPF models is \(10^{-7}\). If the GAMS solution report of the MOSEK solver claims normal_completion, which means optimal solution is found, we will report the numerical results. The convexity of the proposed SOC-ACOPF models are further validated numerically here since the MOSEK solver in GAMS can only solve convex optimizal problems.
4.1 Performance of SOC-ACOPF models
4.1.1 Base case
The SOC-ACOPF objective values are listed in Table 1. The best results compared with LIDOGLOBAL are in bold. When LINDOGLOBAL cannot converge, we use the recovered best feasible solutions from Section 4.2 as the benchmark. The LINDOGLOBAL solver is able to find global solutions for IEEE 14-bus, IEEE 57-bus and IEEE 118-bus cases. For larger power networks, the number of variables and constraints exceed the limits of LINDOGLOBAL. The results of MATPOWER and LINDOGLOBAL are very close. All proposed SOC-ACOPF models give very close results as compared to MATPOWER and LINDOGLOBAL solutions. Normally, since our SOC-ACOPF models are relaxed models, the objective solutions are slightly lower than the solutions from LINDOGLOBAL which solves the nonconvex ACOPF model. Compared to LINDOGLOBAL results, the objective values of IEEE 14-bus case from Model T and Model E are bit higher. The reason is that the voltage phase angle constraint \(0<\overline{\theta _{l}}<\pi /2\) is included in Model E while this is not necessary for the nonconvex ACOPF model in GAMS solved by LINDOGLOBAL (this can be also due to the accuracy tolerance differences of different optimization solvers).
The computation time results are listed in Table 2. Model P requires least computation time while Model T requires the most. This is because model complexity increases as we increase model accuracy. The accuracy improvement is validated by the solution results in Table 1. All proposed SOC-ACOPF models are computationally competitive with MATPOWER. The proposed SOC-ACOPF models require much less computation time as compared to MATPOWER for large-scale network cases (see the results of 1354pegase and 2869pegase cases in Table 2). Our proposed SOC-ACOPF models are valid for both radial and mesh power networks.
To compare the computational performance of different SOCP-based ACOPF formulations, we have also implemented the ACOPF models in [13] and [28]. The results are listed in Tables 1 and 2. It is worth to mention that the model in reference [28] takes much longer time than our proposed SOC-ACOPF models for GAMS to generate the executable model format to the solver though the solver CPU time is short. In general, the model in [13] has the least number of constraints and requires less computational time. However, this model is not valid for mesh networks because there is no voltage phase angle constraint in this model (the results from the model in [13] are relaxed solutions for mesh networks). For the model in [28], MOSEK in GAMS cannot converge for the IEEE 57-bus test case. These results show stronger robust performance of our SOC-ACOPF models compared with the other two convex ACOPF models in the literature.
4.1.2 Power load scenarios
4.1.3 Congested power networks
Convergence performance in congested power networks
Case | Number of convergent solutions | Total number of transmission lines | ||||
---|---|---|---|---|---|---|
Model P | Model R | Model T | Model E | MATPOWER | ||
IEEE 14 | 20 | 20 | 20 | 20 | 19 | 20 |
IEEE 57 | 79 | 80 | 77 | 80 | 80 | 80 |
IEEE 118 | 186 | 186 | 185 | 186 | 182 | 186 |
IEEE 300 | 357 | 372 | 350 | 359 | 344 | 411 |
1354pegase | 1391 | 1723 | 1655 | 1665 | 1366 | 1991 |
2869pegase | 3897 | 4278 | 4221 | 4238 | 3409 | 4582 |
Objective values of recovered feasible solution
Case | Objective value ($) | |||||||
---|---|---|---|---|---|---|---|---|
Model P | Model R | Model T | Model E | Model 1 | Model 2 | MATPOWER | LINDOGLOBAL | |
IEEE 14 | 8081.61 | 8081.63 | 8106.73 | 8091.10 | 8081.63 | 8081.63 | 8081.53 | 8081.54 |
IEEE 57 | 41738.11 | 41738.15 | 41738.14 | 41738.15 | 41738.15 | NA | 41737.79 | 41737.93 |
IEEE 118 | 129660.92 | 129668.43 | 129668.29 | 129667.12 | 129668.43 | 129670.80 | 129660.70 | 129660.54 |
IEEE 300 | 719900.86 | 719536.08 | 719516.79 | 719526.16 | 719522.19 | 720335.29 | 719725.11 | NA |
1354pegase | 74064.77 | 74064.77 | 74064.77 | 74064.77 | 74064.77 | 74064.77 | 74069.35 | NA |
2869pegase | 133987.76 | 133991.67 | 133991.67 | 133991.67 | 133991.67 | 133991.67 | 133999.29 | NA |
Computation time of feasible solution recovery algorithm
Case | CPU time (s) | |||||||
---|---|---|---|---|---|---|---|---|
Model P | Model R | Model T | Model E | Model 1 | Model 2 | MATPOWER | LINDOGLOBAL | |
IEEE 14 | 0.11 | 0.18 | 0.26 | 0.12 | 0.22 | 0.25 | 0.11 | 0.20 |
IEEE 57 | 1.05 | 1.50 | 1.22 | 1.17 | 1.59 | NA | 0.12 | 2.31 |
IEEE 118 | 1.44 | 2.41 | 1.37 | 3.03 | 4.08 | 3.47 | 0.30 | 27.10 |
IEEE 300 | 14.55 | 24.56 | 15.13 | 131.55 | 15.28 | 13.42 | 14.53 | NA |
1354pegase | 45.90 | 41.77 | 69.55 | 33.91 | 58.61 | 19.45 | 8.58 | NA |
2869pegase | 234.61 | 769.156 | 140.58 | 525.00 | 203.69 | 127.30 | 18.66 | NA |
4.2 Feasible solution
The heuristic algorithm described in Section 3 for recovering a feasible solution is validated numerically in this section. We use the IPOPT solver in GAMS to solve the nonconvex ACOPF model. A desktop with 3.4 GHz CPU and 32 GB RAM is used to implement Algorithm 1. For all the relaxed solutions of SOC-ACOPF models listed in Table 1, the feasible solutions are recovered within two iterations. The objective function values of the recovered feasible solutions are listed in Table 4. The CPU time required for the computation of the feasible solutions are reported in Table 5. The feasible solutions from the models in [13] and [28] are also recovered and reported. Feasible solutions recovered from our SOC-ACOPF models are better than [13] and [28]. For 1354pegase and 2869pegase test cases, feasible solutions with lower objective function values than the solutions from MATPOWER are recovered. The disadvantage of the proposed heuristic feasible solution recovery algorithm is that the computation time is larger than solving the nonconvex ACOPF model by MATPOWER. However, this algorithm is still useful when computation time is not strictly constrained considering some recovered feasible solutions are better than the solutions obtained from MATPOWER. It is also worth to mention that, since IPOPT is an open source solver, it may not be suitable to compare the CPU time of IPOPT with the MIPS solver in MATLAB which is commercial software. The major reason of larger CPU time is due to the iterative nature of the heuristic feasible solution recovery algorithm.
5 Conclusion
Three second-order cone models (Model R, Model T and Model E) for ACOPF are proposed using convex relaxation and approximation techniques. Compared with other SOCP-based ACOPF formulations in the literature, our formulations are valid for both mesh and radial power networks. The numerical results show that the proposed SOC-ACOPF models can give accurate results. Though the bilinear transformation based derivations lead to more constraints in the proposed SOC-ACOPF models compared with Model P, the accuracy improvement is achieved with similar computation time as compared to MATPOWER. The quality of results with respect to the global optimal solution is also checked using LINDOGLOBAL solver in GAMS. The computation results for various power load scenarios show robust performance of the proposed SOC-ACOPF models. An interesting observation from the results of test cases with low power load levels when MATPOWER cannot converge is that high relaxation gap values from the solutions of the proposed SOC-ACOPF models can actually be regarded as indicators of non-convergence of the original nonconvex ACOPF model. In these cases, the objective value solutions from the proposed SOC-ACOPF models can serve as lower bounds of the original nonconvex ACOPF model.
A computational comparison of different SOCP-based ACOPF formulations shows the strong convergence performance of the proposed SOC-ACOPF models. To recover feasible solutions from the relaxed solutions of the proposed SOC-ACOPF models, we develop a heuristic feasible solution recovery algorithm. This algorithm is capable of recovering the feasible solutions from all the relaxed solutions of the proposed SOC-ACOPF models in the test cases. Another key observation from our research is that, instead of seeking one single model to satisfy all test cases under all scenarios, it is perhaps more realistic to provide multiple models or methods, which can be valuable or applicable for the power network operators to deal with many different test cases or operational situations. This is reasonable considering the large-scale changing nature of power network parameters (such as power loads and network congestions) in the real-world operations. Considering uncertainties for the proposed SOC-ACOPF models can be good future work.
Notes
Acknowledgements
The authors would like to express special thanks to the editors’ and reviewers’ great efforts of reviewing and improving this paper.
References
- [1]Momoh JA, Adapa R, El-Hawary ME (1999) A review of selected optimal power flow literature to 1993 Part I: nonlinear and quadratic programming approaches. IEEE Trans Power Syst 14(1):96–104CrossRefGoogle Scholar
- [2]Momoh JA, El-Hawary M, Adapa R (1999) A review of selected optimal power flow literature to 1993 Part II: Newton, linear programming and interior point methods. IEEE Trans Power Syst 14(1):105–111CrossRefGoogle Scholar
- [3]Sun G, Chen S, Wei Z (2017) Multi-period integrated natural gas and electric power system probabilistic optimal power flow incorporating power-to-gas units. J Mod Power Syst Clean Energy 5(3):412–423CrossRefGoogle Scholar
- [4]Cao J, Yan Z, Xu X (2016) Optimal power flow calculation in AC/DC hybrid power system based on adaptive simplified human learning optimization algorithm. J Mod Power Syst Clean Energy 4(4):690–701CrossRefGoogle Scholar
- [5]Niu M, Wan C, Xu Z (2014) A review on applications of heuristic optimization algorithms for optimal power flow in modern power systems. J Mod Power Syst Clean Energy 2(4):289–297CrossRefGoogle Scholar
- [6]Cai H, Chung C, Wong K (2008) Application of differential evolution algorithm for transient stability constrained optimal power flow. IEEE Trans Power Syst 23(2):719–728CrossRefGoogle Scholar
- [7]Overbye TJ, Cheng X, Sun Y (2004) A comparison of the AC and DC power flow models for LMP calculations. In: Proceedings of the 37th annual Hawaii international conference on system sciences, Big Island, USA, 5–8 January 2004, 9 ppGoogle Scholar
- [8]Amin SM, Wollenberg BF (2005) Toward a smart grid: power delivery for the 21st century. IEEE Power Energy Mag 3(5):34–41CrossRefGoogle Scholar
- [9]Abdelouadoud S, Girard R, Neirac FP (2015) Optimal power flow of a distribution system based on increasingly tight cutting planes added to a second order cone relaxation. Int J Electr Power Energy Syst 69:9–17CrossRefGoogle Scholar
- [10]Lipka P, Oren S, O’Neill R (2016) Running a more complete market with the SLP-IV-ACOPF. IEEE Trans Power Syst 32(2):1139–1148CrossRefGoogle Scholar
- [11]Liu Y, Li J, Wu L (2017) Distribution system restructuring: distribution LMP via unbalanced ACOPF. IEEE Trans Smart Grid 9(5):4038–4048CrossRefGoogle Scholar
- [12]MOSEK (2018) The MOSEK optimization software. http://www.mosek.com. Accessed 1 March 2018
- [13]Farivar M, Low SH (2013) Branch flow model: relaxations and convexification: Part I. IEEE Trans Power Syst 28(3):2554–2564CrossRefGoogle Scholar
- [14]Gan L, Li N, Topcu U (2015) Exact convex relaxation of optimal power flow in radial networks. IEEE Trans Autom Control 60(1):72–87MathSciNetCrossRefGoogle Scholar
- [15]Baradar M, Hesamzadeh MR (2015) AC power flow representation in conic format. IEEE Trans Power Syst 30(1):546–547CrossRefGoogle Scholar
- [16]Jabr RA (2006) Radial distribution load flow using conic programming. IEEE Trans Power Syst 21(3):1458–1459MathSciNetCrossRefGoogle Scholar
- [17]Yuan Z, Hesamzadeh MR, Biggar D (2016) Distribution locational marginal pricing by convexified ACOPF and hierarchical dispatch. IEEE Trans Smart Grid 9(4):3133–3142CrossRefGoogle Scholar
- [18]Yuan Z, Hesamzadeh MR (2017) Hierarchical coordination of TSO-DSO economic dispatch considering large-scale integration of distributed energy resources. Appl Energy 195:600–615CrossRefGoogle Scholar
- [19]Yuan Z, Hesamzadeh MR (2017) A modified benders decomposition algorithm to solve second-order cone AC optimal power flow. IEEE Trans Smart Grid. https://doi.org/10.1109/TSG.2017.2776407 CrossRefGoogle Scholar
- [20]Bai X, Wei H, Fujisawa K (2008) Semidefinite programming for optimal power flow problems. Int J Electr Power Energy Syst 30(6):383–392CrossRefGoogle Scholar
- [21]Lavaei J, Low SH (2012) Zero duality gap in optimal power flow problem. IEEE Trans Power Syst 27(1):92–107CrossRefGoogle Scholar
- [22]Lesieutre BC, Molzahn DK, Borden AR et al (2011) Examining the limits of the application of semidefinite programming to power flow problems. In: Proceedings of 49th annual Allerton conference on communication, control, and computing, Monticello, USA, 28–30 September 2011, pp 1492–1499Google Scholar
- [23]Molzahn D, Holzer J, Lesieutre B (2013) Implementation of a large-scale optimal power flow solver based on semidefinite programming. IEEE Trans Power Syst 28(4):3987–3998CrossRefGoogle Scholar
- [24]Lavaei J, Tse D, Zhang B (2014) Geometry of power flows and optimization in distribution networks. IEEE Trans Power Syst 29(2):572–583CrossRefGoogle Scholar
- [25]Low S (2014) Convex relaxation of optimal power flow, Part I: formulations and equivalence. IEEE Trans Control Netw Syst 1(1):15–27MathSciNetCrossRefGoogle Scholar
- [26]Low SH (2014b) Convex relaxation of optimal power flow, Part II: exactness. IEEE Trans Control Netw Syst 1(2):177–189MathSciNetCrossRefGoogle Scholar
- [27]Kocuk B, Dey SS, Sun XA (2016) Inexactness of SDP relaxation and valid inequalities for optimal power flow. IEEE Trans Power Syst 31(1):642–651CrossRefGoogle Scholar
- [28]Coffrin C, Hijazi HL, Hentenryck PV (2016) The QC relaxation: a theoretical and computational study on optimal power flow. IEEE Trans Power Syst 31(4):3008–3018CrossRefGoogle Scholar
- [29]O’Neill RP, Castillo A, Cain MB (2012) The IV formulation and linear approximations of the AC optimal power flow problem. FERC Staff Technical PaperGoogle Scholar
- [30]O’Neill RP, Castillo A, Cain MB (2012) The computational testing of AC optimal power flow using the current voltage formulations. FERC Staff Technical PaperGoogle Scholar
- [31]Kocuk B, Dey SS, Sun XA (2016) Strong SOCP relaxations for the optimal power flow problem. Oper Res 64(6):1177–1196MathSciNetCrossRefGoogle Scholar
- [32]Ghamkhari M, Sadeghi-Mobarakeh A, Mohsenian-Rad H (2016) Strategic bidding for producers in nodal electricity markets: a convex relaxation approach. IEEE Trans Power Syst 32(3):2324–2336CrossRefGoogle Scholar
- [33]McCormick GP (1976) Computability of global solutions to factorable nonconvex programs: Part I convex underestimating problems. Math Program 10(1):147–175CrossRefGoogle Scholar
- [34]Zimmerman RD, Murillo-Sánchez CE, Thomas RJ (2011) MATPOWER: steady-state operations, planning, and analysis tools for power systems research and education. IEEE Trans Power Syst 26(1):12–19CrossRefGoogle Scholar
- [35]Fliscounakis S, Panciatici P, Capitanescu F (2013) Contingency ranking with respect to overloads in very large power systems taking into account uncertainty, preventive, and corrective actions. IEEE Trans Power Syst 28(4):4909–4917CrossRefGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.