A robust interpretation of duration calculus

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Abstract

    We transfer the concept of robust interpretation from arithmetic first-order theories to metric-time temporal logics. The idea is that the interpretation of a formula is robust iff its truth value does not change under small variation of the constants in the formula. Exemplifying this on Duration Calculus (DC), our findings are that the robust interpretation of DC is equivalent to a multi-valued interpretation that uses the real numbers as semantic domain and assigns Lipschitz-continuous interpretations to all operators of DC. Furthermore, this continuity permits approximation between discrete and dense time, thus allowing exploitation of discrete-time (semi-)decision procedures on dense-time properties.
    Original languageEnglish
    Title of host publicationTheoretical Aspects of Computing - Ictac 2005
    Place of PublicationBerlin
    PublisherSpringer-verlag Berlin
    Publication date2005
    Publication statusPublished - 2005
    SeriesLecture Notes in Computer Science
    Number3772
    ISSN0302-9743

    Keywords

    • robust interpretation
    • metric-time temporal logic
    • discrete time vs. dense time

    Fingerprint Dive into the research topics of 'A robust interpretation of duration calculus'. Together they form a unique fingerprint.

    Cite this