Showing 1–36 of 36 results for author: Nagarajan, H

Robust Partitioning and Operation for Maximal Uncertain-Load Delivery in Distribution Grids

Authors: Hannah Moring, Harsha Nagarajan, Kshitij Girigoudar, David M. Fobes, Johanna L. Mathieu

Abstract: To mitigate the vulnerability of distribution grids to severe weather events, some electric utilities use preemptive de-energization as the primary line of defense, causing significant power outages. In such instances, networked microgrids could improve resiliency and maximize load delivery, though the modeling of three-phase unbalanced network physics and computational complexity pose challenges.… ▽ More To mitigate the vulnerability of distribution grids to severe weather events, some electric utilities use preemptive de-energization as the primary line of defense, causing significant power outages. In such instances, networked microgrids could improve resiliency and maximize load delivery, though the modeling of three-phase unbalanced network physics and computational complexity pose challenges. These challenges are further exacerbated by an increased penetration of uncertain loads. In this paper, we present a two-stage mixed-integer robust optimization problem that configures and operates networked microgrids, and is guaranteed to be robust and feasible to all realizations of loads within a specified uncertainty set, while maximizing load delivery. To solve this problem, we propose a cutting-plane algorithm, with convergence guarantees, which approximates a convex recourse function with sub-gradient cuts. Finally, we provide a detailed case study on the IEEE 37-bus test system to demonstrate the economic benefits of networking microgrids to maximize uncertain-load delivery. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Report number: LA-UR-23-32237

Exploring Non-Linear Programming Formulations in QuantumCircuitOpt for Optimal Circuit Design

Authors: Elena R. Henderson, Harsha Nagarajan, Carleton Coffrin

Abstract: Given the limitations of current hardware, the theoretical gains promised by quantum computing remain unrealized across practical applications. But the gap between theory and hardware is closing, assisted by developments in quantum algorithmic modeling. One such recent development is QuantumCircuitOpt (QCOpt), an open-source software framework that leverages state-of-the-art optimization-based sol… ▽ More Given the limitations of current hardware, the theoretical gains promised by quantum computing remain unrealized across practical applications. But the gap between theory and hardware is closing, assisted by developments in quantum algorithmic modeling. One such recent development is QuantumCircuitOpt (QCOpt), an open-source software framework that leverages state-of-the-art optimization-based solvers to find provably optimal compact circuit decompositions, which are exact up to global phase and machine precision. The quantum circuit design problem can be modeled using non-linear, non-convex constraints. However, QCOpt reformulates these non-linear constraints using well-known linearization techniques such that the resulting design problem is solved as a Mixed-Integer Linear Programming (MILP) model. In this work, we instead explore whether the QCOpt could also be effective with a continuous Non-Linear Programming (NLP) model obtained via relaxation of the integer variables in the non-linear constraints. We are able to present not only multiple significant enhancements to QCOpt, with up to 11.3x speed-up in run times on average, but also opportunities for more generally exploring the behavior of gradient-based NLP solvers. △ Less

Submitted 27 October, 2023; originally announced October 2023.

Report number: LA-UR-22-31463

Journal ref: IEEE/ACM Third International Workshop on Quantum Computing Software (QCS), SC22, 2022

Multi-market Optimal Energy Storage Arbitrage with Capacity Blocking for Emergency Services

Authors: Md Umar Hashmi, Stephen Hardy, Dirk Van Hertem, Harsha Nagarajan

Abstract: The future power system is increasingly interconnected via both AC and DC interconnectors. These interconnectors establish links between previously decoupled energy markets. In this paper, we propose an optimal multi-market energy storage arbitrage model that includes emergency service provisions for system operator(s). The model considers battery ram** and capacity constraints and utilizes oper… ▽ More The future power system is increasingly interconnected via both AC and DC interconnectors. These interconnectors establish links between previously decoupled energy markets. In this paper, we propose an optimal multi-market energy storage arbitrage model that includes emergency service provisions for system operator(s). The model considers battery ram** and capacity constraints and utilizes operating envelopes calculated based on interconnector capacity, efficiency, dynamic energy injection and offshore wind generation in the day-ahead market. The arbitrage model considers two separate electricity prices for buying and selling of electricity in the two regions, connected via an interconnector. Using disjunctive linearization of nonlinear terms, we exactly reformulate the inter-regional energy arbitrage optimization as a mixed integer linear programming problem. We propose two capacity limit selection models for storage owners providing emergency services. The numerical analyses focus on two interconnections linking Belgium and the UK. The results are assessed based on revenue, operational cycles, payback period, shelf life and computation times. △ Less

Submitted 1 October, 2023; originally announced October 2023.

Learning for Interval Prediction of Electricity Demand: A Cluster-based Bootstrap** Approach

Authors: Rohit Dube, Natarajan Gautam, Amarnath Banerjee, Harsha Nagarajan

Abstract: Accurate predictions of electricity demands are necessary for managing operations in a small aggregation load setting like a Microgrid. Due to low aggregation, the electricity demands can be highly stochastic and point estimates would lead to inflated errors. Interval estimation in this scenario, would provide a range of values within which the future values might lie and helps quantify the errors… ▽ More Accurate predictions of electricity demands are necessary for managing operations in a small aggregation load setting like a Microgrid. Due to low aggregation, the electricity demands can be highly stochastic and point estimates would lead to inflated errors. Interval estimation in this scenario, would provide a range of values within which the future values might lie and helps quantify the errors around the point estimates. This paper introduces a residual bootstrap algorithm to generate interval estimates of day-ahead electricity demand. A machine learning algorithm is used to obtain the point estimates of electricity demand and respective residuals on the training set. The obtained residuals are stored in memory and the memory is further partitioned. Days with similar demand patterns are grouped in clusters using an unsupervised learning algorithm and these clusters are used to partition the memory. The point estimates for test day are used to find the closest cluster of similar days and the residuals are bootstrapped from the chosen cluster. This algorithm is evaluated on the real electricity demand data from EULR(End Use Load Research) and is compared to other bootstrap** methods for varying confidence intervals. △ Less

Submitted 3 September, 2023; originally announced September 2023.

Optimal Robust Network Design: Formulations and Algorithms for Maximizing Algebraic Connectivity

Authors: Neelkamal Somisetty, Harsha Nagarajan, Swaroop Darbha

