Inferring topological operations on G-maps formalism: application to iterated function systems - Mathématiques et Informatique pour la Complexité et les Systèmes Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2021

Inferring topological operations on G-maps formalism: application to iterated function systems

Résumé

The design of correct topological modeling operations is known to be a time-consuming and challenging task. However, these operations are intuitively understood via simple drawings of a representative object before and after modification. We propose to infer topological modeling operations from an application example. Our algorithm exploits the compact and expressive graph-based language used in the Jerboa platform. In this framework, topological modeling operations on generalized maps are represented as rules from the theory of graph transformations. Most of the time, operations are generic up to a topological cell (vertex, face, volume). Thus, the rules are annotated with variables indicating which kind of cells is involved. Our main idea is to infer a Jerboa rule by folding a graph representing the object before and after modification. We fold this graph according to the cell parametrization of the operation under design. We illustrate our approach with some examples of iterated function systems.
Fichier principal
Vignette du fichier
inference.pdf (3.28 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03491856 , version 1 (17-12-2021)
hal-03491856 , version 2 (27-05-2022)

Identifiants

  • HAL Id : hal-03491856 , version 1

Citer

Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall. Inferring topological operations on G-maps formalism: application to iterated function systems. 2021. ⟨hal-03491856v1⟩
135 Consultations
81 Téléchargements

Partager

Gmail Facebook X LinkedIn More