Submitted: May 2013
Abstract
This thesis is based on and extends the joint work with Arnd Hartmanns and Holger Hermanns.
It reports on formal behavioural models of micro power grids with a substantial share of decentralised microgeneration.
As this type of power generation can induce critical frequency oscillations, we study the current regulations for this problem and continue the previous work to find and improve alternative proposals.
These approaches take up and combine ideas from communicating protocol design.
The models are specified in the Modest modelling language and simulated with the help of the modes simulator.