TITRE :

Méthodes formelles informatiques, réseaux de régulation logiques
de René Thomas, et extensions aux délais

RÉSUMÉ :

Sur le terrain, élucider le fonctionnement d'un réseau de régulation génique
rencontre pour difficulté principale la détermination des paramètres qui
régissent les interactions. La discrétisation de René Thomas permet de
considérer des modèles discrets avec un ensemble fini d'états. Dès lors, la
logique temporelle, par des algorithmes de model checking, permet de
déterminer les paramètres automatiquement à partir de connaissances
qualitatives sur les comportements biologiques observés.

L'introduction des délais d'influence d'un gène sur un autre précise utilement
les modèles discrets de René Thomas mais dépasse l'état de l'art des
algorithmes de model checking. Nous proposons une formalisation des réseaux de
régulation, avec des délais réels pour passer d'un état discret à un autre,
qui préserve en partie la possibilité d'utiliser des algorithmes de model
checking pour déterminer les paramètres et les délais inconnus.