Abstract: This paper focuses on designing edge-weighted networks, whose robustness is characterized by maximizing algebraic connectivity, or the second smallest eigenvalue of the Laplacian matrix. This problem is motivated by cooperative vehicle localization, where accurately estimating relative position measurements and establishing communication links are essential. We also examine an associated problem w… ▽ More This paper focuses on designing edge-weighted networks, whose robustness is characterized by maximizing algebraic connectivity, or the second smallest eigenvalue of the Laplacian matrix. This problem is motivated by cooperative vehicle localization, where accurately estimating relative position measurements and establishing communication links are essential. We also examine an associated problem where every robot is limited by payload, budget, and communication to pick no more than a specified number of relative position measurements. The basic underlying formulation for these problems is nonlinear and is known to be NP-hard. Our approach formulates this problem as a Mixed Integer Semi-Definite Program (MISDP), later reformulated into a Mixed Integer Linear Program (MILP) for obtaining optimal solutions using cutting plane algorithms. We introduce a novel upper-bounding algorithm based on principal minor characterization of positive semi-definite matrices and discuss a degree-constrained lower bounding formulation inspired by robust network structures. In addition, we propose a maximum cost heuristic with low computational complexity to identify high-quality feasible solutions for instances involving up to one hundred nodes. We show extensive computational results corroborating our proposed methods. △ Less

Submitted 18 March, 2024; v1 submitted 17 April, 2023; originally announced April 2023.

Report number: LA-UR-23-23938

Learning to Accelerate the Global Optimization of Quadratically-Constrained Quadratic Programs

Authors: Rohit Kannan, Harsha Nagarajan, Deepjyoti Deka

Abstract: We learn optimal instance-specific heuristics for the global minimization of nonconvex quadratically-constrained quadratic programs (QCQPs). Specifically, we consider partitioning-based mixed-integer programming relaxations for nonconvex QCQPs and propose the novel problem of $\textit{strong partitioning}$ to optimally partition variable domains $\textit{without}$ sacrificing global optimality. We… ▽ More We learn optimal instance-specific heuristics for the global minimization of nonconvex quadratically-constrained quadratic programs (QCQPs). Specifically, we consider partitioning-based mixed-integer programming relaxations for nonconvex QCQPs and propose the novel problem of $\textit{strong partitioning}$ to optimally partition variable domains $\textit{without}$ sacrificing global optimality. We design a local optimization method for solving this challenging max-min strong partitioning problem and replace this expensive benchmark strategy with a machine learning (ML) approximation for homogeneous families of QCQPs. We present a detailed computational study on randomly generated families of QCQPs, including instances of the pooling problem, using the open-source global solver Alpine. Our numerical experiments demonstrate that strong partitioning and its ML approximation significantly reduce Alpine's solution time by factors of $3.5 - 16.5$ and $2 - 4.5$ $\textit{on average}$ and by maximum factors of $15 - 700$ and $10 - 200$, respectively, over the different QCQP families. △ Less

Submitted 22 February, 2023; v1 submitted 31 December, 2022; originally announced January 2023.

Report number: LA-UR-22-33102 MSC Class: 90C26; 90C31; 65K05

Tightening Quadratic Convex Relaxations for the AC Optimal Transmission Switching Problem

Authors: Cheng Guo, Harsha Nagarajan, Merve Bodur

Abstract: The Alternating Current Optimal Transmission Switching (ACOTS) problem incorporates line switching decisions into the fundamental AC optimal power flow (ACOPF) problem. The advantages of the ACOTS problem are well-known in terms of reducing the operational cost and improving system reliability. ACOTS optimization models contain discrete variables and nonlinear, non-convex structures, which make it… ▽ More The Alternating Current Optimal Transmission Switching (ACOTS) problem incorporates line switching decisions into the fundamental AC optimal power flow (ACOPF) problem. The advantages of the ACOTS problem are well-known in terms of reducing the operational cost and improving system reliability. ACOTS optimization models contain discrete variables and nonlinear, non-convex structures, which make it difficult to solve. We derive strengthened quadratic convex (QC) relaxations for ACOTS by combining several methodologies recently developed in the ACOPF literature. First, we relax the ACOTS model with the on/off QC relaxation, which has been empirically observed to be both tight and computationally efficient in approximating the ACOPF problem. Further, we tighten this relaxation by using strong linearization with extreme-point representation, and by adding several types of new valid inequalities. In particular, we derive a novel kind of "on/off cycle-based polynomial constraints", by taking advantage of the network structure. Those constraints are linearized using convex-hull representations and implemented in an efficient "branch-and-cut" framework. We also tighten the relaxation using the optimization-based bound tightening algorithm. Our extensive numerical experiments on medium-scale PGLib instances show that, compared with the state-of-the-art formulations, our strengthening techniques are able to improve the quality of ACOTS relaxations on many of the PGLib instances, with some being substantial improvements. △ Less

Submitted 22 December, 2022; originally announced December 2022.

Report number: LA-UR-22-33111

QuantumCircuitOpt: An Open-source Framework for Provably Optimal Quantum Circuit Design

Authors: Harsha Nagarajan, Owen Lockwood, Carleton Coffrin

Abstract: In recent years, the quantum computing community has seen an explosion of novel methods to implement non-trivial quantum computations on near-term hardware. An important direction of research has been to decompose an arbitrary entangled state, represented as a unitary, into a quantum circuit, that is, a sequence of gates supported by a quantum processor. It has been well known that circuits with l… ▽ More In recent years, the quantum computing community has seen an explosion of novel methods to implement non-trivial quantum computations on near-term hardware. An important direction of research has been to decompose an arbitrary entangled state, represented as a unitary, into a quantum circuit, that is, a sequence of gates supported by a quantum processor. It has been well known that circuits with longer decompositions and more entangling multi-qubit gates are error-prone for the current noisy, intermediate-scale quantum devices. To this end, there has been a significant interest to develop heuristic-based methods to discover compact circuits. We contribute to this effort by proposing QuantumCircuitOpt (QCOpt), a novel open-source framework which implements mathematical optimization formulations and algorithms for decomposing arbitrary unitary gates into a sequence of hardware-native gates. A core innovation of QCOpt is that it provides optimality guarantees on the quantum circuits that it produces. In particular, we show that QCOpt can find up to 57% reduction in the number of necessary gates on circuits with up to four qubits, and in run times less than a few minutes on commodity computing hardware. We also validate the efficacy of QCOpt as a tool for quantum circuit design in comparison with a naive brute-force enumeration algorithm. We also show how the QCOpt package can be adapted to various built-in types of native gate sets, based on different hardware platforms like those produced by IBM, Rigetti and Google. We hope this package will facilitate further algorithmic exploration for quantum processor designers, as well as quantum physicists. △ Less

Submitted 23 November, 2021; originally announced November 2021.

Mitigating the Impacts of Uncertain Geomagnetic Disturbances on Electric Grids: A Distributionally Robust Optimization Approach

Authors: Minseok Ryu, Harsha Nagarajan, Russell Bent

