Submitted: December 2013
Abstract
Acyclic phase-type distributions are probability distributions that mainly consist of combinations of exponential distributions and can be represented by continuous-time Markov chains. The computation time when analyzing these distributions strongly depends on the size of their representations. However, because their representations aren’t unique, an algorithm was developed by Reza Pulungan and Holger Hermanns to minimize their state space. They also developed a calculus which is able to construct these distributions.
In this thesis, an Android application to build and display these distributions according to this calculus is developed. It uses an already implemented webservice to compute their minimal representations and makes this service reachable from any Android device.