The Helix research group
Research themes
Work in progress and results
Publications
Software and databases
News from Helix
Publications
Home page
Site map Mail to Helix
Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach
Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05), in L. P. Kaelbling and A. Saffiotti, eds., pp 370-375. 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.

Free PDF
presentation - 1 Mo
presentation
download
(PDF, 1 Mo)

    Top of page   Home page  Prepare to print