Applying mean-field approximation to continuous time Markov chains

DOI10.1007/978-3-662-45489-3_7MaRDI QIDQ2937739zbMATH OpenOpenAlexFDO

Authors Anna Kolesnichenko, Valerio Senni, Alireza Pourranjabar, Anne Remke

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

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

Recommendations

• On the approximation error of mean-field models
• Mean-field analysis of Markov models with reward feedback
• From individuals to populations: a mean field semantics for process algebra
• Mean-field approximation of counting processes from a differential equation perspective
• On-the-fly fast mean-field model-checking

Cites work

• A Compositional Approach to Performance Modelling
• A fluid analysis framework for a Markovian process algebra
• A mean-field limit for a class of queueing networks
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Deterministic Approximation of Stochastic Evolution in Games
• Differential equation approximations for Markov chains
• Fluid computation of passage-time distributions in large Markov models
• Fluid model checking
• scientific article; zbMATH DE number 3729228 (Why is no real title available?)
• scientific article; zbMATH DE number 2026864 (Why is no real title available?)
• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• More is the same; phase transitions and mean field theories
• On-the-fly fast mean-field model-checking
• Solutions of ordinary differential equations as limits of pure jump markov processes

Cited in

(9)

• Mean-field analysis of a scaling MAC radio protocol
• Mean-field analysis of Markov models with reward feedback
• Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates
• Mean-field approximation of counting processes from a differential equation perspective
• Stationary Averaging for Multiscale Continuous Time Markov Chains Using Parallel Replica Dynamics
• Stochastic modeling and optimization of garbage collection algorithms in solid-state drive systems
• On the approximation error of mean-field models
• From individuals to populations: a mean field semantics for process algebra
• Continuous-time mean field Markov decision models

Describes a project that uses

Uses Software

• Mathematica
• Bio-PEPA
• Möbius

This page was built for publication: Applying mean-field approximation to continuous time Markov chains

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