Survivability evaluation of fluid critical infrastructures using hybrid Petri nets

Hamed Ghasemieh, Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    20 Citations (Scopus)
    83 Downloads (Pure)

    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.
    Original languageUndefined
    Title of host publicationProceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013
    Place of PublicationUSA
    PublisherIEEE Computer Society
    Pages152-161
    Number of pages10
    ISBN (Print)978-0-7695-5130-2
    DOIs
    Publication statusPublished - Dec 2013

    Publication series

    Name
    PublisherIEEE Computer Society

    Keywords

    • EWI-24178
    • Survivability evaluation
    • IR-89265
    • METIS-302583
    • Fluid critical infrastructures
    • Model Checking
    • Hybrid Petri nets

    Cite this

    Ghasemieh, H., Remke, A. K. I., & Haverkort, B. R. H. M. (2013). Survivability evaluation of fluid critical infrastructures using hybrid Petri nets. In Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013 (pp. 152-161). USA: IEEE Computer Society. https://doi.org/10.1109/PRDC.2013.34