@techreport{atr83,
    author      =   {Pascal Berrang and Jonathan Bogdoll and Ernst Moritz Hahn and Arnd Hartmanns and Holger Hermanns}, 
    title       =   {Dependability Results for Power Grids with Decentralized Stabilization Strategies},
    editor      =   {Bernd Becker and Werner Damm and Bernd Finkbeiner and Martin Fr{\"a}nzle and
                    Ernst-R{\"u}diger Olderog and Andreas Podelski},
    institution =   {SFB/TR 14 AVACS},
    subproject  =   {S3, H4, S2},
    year        =   {2012},
    month       =   {April},
    type        =   {Reports of SFB/TR 14 AVACS},
    series      =   {ATR},
    number      =   83,
    note        =   {ISSN: 1860-9821, http://www.avacs.org.},
    access      =   {open},
    abstract    = {This paper reports on formal behavioural models of power grids with a
substantial share of photovoltaic microgeneration.  Simulation studies
show that the current legislatory framework in Germany can induce
frequency oscillations. This phenomenon is indeed recognized by the
German Federal Network Agency responsible for overseeing the national
power grids, and new regulations are currently being identified to
counter this phenomenon.  We study the currently valid proposal, and
compare it with a set of alternative approaches that take up and combine
ideas from communication protocol design, such as
additive-increase/multiplicative-decrease known from TCP, and
exponential backoff used in CSMA variations. We classify these
alternatives with respect to their availability and goodput.  The
models are specified in the modelling language Modest, and simulated
with the help of the modes simulator.},
    bibtex      =   {atr083.bib},
    pdf         =   {avacs_technical_report_083.pdf}
}