Back to University of Twente portal
| author: | Pieter Jan Roelofs |
| title: | Determining Long Run Properties of Complex Models using Statistical Model Checking |
| keywords: | Simulation, statistical model checking, steady state, longrun average, The Modest Toolset |
| topics: | Algorithms and Data Structures , Case studies and Applications |
| committee: |
Arnd Hartmanns
, Carlos Esteban Budde |
| started: | April 2018 |
| end: | July 2018 |
Description
This paper discusses the methods to compute the steady state of various models using only the simulations output. The paper proposes four methods and compares these against an existing tool with the capability to determine steady states: the \fig tool. Experiments were executed on Markovian queuing networks, Markovian stiff model and STA's. Preliminary results indicate that proposed methods work fairly well for non-rare event simulation.