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

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

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

• 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?)
• 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
• 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)

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

Describes a project that uses

Uses Software

• Möbius
• Bio-PEPA
• Mathematica

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)