Déplacement d’un point du maillage.
Abstract
Les transformations de graphes sont une généralisation de la réécriture à des structures non linéaires, plébiscitées pour étudier l’évolution de systèmes complexes. L’approche usuelle par “double somme amalgamée” explore des règles définies par trois graphes décrivant les motifs supprimés, ajoutés et préservés lors de la transformation. Pour représenter des classes de données particulières, on ajoute de l’information sur les noeuds et arcs des graphes. En fonction des propriétés de l’information ajoutée, différentes représentations ou décorations 1 sont possibles. Dans ce chapitre, nous présenterons les règles transformations de graphes et explorerons différentes méthodes pour les étendre aux graphes décorés. Nous illustrerons ces notions à l’aide d’opérations de modélisation géométrique sur les cartes généralisées.
Français:
Chapitre de livre pour l’édition 2023 de l'Ecole Jeune chercheu/r/se/s en Informatique Mathématique du GDR IM organisée par Laurent Fuchs à Poitiers.
Les présentations des deux sessions du matin peuvent être consultées ici et le sujet de la session pratique de l’après-midi ici.
English:
Book chapter written for the 2023 edition of the GDR IM school for young researchers EJCIM organised by Laurent Fuchs in Poitiers.
The slides of the two morning sessions can be consulted here and the afternoon turorial here.
All the content is in French.
Romain Pascual
Postdoc
My research interests include applications of graph rewriting to computer graphics, and more generally formal methods from theory to applications.