Mots-Clés

programmation logique simulation

Description

Un réseau booléen est constitué d’un ensemble de variables binaires, et associe à chacune d’elle une règle logique pour calculer sa valeur en fonction des autres variables. La simulation d’un réseau booléen revient à faire un choix (guidé par une distribution de probabilité) pour décider des variables à mettre à jour au fur et à mesure. Plusieurs simulations du même réseau depuis la même configuration initiale donneront potentiellement des comportements très différents.

Très récemment, nous avons mis au point de nouveaux algorithmes pour la simulation des réseaux booléens apportant des garanties formelles pour le raisonnement abstrait sur des systèmes quantitatifs. Ces algorithmes reposent sur des manipulations des règles logiques, de construction d’espaces booléens, et de tirages aléatoires selon différentes distributions de probabilité.

L’objectif de ce stage est d’implémenter de manière efficace ces algorithmes avec le langage Julia et d’évaluer la performance du simulateur selon différents paramétrages.

Plus d'informations sur https://loicpauleve.name/md/s/sujet-stage-simulation-MPBN