Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach

Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, and Dominique Schneider

Proceedings of the 19th International Joint Conference on Artificial Intelligence IJCAI'2005 (Edinburgh, Scotland), July 30 - August 5, 2005


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.

6 pages


Slides of G. Batt's lecture at IJCAI'05