Abstract-I detta dokument föreslår vi en formell, modell-kontroll baserad förfarande för att utvärdera överlevnaden av fluid kritisk infrastruktur. För att göra det introducerar vi Stochastic Time Logic (STL), som gör det möjligt att exakt uttrycka invecklade state-baserade och till-baserade egenskaper för en viktig klass av hybrid Petri nät. Vi presenterar en effektiv modellkontroll procedur som rekursivt passerar den underliggande tillståndsrymden i hybriden Petri nettomodell, och identifierar de regioner (undergrupper av diskret-kontinuerlig tillstånd utrymme) som uppfyller STL formler. En fallstudie som studerar möjligheten att överleva ett vattenraffinaderi och en distributionsanläggning visar hur genomförbart vårt tillvägagångssätt är.
Ghasemieh, etc. REF utvecklar en modellkontrollalgoritm för att utvärdera överlevnadsegenskaperna hos fluidkritiska infrastrukturer.
Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets
{'venue': '2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing', 'journal': '2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing', 'mag_field_of_study': ['Computer Science']}