Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
2076406 | Biosystems | 2009 | 11 Pages |
Abstract
This paper fills this gap by describing a whole pipelined process which orchestrates the following stages: (i) model conversion from a piece-wise affine differential equation (PADE) modelization scheme into a discrete model with focal points, (ii) characterization of subgraphs through a graph simplification phase which is based on probabilistic criteria, (iii) conversion of the subgraphs into parametric linear hybrid automata, (iv) analysis of dynamical properties (e.g. cyclic behaviours) using hybrid model-checking techniques. The present work is the outcome of a methodological investigation launched to cope with the GRN responsible for the reaction of Escherichia coli bacterium to carbon starvation. As expected, we retrieve a remarkable cycle already exhibited by a previous analysis of the PADE model. Above all, hybrid model-checking enables us to infer temporal properties, whose biological signification is then discussed.
Related Topics
Physical Sciences and Engineering
Mathematics
Modelling and Simulation
Authors
Jamil Ahmad, Jérémie Bourdon, Damien Eveillard, Jonathan Fromentin, Olivier Roux, Christine Sinoquet,