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

Christel Baier, Joost-Pieter Katoen, Holger Hermanns

    Research output: Contribution to conferencePaperAcademicpeer-review

    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 languageEnglish
    Number of pages12
    Publication statusPublished - 1 Feb 1999
    Event1st FLoC Workshop on Symbolic Model Checking 1999 - Trento, Italy
    Duration: 6 Jul 19996 Jul 1999
    Conference number: 1

    Workshop

    Workshop1st FLoC Workshop on Symbolic Model Checking 1999
    Country/TerritoryItaly
    CityTrento
    Period6/07/996/07/99

    Fingerprint

    Dive into the research topics of 'Multi-terminal decision diagrams: a data structure for numerical integration'. Together they form a unique fingerprint.

    Cite this