On-the-fly uniformization of time-inhomogeneous infinite Markov population models

MaRDI QIDQ4965808zbMATH OpenFDO

Authors Alexander Andreychenko, Pepijn Crouzen, Linar Mikeev, Verena Wolf

Publication date 10 March 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2011.1

Mathematics Subject Classification ID

Continuous-time Markov processes on discrete state spaces (60J27) Numerical analysis or methods applied to Markov chains (65C40)

Recommendations

• Sliding Window Abstraction for Infinite Markov Chains
• On the numerical analysis of inhomogeneous continuous-time Markov chains
• Bounding mean first passage times in population continuous-time Markov chains
• Bounding the equilibrium distribution of Markov population models.
• Abstraction-guided truncations for stationary distributions of Markov population models

Cited in

(3)

• Analysis of Markov jump processes under terminal constraints
• Model checking single agent behaviours by fluid approximation
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: On-the-fly uniformization of time-inhomogeneous infinite Markov population models

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