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


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.