le 23 avril 2024 à 10:30
Biocomputing propose un séminaire de Maximilien Gadouleau (Associate Professor in Computer Science in the Algorithms and Complexity group, Durham University).
Les réseaux booléens sont largement utilisés comme modèles de systèmes dynamiques complexes, afin de capturer les caractéristiques essentielles liées à la causalité et au synchronisme des changements d’état des composants au fil du temps. La dynamique des réseaux booléens résulte de l’application de leur carte booléenne selon un mode dit de mise à jour, qui spécifie les transitions possibles entre les configurations du réseau. Dans cet exposé, je commencerai par explorer les modes de mise à jour qui possèdent une mémoire sur les configurations passées, et je fournirai un cadre générique pour les définir. Ce cadre englobe non seulement les modes récemment introduits tels que les modes les plus permissifs et les modes d’intervalle, mais il nous permet également de proposer de nouveaux modes de mise à jour et de les comparer. Je montrerai ensuite que les dynamiques de piégeage, qui généralisent davantage le mode le plus permissif, correspondent à une classe riche de réseaux liés aux dynamiques transitives. Enfin, je caractériserai la structure des trapspaces minimaux et principaux, apportant une compréhension combinatoire et algébrique de ces objets. Il s’agit d’un travail conjoint avec Loïc Paulevé et Sara Riva.
Salle Atrium Bâtiment Esprit CRIStAL
français
English