Martin
Kronenburg, Thomas
Deiß, Robert
Eschbach
Universität
Kaiserslautern
Fachbereich Informatik
Postfach 3049
67653
Kaiserslautern, Germany
Abstract:
The notion of formal description techniques for timed systems (T-FDTs)
has been introduced in
EsDeKr98a
to provide a unifying framework for description techniques that are formal and
that allow to describe the ongoing behavior of systems. In this paper we show
that three well known temporal logics, MTL, MTL-∫, and CTL*, can be embedded
in this framework. Moreover, we provide evidence that a large number of
different kinds of temporal logics can be considered as T-FDTs.