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.
CITATION STYLE
Bernot, G., Comet, J. P., & Roux, O. (2015). A genetically modified hoare logic that identifies the parameters of a gene network. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9308, pp. 8–12). Springer Verlag. https://doi.org/10.1007/978-3-319-23401-4_2
Mendeley helps you to discover research relevant for your work.