Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli.

Abstract : MOTIVATION: The modeling and simulation of genetic regulatory networks have 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 Genetic Network Analyzer (GNA). The model-validation approach has been applied to the analysis of the network controlling the nutritional stress response in Escherichia coli. AVAILABILITY: GNA and the model of the stress response network are available at http://www-helix.inrialpes.fr/gna.
Type de document :
Article dans une revue
Bioinformatics, Oxford University Press (OUP), 2005, 21 Suppl 1, pp.i19-28. 〈10.1093/bioinformatics/bti1048〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00171939
Contributeur : Jean Gagnon <>
Soumis le : jeudi 13 septembre 2007 - 15:17:37
Dernière modification le : jeudi 28 juin 2018 - 14:38:38

Lien texte intégral

Identifiants

Collections

Citation

Delphine Ropers, Hidde De Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, et al.. Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli.. Bioinformatics, Oxford University Press (OUP), 2005, 21 Suppl 1, pp.i19-28. 〈10.1093/bioinformatics/bti1048〉. 〈hal-00171939〉

Partager

Métriques

Consultations de la notice

191