The Helix research group
Research themes
Work in progress and results
Software and databases
News from Helix
Home page
Site map Mail to Helix
Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach
Poster at the Nineteenth International Workshop on Qualitative Reasoning (QR'05), in B.Rinner, M. Hofbaur and F. Wotawa, eds., pp 54-59. 2005
G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page and D. Schneider

Methods developed for the qualitative simulation of dynamical systems have turned out to be powerful tools for studying genetic regulatory networks. A bottleneck in the application of these methods is the analysis of the simulation results.

In this paper, we propose a combination of qualitative simulation and model-checking techniques to perform this task systematically and efficiently. We apply our approach to the analysis of the complex network controlling the nutritional stress response in the bacterium Escherichia coli.

See also IJCAI'05 paper.
paper - 167 ko
(PDF, 167 ko)

    Top of page   Home page  Prepare to print