Model checking two layers of mean-field models

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

Recently, many systems that consist of a large number of interacting objects have been analysed using the mean-field method, which allows a quick and accurate analysis of such systems, while avoiding the state-space explosion problem. To date, the mean-field method has primarily been used for classical performance evaluation purposes. In this chapter, we discuss model-checking mean-field models. We define and motivate two logics, called Mean-Field Continuous Stochastic Logic (MF-CSL) and Mean-Field Logic (MFL), to describe properties of systems composed of many identical interacting objects. We present model-checking algorithms and discuss the differences in the expressiveness of these two logics and their combinations.
LanguageUndefined
Title of host publicationPrinciples of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday
EditorsLance Fiondella, Antonio Puliafito
Place of PublicationLondon
PublisherSpringer Verlag
Pages341-369
Number of pages29
ISBN (Print)978-3-319-30597-4
DOIs
StatePublished - Apr 2016

Publication series

NameSpringer series in reliability engineering
PublisherSpringer Verlag
ISSN (Print)1614-7839

Keywords

  • IR-104415
  • EWI-27782

Cite this

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T., & Haverkort, B. R. H. M. (2016). Model checking two layers of mean-field models. In L. Fiondella, & A. Puliafito (Eds.), Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday (pp. 341-369). (Springer series in reliability engineering). London: Springer Verlag. DOI: 10.1007/978-3-319-30599-8_13
Kolesnichenko, A.V. ; Remke, Anne Katharina Ingrid ; de Boer, Pieter-Tjerk ; Haverkort, Boudewijn R.H.M./ Model checking two layers of mean-field models. Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday. editor / Lance Fiondella ; Antonio Puliafito. London : Springer Verlag, 2016. pp. 341-369 (Springer series in reliability engineering).
@inbook{a212deef173049eebf6fa7d7276b130b,
title = "Model checking two layers of mean-field models",
abstract = "Recently, many systems that consist of a large number of interacting objects have been analysed using the mean-field method, which allows a quick and accurate analysis of such systems, while avoiding the state-space explosion problem. To date, the mean-field method has primarily been used for classical performance evaluation purposes. In this chapter, we discuss model-checking mean-field models. We define and motivate two logics, called Mean-Field Continuous Stochastic Logic (MF-CSL) and Mean-Field Logic (MFL), to describe properties of systems composed of many identical interacting objects. We present model-checking algorithms and discuss the differences in the expressiveness of these two logics and their combinations.",
keywords = "IR-104415, EWI-27782",
author = "A.V. Kolesnichenko and Remke, {Anne Katharina Ingrid} and {de Boer}, Pieter-Tjerk and Haverkort, {Boudewijn R.H.M.}",
year = "2016",
month = "4",
doi = "10.1007/978-3-319-30599-8_13",
language = "Undefined",
isbn = "978-3-319-30597-4",
series = "Springer series in reliability engineering",
publisher = "Springer Verlag",
pages = "341--369",
editor = "Lance Fiondella and Antonio Puliafito",
booktitle = "Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday",
address = "Germany",

}

Kolesnichenko, AV, Remke, AKI, de Boer, P-T & Haverkort, BRHM 2016, Model checking two layers of mean-field models. in L Fiondella & A Puliafito (eds), Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday. Springer series in reliability engineering, Springer Verlag, London, pp. 341-369. DOI: 10.1007/978-3-319-30599-8_13

Model checking two layers of mean-field models. / Kolesnichenko, A.V.; Remke, Anne Katharina Ingrid; de Boer, Pieter-Tjerk; Haverkort, Boudewijn R.H.M.

Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday. ed. / Lance Fiondella; Antonio Puliafito. London : Springer Verlag, 2016. p. 341-369 (Springer series in reliability engineering).

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Model checking two layers of mean-field models

AU - Kolesnichenko,A.V.

AU - Remke,Anne Katharina Ingrid

AU - de Boer,Pieter-Tjerk

AU - Haverkort,Boudewijn R.H.M.

PY - 2016/4

Y1 - 2016/4

N2 - Recently, many systems that consist of a large number of interacting objects have been analysed using the mean-field method, which allows a quick and accurate analysis of such systems, while avoiding the state-space explosion problem. To date, the mean-field method has primarily been used for classical performance evaluation purposes. In this chapter, we discuss model-checking mean-field models. We define and motivate two logics, called Mean-Field Continuous Stochastic Logic (MF-CSL) and Mean-Field Logic (MFL), to describe properties of systems composed of many identical interacting objects. We present model-checking algorithms and discuss the differences in the expressiveness of these two logics and their combinations.

AB - Recently, many systems that consist of a large number of interacting objects have been analysed using the mean-field method, which allows a quick and accurate analysis of such systems, while avoiding the state-space explosion problem. To date, the mean-field method has primarily been used for classical performance evaluation purposes. In this chapter, we discuss model-checking mean-field models. We define and motivate two logics, called Mean-Field Continuous Stochastic Logic (MF-CSL) and Mean-Field Logic (MFL), to describe properties of systems composed of many identical interacting objects. We present model-checking algorithms and discuss the differences in the expressiveness of these two logics and their combinations.

KW - IR-104415

KW - EWI-27782

U2 - 10.1007/978-3-319-30599-8_13

DO - 10.1007/978-3-319-30599-8_13

M3 - Chapter

SN - 978-3-319-30597-4

T3 - Springer series in reliability engineering

SP - 341

EP - 369

BT - Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday

PB - Springer Verlag

CY - London

ER -

Kolesnichenko AV, Remke AKI, de Boer P-T, Haverkort BRHM. Model checking two layers of mean-field models. In Fiondella L, Puliafito A, editors, Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday. London: Springer Verlag. 2016. p. 341-369. (Springer series in reliability engineering). Available from, DOI: 10.1007/978-3-319-30599-8_13