Conference Papers Year : 2015

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.
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-01282932 , version 1

Cite

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⟩
182 View
0 Download

Share

More