Modelling and statistical model checking of a microgrid

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F15%3A43923355" target="_blank" >RIV/49777513:23520/15:43923355 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/s10009-014-0345-y" target="_blank" >http://dx.doi.org/10.1007/s10009-014-0345-y</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s10009-014-0345-y" target="_blank" >10.1007/s10009-014-0345-y</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Modelling and statistical model checking of a microgrid

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Modelling and statistical model checking of a microgrid

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

20205 - Automation and control systems

Projekt

<a href="/cs/project/ED1.1.00%2F02.0090" target="_blank" >ED1.1.00/02.0090: NTIS - Nové technologie pro informační společnost</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2015

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

International Journal on Software Tools for Technology Transfer

ISSN

1433-2779

e-ISSN

—

Svazek periodika

17

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

18

Strana od-do

537-554

Kód UT WoS článku

000357485500011

EID výsledku v databázi Scopus

2-s2.0-84943273771