hal-00714262, version 1

Frequencies in forgetful timed automata

Amélie Stainer (, ) ¹

N° RR-8009

• 1 :  VERTECS (INRIA)
• http://www.inria.fr/equipes/vertecs
  INRIA France

Références bibliographiques

• Type de publication : Rapports
• Domaine : Informatique/Génie logiciel
• Titre : Frequencies in forgetful timed automata
• Résumé : 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.
• Langue du texte
  intégral : Anglais
• Date de production,
  écriture : 03/07/2012
• Mots Clés : timed automata – frequencies
• Référence interne : RR-8009

Liste des fichiers attachés à ce document :

• hal-00714262, version 1
• http://hal.archives-ouvertes.fr/hal-00714262
• oai:hal.archives-ouvertes.fr:hal-00714262
• Contributeur : Amélie Stainer <>
• Soumis le : Mardi 3 Juillet 2012, 17:34:55
• Dernière modification le : Mercredi 4 Juillet 2012, 10:04:33