Two Size Measures for Timed Languages - Université Paris Cité Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2010

Two Size Measures for Timed Languages

Résumé

Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to languages of timed automata with punctual (equalities) and non-punctual (non-equalities) transition guards. Two size measures for such languages are identified: mean dimension and volumetric entropy. The former is the linear growth rate of the dimension of the language; it is characterized as the spectral radius of a max-plus matrix associated to the automaton. The latter is the exponential growth rate of the volume of the language; it is characterized as the logarithm of the spectral radius of a matrix integral operator on some Banach space associated to the automaton. Relation of the two size measures to classical information-theoretic concepts is explored.
Fichier principal
Vignette du fichier
mainhal.pdf (438.91 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00527852 , version 1 (20-10-2010)

Identifiants

  • HAL Id : hal-00527852 , version 1

Citer

Eugene Asarin, Aldric Degorre. Two Size Measures for Timed Languages. 2010. ⟨hal-00527852⟩
207 Consultations
68 Téléchargements

Partager

Gmail Facebook X LinkedIn More