Efficient Modelling and Generation of Markov Automata


Timmer, Mark and Katoen, Joost-Pieter and Pol van de, Jaco and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata. In: 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, 31 March - 1 April 2012, Tallinn, Estonia.

Abstract:This presentation introduces a process-algebraic framework with data for modelling and generating Markov automata. We show how an existing linearisation procedure for process-algebraic representations of probabilistic automata can be reused to transform systems in our new framework to a special format. This format enables easy state space generation and facilitates the definition of syntactic reduction techniques. We introduce several such techniques, which treat data as well as Markovian and interactive behaviour in a fully symbolic manner. In this way, reductions are obtained on the specification level instead of the model level, reducing state spaces prior to their construction.
Item Type:Conference or Workshop Item
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/80432
Official URL:http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012/MarkTimmerAbstractMarkovAutomata.pdf
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page