Abstract: Severe geomagnetic disturbances (GMDs) increase the magnitude of the electric field on the Earth's surface (E-field) and drive geomagnetically-induced currents (GICs) along the transmission lines in electric grids. These additional currents can pose severe risks, such as current distortions, transformer saturation and increased reactive power losses, each of which can lead to system unreliability.… ▽ More Severe geomagnetic disturbances (GMDs) increase the magnitude of the electric field on the Earth's surface (E-field) and drive geomagnetically-induced currents (GICs) along the transmission lines in electric grids. These additional currents can pose severe risks, such as current distortions, transformer saturation and increased reactive power losses, each of which can lead to system unreliability. Several mitigation actions (e.g., changing grid topology) exist that can reduce the harmful GIC effects on the grids. Making such decisions can be challenging, however, because the magnitude and direction of the E-field are uncertain and non-stationary. In this paper, we model uncertain E-fields using the distributionally robust optimization (DRO) approach that determines optimal transmission grid operations such that the worst-case expectation of the system cost is minimized. We also capture the effect of GICs on the nonlinear AC power flow equations. For solution approaches, we develop an accelerated column-and-constraint generation (CCG) algorithm by exploiting a special structure of the support set of uncertain parameters representing the E-field. Extensive numerical experiments based on "epri-21" and "uiuc-150" systems, designed for GMD studies, demonstrate (i) the computational performance of the accelerated CCG algorithm, (ii) the superior performance of distributionally robust grid operations that satisfy nonlinear, nonconvex AC power flow equations and GIC constraints, in comparison with standard stochastic programming-based methods during the out-of-sample testing. △ Less

Submitted 8 February, 2022; v1 submitted 31 March, 2021; originally announced April 2021.

Comments: 11 pages, 7 figures, 9 tables

Efficient Topology Design Algorithms for Power Grid Stability

Authors: Siddharth Bhela, Harsha Nagarajan, Deepjyoti Deka, Vassilis Kekatos

Abstract: The dynamic response of power grids to small disturbances influences their overall stability. This paper examines the effect of network topology on the linearized time-invariant dynamics of electric power systems. The proposed framework utilizes ${\cal H}_2$-norm based stability metrics to study the optimal placement of lines on existing networks as well as the topology design of new networks. The… ▽ More The dynamic response of power grids to small disturbances influences their overall stability. This paper examines the effect of network topology on the linearized time-invariant dynamics of electric power systems. The proposed framework utilizes ${\cal H}_2$-norm based stability metrics to study the optimal placement of lines on existing networks as well as the topology design of new networks. The design task is first posed as an NP-hard mixed-integer nonlinear program (MINLP) that is exactly reformulated as a mixed-integer linear program (MILP) using McCormick linearization. To improve computation time, graph-theoretic properties are exploited to derive valid inequalities (cuts) and tighten bounds on the continuous optimization variables. Moreover, a cutting plane generation procedure is put forth that is able to interject the MILP solver and augment additional constraints to the problem on-the-fly. The efficacy of our approach in designing optimal grid topologies is demonstrated through numerical tests on the IEEE 39-bus network. △ Less

Submitted 12 September, 2021; v1 submitted 8 March, 2021; originally announced March 2021.

Comments: 6 pages

Algorithms for Mitigating the Effect of Uncertain Geomagnetic Disturbances in Electric Grids

Authors: Minseok Ryu, Harsha Nagarajan, Russell Bent

Abstract: Geomagnetic disturbances (GMDs), a result of space weather, pose a severe risk to electric grids. When GMDs occur, they can cause geomagnetically-induced currents (GICs), which saturate transformers, induce hot-spot heating, and increase reactive power losses in the transmission grid. Furthermore, uncertainty in the magnitude and orientation of the geo-electric field, and insufficient historical d… ▽ More Geomagnetic disturbances (GMDs), a result of space weather, pose a severe risk to electric grids. When GMDs occur, they can cause geomagnetically-induced currents (GICs), which saturate transformers, induce hot-spot heating, and increase reactive power losses in the transmission grid. Furthermore, uncertainty in the magnitude and orientation of the geo-electric field, and insufficient historical data make the problem of mitigating the effects of uncertain GMDs challenging. In this paper, we propose a novel distributionally robust optimization (DRO) approach that models uncertain GMDs and mitigates the effects of GICs on electric grids. This is achieved via a set of mitigation actions (e.g., line switching, locating blocking devices, generator re-dispatch and load shedding), prior to the GMD event, such that the worst-case expectation of the system cost is minimized. To this end, we develop a column-and-constraint generation algorithm that solves a sequence of mixed-integer second-order conic programs to handle the underlying convex support set of the uncertain GMDs. Also, we present a monolithic exact reformulation of our DRO model when the underlying support set can be approximated by a polytope with three extreme points. Numerical experiments on 'epri-21' system show the efficacy of the proposed algorithms and the exact reformulation of our DRO model. △ Less

Submitted 3 June, 2020; originally announced June 2020.

Sequence of Polyhedral Relaxations for Nonlinear Univariate Functions

Authors: Kaarthik Sundar, Sujeevraja Sanjeevi, Harsha Nagarajan

Abstract: Given a nonlinear, univariate, bounded, and differentiable function $f(x)$, this article develops a sequence of Mixed Integer Linear Programming (MILP) and Linear Programming (LP) relaxations that converge to the graph of $f(x)$ and its convex hull, respectively. Theoretical convergence of the sequence of relaxations to the graph of the function and its convex hull is established. For nonlinear no… ▽ More Given a nonlinear, univariate, bounded, and differentiable function $f(x)$, this article develops a sequence of Mixed Integer Linear Programming (MILP) and Linear Programming (LP) relaxations that converge to the graph of $f(x)$ and its convex hull, respectively. Theoretical convergence of the sequence of relaxations to the graph of the function and its convex hull is established. For nonlinear non-convex optimization problems, the relaxations presented in this article can be used to construct tight MILP and LP relaxations. These MILP and the LP relaxations can also be used with MILP-based and spatial branch-and-bound based global optimization algorithms, respectively. △ Less

Submitted 23 February, 2021; v1 submitted 27 May, 2020; originally announced May 2020.

Comments: 15 pages

Report number: LA-UR-20-23980

Piecewise Polyhedral Formulations for a Multilinear Term

Authors: Kaarthik Sundar, Harsha Nagarajan, Jeff Linderoth, Site Wang, Russell Bent

Abstract: In this paper, we present a mixed-integer linear programming (MILP) formulation of a piecewise, polyhedral relaxation (PPR) of a multilinear term using its convex hull representation. Based on the solution of the PPR, we also present a MILP formulation whose solutions are feasible for nonconvex, multilinear equations. We then present computational results showing the effectiveness of proposed form… ▽ More In this paper, we present a mixed-integer linear programming (MILP) formulation of a piecewise, polyhedral relaxation (PPR) of a multilinear term using its convex hull representation. Based on the solution of the PPR, we also present a MILP formulation whose solutions are feasible for nonconvex, multilinear equations. We then present computational results showing the effectiveness of proposed formulations on instances of standard benchmarks of nonlinear programs (NLPs) with multilinear terms and compare the proposed formulation with a traditional formulation that is built by recursively relaxing bilinear grou**s of multilinear terms. △ Less

Submitted 3 December, 2020; v1 submitted 2 January, 2020; originally announced January 2020.

