Dynamical Systems and Stochastic Programming - From Ordinary Differential Equations and Back.

TitleDynamical Systems and Stochastic Programming - From Ordinary Differential Equations and Back.
Publication TypeJournal Article
Year of Publication2009
AuthorsBortolussi L, Policriti A
JournalTransactions On Computational Systems Biology
Volume11
Pages216–267
KeywordsComputational Systems Biology, Continuous-Time Markov Chains, Differential Equations, fluid approximation, stochastic concurrent constraint programming
Abstract

In this paper we focus on the relation between models of biological systems consisting of ordinary differential equations (ODE) and models written in a stochastic and concurrent paradigm (sCCP - stochastic Concurrent Constraint Programming). In particular, we define a method to associate a set of ODEs to an sCCP program and a method converting ODEs into sCCP programs. Then we study the properties of these two translations. Specifically, we show that the mapping from sCCP to ODEs preserves rate semantics for the class of biochemical models (i.e. chemical kinetics is maintained) and we investigate the invertibility properties of the two mappings. Finally, we concentrate on the question of behavioral preservation, i.e if the models obtained applying the mappings have the same dynamics. We give a convergence theorem in the direction from ODEs to sCCP and we provide several well-known examples in which this property fails in the inverse direction, discussing them in detail.

DOI10.1007/978-3-642-04186-0_11
File: