Titre :

Une extension de la logique de Hoare pour l'identification de paramètres dans
les réseaux génétiques

Résumé :

L'obstacle majeur rencontré lorsqu'on veut modéliser des réseaux biologiques
est l'identification des nombreux paramètres qui définissent la dynamique du
système. La logique temporelle est devenue une des principales méthodes
formelles appliquées à cette question depuis les travaux fondateurs autour de
BIOCHAM et de SMBioNet. Ici, on propose une nouvelle méthode formelle, plus
orientée vers l'exploitation directe des traces observées biologiquement.
Dans le cadre des réseaux génétiques, une extension de la logique de Hoare et
du calcul de la plus petite précondition fournit un ensemble de contraintes
sur les paramètres qui sont nécessaires et suffisantes pour que cette trace
existe dans le modèle mathématique discret.
Cette approche pourrait aisément être généralisée à une large classe de
modèles discrets de systèmes complexes.