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
Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli
bioinformatics, 21(Suppl 1):i19-i28, 2005.
 
G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page, D. Schneider
 

Motivation: The modeling and simulation of genetic regulatory networks has created the need for tools for model validation. The main challenges of model validation are the achievement of a match between the precision of model predictions and experimental data, as well as the efficient and reliable comparison of the predictions and observations.

Results: We present an approach towards the validation of models of genetic regulatory networks addressing the above challenges. It combines a method for qualitative modeling and simulation with techniques for model checking, and is supported by a new version of the computer tool GNA. The model-validation approach has been applied to the analysis of the network controlling the nutritional stress response in Escherichia coli.
presentation - 1.7 Mo
presentation
download
(PDF, 1.7 Mo)

Free abstract

Free PDF

    Top of page   Home page  Prepare to print