Fragments-based model reduction: some case studies

Jérôme Feret 1, *
* 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 dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a huge number of distinct chemical species (ie non-isomorphic connected components of proteins). Combinatorial complexity forbids an explicit description of the quantitative semantics (stochastic or differential), since the set of states is usually a vector space the dimension of which is the number of distinct chemical species. Model reduction aims at reducing this complexity by providing another grain of observation. Fragments-based reduction consists in computing a set (hopefully smaller than the set of chemical species) of pieces of chemical species, such that the evolution of the number (or concentration) of these pieces can be soundly described in self-consistent abstract quantitative semantics. In this paper, we provide several intuitive examples so as to give some intuition about why this approach may work; and why stochastic semantics are more difficult to abstract than differential semantics.
Type de document :
Communication dans un congrès
Krivine, Jean and Troina, Angelo. First International Workshop on Interactions between Computer Science and Biology - CS2Bio 2010, Jun 2010, Amsterdam, Netherlands. Elsevier, 2010
Liste complète des métadonnées

https://hal.inria.fr/inria-00527960
Contributeur : Jérôme Feret <>
Soumis le : mercredi 20 octobre 2010 - 16:35:36
Dernière modification le : mardi 24 avril 2018 - 17:20:13

Identifiants

  • HAL Id : inria-00527960, version 1

Collections

Citation

Jérôme Feret. Fragments-based model reduction: some case studies. Krivine, Jean and Troina, Angelo. First International Workshop on Interactions between Computer Science and Biology - CS2Bio 2010, Jun 2010, Amsterdam, Netherlands. Elsevier, 2010. 〈inria-00527960〉

Partager

Métriques

Consultations de la notice

148