MATPOWER is an open-source Matlab-based power system simulation package that provides a high-level set of power flow, optimal power flow (OPF), and other tools targeted toward researchers, educators, and students. The OPF architecture is designed to be extensible, making it easy to add user-defined variables, costs, and constraints to the standard OPF problem. This paper presents the details of the network modeling and problem formulations used by MATPOWER, including its extensible OPF architecture. This structure is used internally to implement several extensions to the standard OPF problem, including piece-wise linear cost functions, dispatchable loads, generator capability curves, and branch angle difference limits. Simulation results are presented for a number of test cases comparing the performance of several available OPF solvers and demonstrating MATPOWER's ability to solve large-scale AC and DC OPF problems.

/pdf/matpower-steady-state-operations-planning-and-analysis-tools-1v40ihity5.pdf

MATPOWER: Steady-State Operations, Planning, and Analysis Tools for Power Systems Research and Education

Cyber-physical systems are ubiquitous in power systems, transportation networks, industrial control processes, and critical infrastructures. These systems need to operate reliably in the face of unforeseen failures and external malicious attacks. In this paper: (i) we propose a mathematical framework for cyber-physical systems, attacks, and monitors; (ii) we characterize fundamental monitoring limitations from system-theoretic and graph-theoretic perspectives; and (ii) we design centralized and distributed attack detection and identification monitors. Finally, we validate our findings through compelling examples.

/pdf/attack-detection-and-identification-in-cyber-physical-3fy6vyw4zt.pdf

Attack Detection and Identification in Cyber-Physical Systems

2005년 대한 생화학·분자생물학회 하계학술대회를 다녀와서

The optimal power flow (OPF) problem is nonconvex and generally hard to solve. In this paper, we propose a semidefinite programming (SDP) optimization, which is the dual of an equivalent form of the OPF problem. A global optimum solution to the OPF problem can be retrieved from a solution of this convex dual problem whenever the duality gap is zero. A necessary and sufficient condition is provided in this paper to guarantee the existence of no duality gap for the OPF problem. This condition is satisfied by the standard IEEE benchmark systems with 14, 30, 57, 118, and 300 buses as well as several randomly generated systems. Since this condition is hard to study, a sufficient zero-duality-gap condition is also derived. This sufficient condition holds for IEEE systems after small resistance (10-5 per unit) is added to every transformer that originally assumes zero resistance. We investigate this sufficient condition and justify that it holds widely in practice. The main underlying reason for the successful convexification of the OPF problem can be traced back to the modeling of transformers and transmission lines as well as the non-negativity of physical quantities such as resistance and inductance.

/pdf/zero-duality-gap-in-optimal-power-flow-problem-26hdxyxsfp.pdf

Zero Duality Gap in Optimal Power Flow Problem

Cyber-physical systems integrate computation, communication, and physical capabilities to interact with the physical world and humans. Besides failures of components, cyber-physical systems are prone to malignant attacks, and specific analysis tools as well as monitoring mechanisms need to be developed to enforce system security and reliability. This paper proposes a unified framework to analyze the resilience of cyber-physical systems against attacks cast by an omniscient adversary. We model cyber-physical systems as linear descriptor systems, and attacks as exogenous unknown inputs. Despite its simplicity, our model captures various real-world cyber-physical systems, and it includes and generalizes many prototypical attacks, including stealth, (dynamic) false-data injection and replay attacks. First, we characterize fundamental limitations of static, dynamic, and active monitors for attack detection and identification. Second, we provide constructive algebraic conditions to cast undetectable and unidentifiable attacks. Third, by using the system interconnection structure, we describe graph-theoretic conditions for the existence of undetectable and unidentifiable attacks. Finally, we validate our findings through some illustrative examples with different cyber-physical systems, such as a municipal water supply network and two electrical power grids.

Attack Detection and Identification in Cyber-Physical Systems -- Part I: Models and Fundamental Limitations

Stability is an important constraint in power system operation. Often trial and error heuristics are used that can be costly and imprecise. A new methodology that eliminates the need for repeated simulation to determine a transiently secure operating point is presented. The theoretical development is straight-forward: dynamic equations are converted to numerically equivalent algebraic equations and then integrated into the standard OPF formulation. Implementation issues and simulation results are discussed in the context of a 162-bus system.

/pdf/stability-constrained-optimal-power-flow-5efdg76ih1.pdf

Stability-constrained optimal power flow

The deregulated electricity market calls for robust optimal power flow (OPF) tools that can provide a) deterministic convergence; b) accurate computation of nodal prices; c) support of both smooth and nonsmooth costing of a variety of resources and services, such as real energy, reactive energy, voltages support, etc.; d) full active and reactive power flow modeling of large-scale systems; and e) satisfactory worst-case performance that meets the real-time dispatching requirement. Most prior research on OPF has focused on performance issues in the context of regulated systems, without giving much emphasis to requirements a)-c). This paper discusses the computational challenges brought up by the deregulation and attempts to address them through the introduction of new OPF formulations and algorithms. Trust-region- based augmented Lagrangian method (TRALM), step-controlled primal-dual interior point method (SCIPM), and constrained cost variable (CCV) OPF formulation are proposed. The new formulations and algorithms, along with several existing ones, are tested and compared using large-scale power system models.

/pdf/on-computational-issues-of-market-based-optimal-power-flow-6ao5aalqh9.pdf

On Computational Issues of Market-Based Optimal Power Flow

This paper describes the optimal power flow (OPF) architecture implemented in MATPOWER, an open-source Mat-lab power system simulation package. It utilizes an extensible architecture that allows the user to easily add new variables, constraints and costs to the standard OPF problem formulation while preserving the structure needed to use pre-compiled solvers. A software object is used to encapsulate the definition of the problem formulation, manage the corresponding named sets of variables, constraints and costs, and handle all of the tedious index maintenance tasks. The software design has the advantage of minimizing the coupling between variables, constraints and costs, making it possible, for example, to add variables to an existing model without having to explicitly modify existing constraints or costs to accommodate them. The example of adding joint co-optimization of reserves to the OPF, based on fixed zonal reserve requirements, is used to illustrate the capabilities of MATPOWER's extensible OPF architecture.

/pdf/matpower-s-extensible-optimal-power-flow-architecture-4vxkzyt2qn.pdf

MATPOWER's extensible optimal power flow architecture

This paper presents a novel power flow formulation and an effective solution method for general unbalanced radial distribution systems. Comprehensive models are considered including lines, switches, transformers, shunt capacitors, cogenerators, and several types of loads. A new problem formulation of three-phase distribution power flow equations taking into account the radial structure of the distribution network is presented. A distinguishing feature of the new problem formulation is that it significantly reduces the number of power flow equations, as compared with the conventional formulation. The numerical properties as well as the structural properties of distribution systems are exploited resulting in a fast decoupled solution algorithm. The proposed solution algorithm is evaluated on three-phase unbalanced 292-bus and 394-bus test systems with very promising results.

/pdf/fast-decoupled-power-flow-for-unbalanced-radial-distribution-36ww89yz7h.pdf

Ray D. Zimmerman

Papers

MATPOWER: Steady-State Operations, Planning, and Analysis Tools for Power Systems Research and Education

Stability-constrained optimal power flow

On Computational Issues of Market-Based Optimal Power Flow

MATPOWER's extensible optimal power flow architecture

Fast decoupled power flow for unbalanced radial distribution systems