Two Size Measures for Timed Languages - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2010

Two Size Measures for Timed Languages

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00527852 , version 1

Cite

Eugene Asarin, Aldric Degorre. Two Size Measures for Timed Languages. 2010. ⟨hal-00527852⟩
199 View
65 Download

Share

Gmail Facebook X LinkedIn More