Analysis and verification of qualitative models of genetic regulatory networks : A model-checking approach
G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page and D. Schneider
Nineteenth International Joint Conference on Artificial Intelligence (IJCAI’05), in L. P. Kaelbling and A. Saffiotti, eds., pp 370-375. 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.