DocumentCode
2319182
Title
Technique and tool for symbolic representation and manipulation of stochastic transition systems
Author
Siegle, Markus
Author_Institution
Erlangen-Nurnberg Univ., Germany
fYear
1998
fDate
7-9 Sep 1998
Firstpage
272
Abstract
We present a new approach to the compact symbolic representation of stochastic transition systems, based on Decision Node BDDs, a novel stochastic extension of BDDs. Parallel composition of components can be performed on the basis of this new data structure. We also discuss symbolic state space reduction by Markovian bisimulation
Keywords
Markov processes; data structures; state-space methods; symbol manipulation; Markovian bisimulation; data structure; decision node BDDs; stochastic transition systems manipulation; symbolic representation; symbolic state space reduction; Binary decision diagrams; Boolean functions; Data structures; Delay; Encoding; Partitioning algorithms; State-space methods; Stochastic processes; Stochastic systems; System analysis and design;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Performance and Dependability Symposium, 1998. IPDS '98. Proceedings. IEEE International
Conference_Location
Durham, NC
ISSN
1087-2191
Print_ISBN
0-8186-8679-0
Type
conf
DOI
10.1109/IPDS.1998.707731
Filename
707731
Link To Document