Volume and entropy of regular timed languages

Abstract : For timed languages, we define measures of their size: volume for a fixed finite number of events, and entropy (growth rate) as asymptotic measure for an unbounded number of events. These measures can be used for comparison of languages, and the entropy can be viewed as information contents of a timed language. In case of languages of deterministic timed automata, we give exact formulas for volumes. Next we characterize the entropy, using methods of functional analysis, as a logarithm of the leading eigenvalue (spectral radius) of a positive integral operator. We devise several methods to compute the entropy: a symbolical one for so-called “1,5 -clock” automata, and two numerical ones: one using techniques of functional analysis, another based on discretization.
Type de document :
Pré-publication, Document de travail
27 pages. Two papers based on this work will appear at Concur'09 and Formats'09. 2009
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00369812
Contributeur : Eugene Asarin <>
Soumis le : jeudi 9 juillet 2009 - 13:52:41
Dernière modification le : mercredi 12 octobre 2016 - 01:27:52
Document(s) archivé(s) le : jeudi 23 septembre 2010 - 18:18:29

Fichier

volume.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00369812, version 3

Collections

IMAG | INSMI | LIAFA | UGA | USPC

Citation

Eugene Asarin, Aldric Degorre. Volume and entropy of regular timed languages. 27 pages. Two papers based on this work will appear at Concur'09 and Formats'09. 2009. <hal-00369812v3>

Partager

Métriques

Consultations de
la notice

483

Téléchargements du document

91