International Parallel and Distributed Processing Symposium (IPDPS'03)
Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models
Nice, France
April 22-April 26
ISBN: 0-7695-1926-1
Semi-Markov processes (SMPs) are expressive tools for modelling concurrent systems; they are a generalisation of Markov processes that allow for arbitrarily distributed sojourn times. This paper presents an iterative technique for passage time and transient analysis of large structurally unrestricted semi-Markov processes. Our method is based on the calculation and subsequent numerical inversion of Laplace transforms and is amenable to a highly scalable distributed implementation. Results for a distributed voting system model with up to 1.1 million states are presented and compared against simulation.
Citation:
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt, "Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models," ipdps, pp.281a, International Parallel and Distributed Processing Symposium (IPDPS'03), 2003