Skip to Main content Skip to Navigation
Conference papers

Fragments-based model reduction: some case studies

Jérôme Feret 1, * 
* Corresponding author
1 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique - ENS Paris, 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.
Complete list of metadata
Contributor : Jérôme Feret Connect in order to contact the contributor
Submitted on : Wednesday, October 20, 2010 - 4:35:36 PM
Last modification on : Thursday, March 17, 2022 - 10:08:35 AM


  • HAL Id : inria-00527960, version 1



Jérôme Feret. Fragments-based model reduction: some case studies. First International Workshop on Interactions between Computer Science and Biology - CS2Bio 2010, Jun 2010, Amsterdam, Netherlands. ⟨inria-00527960⟩



Record views