Confluence reduction for probabilistic systems

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

31 Downloads (Pure)

Abstract

In this presentation we introduce a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata. We proved that this reduction preserves branching probabilistic bisimulation and can be applied on-the-fly. To support the technique, we introduce a method for detecting confluent transitions in the context of a probabilistic process algebra with data, facilitated by an earlier defined linear format. We present a case study, demonstrating that significant reductions can be obtained.
Original languageUndefined
Title of host publicationProceedings of the 2nd Young Researchers Workshop on Concurrency Theory
Place of PublicationEindhoven, The Netherlands
PublisherEindhoven University of Technology
Pages87-90
Number of pages4
ISBN (Print)not assigned
Publication statusPublished - Sep 2010

Publication series

Name
PublisherEindhoven University of Technology

Keywords

  • IR-76537
  • METIS-275960
  • Probabilistic automata
  • State space reduction
  • EC Grant Agreement nr.: FP7-ICT-2007-1
  • Branching probabilistic bisimulation
  • Confluence
  • EWI-19883
  • EC Grant Agreement nr.: FP7/214755
  • Probabilistic process algebra

Cite this

Timmer, M., van de Pol, J. C., & Stoelinga, M. I. A. (2010). Confluence reduction for probabilistic systems. In Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory (pp. 87-90). Eindhoven, The Netherlands: Eindhoven University of Technology.
Timmer, Mark ; van de Pol, Jan Cornelis ; Stoelinga, Mariëlle Ida Antoinette. / Confluence reduction for probabilistic systems. Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory. Eindhoven, The Netherlands : Eindhoven University of Technology, 2010. pp. 87-90
@inproceedings{049e1d0b2cd24a489c460228584ba7f4,
title = "Confluence reduction for probabilistic systems",
abstract = "In this presentation we introduce a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata. We proved that this reduction preserves branching probabilistic bisimulation and can be applied on-the-fly. To support the technique, we introduce a method for detecting confluent transitions in the context of a probabilistic process algebra with data, facilitated by an earlier defined linear format. We present a case study, demonstrating that significant reductions can be obtained.",
keywords = "IR-76537, METIS-275960, Probabilistic automata, State space reduction, EC Grant Agreement nr.: FP7-ICT-2007-1, Branching probabilistic bisimulation, Confluence, EWI-19883, EC Grant Agreement nr.: FP7/214755, Probabilistic process algebra",
author = "Mark Timmer and {van de Pol}, {Jan Cornelis} and Stoelinga, {Mari{\"e}lle Ida Antoinette}",
note = "eemcs-eprint-19883",
year = "2010",
month = "9",
language = "Undefined",
isbn = "not assigned",
publisher = "Eindhoven University of Technology",
pages = "87--90",
booktitle = "Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory",

}

Timmer, M, van de Pol, JC & Stoelinga, MIA 2010, Confluence reduction for probabilistic systems. in Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory. Eindhoven University of Technology, Eindhoven, The Netherlands, pp. 87-90.

Confluence reduction for probabilistic systems. / Timmer, Mark; van de Pol, Jan Cornelis; Stoelinga, Mariëlle Ida Antoinette.

Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory. Eindhoven, The Netherlands : Eindhoven University of Technology, 2010. p. 87-90.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Confluence reduction for probabilistic systems

AU - Timmer, Mark

AU - van de Pol, Jan Cornelis

AU - Stoelinga, Mariëlle Ida Antoinette

N1 - eemcs-eprint-19883

PY - 2010/9

Y1 - 2010/9

N2 - In this presentation we introduce a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata. We proved that this reduction preserves branching probabilistic bisimulation and can be applied on-the-fly. To support the technique, we introduce a method for detecting confluent transitions in the context of a probabilistic process algebra with data, facilitated by an earlier defined linear format. We present a case study, demonstrating that significant reductions can be obtained.

AB - In this presentation we introduce a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata. We proved that this reduction preserves branching probabilistic bisimulation and can be applied on-the-fly. To support the technique, we introduce a method for detecting confluent transitions in the context of a probabilistic process algebra with data, facilitated by an earlier defined linear format. We present a case study, demonstrating that significant reductions can be obtained.

KW - IR-76537

KW - METIS-275960

KW - Probabilistic automata

KW - State space reduction

KW - EC Grant Agreement nr.: FP7-ICT-2007-1

KW - Branching probabilistic bisimulation

KW - Confluence

KW - EWI-19883

KW - EC Grant Agreement nr.: FP7/214755

KW - Probabilistic process algebra

M3 - Conference contribution

SN - not assigned

SP - 87

EP - 90

BT - Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory

PB - Eindhoven University of Technology

CY - Eindhoven, The Netherlands

ER -

Timmer M, van de Pol JC, Stoelinga MIA. Confluence reduction for probabilistic systems. In Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory. Eindhoven, The Netherlands: Eindhoven University of Technology. 2010. p. 87-90