DROPS

Document

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

Authors: Erika Ábrahám, Alberto Avritzer, Anne Remke, and William H. Sanders

Published in: Dagstuhl Reports, Volume 4, Issue 1 (2014)

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.

Cite as

Erika Ábrahám, Alberto Avritzer, Anne Remke, and William H. Sanders. Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). In Dagstuhl Reports, Volume 4, Issue 1, pp. 36-82, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{abraham_et_al:DagRep.4.1.36,
  author =	{\'{A}brah\'{a}m, Erika and Avritzer, Alberto and Remke, Anne and Sanders, William H.},
  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 =	{\'{A}brah\'{a}m, Erika and Avritzer, Alberto and Remke, Anne and Sanders, William H.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.36},
  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}
}

Document

DOI: 10.4230/DagSemProc.10292.1

10292 Abstracts Collection and Summary – Resilience Assessment and Evaluation

Authors: Alberto Avritzer, Aad van Moorsel, and Katinka Wolter

Published in: Dagstuhl Seminar Proceedings, Volume 10292, Resilience Assessment and Evaluation (2010)

Abstract

From July 18 to July 23, 2010 the Dagstuhl Seminar 10292 ``Resilience Assessment and Evaluation '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Alberto Avritzer, Aad van Moorsel, and Katinka Wolter. 10292 Abstracts Collection and Summary – Resilience Assessment and Evaluation. In Resilience Assessment and Evaluation. Dagstuhl Seminar Proceedings, Volume 10292, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{avritzer_et_al:DagSemProc.10292.1,
  author =	{Avritzer, Alberto and van Moorsel, Aad and Wolter, Katinka},
  title =	{{10292 Abstracts Collection and Summary – Resilience Assessment and Evaluation}},
  booktitle =	{Resilience Assessment and Evaluation},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10292},
  editor =	{Alberto Avritzer and Aad van Morsel and Katinka Wolter},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10292.1},
  URN =		{urn:nbn:de:0030-drops-28985},
  doi =		{10.4230/DagSemProc.10292.1},
  annote =	{Keywords: Resilience, dependability, distributed systems, complex systems, critical infrastructures, Cloud computing}
}

Search Results

Documents authored by Avritzer, Alberto

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

Abstract

Cite as

10292 Abstracts Collection and Summary – Resilience Assessment and Evaluation

Abstract

Cite as

Thanks for your feedback!

Could not send message