-
Hausdorff Continuity of Region of Attraction Boundary Under Parameter Variation with Application to Disturbance Recovery
Authors:
Michael W. Fisher,
Ian A. Hiskens
Abstract:
Consider a parameter dependent vector field on either Euclidean space or a compact Riemannian manifold. Suppose that it possesses a parameter dependent initial condition and a parameter dependent stable hyperbolic equilibrium point. It is valuable to determine the set of parameter values, which we call the recovery set, whose corresponding initial conditions lie within the region of attraction of…
▽ More
Consider a parameter dependent vector field on either Euclidean space or a compact Riemannian manifold. Suppose that it possesses a parameter dependent initial condition and a parameter dependent stable hyperbolic equilibrium point. It is valuable to determine the set of parameter values, which we call the recovery set, whose corresponding initial conditions lie within the region of attraction of the corresponding stable equilibrium point. A boundary parameter value is a parameter value whose corresponding initial condition lies in the boundary of the region of attraction of the corresponding stable equilibrium point. Prior algorithms numerically estimated the recovery set by estimating its boundary via computation of boundary parameter values. The primary purpose of this work is to provide theoretical justification for those algorithms for a large class of parameter dependent vector fields. This includes proving that, for these vector fields, the boundary of the recovery set consists of boundary parameter values, and that the properties exploited by the algorithms to compute these desired boundary parameters will be satisfied. The main technical result which these proofs rely on is establishing that the region of attraction boundary varies continuously in an appropriate sense with respect to small variation in parameter value for this class of vector fields. Hence, the majority of this work is devoted to proving this result, which may be of independent interest. The proof of continuity proceeds by proving that, for this class of vector fields, the region of attraction permits a decomposition into a union of the stable manifolds of the equilibrium points and periodic orbits it contains, and this decomposition persists under small perturbations to the vector field.
△ Less
Submitted 7 October, 2020;
originally announced October 2020.
-
Distributed Barrier Certificates for Safe Operation of Inverter-Based Microgrids
Authors:
Soumya Kundu,
Sijia Geng,
Sai Pushpak Nandanoori,
Ian A. Hiskens,
Karan Kalsi
Abstract:
Inverter-interfaced microgrids differ from the traditional power systems due to their lack of inertia. Vanishing timescale separation between voltage and frequency dynamics makes it critical that faster-timescale stabilizing control laws also guarantee by-construction the satisfaction of voltage limits during transients. In this article, we apply a barrier functions method to compute distributed a…
▽ More
Inverter-interfaced microgrids differ from the traditional power systems due to their lack of inertia. Vanishing timescale separation between voltage and frequency dynamics makes it critical that faster-timescale stabilizing control laws also guarantee by-construction the satisfaction of voltage limits during transients. In this article, we apply a barrier functions method to compute distributed active and reactive power setpoint control laws that certify satisfaction of voltage limits during transients. Using sum-of-squares optimization tools, we propose an algorithmic construction of these control laws. Numerical simulations are provided to illustrate the proposed method.
△ Less
Submitted 22 March, 2019;
originally announced March 2019.
-
Inner Approximation of Minkowski Sums: A Union-Based Approach and Applications to Aggregated Energy Resources
Authors:
Md Salman Nazir,
Ian A. Hiskens,
Andrey Bernstein,
Emiliano Dall'Anese
Abstract:
This paper develops and compares algorithms to compute inner approximations of the Minkowski sum of convex polytopes. As an application, the paper considers the computation of the feasibility set of aggregations of distributed energy resources (DERs), such as solar photovoltaic inverters, controllable loads, and storage devices. To fully account for the heterogeneity in the DERs while ensuring an…
▽ More
This paper develops and compares algorithms to compute inner approximations of the Minkowski sum of convex polytopes. As an application, the paper considers the computation of the feasibility set of aggregations of distributed energy resources (DERs), such as solar photovoltaic inverters, controllable loads, and storage devices. To fully account for the heterogeneity in the DERs while ensuring an acceptable approximation accuracy, the paper leverages a union-based computation and advocates homothet-based polytope decompositions. However, union-based approaches can in general lead to high-dimensionality concerns; to alleviate this issue, this paper shows how to define candidate sets to reduce the computational complexity. Accuracy and trade-offs are analyzed through numerical simulations for illustrative examples.
△ Less
Submitted 3 October, 2018;
originally announced October 2018.
-
A Dynamical Systems Approach to Modeling and Analysis of Transactive Energy Coordination
Authors:
Md Salman Nazir,
Ian A. Hiskens
Abstract:
Under transactive (market-based) coordination, a population of distributed energy resources (DERs), such as thermostatically controlled loads (TCLs) and storage devices, bid into an energy market. Consequently, a certain level of demand will be cleared based on the operating conditions of the grid. This paper analyzes the influence of various factors, such as price signals, feeder limits, and user…
▽ More
Under transactive (market-based) coordination, a population of distributed energy resources (DERs), such as thermostatically controlled loads (TCLs) and storage devices, bid into an energy market. Consequently, a certain level of demand will be cleared based on the operating conditions of the grid. This paper analyzes the influence of various factors, such as price signals, feeder limits, and user-defined bid functions and preferences, on the aggregate energy usage of DERs. We identify cases that can lead to load synchronization, undesirable power oscillations and highly volatile prices. To address these issues, the paper develops an aggregate model of DERs under transactive coordination. A set of Markov transition equations have been developed over discrete ranges (referred to as "bins") of price levels and their associated DER operating states. A detailed investigation of the performance of this aggregate model is presented. With reformulation of the transition equations, the bin model has been incorporated into a model predictive control setting using both mixed integer programming and quadratic programming. A case study shows that a population of TCLs can be managed economically while avoiding congestion in a distribution grid. Simulations also demonstrate that power oscillations arising from synchronization of TCLs can be effectively avoided.
△ Less
Submitted 3 October, 2018;
originally announced October 2018.
-
Moment Relaxations of Optimal Power Flow Problems: Beyond the Convex Hull
Authors:
Daniel K. Molzahn,
Cedric Josz,
Ian A. Hiskens
Abstract:
Optimal power flow (OPF) is one of the key electric power system optimization problems. "Moment" relaxations from the Lasserre hierarchy for polynomial optimization globally solve many OPF problems. Previous work illustrates the ability of higher-order moment relaxations to approach the convex hulls of OPF problems' non-convex feasible spaces. Using a small test case, this paper focuses on the abi…
▽ More
Optimal power flow (OPF) is one of the key electric power system optimization problems. "Moment" relaxations from the Lasserre hierarchy for polynomial optimization globally solve many OPF problems. Previous work illustrates the ability of higher-order moment relaxations to approach the convex hulls of OPF problems' non-convex feasible spaces. Using a small test case, this paper focuses on the ability of the moment relaxations to globally solve problems with objective functions that have unconstrained minima at infeasible points inside the convex hull of the non-convex constraints.
△ Less
Submitted 7 December, 2016;
originally announced December 2016.
-
Computational Analysis of Sparsity-Exploiting Moment Relaxations of the OPF Problem
Authors:
Daniel K. Molzahn,
Cedric Josz,
Ian A. Hiskens,
Patrick Panciatici
Abstract:
With the potential to find global solutions, significant research interest has focused on convex relaxations of the non-convex OPF problem. Recently, "moment-based" relaxations from the Lasserre hierarchy for polynomial optimization have been shown capable of globally solving a broad class of OPF problems. Global solution of many large-scale test cases is accomplished by exploiting sparsity and se…
▽ More
With the potential to find global solutions, significant research interest has focused on convex relaxations of the non-convex OPF problem. Recently, "moment-based" relaxations from the Lasserre hierarchy for polynomial optimization have been shown capable of globally solving a broad class of OPF problems. Global solution of many large-scale test cases is accomplished by exploiting sparsity and selectively applying the computationally intensive higher-order relaxation constraints. Previous work describes an iterative algorithm that indicates the buses for which the higher-order constraints should be enforced. In order to speed computation of the moment relaxations, this paper provides a study of the key parameter in this algorithm as applied to relaxations from both the original Lasserre hierarchy and a recent complex extension of the Lasserre hierarchy.
△ Less
Submitted 16 March, 2016;
originally announced March 2016.
-
Convex Relaxations of Optimal Power Flow Problems: An Illustrative Example
Authors:
Daniel K. Molzahn,
Ian A. Hiskens
Abstract:
Recently, there has been significant interest in convex relaxations of the optimal power flow (OPF) problem. A semidefinite programming (SDP) relaxation globally solves many OPF problems. However, there exist practical problems for which the SDP relaxation fails to yield the global solution. Conditions for the success or failure of the SDP relaxation are valuable for determining whether the relaxa…
▽ More
Recently, there has been significant interest in convex relaxations of the optimal power flow (OPF) problem. A semidefinite programming (SDP) relaxation globally solves many OPF problems. However, there exist practical problems for which the SDP relaxation fails to yield the global solution. Conditions for the success or failure of the SDP relaxation are valuable for determining whether the relaxation is appropriate for a given OPF problem. To move beyond existing conditions, which only apply to a limited class of problems, a typical conjecture is that failure of the SDP relaxation can be related to physical characteristics of the system. By presenting an example OPF problem with two equivalent formulations, this paper demonstrates that physically based conditions cannot universally explain algorithm behavior. The SDP relaxation fails for one formulation but succeeds in finding the global solution to the other formulation. Since these formulations represent the same system, success (or otherwise) of the SDP relaxation must involve factors beyond just the network physics. The lack of universal physical conditions for success of the SDP relaxation motivates the development of tighter convex relaxations capable of solving a broader class of problems. Tools from polynomial optimization theory provide a means of developing tighter relaxations. We use the example OPF problem to illustrate relaxations from the Lasserre hierarchy for polynomial optimization and a related "mixed semidefinite/second-order cone programming" hierarchy.
△ Less
Submitted 14 October, 2015;
originally announced October 2015.
-
Solution of Optimal Power Flow Problems using Moment Relaxations Augmented with Objective Function Penalization
Authors:
Daniel K. Molzahn,
Cédric Josz,
Ian A. Hiskens,
Patrick Panciatici
Abstract:
The optimal power flow (OPF) problem minimizes the operating cost of an electric power system. Applications of convex relaxation techniques to the non-convex OPF problem have been of recent interest, including work using the Lasserre hierarchy of "moment" relaxations to globally solve many OPF problems. By preprocessing the network model to eliminate low-impedance lines, this paper demonstrates th…
▽ More
The optimal power flow (OPF) problem minimizes the operating cost of an electric power system. Applications of convex relaxation techniques to the non-convex OPF problem have been of recent interest, including work using the Lasserre hierarchy of "moment" relaxations to globally solve many OPF problems. By preprocessing the network model to eliminate low-impedance lines, this paper demonstrates the capability of the moment relaxations to globally solve large OPF problems that minimize active power losses for portions of several European power systems. Large problems with more general objective functions have thus far been computationally intractable for current formulations of the moment relaxations. To overcome this limitation, this paper proposes the combination of an objective function penalization with the moment relaxations. This combination yields feasible points with objective function values that are close to the global optimum of several large OPF problems. Compared to an existing penalization method, the combination of penalization and the moment relaxations eliminates the need to specify one of the penalty parameters and solves a broader class of problems.
△ Less
Submitted 20 August, 2015;
originally announced August 2015.
-
A Laplacian-Based Approach for Finding Near Globally Optimal Solutions to OPF Problems
Authors:
Daniel K. Molzahn,
Cédric Josz,
Ian A. Hiskens,
Patrick Panciatici
Abstract:
A semidefinite programming (SDP) relaxation globally solves many optimal power flow (OPF) problems. For other OPF problems where the SDP relaxation only provides a lower bound on the objective value rather than the globally optimal decision variables, recent literature has proposed a penalization approach to find feasible points that are often nearly globally optimal. A disadvantage of this penali…
▽ More
A semidefinite programming (SDP) relaxation globally solves many optimal power flow (OPF) problems. For other OPF problems where the SDP relaxation only provides a lower bound on the objective value rather than the globally optimal decision variables, recent literature has proposed a penalization approach to find feasible points that are often nearly globally optimal. A disadvantage of this penalization approach is the need to specify penalty parameters. This paper presents an alternative approach that algorithmically determines a penalization appropriate for many OPF problems. The proposed approach constrains the generation cost to be close to the lower bound from the SDP relaxation. The objective function is specified using iteratively determined weights for a Laplacian matrix. This approach yields feasible points to the OPF problem that are guaranteed to have objective values near the global optimum due to the constraint on generation cost. The proposed approach is demonstrated on both small OPF problems and a variety of large test cases representing portions of European power systems.
△ Less
Submitted 2 April, 2016; v1 submitted 26 July, 2015;
originally announced July 2015.
-
Sparsity-Exploiting Moment-Based Relaxations of the Optimal Power Flow Problem
Authors:
Daniel K. Molzahn,
Ian A. Hiskens
Abstract:
Convex relaxations of non-convex optimal power flow (OPF) problems have recently attracted significant interest. While existing relaxations globally solve many OPF problems, there are practical problems for which existing relaxations fail to yield physically meaningful solutions. This paper applies moment relaxations to solve many of these OPF problems. The moment relaxations are developed from th…
▽ More
Convex relaxations of non-convex optimal power flow (OPF) problems have recently attracted significant interest. While existing relaxations globally solve many OPF problems, there are practical problems for which existing relaxations fail to yield physically meaningful solutions. This paper applies moment relaxations to solve many of these OPF problems. The moment relaxations are developed from the Lasserre hierarchy for solving generalized moment problems. Increasing the relaxation order in this hierarchy results in "tighter" relaxations at the computational cost of larger semidefinite programs. Low-order moment relaxations are capable of globally solving many small OPF problems for which existing relaxations fail. By exploiting sparsity and only applying the higher-order relaxation to specific buses, global solutions to larger problems are computationally tractable through the use of an iterative algorithm informed by a heuristic for choosing where to apply the higher-order constraints. With standard semidefinite programming solvers, the algorithm globally solves many test systems with up to 300 buses for which the existing semidefinite relaxation fails to yield globally optimal solutions.
△ Less
Submitted 17 November, 2014; v1 submitted 20 April, 2014;
originally announced April 2014.
-
Moment-Based Relaxation of the Optimal Power Flow Problem
Authors:
Daniel K. Molzahn,
Ian A. Hiskens
Abstract:
The optimal power flow (OPF) problem minimizes power system operating cost subject to both engineering and network constraints. With the potential to find global solutions, significant research interest has focused on convex relaxations of the non-convex AC OPF problem. This paper investigates ``moment-based'' relaxations of the OPF problem developed from the theory of polynomial optimization prob…
▽ More
The optimal power flow (OPF) problem minimizes power system operating cost subject to both engineering and network constraints. With the potential to find global solutions, significant research interest has focused on convex relaxations of the non-convex AC OPF problem. This paper investigates ``moment-based'' relaxations of the OPF problem developed from the theory of polynomial optimization problems. At the cost of increased computational requirements, moment-based relaxations are generally tighter than the semidefinite relaxation employed in previous research, thus resulting in global solutions for a broader class of OPF problems. Exploration of the feasible space for test systems illustrates the effectiveness of the moment-based relaxation.
△ Less
Submitted 31 January, 2014; v1 submitted 6 December, 2013;
originally announced December 2013.
