Analyse statique des réseaux booléens

Résumé : Les réseaux booléens sont des systèmes dynamiques discrets regroupant un nombre fini de variables binaires qui évoluent, dans un temps discret et par interactions mutuelles, selon une loi prédéfinie. Les interactions entre variables sont souvent sommairement décrites par un graphe dirigé : le graphe d'interaction. Les réseaux booléens sont en particulier très utilisés en biologie pour modéliser la dynamique des réseaux de neurones, de régulation génique, et des voies de signalisation cellulaire. Dans ce chapitre, nous abor-derons deux approches complémentaires pour capturer des caractéristiques importantes de la dynamique des réseaux booléens par analyse statique. Nous présenterons, d'une part, une étude des points fixes par une approche combinatoire se basant sur le graphe d'interaction et, d'autre part, une étude des trajectoires par interprétation abstraite.
Type de document :
Chapitre d'ouvrage
Emmanuel Jeandel; Laurent Vigneron. Informatique Mathématique, Une photographie en 2018, CNRS Éditions, pp.157-194, 2018, 78-2-271-11974-2. 〈https://ejcim2018.sciencesconf.org/data/pages/ejcim2018.pdf〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01753101
Contributeur : Loïc Paulevé <>
Soumis le : jeudi 29 mars 2018 - 15:07:28
Dernière modification le : vendredi 27 avril 2018 - 14:36:02

Fichier

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

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Partage selon les Conditions Initiales 4.0 International License

Identifiants

  • HAL Id : hal-01753101, version 1

Citation

Loïc Paulevé, Adrien Richard. Analyse statique des réseaux booléens. Emmanuel Jeandel; Laurent Vigneron. Informatique Mathématique, Une photographie en 2018, CNRS Éditions, pp.157-194, 2018, 78-2-271-11974-2. 〈https://ejcim2018.sciencesconf.org/data/pages/ejcim2018.pdf〉. 〈hal-01753101〉

Partager

Métriques

Consultations de la notice

163

Téléchargements de fichiers

85