@inproceedings{bee7e1b17a7d4f299883e9df40859201,
title = "Real-time logics: Fictitious clock as an abstraction of dense time",
abstract = "In this paper we study two possible Semantics for the realtime logic MTL (Metric Temporal Logic). In the first semantics, called dense time semantics, time is modeled by the positive real numbers. In the second one, called fictitious clock semantics, real-time information is delivered by a global fictitious clock. We show that the fictitious clock semantics can be viewed as an abstraction of the dense time semantics. This abstraction relation is formalized by a parametric conservative connection. This formalization can be used to partially decide undecidable problems in the dense time semantics by reasoning on the fictitious clock semantics.",
author = "Raskin, {Jean Franqois} and Schobbens, {Pierre Yves}",
year = "1997",
month = jan,
day = "1",
doi = "10.1007/BFb0035387",
language = "English",
isbn = "3540627901",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "165--182",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings",
address = "Germany",
note = "3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997 ; Conference date: 02-04-1997 Through 04-04-1997",
}