Transient stability analysis by reachable set computation

Matthias Althoff, Milos Cvetkovic, Marija Ilic

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

10 Scopus citations

Abstract

We present a formal technique for verifying the stability of transient responses of power systems. The procedure uses reachability analysis to compute the complete set of possible transient responses starting from a set of initial states, subject to a dynamics specified by differential-algebraic equations. The method is constructive and fully automatic, two properties that are often hard to achieve with direct Lyapunov methods when the differential-algebraic equations are not simplified. Reachability analysis is computationally expensive, but this work presents new techniques that make it possible to verify the stability of a transient response of the IEEE 14-bus benchmark power system network.

Original languageEnglish
Title of host publication2012 3rd IEEE PES Innovative Smart Grid Technologies Europe, ISGT Europe 2012
DOIs
StatePublished - 2012
Externally publishedYes
Event2012 3rd IEEE PES Innovative Smart Grid Technologies Europe, ISGT Europe 2012 - Berlin, Germany
Duration: 14 Oct 201217 Oct 2012

Publication series

NameIEEE PES Innovative Smart Grid Technologies Conference Europe

Conference

Conference2012 3rd IEEE PES Innovative Smart Grid Technologies Europe, ISGT Europe 2012
Country/TerritoryGermany
CityBerlin
Period14/10/1217/10/12

Keywords

  • Nonlinear Differential-Algebraic Equations
  • Power Systems
  • Reachability Analysis
  • Transient Stability

Fingerprint

Dive into the research topics of 'Transient stability analysis by reachable set computation'. Together they form a unique fingerprint.

Cite this