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 of genetic regulatory networks: A model-checking approach
B. Bredeweg, P. Salles (eds.), Working Notes of Seventeenth International Workshop on Qualitative Reasoning, QR 2003, Brasilia, Brazil, 31-38, 2003
G. Batt, H. de Jong, J. Geiselmann, M. Page

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. By means of the example of the network controlling the initiation of sporulation in B. subtilis, we argue that this approach is well-adapted to the kind of questions biologists habitually ask and the kind of data available to answer these questions.

    Top of page   Home page  Prepare to print