Corpus ID: 8223345

Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains

  title={Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains},
  author={H. Hermanns and J. Meyer-Kayser and M. Siegle},
  • H. Hermanns, J. Meyer-Kayser, M. Siegle
  • Published 1999
  • Mathematics
  • Binary Decision Diagrams (BDDs) have gained high attention in the context of design and veriication of digital circuits. They have successfully been employed to encode very large state spaces in an eecient, symbolic way. Multi terminal BDDs (MTBDDs) are generali-sations of BDDs from Boolean values to values of any nite domain. In this paper, we investigate the applicability of MTBDDs to the symbolic representation of continuous time Markov chains, derived from high-level formalisms, such as… CONTINUE READING
    151 Citations
    Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems
    • 68
    Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs
    • M. Siegle
    • Mathematics, Computer Science
    • MMB
    • 1999
    • 10
    Faster and Symbolic CTMC Model Checking
    • 90
    • PDF
    Computing response time distributions using stochastic Petri nets and matrix diagrams
    • A. Miner
    • Computer Science
    • 10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings.
    • 2003
    • 17
    • PDF
    Symbolic on-the-fly analysis of stochastic Petri nets
    • 3
    • Highly Influenced
    • PDF
    Symbolic Representations and Analysis of Large Probabilistic Systems
    • 69
    • PDF
    Symbolic Partition Refinement with Dynamic Balancing of Time and Space
    • 7
    • PDF


    Edge-valued binary decision diagrams for multi-level hierarchical verification
    • 166
    • PDF
    Markovian analysis of large finite state machines
    • 160
    • PDF
    Generating BDDs for symbolic model checking in CCS
    • 47
    • PDF
    On variable ordering of binary decision diagrams for the application of multi-level logic synthesis
    • 285
    • PDF
    Generating BDD Models for Process Algebra Terms
    • 14
    • PDF
    Symbolic Model Checking: 10^20 States and Beyond
    • 3,177