Analyse statique des réseaux booléens

National audienceLes réseaux booléens sont des systèmes dynamiques discrets regroupant un nombre fini de variables binaires qui évoluent, dans un temps discret et par interactions mutuelles, selon une loi prédéfinie. Les interactions entre variables sont souvent sommairement décrites par un graphe dirigé : le graphe d'interaction. Les réseaux booléens sont en particulier très utilisés en biologie pour modéliser la dynamique des réseaux de neurones, de régulation génique, et des voies de signalisation cellulaire. Dans ce chapitre, nous abor-derons deux approches complémentaires pour capturer des caractéristiques importantes de la dynamique des réseaux booléens par analyse statique. Nous présenterons, d'une part, une étude des points fixes par une approche combinatoire se basant sur le graphe d'interaction et, d'autre part, une étude des trajectoires par interprétation abstraite