Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Volume and entropy of regular timed languages
du groupe Modélisation et Verification

Date 2010-04-15  11:30-12:30
TitreVolume and entropy of regular timed languages 
Résumé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 1/2-clock" automata, and two numerical ones: one using techniques of functional analysis, another based on discretization. (joint work with Aldric Degorre, Concur'09+ Formats'09) 
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurEugene Asarin 
Emailasarin@liafa.jussieu.fr 
UrlLIAFA (Paris) 



Aucun document lié à cet événement.

Retour
Retour à l'index