We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
A construction and minimization service for continuous probability distributions.
- Authors
Pulungan, Reza; Hermanns, Holger
- Abstract
The universe of acyclic continuous-time Markov chains can provide arbitrarily close approximations of any continuous probability distribution. We span this universe by a compositional construction calculus for acyclic phase-type distributions. The calculus draws its expressiveness from a single operator, yet the calculus is equipped with further convenient operators, namely convolution, maximum, and minimum. However, the size of the chains constructed in this way can grow rapidly. We therefore link our calculus to a compositional minimization algorithm that whenever applied almost surely yields a chain with the least possible size. The entire approach is available in the form of an easy-to-use web service. The paper describes the architecture of this service in detail and reports on experimental evidence demonstrating its usefulness.
- Subjects
MARKOV processes; MATHEMATICAL convolutions; ERLANG (Computer program language); INFINITESIMAL transformations; RANDOM variables
- Publication
International Journal on Software Tools for Technology Transfer, 2015, Vol 17, Issue 1, p77
- ISSN
1433-2779
- Publication type
Article
- DOI
10.1007/s10009-013-0296-8