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

DOI10.1145/3365365.3382198MaRDI QIDQ5146372zbMATH OpenOpenAlexFDO

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

hybrid Petri nets with general transitionsnondeterminismprophetic schedulersreachability analysisstochastic hybrid systems

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

(3)

• Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
• Monte-Carlo integration on a union of polytopes
• 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)