Confluence Reduction for Probabilistic Systems (extended version)

Share/Save/Bookmark

Timmer, Mark and Stoelinga, Mariëlle and Pol, Jaco van de (2010) Confluence Reduction for Probabilistic Systems (extended version). [Report]

open access
[img]
Preview
PDF
330kB
Abstract:This paper presents a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata. We prove 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. A case study demonstrates that significant reductions can be obtained.
Item Type:Report
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/75221
Official URL:http://arxiv.org/abs/1011.2314v1
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 276225