Modelling and statistical model checking of a microgrid

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...

Full description

Saved in:
Bibliographic Details
Published inInternational journal on software tools for technology transfer Vol. 17; no. 4; pp. 537 - 554
Main Authors Chakraborty, Souymodip, Katoen, Joost-Pieter, Sher, Falak, Strelec, Martin
Format Journal Article
LanguageEnglish
Published Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2015
Springer Nature B.V
Subjects
Computer programs
Computer Science
Distributed generation
Dynamical systems
Dynamics
Energy
Mathematical models
Modelling
Smc
Software Engineering
Software Engineering/Programming and Operating Systems
Statistical analysis
Statistics
Stochastic models
Theory of Computation
Turbines
Wind
Microgrid
Statistical model Checking
Online AccessGet full text

Cover

More Information
Summary: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 determining the probability of linear temporal logic properties expressed in the logic LTL, using the statistical model checker Uppaal-SMC .
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ISSN:1433-2779
1433-2787
DOI:10.1007/s10009-014-0345-y