Applying Mean-Field Approximation to Continuous Time Markov Chains

DOI10.1007/978-3-662-45489-3_7zbMath1426.68011OpenAlexW1601479640MaRDI QIDQ2937739

Anna Kolesnichenko, Alireza Pourranjabar, Anne Remke, Valerio Senni

Publication date: 12 January 2015

Published in: Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems (Search for Journal in Brave)

Full work available at URL: http://eprints.imtlucca.it/1620/1/CSA_TR_2013_8.pdf

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Continuous-time Markov processes on discrete state spaces (60J27) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Uses Software

• Mathematica
• Bio-PEPA
• Möbius

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fluid computation of passage-time distributions in large Markov models
• More is the same; phase transitions and mean field theories
• A fluid analysis framework for a Markovian process algebra
• Differential equation approximations for Markov chains
• A mean-field limit for a class of queueing networks
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• On-the-fly Fast Mean-Field Model-Checking
• Fluid Model Checking
• A Compositional Approach to Performance Modelling
• Deterministic Approximation of Stochastic Evolution in Games
• Solutions of ordinary differential equations as limits of pure jump markov processes

This page was built for publication: Applying Mean-Field Approximation to Continuous Time Markov Chains