@inbook{c097ff4dfad14ab3ad441957671047d3,

title = "Applying Mean-Field Approximation to Continuous Time Markov Chains",

abstract = "The mean-field analysis technique is used to perform analysis of a system with a large number of components to determine the emergent deterministic behaviour and how this behaviour modifies when its parameters are perturbed. The computer science performance modelling and analysis community has found the mean-field method useful for modelling large-scale computer and communication networks. Applying mean-field analysis from the computer science perspective requires the following major steps: (1) describing how the agent populations evolve by means of a system of differential equations, (2) finding the emergent deterministic behaviour of the system by solving such differential equations, and (3) analysing properties of this behaviour. Depending on the system under analysis, performing these steps may become challenging. Often, modifications of the general idea are needed. In this tutorial we consider illustrating examples to discuss how the mean-field method is used in different application areas. Starting from the application of the classical technique, moving to cases where additional steps have to be used, such as systems with local communication. Finally, we illustrate the application of existing model checking analysis techniques.",

keywords = "Application, Mean-field approximation, Model checking",

author = "A.V. Kolesnichenko and Valerio Senni and Alireza Pourranjabar and Anne Remke",

note = "Book Subtitle: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures; International Autumn School, ROCKS 2012 ; Conference date: 22-10-2012 Through 26-10-2012",

year = "2014",

month = oct,

doi = "10.1007/978-3-662-45489-3_7",

language = "English",

isbn = "978-3-662-45488-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "242--280",

editor = "Anne Remke and Mari{\"e}lle Stoelinga",

booktitle = "Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems",

}