Proving Global Optimality of ACOPF Solutions

Authors: S. Gopinath, H. L. Hijazi, T. Weisser, H. Nagarajan, M. Yetkin, K. Sundar, R. W. Bent

Abstract: We present our latest contributions in terms of mathematical modeling and algorithm development for the global optimization of the ACOPF problem. These contributions allow us to close the optimality gap on a number of open instances in the PGLIB and NESTA benchmark libraries. This is achieved by combining valid cut generation with semidefinite programming-based bound tightening. The mathematical f… ▽ More We present our latest contributions in terms of mathematical modeling and algorithm development for the global optimization of the ACOPF problem. These contributions allow us to close the optimality gap on a number of open instances in the PGLIB and NESTA benchmark libraries. This is achieved by combining valid cut generation with semidefinite programming-based bound tightening. The mathematical formulations along with the solution algorithms are implemented in the modeling framework Gravity (www.gravityopt.com), an open-source platform for reproducible numerical experiments. △ Less

Submitted 19 February, 2020; v1 submitted 8 October, 2019; originally announced October 2019.

Distributionally Robust Optimization for a Resilient Transmission Grid During Geomagnetic Disturbances

Authors: Mowen Lu, Sandra D. Eksioglu, Scott J. Mason, Russell Bent, Harsha Nagarajan

Abstract: In recent years, there have been increasing concerns about the impacts of geomagnetic disturbances (GMDs) on electrical power systems. Geomagnetically-induced currents (GICs) can saturate transformers, induce hot-spot heating and increase reactive power losses. Unpredictable GMDs caused by solar storms can significantly increase the risk of transformer failure. In this paper, we develop a two-stag… ▽ More In recent years, there have been increasing concerns about the impacts of geomagnetic disturbances (GMDs) on electrical power systems. Geomagnetically-induced currents (GICs) can saturate transformers, induce hot-spot heating and increase reactive power losses. Unpredictable GMDs caused by solar storms can significantly increase the risk of transformer failure. In this paper, we develop a two-stage, distributionally robust (DR) optimization formulation that models uncertain GMDs and mitigates the effects of GICs on power systems through existing system controls (e.g., line switching, generator re-dispatch, and load shedding). This model assumes an ambiguity set of probability distributions for induced geo-electric fields which capture uncertain magnitudes and orientations of a GMD event. We employ state-of-the-art linear relaxation methods and reformulate the problem as a two-stage DR model. We use this formulation to develop a decomposition framework for solving the problem. We demonstrate the approach on the modified Epri21 system and show that the DR optimization method effectively handles prediction errors of GMD events. △ Less

Submitted 11 June, 2019; v1 submitted 10 June, 2019; originally announced June 2019.

Designing Power Grid Topologies for Minimizing Network Disturbances: An Exact MILP Formulation

Authors: Siddharth Bhela, Deepjyoti Deka, Harsha Nagarajan, Vassilis Kekatos

Abstract: The dynamic response of power grids to small transient events or persistent stochastic disturbances influences their stable operation. This paper studies the effect of topology on the linear time-invariant dynamics of power networks. For a variety of stability metrics, a unified framework based on the $H_2$-norm of the system is presented. The proposed framework assesses the robustness of power gr… ▽ More The dynamic response of power grids to small transient events or persistent stochastic disturbances influences their stable operation. This paper studies the effect of topology on the linear time-invariant dynamics of power networks. For a variety of stability metrics, a unified framework based on the $H_2$-norm of the system is presented. The proposed framework assesses the robustness of power grids to small disturbances and is used to study the optimal placement of new lines on existing networks as well as the design of radial (tree) and meshed (loopy) topologies for new networks. Although the design task can be posed as a mixed-integer semidefinite program (MI-SDP), its performance does not scale well with network size. Using McCormick relaxation, the topology design problem can be reformulated as a mixed-integer linear program (MILP). To improve the computation time, graphical properties are exploited to provide tighter bounds on the continuous optimization variables. Numerical tests on the IEEE 39-bus feeder demonstrate the efficacy of the optimal topology in minimizing disturbances. △ Less

Submitted 20 March, 2019; originally announced March 2019.

Comments: 8 pages, 4 figures

Optimization-Based Bound Tightening using a Strengthened QC-Relaxation of the Optimal Power Flow Problem

Authors: Kaarthik Sundar, Harsha Nagarajan, Sidhant Misra, Mowen Lu, Carleton Coffrin, Russell Bent

Abstract: This article develops a strengthened convex quadratic convex (QC) relaxation of the AC Optimal Power Flow (AC-OPF) problem and presents an optimization-based bound-tightening (OBBT) algorithm to compute tight, feasible bounds on the voltage magnitude variables for each bus and the phase angle difference variables for each branch in the network. Theoretical properties of the strengthened QC relaxat… ▽ More This article develops a strengthened convex quadratic convex (QC) relaxation of the AC Optimal Power Flow (AC-OPF) problem and presents an optimization-based bound-tightening (OBBT) algorithm to compute tight, feasible bounds on the voltage magnitude variables for each bus and the phase angle difference variables for each branch in the network. Theoretical properties of the strengthened QC relaxation that show its dominance over the other variants of the QC relaxation studied in the literature are also derived. The effectiveness of the strengthened QC relaxation is corroborated via extensive numerical results on benchmark AC-OPF test networks. In particular, the results demonstrate that the proposed relaxation consistently provides the tightest variable bounds and optimality gaps with negligible impacts on runtime performance. △ Less

Submitted 29 January, 2019; v1 submitted 12 September, 2018; originally announced September 2018.

Convex Hull Formulations for Mixed-Integer Multilinear Functions

Authors: Harsha Nagarajan, Kaarthik Sundar, Hassan Hijazi, Russell Bent

Abstract: In this paper, we present convex hull formulations for a mixed-integer, multilinear term/function (MIMF) that features products of multiple continuous and binary variables. We develop two equivalent convex relaxations of an MIMF and study their polyhedral properties in their corresponding higher-dimensional spaces. We numerically observe that the proposed formulations consistently perform better t… ▽ More In this paper, we present convex hull formulations for a mixed-integer, multilinear term/function (MIMF) that features products of multiple continuous and binary variables. We develop two equivalent convex relaxations of an MIMF and study their polyhedral properties in their corresponding higher-dimensional spaces. We numerically observe that the proposed formulations consistently perform better than state-of-the-art relaxation approaches. △ Less

Submitted 29 July, 2018; originally announced July 2018.

Algorithms for Optimal Topology Design, Placement, Sizing and Operation of Distributed Energy Resources in Resilient Off-grid Microgrids

Authors: Sreenath Chalil Madathil, Harsha Nagarajan, Russell Bent, Scott J. Mason, Sandra D. Eksioglu, Mowen Lu

