Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays

Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays René Thomas’ discrete modelling of gene regulatory networks (GRN) is a well-known approach to study the dynamics resulting from a set of interacting genes. It deals with some parameters which reflect the possible targets of trajectories. Those parameters are a priori unknown, but they may generally be deduced from a well-chosen set of biologically observed trajectories. Besides, it neglects the time delays for a gene to pass from one level of expression to another one. The purpose of this paper is to show that we can account for time delays of increasing or decreasing expression levels of genes in a GRN, while preserving powerful enough computer-aided reasoning capabilities. We designed a more accurate abstraction of GRN where delays are now supposed to be non-null unknown new parameters. We show that such models, together with hybrid model-checking algorithms, make it possible to obtain some results about the behaviour of a network of interacting genes, since dynamics depend on the respective values of the parameters. The characteristic of our approach is that, among possible execution trajectories in the model, we can automatically find out both viability cycles and absorption in capture basins. As a running example, we show that we are able to discriminate between various possible dynamics of mucus production in the bacterium Pseudomonas aeruginosa. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Complexus Karger

Hybrid Modelling and Dynamical Analysis of Gene Regulatory Networks with Delays

Download PDF
21 pages

Loading next page...
 
/lp/karger/hybrid-modelling-and-dynamical-analysis-of-gene-regulatory-networks-R1T9NRGvap

References (41)

Publisher
Karger
Copyright
© 2007 S. Karger AG, Basel
ISSN
1424-8492
eISSN
1424-8506
DOI
10.1159/000110010
Publisher site
See Article on Publisher Site

Abstract

René Thomas’ discrete modelling of gene regulatory networks (GRN) is a well-known approach to study the dynamics resulting from a set of interacting genes. It deals with some parameters which reflect the possible targets of trajectories. Those parameters are a priori unknown, but they may generally be deduced from a well-chosen set of biologically observed trajectories. Besides, it neglects the time delays for a gene to pass from one level of expression to another one. The purpose of this paper is to show that we can account for time delays of increasing or decreasing expression levels of genes in a GRN, while preserving powerful enough computer-aided reasoning capabilities. We designed a more accurate abstraction of GRN where delays are now supposed to be non-null unknown new parameters. We show that such models, together with hybrid model-checking algorithms, make it possible to obtain some results about the behaviour of a network of interacting genes, since dynamics depend on the respective values of the parameters. The characteristic of our approach is that, among possible execution trajectories in the model, we can automatically find out both viability cycles and absorption in capture basins. As a running example, we show that we are able to discriminate between various possible dynamics of mucus production in the bacterium Pseudomonas aeruginosa.

Journal

Complexus – Karger

Published: Nov 1, 2007

Keywords: Networks, analysis and modelling; Bioinformatics; Computer analysis; Gene regulatory network

There are no references for this article.