### Abstract

Language | Undefined |
---|---|

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 | |

State | Published - Apr 2016 |

### Publication series

Name | Springer series in reliability engineering |
---|---|

Publisher | Springer Verlag |

ISSN (Print) | 1614-7839 |

### Keywords

- IR-104415
- EWI-27782

### Cite this

*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

}

*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.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

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 -