On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models

Katherine Chiang 1 François Fages 2 Jie-Hong Jiang 1 Sylvain Soliman 2
1 GIEE - Graduate Institute of Electronics Engineering [Taipei]
2 CONTRAINTES - Constraint programming
Inria Paris-Rocquencourt
Abstract : Models of biochemical systems presented as a set of formal reaction rules with kinetic expressions can be interpreted with different semantics: as either deterministic Ordinary Differential Equations, stochastic continuous-time Markov Chains, Petri nets or Boolean transition systems. While the formal composition of reaction models can be syntactically defined as the (multiset) union of the reactions, the hybrid composition of models in different formalisms is a largely open issue. In this paper, we show that the combination of reaction rules with conditional events, as the ones already present in SBML, does provide the expressive power of hybrid automata and can be used in a non standard way to give meaning to the hybrid composition of heterogeneous models of biochemical processes. In particular, we show how hybrid differential-stochastic and hybrid differential-Boolean models can be compiled and simulated in this framework, through the specification of a high-level interface for composing heterogeneous models. This is illustrated by a hybrid stochastic-differential model of bacteriophage T7 infection, and by a reconstruction of the hybrid model of the mammalian cell cycle regulation of Singhania et al. as the composition of a Boolean model of cell cycle phase transitions and a differential model of cyclin activation.
Type de document :
Communication dans un congrès
Gupta, Ashutosh and Henzinger, Thomas A. CMSB - 11th International Conference on Computational Methods for Systems Biology - 2013, Sep 2013, Klosterneuburg, Austria. Springer, 8130, pp.192--205, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40708-6_15〉
Liste complète des métadonnées
https://hal.inria.fr/hal-00913292
Contributeur : Sylvain Soliman <>
Soumis le : mardi 3 décembre 2013 - 14:49:10
Dernière modification le : lundi 24 septembre 2018 - 14:00:04

Identifiants

Collections

INRIA | INRIA-ROCQ

Citation

Katherine Chiang, François Fages, Jie-Hong Jiang, Sylvain Soliman. On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models. Gupta, Ashutosh and Henzinger, Thomas A. CMSB - 11th International Conference on Computational Methods for Systems Biology - 2013, Sep 2013, Klosterneuburg, Austria. Springer, 8130, pp.192--205, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40708-6_15〉. 〈hal-00913292〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

306

Contact


archive-ouverte@inria.fr