Symbolic state-space exploration and numerical analysis of state-sharing composed models
From MaRDI portal
Publication:1434418
DOI10.1016/j.laa.2004.01.006zbMath1048.65007MaRDI 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
numerical examples; continuous time Markov chains; matrix diagrams; multi-valued decision diagrams; symbolic state-space exploration
60J22: Computational methods in Markov chains
65C40: Numerical analysis or methods applied to Markov chains
Related Items
Lumping and reversed processes in cooperating automata, Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item