A framework for (de)composing with Boolean automata networks

Abstract : Boolean automata networks (BANs) are a generalisation of Boolean cellular automata. In such, any theorem describing the way BANs compute information is a strong tool that can be applied to a wide range of models of computation. In this paper we explore a way of working with BANs which involves adding external inputs to the base model (via modules), and more importantly, a way to link networks together using the above mentioned inputs (via wirings). Our aim is to develop a powerful formalism for BAN (de)composition. We formulate two results: the first one shows that our modules/wirings definition is complete; the second one uses modules/wirings to prove simulation results amongst BANs.
Type de document :
Pré-publication, Document de travail
2018
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01654221
Contributeur : Pacôme Perrotin <>
Soumis le : mardi 10 avril 2018 - 12:34:10
Dernière modification le : jeudi 1 novembre 2018 - 01:21:04

Fichiers

stage.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01654221, version 2
  • ARXIV : 1802.10400

Citation

Kévin Perrot, Pacôme Perrotin, Sylvain Sené. A framework for (de)composing with Boolean automata networks. 2018. 〈hal-01654221v2〉

Partager

Métriques

Consultations de la notice

204

Téléchargements de fichiers

63