Lumpability Abstractions of Rule-based Systems

Jérôme Feret 1, * Thomas Henzinger 2 Heinz Koeppl 3 Tatjana Petrov 3
* Auteur correspondant
1 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
2 IST Austria - Institute of Science and Technology [Austria]
3 EPFL - Ecole Polytechnique Fédérale de Lausanne
Abstract : The induction of a signaling pathway is characterized by transient complex formation and mutual posttranslational modification of proteins. To faithfully capture this combinatorial process in a mathematical model is an important challenge in systems biology. Exploiting the limited context on which most binding and modification events are conditioned, attempts have been made to reduce the combinatorial complexity by quotienting the reachable set of molecular species, into species aggregates while preserving the deterministic semantics of the thermodynamic limit. Recently we proposed a quotienting that also preserves the stochastic semantics and that is complete in the sense that the semantics of individual species can be recovered from the aggregate semantics. In this paper we prove that this quotienting yields a sufficient condition for weak lumpability and that it gives rise to a backward Markov bisimulation between the original and aggregated transition system. We illustrate the framework on a case study of the EGF/insulin receptor crosstalk.
Type de document :
Communication dans un congrès
Ciobanu, G. and Koutny, M. The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi - MeCBIC 2010, Aug 2010, Jena, Germany. Elsevier, 2010
Liste complète des métadonnées
https://hal.inria.fr/inria-00527971
Contributeur : Jérôme Feret <>
Soumis le : mercredi 20 octobre 2010 - 16:56:20
Dernière modification le : mardi 17 avril 2018 - 11:26:30

Identifiants

  • HAL Id : inria-00527971, version 1

Collections

INRIA | PSL

Citation

Jérôme Feret, Thomas Henzinger, Heinz Koeppl, Tatjana Petrov. Lumpability Abstractions of Rule-based Systems. Ciobanu, G. and Koutny, M. The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi - MeCBIC 2010, Aug 2010, Jena, Germany. Elsevier, 2010. 〈inria-00527971〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

652

Contact


archive-ouverte@inria.fr