Efficient parameter search for qualitative models of regulatory networks using symbolic model checking

Grégory Batt 1, * Michel Page 2, 3 Irene Cantone 4 Gregor Goessler 5 Pedro T. Monteiro 2, 6 Hidde De Jong 2
* Auteur correspondant
1 CONTRAINTES - Constraint programming
Inria Paris-Rocquencourt
2 IBIS - Modeling, simulation, measurement, and control of bacterial regulatory networks
LAPM - Laboratoire Adaptation et pathogénie des micro-organismes [Grenoble], Inria Grenoble - Rhône-Alpes, Institut Jean Roget
5 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Investigating the relation between the structure and behavior of complex biological networks often involves posing the following two questions: Is a hypothesized structure of a regulatory network consistent with the observed behavior? And can a proposed structure generate a desired behavior? Answering these questions presupposes that we are able to test the compatibility of network structure and behavior. We cast these questions into a parameter search problem for qualitative models of regulatory networks, in particular piecewise-affine differential equation models. We develop a method based on symbolic model checking that avoids enumerating all possible parametrizations, and show that this method performs well on real biological problems, using the IRMA synthetic network and benchmark experimental data sets. We test the consistency between the IRMA network structure and the time-series data, and search for parameter modifications that would improve the robustness of the external control of the system behavior.
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00482569
Contributeur : Gregory Batt <>
Soumis le : lundi 10 mai 2010 - 17:34:25
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : jeudi 16 septembre 2010 - 13:45:10

Fichiers

RR-7284.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00482569, version 1
  • ARXIV : 1005.2107

Collections

Citation

Grégory Batt, Michel Page, Irene Cantone, Gregor Goessler, Pedro T. Monteiro, et al.. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. [Research Report] RR-7284, INRIA. 2010. 〈inria-00482569〉

Partager

Métriques

Consultations de la notice

414

Téléchargements de fichiers

291