Title
A Formal Model for Gene Regulatory Networks with Time Delays
Abstract
We introduce a hybrid modelling framework for gene regulatory networks as an extension of the Rene Thomas' discrete modelling framework. We handle temporal aspects through delays expressing the time mandatory to pass from a qualitative state to another one. It permits one to build, from a specification expressed in terms of paths, the constraints on the temporal parameters in order to assure the consistency between the hybrid model and the specification. We illustrate this modelling framework on the simple system of mucus production in the bacterium Pseudomonas aeruginosa. We show through this example how to build the constraints on the delays parameters for the specification of a cycle in the dynamics.
Year
DOI
Venue
2010
10.1007/978-3-642-16750-8_1
Communications in Computer and Information Science
Field
DocType
Volume
Computer science,Constraint programming,Discrete modelling,Gene regulatory network,Mucus production,Distributed computing
Conference
115
ISSN
Citations 
PageRank 
1865-0929
3
0.46
References 
Authors
9
4
Name
Order
Citations
PageRank
Jean-Paul Comet115017.15
Jonathan Fromentin2251.57
Gilles Bernot348044.25
Olivier Roux4102.44