8485 articles  [version française]

hal-00714262, version 1

Frequencies in forgetful timed automata

Amélie Stainer (, http://www.irisa.fr/prive/amelie.stainer/) 1

N° RR-8009

Abstract: A quantitative semantics for infinite timed words in timed automata based on the frequency of a run is introduced in [BBBS11]. Unfortunately, most of the results are obtained only for one-clock timed automata because the techniques do not allow to deal with some phenomenon of convergence between clocks. On the other hand, the notion of forgetful cycle is introduced in [BA11], in the context of entropy of timed languages, and seems to detect exactly these con- vergences. In this paper, we investigate how the notion of forgetfulness can help to extend the computation of the set of frequencies to n-clock timed automata.

  • 1:  VERTECS (INRIA)
  • INRIA
  • Domain : Computer Science/Software Engineering
  • Keywords : timed automata – frequencies
  • Internal note : RR-8009
 
  • hal-00714262, version 1
  • oai:hal.archives-ouvertes.fr:hal-00714262
  • From: 
  • Submitted on: Tuesday, 3 July 2012 17:34:55
  • Updated on: Wednesday, 4 July 2012 10:04:33