The Helix research group
Research themes
Work in progress and results
Software and databases
News from Helix
Home page
Site map Mail to Helix
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli
Eighth International Workshop on Hybrid Systems : Computation and Control (HSCC 2005), in M. Morari and L. Thiele, eds, LNCS 3414, pp 134-150. Springer, 2005
G. Batt, D. Ropers, H. de Jong, J. Geiselmann, M. Page, D. Schneider
The switch-like character of the dynamics of genetic regulatory networks has attracted much attention from mathematical biologists and researchers on hybrid systems alike. We extend our previous work on a method for the qualitative analysis of hybrid models of genetic regulatory networks, based on a class of piecewise-affine differential equation (PADE) models, in two directions. First, we present a refinement of the method using a discrete or qualitative abstraction that preserves stronger properties of the dynamics of the PA systems, in particular the sign patterns of the derivatives of the concentration variables. The discrete transition system resulting from the abstraction is a conservative approximation of the dynamics of the PA system and can be computed symbolically. Second, we apply the refined method to a regulatory system whose functioning is not yet well-understood by biologists, the nutritional stress response in the bacterium Escherichia coli.
paper - 277.7 ko
(PDF, 277.7 ko)
presentation - 1.2 Mo
(PDF, 1.2 Mo)
    Top of page   Home page  Prepare to print