Results 1 
2 of
2
From MITL to timed automata
 PROCEEDINGS OF FORMATS. VOLUME 4202 OF LNCS
, 2006
"... We show how to transform formulae written in the realtime temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction is much simpler than previously known and can be easily implemented. ..."
Abstract

Cited by 18 (5 self)
 Add to MetaCart
We show how to transform formulae written in the realtime temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction is much simpler than previously known and can be easily implemented.
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors Dedicated to B.A. Trakhtenbrot on his 85th Birthday
"... Words, even infinite words, have their limits. Abstract. We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropriate temporal logic and describe two such monitoring algorithms ..."
Abstract

Cited by 11 (5 self)
 Add to MetaCart
Words, even infinite words, have their limits. Abstract. We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropriate temporal logic and describe two such monitoring algorithms for the realtime logic MITL. 1