Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids
| Title | Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Hartmanns, A, Hermanns, H |
| Conference Name | Leveraging 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 |
| Publisher | Springer |
| ISBN Number | 978-3-642-34025-3 |
| DOI | 10.1007/978-3-642-34026-0_31 |
Work Package:
WP1
