Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings

DOI10.1145/3365365.3382198OpenAlexW3021133488MaRDI QIDQ5146372FDOQ5146372

Authors: Carina Pilch, Arnd Hartmanns, Anne Remke 

Publication date: 25 January 2021

Published in: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3365365.3382198

zbMATH Keywords

nondeterminismstochastic hybrid systemsreachability analysishybrid Petri nets with general transitionsprophetic schedulers

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cited In (2)

• Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
• Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction

This page was built for publication: Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5146372)