This thesis proposes several applications of reachability analysis to control and assess stability of power systems with formal guarantees. Reachability analysis makes it possible to compute the bounds of all possible trajectories for a range of operating conditions, while simultaneously meeting the practical requirements of realistic systems found in the power industry. Novel methods are developed to exploit the advantages of employing reachability analysis in a wide range of applications.
Translated abstract:
Diese Arbeit präsentiert mehrere Anwendungen von Erreichbarkeitsanalyse zur Regelung und Stabilitätsbetrachtung von Energiesystemen mit formalen Garantien. Mithilfe von Erreichbarkeitsanalyse können die alle möglichen Trajektorien, die in einem Bereich von Betriebspunkten realisiert werden können, beschränkt werden. Im Rahmen dieser Arbeit wurden neuartige Methoden entwickelt, die es ermöglichen die Vorteile der Erreichbarkeitsanalyse für eine Vielzahl von Anwendungen zu nutzen.