Abstract: Power distribution in remote communities often depends on off-grid microgrids. In order to address the reliability challenges for these microgrids, we develop a mathematical model for topology design, capacity planning, and operation of distributed energy resources in microgrids that includes N-1 security analysis. Due to the prohibitive size of the optimization problem, we develop a rolling-horiz… ▽ More Power distribution in remote communities often depends on off-grid microgrids. In order to address the reliability challenges for these microgrids, we develop a mathematical model for topology design, capacity planning, and operation of distributed energy resources in microgrids that includes N-1 security analysis. Due to the prohibitive size of the optimization problem, we develop a rolling-horizon algorithm that is combined with scenario-based decomposition to efficiently solve the model. We demonstrate the efficiency of our algorithm on an adapted IEEE test network and a real network from an Alaskan microgrid. We also compare our model's required solution time with commercial solvers and recently developed decomposition algorithms to solve similar problems. △ Less

Submitted 6 June, 2018; originally announced June 2018.

Comments: 21 Pages, 9 figures, submitted to Applied Energy

On Maximizing Weighted Algebraic Connectivity for Synthesizing Robust Networks

Authors: Harsha Nagarajan

Abstract: This article deals with the following simpler version of an open problem in system realization theory which has several important engineering applications: Given a collection of masses and a set of linear springs with a specified cost and stiffness, a resource constraint in terms of a budget on the total cost, the problem is to determine an optimal connection of masses and springs so that the resu… ▽ More This article deals with the following simpler version of an open problem in system realization theory which has several important engineering applications: Given a collection of masses and a set of linear springs with a specified cost and stiffness, a resource constraint in terms of a budget on the total cost, the problem is to determine an optimal connection of masses and springs so that the resulting structure is as stiff as possible, i.e., the structure is connected and its smallest non-zero natural frequency is as large as possible. In this article, algebraic connectivity, or its mechanical analog - the smallest non-zero natural frequency of a connected structure was chosen as a performance objective. Algebraic connectivity determines the convergence rate of consensus protocols and error attenuation in Unmanned Aerial Vehicle (UAV) formations and is chosen to be a performance objective as it can be viewed as a measure of robustness in UAV communication networks to random node failures. Underlying the mechanical and UAV network synthesis problems is a Mixed Integer Semi-Definite Program (MISDP), an NP-hard problem. The novel contributions of this article lies in develo** efficient algorithms to solve the MISDPs based on iterative primal-dual algorithm, cutting-plane methods for polyhedral outer-approximation, capturing the feasible set of MISDPs using Fiedler vectors or Laplacian with equivalency guarantees, and efficient neighborhood-search-based heuristic algorithms. △ Less

Submitted 20 May, 2018; originally announced May 2018.

Juniper: An Open-Source Nonlinear Branch-and-Bound Solver in Julia

Authors: Ole Kröger, Carleton Coffrin, Hassan Hijazi, Harsha Nagarajan

Abstract: Nonconvex mixed-integer nonlinear programs (MINLPs) represent a challenging class of optimization problems that often arise in engineering and scientific applications. Because of nonconvexities, these programs are typically solved with global optimization algorithms, which have limited scalability. However, nonlinear branch-and-bound has recently been shown to be an effective heuristic for quickly… ▽ More Nonconvex mixed-integer nonlinear programs (MINLPs) represent a challenging class of optimization problems that often arise in engineering and scientific applications. Because of nonconvexities, these programs are typically solved with global optimization algorithms, which have limited scalability. However, nonlinear branch-and-bound has recently been shown to be an effective heuristic for quickly finding high-quality solutions to large-scale nonconvex MINLPs, such as those arising in infrastructure network optimization. This work proposes Juniper, a Julia-based open-source solver for nonlinear branch-and-bound. Leveraging the high-level Julia programming language makes it easy to modify Juniper's algorithm and explore extensions, such as branching heuristics, feasibility pumps, and parallelization. Detailed numerical experiments demonstrate that the initial release of Juniper is comparable with other nonlinear branch-and-bound solvers, such as Bonmin, Minotaur, and Knitro, illustrating that Juniper provides a strong foundation for further exploration in utilizing nonlinear branch-and-bound algorithms as heuristics for nonconvex MINLPs. △ Less

Submitted 19 April, 2018; originally announced April 2018.

Comments: CPAIOR 2018

Report number: LA-UR-17-31300

Hierarchical Predictive Control Algorithms for Optimal Design and Operation of Microgrids

Authors: Sai Krishna Kanth Hari, Kaarthik Sundar, Harsha Nagarajan, Russell Bent, Scott Backhaus

Abstract: In recent years, microgrids, i.e., disconnected distribution systems, have received increasing interest from power system utilities to support the economic and resiliency posture of their systems. The economics of long distance transmission lines prevent many remote communities from connecting to bulk transmission systems and these communities rely on off-grid microgrid technology. Furthermore, co… ▽ More In recent years, microgrids, i.e., disconnected distribution systems, have received increasing interest from power system utilities to support the economic and resiliency posture of their systems. The economics of long distance transmission lines prevent many remote communities from connecting to bulk transmission systems and these communities rely on off-grid microgrid technology. Furthermore, communities that are connected to the bulk transmission system are investigating microgrid technologies that will support their ability to disconnect and operate independently during extreme events. In each of these cases, it is important to develop methodologies that support the capability to design and operate microgrids in the absence of transmission over long periods of time. Unfortunately, such planning problems tend to be computationally difficult to solve and those that are straightforward to solve often lack the modeling fidelity that inspires confidence in the results. To address these issues, we first develop a high fidelity model for design and operations of a microgrid that include component efficiencies, component operating limits, battery modeling, unit commitment, capacity expansion, and power flow physics; the resulting model is a mixed-integer quadratically-constrained quadratic program (MIQCQP). We then develop an iterative algorithm, referred to as the Model Predictive Control (MPC) algorithm, that allows us to solve the resulting MIQCQP. We show, through extensive computational experiments, that the MPC-based method can scale to problems that have a very long planning horizon and provide high quality solutions that lie within 5\% of optimal. △ Less

Submitted 18 March, 2018; originally announced March 2018.

Comments: To appear in "Power Systems Computation Conference", Dublin, Ireland

Tight Piecewise Convex Relaxations for Global Optimization of Optimal Power Flow

Authors: Mowen Lu, Harsha Nagarajan, Russell Bent, Sandra D. Eksioglu, Scott J. Mason

Abstract: Since the alternating current optimal power flow (ACOPF) problem was introduced in 1962, develo** efficient solution algorithms for the problem has been an active field of research. In recent years, there has been increasing interest in convex relaxations-based solution approaches that are often tight in practice. Based on these approaches, we develop tight piecewise convex relaxations with conv… ▽ More Since the alternating current optimal power flow (ACOPF) problem was introduced in 1962, develo** efficient solution algorithms for the problem has been an active field of research. In recent years, there has been increasing interest in convex relaxations-based solution approaches that are often tight in practice. Based on these approaches, we develop tight piecewise convex relaxations with convex-hull representations, an adaptive, multivariate partitioning algorithm with bound tightening that progressively improves these relaxations and, given sufficient time, converges to the globally optimal solution. We illustrate the strengths of our algorithm using benchmark ACOPF test cases from the literature. Computational results show that our novel algorithm reduces the best-known optimality gaps for some hard ACOPF cases. △ Less

