Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures
Derisavi, Salem
Permalink
https://hdl.handle.net/2142/88529
Description
Title Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures Author(s) Derisavi, Salem Issue Date 2006-06 Keyword(s) Continuous time Markov chains Symbolic data structures Matrix diagrams Multi-valued decision diagrams Ordinary and exact lumping Compositional lumping Symbolic state-space exploration Design of tools for performance/dependability assessment Numerical analysis Splay trees Computational complexity Publisher Coordinated Science Laboratory, University of Illinois at Urbana-Champaign Series/Report Name or Number Coordinated Science Laboratory Report no. UILU-ENG-06-2211, CRHC-06-07 Type of Resource text Language en Permalink http://hdl.handle.net/2142/88529 Sponsor(s)/Grant Number(s) National Science Foundation / 9975019 and CCR-00-86096
Owning Collections
