Combining Model Reductions

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, ENS Paris - École normale supérieure - Paris, 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 others, which leads to the formation of a huge number of distinct chemical species (i.e. non-isomorphic connected components of proteins). Thus we cannot generate explicitly the quantitative semantics of these models, and even less compute their properties. Model reduction aims at reducing this complexity by providing another grain of observation. In this paper, we propose two unifying frameworks for combining model reductions: we propose a symmetric product operator for combining model reductions for stochastic semantics and we show how to abstract further existing reduced differential systems by the means of linear projections. We apply both frameworks so as to abstract further existing reduced quantitative semantics of the models that are written in Kappa, by taking into account symmetries among binding sites in proteins.
Type de document :
Communication dans un congrès
Michael Mislove and Peter Selinger. the 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010, May 2010, Ottawa, Canada. Elsevier, 265, pp.73--96, 2010, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2010.08.006〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00527536
Contributeur : Jérôme Feret <>
Soumis le : mardi 19 octobre 2010 - 15:16:18
Dernière modification le : lundi 2 octobre 2017 - 16:06:03

Identifiants

Collections

Citation

Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov. Combining Model Reductions. Michael Mislove and Peter Selinger. the 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010, May 2010, Ottawa, Canada. Elsevier, 265, pp.73--96, 2010, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2010.08.006〉. 〈inria-00527536〉

Partager

Métriques

Consultations de la notice

173