A genetically modified Hoare logic that identifies the parameters of a gene network, - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

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

Résumé

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.
Fichier non déposé

Dates et versions

hal-01282932 , version 1 (04-03-2016)

Identifiants

  • HAL Id : hal-01282932 , version 1

Citer

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. pp.8-12. ⟨hal-01282932⟩
161 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More