Submitted 13 March, 2018; originally announced March 2018.

Communication-Constrained Expansion Planning for Resilient Distribution Systems

Authors: Geunyeong Byeon, Pascal Van Hentenryck, Russell Bent, Harsha Nagarajan

Abstract: Distributed generation and remotely controlled switches have emerged as important technologies to improve the resiliency of distribution grids against extreme weather-related disturbances. Therefore it becomes impor- tant to study how best to place them on the grid in order to meet a resiliency criteria, while minimizing costs and capturing their dependencies on the associated communication system… ▽ More Distributed generation and remotely controlled switches have emerged as important technologies to improve the resiliency of distribution grids against extreme weather-related disturbances. Therefore it becomes impor- tant to study how best to place them on the grid in order to meet a resiliency criteria, while minimizing costs and capturing their dependencies on the associated communication systems that sustains their distributed operations. This paper introduces the Optimal Resilient Design Problem for Distribution and Communi- cation Systems (ORDPDC) to address this need. The ORDPDC is formulated as a two-stage stochastic mixed-integer program that captures the physical laws of distribution systems, the communication connec- tivity of the smart grid components, and a set of scenarios which specifies which components are affected by potential disasters. The paper proposes an exact branch-and-price algorithm for the ORDPDC which features a strong lower bound and a variety of acceleration schemes to address degeneracy. The ORDPDC model and branch-and-price algorithm were evaluated on a variety of test cases with varying disaster inten- sities and network topologies. The results demonstrate the significant impact of the network topologies on the expansion plans and costs, as well as the computational benefits of the proposed approach. △ Less

Submitted 10 January, 2018; originally announced January 2018.

An Adaptive, Multivariate Partitioning Algorithm for Global Optimization of Nonconvex Programs

Authors: Harsha Nagarajan, Mowen Lu, Site Wang, Russell Bent, Kaarthik Sundar

Abstract: In this work, we develop an adaptive, multivariate partitioning algorithm for solving mixed-integer nonlinear programs (MINLP) with multi-linear terms to global optimality. This iterative algorithm primarily exploits the advantages of piecewise polyhedral relaxation approaches via disjunctive formulations to solve MINLPs to global optimality in contrast to the conventional spatial branch-and-bound… ▽ More In this work, we develop an adaptive, multivariate partitioning algorithm for solving mixed-integer nonlinear programs (MINLP) with multi-linear terms to global optimality. This iterative algorithm primarily exploits the advantages of piecewise polyhedral relaxation approaches via disjunctive formulations to solve MINLPs to global optimality in contrast to the conventional spatial branch-and-bound approaches. In order to maintain relatively small-scale mixed-integer linear programs at every iteration of the algorithm, we adaptively partition the variable domains appearing in the multi-linear terms. We also provide proofs on convergence guarantees of the proposed algorithm to a global solution. Further, we discuss a few algorithmic enhancements based on the sequential bound-tightening procedure as a presolve step, where we observe the importance of solving piecewise relaxations compared to basic convex relaxations to speed-up the convergence of the algorithm to global optimality. We demonstrate the effectiveness of our disjunctive formulations and the algorithm on well-known benchmark problems (including Pooling and Blending instances) from MINLPLib and compare with state-of-the-art global optimization solvers. With this novel approach, we solve several large-scale instances which are, in some cases, intractable by the global optimization solver. We also shrink the best known optimality gap for one of the hard, generalized pooling problem instance. △ Less

Submitted 1 February, 2019; v1 submitted 8 July, 2017; originally announced July 2017.

Evaluating Ising Processing Units with Integer Programming

Authors: Carleton Coffrin, Harsha Nagarajan, Russell Bent

Abstract: The recent emergence of novel computational devices, such as adiabatic quantum computers, CMOS annealers, and optical parametric oscillators, present new opportunities for hybrid-optimization algorithms that are hardware accelerated by these devices. In this work, we propose the idea of an Ising processing unit as a computational abstraction for reasoning about these emerging devices. The challeng… ▽ More The recent emergence of novel computational devices, such as adiabatic quantum computers, CMOS annealers, and optical parametric oscillators, present new opportunities for hybrid-optimization algorithms that are hardware accelerated by these devices. In this work, we propose the idea of an Ising processing unit as a computational abstraction for reasoning about these emerging devices. The challenges involved in using and benchmarking these devices are presented and commercial mixed integer programming solvers are proposed as a valuable tool for the validation of these disparate hardware platforms. The proposed validation methodology is demonstrated on a D-Wave 2X adiabatic quantum computer, one example of an Ising processing unit. The computational results demonstrate that the D-Wave hardware consistently produces high-quality solutions and suggests that as IPU technology matures it could become a valuable co-processor in hybrid-optimization algorithms. △ Less

Submitted 18 June, 2019; v1 submitted 2 July, 2017; originally announced July 2017.

Report number: LA-UR-19-22000

Tools for improving resilience of electric distribution systems with networked microgrids

Authors: Arthur Barnes, Harsha Nagarajan, Emre Yamangil, Russell Bent, Scott Backhaus

Abstract: In the electrical grid, the distribution system is themost vulnerable to severe weather events. Well-placed and coordinatedupgrades, such as the combination of microgrids, systemhardening and additional line redundancy, can greatly reduce thenumber of electrical outages during extreme events. Indeed, ithas been suggested that resilience is one of the primary benefitsof networked microgrids. We for… ▽ More In the electrical grid, the distribution system is themost vulnerable to severe weather events. Well-placed and coordinatedupgrades, such as the combination of microgrids, systemhardening and additional line redundancy, can greatly reduce thenumber of electrical outages during extreme events. Indeed, ithas been suggested that resilience is one of the primary benefitsof networked microgrids. We formulate a resilient distributiongrid design problem as a two-stage stochastic program andmake use of decomposition-based heuristic algorithms to scaleto problems of practical size. We demonstrate the feasibilityof a resilient distribution design tool on a model of an actualdistribution network. We vary the study parameters, i.e., thecapital cost of microgrid generation relative to system hardeningand target system resilience metrics, and find regions in thisparametric space corresponding to different distribution systemarchitectures, such as individual microgrids, hardened networks,and a transition region that suggests the benefits of microgridsnetworked via hardened circuit segments. △ Less

Submitted 22 May, 2017; originally announced May 2017.

Probabilistic $N$-$k$ Failure-Identification for Power Systems

Authors: Kaarthik Sundar, Carleton Coffrin, Harsha Nagarajan, Russell Bent

