ACADSTAFF UGM

CREATION
Title : An Improved Implementation of Discretization Algorithm for Markov Reward Models
Author :

INEZ FIONA SUTANTO (1) Prof. Dr.-Ing. Mhd. Reza M. I. Pulungan, S.Si., M.Sc. (2)

Date : 0 2018
Keyword : Markov reward models,discretization,transient analysis,performability,accuracy Markov reward models,discretization,transient analysis,performability,accuracy
Abstract : Discretization is one of numerical algorithms for computing transient probabilities of Markov reward models; namely continuous-time Markov chains enriched with reward structures. This algorithm is implemented in MRMC, a tool for verifying properties over probabilistic and stochastic models. MRMC uses a compressed-row representation to store sparse matrices. The representation is customized to meet MRMC’s needs to store transient probability matrix and other necessary matrices. It is also used to store transient probability matrices that are constantly produced and used by discretization. However, the representation is not quite compatible for discretization when computing probabilities of high accuracy. In this paper, we propose a modification of MRMC’s available compressed- row data structure to accelerate discretization computation. We also compare our method to MRMC’s default by computing the transient probabilities of Markov reward models that differ by state-space size, transient matrix density, and accuracy.
Group of Knowledge :
Level : Internasional
Status :
Published
Document
No Title Document Type Action