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.
Original languageUndefined
Title of host publication10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012
Place of PublicationPisa
PublisherIstituto di Scienza e Tecnologie dell'Informazione
Pages-
Number of pages4
ISBN (Print)not assigned
StatePublished - 31 Mar 2012

Publication series

Name
PublisherIstituto di Scienza e Tecnologie dell'Informazione

Fingerprint

State space
Probabilistic automata
Linearization
Automata
Transform
Specification
Modeling
Model

Keywords

  • METIS-286342
  • IR-80432
  • Markov Automata
  • EWI-21804
  • Efficient state space generation
  • Process Algebra
  • Symbolic transformations

Cite this

Timmer, M., Katoen, J. P., van de Pol, J. C., & Stoelinga, M. I. A. (2012). Efficient Modelling and Generation of Markov Automata. In 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012 (pp. -). Pisa: Istituto di Scienza e Tecnologie dell'Informazione.

Timmer, Mark; Katoen, Joost P.; van de Pol, Jan Cornelis; Stoelinga, Mariëlle Ida Antoinette / Efficient Modelling and Generation of Markov Automata.

10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012. Pisa : Istituto di Scienza e Tecnologie dell'Informazione, 2012. p. -.

Research output: ScientificConference contribution

@inbook{86bdf52483884243ab779578d4c59cb2,
title = "Efficient Modelling and Generation of Markov Automata",
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.",
keywords = "METIS-286342, IR-80432, Markov Automata, EWI-21804, Efficient state space generation, Process Algebra, Symbolic transformations",
author = "Mark Timmer and Katoen, {Joost P.} and {van de Pol}, {Jan Cornelis} and Stoelinga, {Mariëlle Ida Antoinette}",
year = "2012",
month = "3",
isbn = "not assigned",
publisher = "Istituto di Scienza e Tecnologie dell'Informazione",
pages = "--",
booktitle = "10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012",

}

Timmer, M, Katoen, JP, van de Pol, JC & Stoelinga, MIA 2012, Efficient Modelling and Generation of Markov Automata. in 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012. Istituto di Scienza e Tecnologie dell'Informazione, Pisa, pp. -.

Efficient Modelling and Generation of Markov Automata. / Timmer, Mark; Katoen, Joost P.; van de Pol, Jan Cornelis; Stoelinga, Mariëlle Ida Antoinette.

10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012. Pisa : Istituto di Scienza e Tecnologie dell'Informazione, 2012. p. -.

Research output: ScientificConference contribution

TY - CHAP

T1 - Efficient Modelling and Generation of Markov Automata

AU - Timmer,Mark

AU - Katoen,Joost P.

AU - van de Pol,Jan Cornelis

AU - Stoelinga,Mariëlle Ida Antoinette

PY - 2012/3/31

Y1 - 2012/3/31

N2 - 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.

AB - 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.

KW - METIS-286342

KW - IR-80432

KW - Markov Automata

KW - EWI-21804

KW - Efficient state space generation

KW - Process Algebra

KW - Symbolic transformations

M3 - Conference contribution

SN - not assigned

SP - -

BT - 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012

PB - Istituto di Scienza e Tecnologie dell'Informazione

ER -

Timmer M, Katoen JP, van de Pol JC, Stoelinga MIA. Efficient Modelling and Generation of Markov Automata. In 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012. Pisa: Istituto di Scienza e Tecnologie dell'Informazione. 2012. p. -.