Abstract: This paper considers a probabilistic generalization of the $N$-$k$ failure-identification problem in power transmission networks, where the probability of failure of each component in the network is known a priori and the goal of the problem is to find a set of $k$ components that maximizes disruption to the system loads weighted by the probability of simultaneous failure of the $k$ components. Th… ▽ More This paper considers a probabilistic generalization of the $N$-$k$ failure-identification problem in power transmission networks, where the probability of failure of each component in the network is known a priori and the goal of the problem is to find a set of $k$ components that maximizes disruption to the system loads weighted by the probability of simultaneous failure of the $k$ components. The resulting problem is formulated as a bilevel mixed-integer nonlinear program. Convex relaxations, linear approximations, and heuristics are developed to obtain feasible solutions that are close to the optimum. A general cutting-plane algorithm is proposed to solve the convex relaxation and linear approximations of the $N$-$k$ problem. Extensive numerical results corroborate the effectiveness of the proposed algorithms on small-, medium-, and large-scale test instances, the test instances include the IEEE 14-bus system, the IEEE single-area and three-area RTS96 systems, the IEEE 118-bus system, the WECC 240-bus test system, the 1354-bus PEGASE system, and the 2383-bus Polish winter-peak test system. △ Less

Submitted 10 July, 2018; v1 submitted 18 April, 2017; originally announced April 2017.

Comments: 17 pages, Networks, 2018

Resilient Transmission Grid Design: AC Relaxation vs. DC approximation

Authors: Harsha Nagarajan, Russell Bent, Pascal Van Hentenryck, Scott Backhaus, Emre Yamangil

Abstract: As illustrated in recent years (Superstorm Sandy, the Northeast Ice Storm of 1998, etc.), extreme weather events pose an enormous threat to the electric power transmission systems and the associated socio-economic systems that depend on reliable delivery of electric power. Besides inevitable malfunction of power grid components, deliberate malicious attacks can cause high risks to the service. The… ▽ More As illustrated in recent years (Superstorm Sandy, the Northeast Ice Storm of 1998, etc.), extreme weather events pose an enormous threat to the electric power transmission systems and the associated socio-economic systems that depend on reliable delivery of electric power. Besides inevitable malfunction of power grid components, deliberate malicious attacks can cause high risks to the service. These threats motivate the need for approaches and methods that improve the resilience of power systems. In this paper, we develop a model and tractable methods for optimizing the upgrade of transmission systems through a combination of hardening existing components, adding redundant lines, switches, generators, and FACTS and phase-shifting devices. While many of these controllable components are included in traditional design (expansion planning) problems, we uniquely assess their benefits from a resiliency point of view. More importantly, perhaps, we evaluate the suitability of using state-of-the-art AC power flow relaxations versus the common DC approximation in resilience improvement studies. The resiliency model and algorithms are tested on a modified version of the RTS-96 (single area) system. △ Less

Submitted 17 March, 2017; originally announced March 2017.

Chance-Constrained Unit Commitment with N-1 Security and Wind Uncertainty

Authors: Kaarthik Sundar, Harsha Nagarajan, Line Roald, Sidhant Misra, Russell Bent, Daniel Bienstock

Abstract: As renewable wind energy penetration rates continue to increase, one of the major challenges facing grid operators is the question of how to control transmission grids in a reliable and a cost-efficient manner. The stochastic nature of wind forces an alteration of traditional methods for solving day-ahead and look-ahead unit commitment and dispatch. In particular, the variability of wind generatio… ▽ More As renewable wind energy penetration rates continue to increase, one of the major challenges facing grid operators is the question of how to control transmission grids in a reliable and a cost-efficient manner. The stochastic nature of wind forces an alteration of traditional methods for solving day-ahead and look-ahead unit commitment and dispatch. In particular, the variability of wind generation increases the risk of unexpected overloads and cascading events. To address these questions, we present an N-1 Security and Chance-Constrained Unit Commitment (SCCUC) that includes models of generation reserves that respond to wind fluctuations and component outages. We formulate the SCCUC as a mixed-integer, second-order cone problem that limits the probability of failure. We develop a modified Benders decomposition algorithm to solve the problem to optimality and present detailed case studies on the IEEE RTS-96 three-area and the IEEE 300 NESTA test systems. The case studies assess the economic impacts of contingencies and various degrees of wind power penetration and demonstrate the effectiveness and scalability of the algorithm. △ Less

Submitted 20 November, 2020; v1 submitted 15 March, 2017; originally announced March 2017.

Comments: 24 pages, figures. arXiv admin note: substantial text overlap with arXiv:1602.00079

Optimal Topology Design for Disturbance Minimization in Power Grids

Authors: Deepjyoti Deka, Harsha Nagarajan, Scott Backhaus

Abstract: The transient response of power grids to external disturbances influences their stable operation. This paper studies the effect of topology in linear time-invariant dynamics of different power grids. For a variety of objective functions, a unified framework based on $H_2$ norm is presented to analyze the robustness to ambient fluctuations. Such objectives include loss reduction, weighted consensus… ▽ More The transient response of power grids to external disturbances influences their stable operation. This paper studies the effect of topology in linear time-invariant dynamics of different power grids. For a variety of objective functions, a unified framework based on $H_2$ norm is presented to analyze the robustness to ambient fluctuations. Such objectives include loss reduction, weighted consensus of phase angle deviations, oscillations in nodal frequency, and other graphical metrics. The framework is then used to study the problem of optimal topology design for robust control goals of different grids. For radial grids, the problem is shown as equivalent to the hard "optimum communication spanning tree" problem in graph theory and a combinatorial topology construction is presented with bounded approximation gap. Extended to loopy (meshed) grids, a greedy topology design algorithm is discussed. The performance of the topology design algorithms under multiple control objectives are presented on both loopy and radial test grids. Overall, this paper analyzes topology design algorithms on a broad class of control problems in power grid by exploring their combinatorial and graphical properties. △ Less

Submitted 1 March, 2017; originally announced March 2017.

Comments: 6 pages, 3 figures, a version of this work will appear in ACC 2017

Optimal Transmission Line Switching under Geomagnetic Disturbances

Authors: Mowen Lu, Harsha Nagarajan, Emre Yamangil, Russell Bent, Scott Backhaus, Arthur Barnes

Abstract: In recent years, there have been increasing concerns about how geomagnetic disturbances (GMDs) impact electrical power systems. Geomagnetically-induced currents (GICs) can saturate transformers, induce hot spot heating and increase reactive power losses. These effects can potentially cause catastrophic damage to transformers and severely impact the ability of a power system to deliver power. To ad… ▽ More In recent years, there have been increasing concerns about how geomagnetic disturbances (GMDs) impact electrical power systems. Geomagnetically-induced currents (GICs) can saturate transformers, induce hot spot heating and increase reactive power losses. These effects can potentially cause catastrophic damage to transformers and severely impact the ability of a power system to deliver power. To address this problem, we develop a model of GIC impacts to power systems that includes 1) GIC thermal capacity of transformers as a function of normal Alternating Current (AC) and 2) reactive power losses as a function of GIC. We use this model to derive an optimization problem that protects power systems from GIC impacts through line switching, generator redispatch, and load shedding. We employ state-of-the-art convex relaxations of AC power flow equations to lower bound the objective. We demonstrate the approach on a modified RTS96 system and the UIUC 150-bus system and show that line switching is an effective means to mitigate GIC impacts. We also provide a sensitivity analysis of optimal switching decisions with respect to GMD direction. △ Less

