Model checking two layers of mean-field models

A.V. Kolesnichenko; Anne Katharina Ingrid Remke; Pieter-Tjerk de Boer; Boudewijn R.H.M. Haverkort

doi:10.1007/978-3-319-30599-8_13

Model checking two layers of mean-field models

A.V. Kolesnichenko, Anne Katharina Ingrid Remke, Pieter-Tjerk de Boer, Boudewijn R.H.M. Haverkort

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review

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.

Original language	English
Title of host publication	Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday
Editors	Lance Fiondella, Antonio Puliafito
Place of Publication	London
Publisher	Springer Verlag
Pages	341-369
Number of pages	29
ISBN (Print)	978-3-319-30597-4
DOIs	https://doi.org/10.1007/978-3-319-30599-8_13
Publication status	Published - Apr 2016
Externally published	Yes

Publication series

Name	Springer series in reliability engineering

Keywords

IR-104415
EWI-27782

Access to Document

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

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). Springer Verlag. https://doi.org/10.1007/978-3-319-30599-8_13

Kolesnichenko, A.V. ; Remke, Anne Katharina Ingrid ; de Boer, Pieter-Tjerk et al. / 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{1229ae54253b426ab16e3dcd2fe2059f,

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 = apr,

doi = "10.1007/978-3-319-30599-8_13",

language = "English",

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. https://doi.org/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 et al.
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 proceeding › Chapter › Scientific › peer-review

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

A2 - Fiondella, Lance

A2 - Puliafito, Antonio

PB - Springer Verlag

CY - London

ER -

Kolesnichenko AV, Remke AKI, de Boer PT, 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). doi: 10.1007/978-3-319-30599-8_13

Model checking two layers of mean-field models

Abstract

Publication series

Keywords

Access to Document

Fingerprint

Cite this