@inproceedings{6fe6ff13ccd045c59c032253c807a50d,
title = "Survivability evaluation of fluid critical infrastructures using hybrid Petri nets",
abstract = "In this paper we propose a formal, model-checking based procedure to evaluate the survivability of fluid critical infrastructures. To do so, we introduce the Stochastic Time Logic (STL), which allows to precisely express intricate state-based and until-based properties for an important class of hybrid Petri nets. We present an efficient model checking procedure which recursively traverses the underlying state-space of the hybrid Petri net model, and identifies those regions (subsets of the discrete-continuous state space) that satisfy STL formulae. A case study studying the survivability of a water refinery and distribution plant shows the feasibility of our approach.",
keywords = "EWI-24178, Survivability evaluation, IR-89265, METIS-302583, Fluid critical infrastructures, Model Checking, Hybrid Petri nets",
author = "Hamed Ghasemieh and Remke, {Anne Katharina Ingrid} and Haverkort, {Boudewijn R.H.M.}",
year = "2013",
month = dec,
doi = "10.1109/PRDC.2013.34",
language = "Undefined",
isbn = "978-0-7695-5130-2",
publisher = "IEEE",
pages = "152--161",
booktitle = "Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013",
note = "null ; Conference date: 02-12-2013 Through 04-12-2013",
}