14 juin 2021

Sylvain Séné (laboratoire d’Informatique et Systèmes, Aix-Marseille)

Les réseaux d’automates booléens constituent un modèle mathématique dans lequel des entités (les automates) à états booléens interagissent les unes avec les autres au cours du temps (discret). C’est un modèle qui est apparu au moment où l’informatique moderne est née. Il a été introduit sous une forme spécifique dans les années 1940 par McCulloch et Pitts avec leur travail sur les réseaux de neurones formels. Il a par la suite été largement développé en suivant plusieurs lignes d’intérêt, avec entre autres les modèles de calcul, les systèmes dynamiques et la modélisation des réseaux biologiques.

Dans ce séminaire, nous évoquerons les réseaux d’automates booléens sous un angle plutôt théorique, en laissant de côté les liens qu’ils entretiennent avec la biologie. Plus précisément, nous parlerons de certaines des lois générales historiques connues à leur sujet, avant de présenter quelques résultats plus récents relatifs à leurs ensembles limites et d’ouvrir la discussion sur leur sensibilité structurelle.