Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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.
Complete list of metadata

Cited literature [141 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/tel-01094616
Contributor : Christophe Morvan <>
Submitted on : Friday, December 12, 2014 - 4:06:47 PM
Last modification on : Tuesday, June 15, 2021 - 4:12:24 PM
Long-term archiving on: : Saturday, April 15, 2017 - 8:12:37 AM

File

Identifiers

  • 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⟩

Share

Metrics

Record views

746

Files downloads

342