Multi-terminal decision diagrams: a data structure for numerical integration

Christel Baier; Joost-Pieter Katoen; Holger Hermanns

Multi-terminal decision diagrams: a data structure for numerical integration

Christel Baier, Joost-Pieter Katoen, Holger Hermanns

Research output: Contribution to conference › Paper › peer-review

31 Downloads (Pure)

Abstract

This paper introduces multi-terminal decision diagrams (MTDDs), a generalisation of MTBDDs [15], 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.

Original language	English
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

Workshop	1st FLoC Workshop on Symbolic Model Checking 1999
Country/Territory	Italy
City	Trento
Period	6/07/99 → 6/07/99

Access to Document

Baier1999multi-terminalFinal published version, 236 KB

Cite this

@conference{8c8350668b134a1293f1500d8a70799a,

title = "Multi-terminal decision diagrams: a data structure for numerical integration",

abstract = "This paper introduces multi-terminal decision diagrams (MTDDs), a generalisation of MTBDDs [15], 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.",

author = "Christel Baier and Joost-Pieter Katoen and Holger Hermanns",

year = "1999",

month = feb,

day = "1",

language = "English",

note = "1st FLoC Workshop on Symbolic Model Checking 1999 ; Conference date: 06-07-1999 Through 06-07-1999",

}

TY - CONF

T1 - Multi-terminal decision diagrams

T2 - 1st FLoC Workshop on Symbolic Model Checking 1999

AU - Baier, Christel

AU - Katoen, Joost-Pieter

AU - Hermanns, Holger

N1 - Conference code: 1

PY - 1999/2/1

Y1 - 1999/2/1

N2 - This paper introduces multi-terminal decision diagrams (MTDDs), a generalisation of MTBDDs [15], 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.

AB - This paper introduces multi-terminal decision diagrams (MTDDs), a generalisation of MTBDDs [15], 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.

M3 - Paper

Y2 - 6 July 1999 through 6 July 1999

ER -

Multi-terminal decision diagrams: a data structure for numerical integration

Abstract

Workshop

Access to Document

Fingerprint

Cite this