Familles de graphes de présentation finie, propriétés et applications

Christophe Morvan 1, 2
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Résumé : Dans ce travail nous présentons une ensemble de travaux sur les systèmes de transitions infinis de présentation finie. Plus précisément, nous considérons les familles suivantes : les graphes réguliers (définis par des grammaires déterministes de graphe), les graphes d'accessibilité des réseaux de Petri et les graphes et arbres rationnels (définis pas des transducteurs de mots). Nous donnons de nombreux résultats relatifs à la logique du premier ordre pour ces structures. Nous montrons ensuite comment certaines de ces familles peuvent être utilisées pour aborder des problèmes tels que la diagnosticabilité, l'opacité ou encore la génération formelle de tests.
Type de document :
HDR
Théorie et langage formel [cs.FL]. Université Paris-Est, 2014
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/tel-01094616
Contributeur : Christophe Morvan <>
Soumis le : vendredi 12 décembre 2014 - 16:06:47
Dernière modification le : mercredi 2 août 2017 - 10:08:38
Document(s) archivé(s) le : samedi 15 avril 2017 - 08:12:37

Fichier

Identifiants

  • HAL Id : tel-01094616, version 1

Citation

Christophe Morvan. Familles de graphes de présentation finie, propriétés et applications. Théorie et langage formel [cs.FL]. Université Paris-Est, 2014. 〈tel-01094616〉

Partager

Métriques

Consultations de la notice

212

Téléchargements de fichiers

127