2026-07-22T09:18:23Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4535 2024-03-06T10:26:08Z ddc:004 open_access

Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031) Ábrahám, Erika Avritzer, Alberto Remke, Anne Sanders, William H. Critical Infrastructures Smart Grids Modeling Randomized Timed and Hybrid Models Analysis 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Erika Ábrahám and Alberto Avritzer and Anne Remke and William H. Sanders 2014 Is Part Of Dagstuhl Reports, Volume 4, Issue 1 (2014) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.4.1.36 urn:nbn:de:0030-drops-45355 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.36 eng https://creativecommons.org/licenses/by/3.0/legalcode