Power Nev - 雷米克斯

The Workshop on Coalgebra, Horn Clause Logic Programming and Types was held on the 28-29 November 2016 in Edinburgh. The workshop marked the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, by E. Komendantskaya, Heriot-Watt University and J. Power, University of Bath, UK.

This document presents an introduction of two commonly used power system differential algebraic equations for studying electromechanical oscillation and transient stability. Two types of generator models are used to formulate the power system model, respectively: the second-order classical model and the fourth-order generator model. An example is provided on the IEEE 9-bus system.