Symbolic state-space exploration and numerical analysis of state-sharing composed models

DOI10.1016/j.laa.2004.01.006zbMath1048.65007OpenAlexW1965492307MaRDI QIDQ1434418

William H. Sanders, Salem Derisavi, Peter Kemper

Publication date: 4 August 2004

Published in: Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.laa.2004.01.006

zbMATH Keywords

numerical examplescontinuous time Markov chainsmatrix diagramsmulti-valued decision diagramssymbolic state-space exploration

Mathematics Subject Classification ID

Computational methods in Markov chains (60J22) Numerical analysis or methods applied to Markov chains (65C40)

Related Items

Lumping and reversed processes in cooperating automata ⋮ Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On-line computation of transitive closures of graphs
• Symbolic model checking: \(10^{20}\) states and beyond
• Aggregation of stochastic automata networks with replicas
• Efficient computation and representation of large reachability sets for composed automata
• Graph-Based Algorithms for Boolean Function Manipulation
• Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models