Automatic reduction of stochastic rules-based models in a nutshell

Ferdinanda Camporesi 1, 2 Jérôme Feret 1, * 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, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Abstract : Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each other, which leads to the formation of a huge number of distinct chemical species. Thus we cannot generate explicitly the quantitative semantics of these models, and it is even harder to compute their properties. In this extended abstract, we summarize a framework for reducing the combinatorial complexity of models of biochemical networks. We use rules-based languages to describe the interactions between proteins. Then we compile these models into continuous-time Markov chains. Finally, we use backward bisimulations in order to reduce the dimension of the state space of these Markov chains. More specifically, these backward bisimulations are defined thanks to an abstraction of the control flow of information within chemical species and thanks to an algorithm which detects which protein sites have the same capabilities of interaction.
Type de document :
Communication dans un congrès
T.E. Simos. International Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010, Sep 2010, Rhodos, Greece. American Institute of Physics, 1281(2), pp.1330-1334, 2010, American Institute of Physics conference proceedings. 〈10.1063/1.3497965〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00527548
Contributeur : Jérôme Feret <>
Soumis le : mardi 19 octobre 2010 - 15:32:29
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Identifiants

Collections

Citation

Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov. Automatic reduction of stochastic rules-based models in a nutshell. T.E. Simos. International Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010, Sep 2010, Rhodos, Greece. American Institute of Physics, 1281(2), pp.1330-1334, 2010, American Institute of Physics conference proceedings. 〈10.1063/1.3497965〉. 〈inria-00527548〉

Partager

Métriques

Consultations de la notice

213