Volumetry of timed languages and applications

Résumé : Depuis le début des années 90, les automates temporisés et les langages temporisés ont été largement utilisés pour modéliser et vérifier les systèmes temps réels. Ces langages ont été aussi été largement étudiés d'un point de vue théorique. Plus récemment Asarin et Degorre ont introduit les notions de volume et d'entropie des langages temporisés pour quantifier la taille de ces langages et l'information que ses éléments contiennent. Dans cette thèse nous construisons de nouveaux développements à cette théorie (que nous appelons volumétrie des langages temporisés) et l'appliquons a plusieurs problèmes apparaissant dans divers domaine de recherche tel que la théorie de l'information, la vérification, la combinatoire énumérative. Entre autre nous (i) développons une théorie de la dynamique symbolique temporisée~; (ii) caractérisons une dichotomie entre automate temporisé se comportant bien ou mal~; (iii) définissons pour un automate temporisé donné, un processus stochastique d'entropie maximale le moins biaisé possible~; (iv) développons une version temporisé de la théorie des codes sur canal contraint (v) énumérons et générons aléatoirement des permutations dans une certaine classe
Type de document :
Thèse
Document and Text Processing. Université Paris-Est, 2013. English. 〈NNT : 2013PEST1073〉
Liste complète des métadonnées

Littérature citée [78 références]  Voir  Masquer  Télécharger

https://pastel.archives-ouvertes.fr/tel-01274729
Contributeur : Abes Star <>
Soumis le : mardi 16 février 2016 - 11:03:07
Dernière modification le : mardi 27 juin 2017 - 12:46:24
Document(s) archivé(s) le : mardi 17 mai 2016 - 10:09:23

Fichier

TH2013PEST1073_complete.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01274729, version 1

Collections

Citation

Nicolas Basset. Volumetry of timed languages and applications. Document and Text Processing. Université Paris-Est, 2013. English. 〈NNT : 2013PEST1073〉. 〈tel-01274729〉

Partager

Métriques

Consultations de la notice

159

Téléchargements de fichiers

45