Résumé : Les réseaux (d’automates) booléens sont des modèles fondamentaux des systèmes dynamiques, apparentés aux automates cellulaires et aux réseaux de Petri. Leur étude a notamment permis de mettre en avant le lien entre l’architecture d’un réseau et ses propriétés dynamiques, ainsi que l’importance de l’orchestration des mises à jour des états des automates
au cours du temps. Dans cet exposé, je donnerai un aperçu de résultats liés à l’analyse de la dynamique des réseaux booléens depuis différentes perspectives : combinatoire, complexité algorithmique, et modélisation des systèmes biologiques.
Bio : Directeur de recherche CNRS au LaBRI, ces travaux portent sur la modélisation formelle des systèmes biologiques, et en particulier sur le contrôle et la synthèse logique de réseaux booléens à partir de connaissances et données biologiques.