Submitted 5 October, 2017; v1 submitted 5 January, 2017; originally announced January 2017.

Tightening McCormick Relaxations for Nonlinear Programs via Dynamic Multivariate Partitioning

Authors: Harsha Nagarajan, Mowen Lu, Emre Yamangil, Russell Bent

Abstract: In this work, we propose a two-stage approach to strengthen piecewise McCormick relaxations for mixed-integer nonlinear programs (MINLP) with multi-linear terms. In the first stage, we exploit Constraint Programing (CP) techniques to contract the variable bounds. In the second stage we partition the variables domains using a dynamic multivariate partitioning scheme. Instead of equally partitioning… ▽ More In this work, we propose a two-stage approach to strengthen piecewise McCormick relaxations for mixed-integer nonlinear programs (MINLP) with multi-linear terms. In the first stage, we exploit Constraint Programing (CP) techniques to contract the variable bounds. In the second stage we partition the variables domains using a dynamic multivariate partitioning scheme. Instead of equally partitioning the domains of variables appearing in multi-linear terms, we construct sparser partitions yet tighter relax- ations by iteratively partitioning the variable domains in regions of interest. This approach decouples the number of partitions from the size of the variable domains, leads to a significant reduction in computation time, and limits the number of binary variables that are introduced by the partitioning. We demonstrate the performance of our algorithm on well-known benchmark problems from MINLPLIB and discuss the computational benefits of CP-based bound tightening procedures. △ Less

Submitted 18 June, 2016; originally announced June 2016.

Unit Commitment with N-1 Security and Wind Uncertainty

Authors: Kaarthik Sundar, Harsha Nagarajan, Miles Lubin, Line Roald, Sidhant Misra, Russell Bent, Daniel Bienstock

Abstract: As renewable wind energy penetration rates continue to increase, one of the major challenges facing grid operators is the question of how to control transmission grids in a reliable and a cost-efficient manner. The stochastic nature of wind forces an alteration of traditional methods for solving day-ahead and look-ahead unit commitment and dispatch. In particular, uncontrollable wind generation in… ▽ More As renewable wind energy penetration rates continue to increase, one of the major challenges facing grid operators is the question of how to control transmission grids in a reliable and a cost-efficient manner. The stochastic nature of wind forces an alteration of traditional methods for solving day-ahead and look-ahead unit commitment and dispatch. In particular, uncontrollable wind generation increases the risk of random component failures. To address these questions, we present an N-1 Security and Chance-Constrained Unit Commitment (SCCUC) that includes the modeling of generation reserves that respond to wind fluctuations and tertiary reserves to account for single component outages. The basic formulation is reformulated as a mixed-integer second-order cone problem to limit the probability of failure. We develop three different algorithms to solve the problem to optimality and present a detailed case study on the IEEE RTS-96 single area system. The case study assesses the economic impacts due to contingencies and various degrees of wind power penetration into the system and also corroborates the effectiveness of the algorithms. △ Less

Submitted 30 January, 2016; originally announced February 2016.

Comments: 7 pages, 3 figures

A numerical methodology for enforcing maximum principles and the non-negative constraint for transient diffusion equations

Authors: K. B. Nakshatrala, H. Nagarajan, M. Shabouei

Abstract: Transient diffusion equations arise in many branches of engineering and applied sciences (e.g., heat transfer and mass transfer), and are parabolic partial differential equations. It is well-known that, under certain assumptions on the input data, these equations satisfy important mathematical properties like maximum principles and the non-negative constraint, which have implications in mathematic… ▽ More Transient diffusion equations arise in many branches of engineering and applied sciences (e.g., heat transfer and mass transfer), and are parabolic partial differential equations. It is well-known that, under certain assumptions on the input data, these equations satisfy important mathematical properties like maximum principles and the non-negative constraint, which have implications in mathematical modeling. However, existing numerical formulations for these types of equations do not, in general, satisfy maximum principles and the non-negative constraint. In this paper, we present a methodology for enforcing maximum principles and the non-negative constraint for transient anisotropic diffusion equation. The method of horizontal lines (also known as the Rothe method) is applied in which the time is discretized first. This results in solving steady anisotropic diffusion equation with decay equation at every discrete time level. The proposed methodology for transient anisotropic diffusion equation will satisfy maximum principles and the non-negative constraint on general computational grids, and with no additional restrictions on the time step. We illustrate the performance and accuracy of the proposed formulation using representative numerical examples. We also perform numerical convergence of the proposed methodology. For comparison, we also present the results from the standard single-field semi-discrete formulation and the results from a popular software package, which all will violate maximum principles and the non-negative constraint. △ Less

Submitted 2 August, 2013; v1 submitted 4 June, 2012; originally announced June 2012.

Enforcing the non-negativity constraint and maximum principles for diffusion with decay on general computational grids

Authors: H. Nagarajan, K. B. Nakshatrala

Abstract: In this paper, we consider anisotropic diffusion with decay, and the diffusivity coefficient to be a second-order symmetric and positive definite tensor. It is well-known that this particular equation is a second-order elliptic equation, and satisfies a maximum principle under certain regularity assumptions. However, the finite element implementation of the classical Galerkin formulation for both… ▽ More In this paper, we consider anisotropic diffusion with decay, and the diffusivity coefficient to be a second-order symmetric and positive definite tensor. It is well-known that this particular equation is a second-order elliptic equation, and satisfies a maximum principle under certain regularity assumptions. However, the finite element implementation of the classical Galerkin formulation for both anisotropic and isotropic diffusion with decay does not respect the maximum principle. We first show that the numerical accuracy of the classical Galerkin formulation deteriorates dramatically with increase in the decay coefficient for isotropic medium and violates the discrete maximum principle. However, in the case of isotropic medium, the extent of violation decreases with mesh refinement. We then show that, in the case of anisotropic medium, the classical Galerkin formulation for anisotropic diffusion with decay violates the discrete maximum principle even at lower values of decay coefficient and does not vanish with mesh refinement. We then present a methodology for enforcing maximum principles under the classical Galerkin formulation for anisotropic diffusion with decay on general computational grids using optimization techniques. Representative numerical results (which take into account anisotropy and heterogeneity) are presented to illustrate the performance of the proposed formulation. △ Less

Submitted 5 June, 2010; v1 submitted 26 March, 2010; originally announced March 2010.