A genetically modified Hoare logic that identifies the parameters of a gene network,

Abstract : The main difficulty when modelling gene networks is the identification of the parameters that govern the dynamics. Here we present a new approach based on Hoare logic and weakest preconditions (a la Dijkstra) that generates constraints on the parameter values: Once proper specifications are extracted from biological traces, they play a role similar to programs in the classical Hoare logic. We firstly remind the discrete modelling for genetic networks defined by René Thomas. Then, we define the Hoare/Dijkstra method extended to gene networks, that extracts the weakest precondition on parameter values.
Type de document :
Communication dans un congrès
Computational Methods in Systems Biology (CMSB 2015), Sep 2015, Nantes, France. 9308, pp.8-12, 2015, LNCS. 〈http://cmsb2015.sciencesconf.org/〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01282932
Contributeur : Jean-Paul Comet <>
Soumis le : vendredi 4 mars 2016 - 16:08:36
Dernière modification le : lundi 7 mars 2016 - 08:59:49

Identifiants

  • HAL Id : hal-01282932, version 1

Collections

Citation

Gilles Bernot, Jean-Paul Comet, Olivier Roux. A genetically modified Hoare logic that identifies the parameters of a gene network,. Computational Methods in Systems Biology (CMSB 2015), Sep 2015, Nantes, France. 9308, pp.8-12, 2015, LNCS. 〈http://cmsb2015.sciencesconf.org/〉. 〈hal-01282932〉

Partager

Métriques

Consultations de la notice

200