Analyse statique des réseaux booléens

Loïc Paulevé 1, 2 Adrien Richard 3
1 BioInfo - LRI - Bioinformatique (LRI)
LRI - Laboratoire de Recherche en Informatique
3 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO
Laboratoire I3S - MDSC - Modèles Discrets pour les Systèmes Complexes
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.
Liste complète des métadonnées

Cited literature [45 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01753101
Contributor : Loïc Paulevé <>
Submitted on : Thursday, March 29, 2018 - 3:07:28 PM
Last modification on : Tuesday, November 6, 2018 - 2:34:19 PM

File

ejcim2018.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial - ShareAlike 4.0 International License

Identifiers

  • 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⟩

Share

Metrics

Record views

241

Files downloads

280