Communicating piecewise deterministic Markov processes

MaRDI QIDQ3434960zbMATH OpenFDO

Authors Stefan Strubbe, Arjan van der Schaft

Publication date 3 May 2007

zbMATH Keywords

concurrent processesinteractive Markov chainsstochastic hybrid systems

Mathematics Subject Classification ID

Discrete-time Markov processes on general state spaces (60J05) Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Stochastic systems in control theory (general) (93E03)

Recommendations

• Hybrid Systems: Computation and Control
• Piecewise deterministic Markov processes represented by dynamically coloured Petri nets
• Piecewise deterministic Markov process -- recent results
• scientific article; zbMATH DE number 1956626
• A compositional modelling and verification framework for stochastic hybrid systems

Cited in

(3)

• Verification of general Markov decision processes by approximate similarity relations and policy refinement
• Rational Processes Related to Communicating Markov Processes
• Hybrid Systems: Computation and Control

This page was built for publication: Communicating piecewise deterministic Markov processes

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