Bachelorarbeit BCLR-2017-12

Beeh, Tobias: Transformations between Markov Chains and Stochastic Regular Expressions.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Bachelorarbeit (2017).
59 Seiten, englisch.
CR-Klassif.G.3 (Probability and Statistics)

Stochastic processes need to be modelled in many cases, e.g. for reliability analysis, for artificial intelligence and in genetic programming. Mostly markov models are used for this, but there are other approaches as well, like stochastic languages. To provide more flexibility in working with stochastic models, this paper discusses possibilities to transform these into each other. The transformation between so called Stochastic Regular Expressions and Discrete Time Markov Chains can be done similar to algorithms used for formal, non-stochastic languages. This paper describes this transformation in detail. Furthermore, possibilities to apply delta changes on the transformation to run consecutive transformations faster are discussed. A proof-of-concept implementation for this algorithm is provided and both explained and evaluated in this paper. It turns out that the implementation of the transformation from Discrete Time Markov Chains to Stochastic Regular Expressions is very time- and memory consuming and produces large results in its current state, while the other direction works pretty well. Furthermore, the application of delta changes yields to significant performance improvements for large models.

Volltext und
andere Links
PDF (406482 Bytes)
Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich
Abteilung(en)Universität Stuttgart, Institut für Softwaretechnologie, Sichere und Zuverlässige Softwaresysteme
Betreuervan Hoorn, Dr. André; Getir, Sinem
Eingabedatum27. September 2018
   Publ. Informatik