Discrétisation automatique de machines à signaux en automates cellulaires

Résumé : Dans le contexte du calcul géométrique abstrait, les machines à signaux ont été développées comme le pendant continu des automates cellulaires capturant les notions de particules, de signaux et de collisions. Une question importante est la génération automatique d’un automate cellulaire reproduisant la dynamique d’une machine à signaux donnée. D’une part, il existe des conversions ad hoc. D’autre part, ce n’est pas toujours possible car certaines machines à signaux présentent des comportements « continus ». Par conséquent, la discrétisation automatique de telles structures est souvent complexe et pas toujours possible. Cette thèse propose trois manières différentes de discrétiser automatiquement les machines à signaux en automates cellulaires, avec ou sans approximation possible. La première s’intéresse à une sous-catégorie de machines à signaux, qui présente des propriétés permettant d’assurer une discrétisation automatique exacte pour toute machine de ce type. La deuxième est utilisable sur toutes les machines mais ne peut assurer ni l’exactitude ni la correction du résultat. La troisième s’appuie sur une nouvelle expression de la dynamique d’une machine à signaux pour proposer une discrétisation. Cette expression porte le nom de modularité et est décrite avant d’être utilisée pour discrétiser.
Type de document :
Thèse
Autre [cs.OH]. Université d'Orléans, 2018. Français. 〈NNT : 2018ORLE2009〉
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-01975875
Contributeur : Abes Star <>
Soumis le : mercredi 9 janvier 2019 - 15:45:08
Dernière modification le : jeudi 17 janvier 2019 - 15:10:02

Fichier

tom-besson_3825.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01975875, version 1

Collections

Citation

Tom Besson. Discrétisation automatique de machines à signaux en automates cellulaires. Autre [cs.OH]. Université d'Orléans, 2018. Français. 〈NNT : 2018ORLE2009〉. 〈tel-01975875〉

Partager

Métriques

Consultations de la notice

39

Téléchargements de fichiers

9