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.

Preview

PDF
164Kb

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
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
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 EndNote HTML Citation Reference Manager

Repository Staff Only: item control page