License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.4.1.36
URN: urn:nbn:de:0030-drops-45355
URL: http://drops.dagstuhl.de/opus/volltexte/2014/4535/
Go back to Dagstuhl Reports


Ábrahám, Erika ; Avritzer, Alberto ; Remke, Anne ; Sanders, William H.
Weitere Beteiligte (Hrsg. etc.): Erika Ábrahám and Alberto Avritzer and Anne Remke and William H. Sanders

Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031)

pdf-format:
dagrep_v004_i001_p036_s14031.pdf (1 MB)


Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 14031 "Randomized Timed and Hybrid Models for Critical Infrastructures". Critical Infrastructures, such as power grid and water and gas distribution networks, are essential for the functioning of our society and economy. Randomized Timed and Hybrid Models appear as a natural choice for their modeling, and come with existing algorithms and tool support for their analysis. However, on the one hand, the Critical Infrastructures community does not yet make full use of recent advances for Randomized Timed and Hybrid Models. On the other hand, existing algorithms are not yet readily applicable to the special kind of problems arising in Critical Infrastructures. This seminar brought together researchers from these fields to communicate with each other and to exchange knowledge, experiences and needs.

BibTeX - Entry

@Article{brahm_et_al:DR:2014:4535,
  author =	{Erika Ábrah{\'a}m and Alberto Avritzer and Anne Remke and William H. Sanders},
  title =	{{Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031)}},
  pages =	{36--82},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Erika Ábrah{\'a}m and Alberto Avritzer and Anne Remke and William H. Sanders},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2014/4535},
  URN =		{urn:nbn:de:0030-drops-45355},
  doi =		{10.4230/DagRep.4.1.36},
  annote =	{Keywords: Critical Infrastructures, Smart Grids, Modeling, Randomized Timed and Hybrid Models, Analysis}
}

Keywords: Critical Infrastructures, Smart Grids, Modeling, Randomized Timed and Hybrid Models, Analysis
Seminar: Dagstuhl Reports, Volume 4, Issue 1
Issue Date: 2014
Date of publication: 23.04.2014


DROPS-Home | Fulltext Search | Imprint Published by LZI