Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids

TitleModelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids
Publication TypeConference Paper
Year of Publication2012
AuthorsHartmanns, A, Hermanns, H
Conference NameLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
PublisherSpringer
ISBN Number978-3-642-34025-3
DOI10.1007/978-3-642-34026-0_31
Work Package: 
WP1