Title :
Technique and tool for symbolic representation and manipulation of stochastic transition systems
Author_Institution :
Erlangen-Nurnberg Univ., Germany
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;
Conference_Titel :
Computer Performance and Dependability Symposium, 1998. IPDS '98. Proceedings. IEEE International
Conference_Location :
Durham, NC
Print_ISBN :
0-8186-8679-0
DOI :
10.1109/IPDS.1998.707731
