This paper introduces multi-terminal decision diagrams (MTDDs), a generalisation of MTBDDs , as a data structure for representing real-valued functions whose arguments are boolean or real variables. These new structures are suitable for numerical integration using quadrature formulas, like trapezoidal, Simpson and Romberg integration schemes. As an application example, we show how MTDDs can be used for a symbolic model checker for continuous-time Markov chains that are at the basis of contemporary performance evaluation and reliability analysis methodologies.
|Number of pages||12|
|Publication status||Published - 1 Feb 1999|
|Event||1st FLoC Workshop on Symbolic Model Checking 1999 - Trento, Italy|
Duration: 6 Jul 1999 → 6 Jul 1999
Conference number: 1
|Workshop||1st FLoC Workshop on Symbolic Model Checking 1999|
|Period||6/07/99 → 6/07/99|