@conference {225, title = {Modelling and Statistical Model Checking of a Microgrid}, booktitle = {Workshop on Statistical Model Checking (SMC)}, year = {2013}, abstract = {This paper reports on the modelling and analysis of a microgrid with wind, microturbines, and the main grid as generation resources. The microgrid is modelled as a parallel composition of various stochastic hybrid automata. Extensive simulation runs of the behaviour of the main individual microgrid components give insight into the complex dynamics of the system and provide useful information to determine adequate parameter settings. The analysis of the microgrid focuses on checking several temporal properties, expressed in the logic PCTL, using the statistical model checker Uppaal-SMC.}, author = {Chakraborty, Souymodip and Strelec, Martin and Joost-Pieter Katoen and Falak Sher} }