Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Réseaux booléens : méthodes formelles et outils pour la modélisation en biologie

Résumé : Les réseaux booléens spécifient des systèmes dynamiques discrets finis, et sont largement employés pour modéliser les processus de différenciation et de décision cellulaire. Dans ce manuscrit, j’aborde différents aspects des réseaux booléens, en allant de considérations formelles sur leurs sémantiques jusqu’à leur mise en pratique pour la prédiction de stratégies de contrôle, et la mise à disposition d’environnements logiciels pour faciliter leur analyse. Je détaille la sémantique MP (« Most Permissive ») qui offre des garanties fortes sur l’abstraction des trajectoires de modèles non-booléens, avec une complexité réduite pour l’analyse de propriétés d’accessibilité et d’attracteurs, en particulier avec les réseaux booléens localement monotones. Je présente ensuite un résumé de travaux auxquels j’ai contribué par l’encadrement de thèses autour de la sémantique d’ensembles de réseaux booléens et multivalués, de la synthèse d’ensembles de réseaux booléens, et de leur reprogrammation séquentielle pour la prédiction de stratégies de reprogrammation cellulaire. Enfin, outre l’implémentation d’outils basés sur ces résultats de recherche, j’aborderai le développement de l’environnement logiciel CoLoMoTo, autour des technologies Docker et Jupyter, contribuant à l’accessibilité et la reproductibilité des analyses de modèles biologiques. Je termine sur des perspectives de recherches autour de la sémantique MP et de la synthèse d’ensembles de réseaux booléens prédictifs.
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-03150976
Contributor : Loïc Paulevé <>
Submitted on : Wednesday, February 24, 2021 - 12:29:36 PM
Last modification on : Thursday, February 25, 2021 - 3:27:23 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-03150976, version 1

Collections

Citation

Loïc Paulevé. Réseaux booléens : méthodes formelles et outils pour la modélisation en biologie. Bio-informatique [q-bio.QM]. Université Paris-Saclay, 2020. ⟨tel-03150976⟩

Share

Metrics

Record views

59

Files downloads

100