TITRE :

« Logique temporelle et Model-Checking pour les réseaux de régulation
  biologique »

Auteurs = Gilles Bernot & Jean-Paul Comet

RÉSUMÉ :

	Les réseaux de régulation biologique permettent, entre autres, de
modéliser les interactions entre les gènes dans une cellule. À la suite du
séquençage de nombreux génomes, dont le génome humain, la « postgénomique » en
biologie a pour but de trouver les gènes, leurs fonctions et leurs
interactions. Les réseaux de régulation prennent ici une importance majeure et
une difficulté importante est le « passage à l'échelle » : mettre au point des
modèles à partir des données biologiques et prédire les comportements du
système.
	Cet exposé présente une théorie discrète des réseaux de régulation
inspirée des travaux du biologiste René Thomas à Bruxelles. Nous proposons une
formalisation (au sens informatique) de la théorie des réseaux de régulation
et nous proposons une méthode de mise au point de modèles utilisant la logique
temporelle CTL.
	L'exemple du système de production de mucus chez la bactérie
Pseudomonas Aeruginosa (cause principale de mortalité chez les malades
atteints de mucoviscidose) est traité. À la suite de travaux avec Janine
Guespin-Michel, microbiologiste à Rouen, nous avons prédit un comportement
pouvant potentiellement donner lieu à de nouveaux traitements (expérience en
cours au CHU de Grenoble).