University of Birmingham Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks

—Chemical organisation theory is a framework developed to simplify the analysis of long-term behaviour of chemical systems. In this work, we build on these ideas to develop novel techniques for formal quantitative analysis of chemical reaction networks, using discrete stochastic models represented as continuous-time Markov chains. We propose methods to identify organisations, and to study quantitative properties regarding movements between these organisations. We then construct and formalise a coarse-grained Markov chain model of hierarchic organisations for a given reaction network, which can be used to approximate the behaviour of the original reaction network. As an application of the coarse-grained model, we predict the behaviour of the reaction network systems over time via the master equation. Experiments show that our predictions can mimic the main pattern of the concrete behaviour in the long run, but the precision varies for different models and reaction rule rates. Finally, we propose an algorithm to selectively refine the coarse-grained models and show experiments demonstrating that the precision of the prediction has been improved.

[1]  D. Peled,et al.  Model Checking , 2018, Handbook of Finite State Based Models and Applications.

[2]  Tomas Veloz,et al.  Reaction Networks as a Language for Systemic Modeling: Fundamentals and Examples , 2017, Syst..

[3]  Peter Dittrich,et al.  Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory , 2016, CMSB.

[4]  Luca Cardelli,et al.  Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation , 2015, Biosyst..

[5]  Yangyang Zhao,et al.  BioModels: ten-year anniversary , 2014, Nucleic Acids Res..

[6]  Tomas Veloz,et al.  Effects of small particle numbers on long-term behaviour in discrete biochemical systems , 2014, Bioinform..

[7]  Luca Bortolussi,et al.  Model Checking Markov Population Models by Central Limit Approximation , 2013, QEST.

[8]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[9]  Thomas A. Henzinger,et al.  Solving the chemical master equation using sliding windows , 2010, BMC Systems Biology.

[10]  M. Nowak Evolutionary Dynamics: Exploring the Equations of Life , 2006 .

[11]  Jacky L. Snoep,et al.  BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems , 2005, Nucleic Acids Res..

[12]  Pietro Speroni di Fenizio,et al.  Chemical Organisation Theory , 2005, Bulletin of mathematical biology.

[13]  Marta Z. Kwiatkowska,et al.  Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.

[14]  Christel Baier,et al.  Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..

[15]  R. Heinrich,et al.  The Regulation of Cellular Systems , 1996, Springer US.

[16]  Robert K. Brayton,et al.  Verifying Continuous Time Markov Chains , 1996, CAV.

[17]  R. Tarjan Algorithm design , 1987, CACM.

[18]  D. Gillespie Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[19]  M. Feinberg,et al.  Dynamics of open chemical systems and the algebraic structure of the underlying reaction network , 1974 .

[20]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[21]  Kevin P. Murphy Information theory , 1998 .

[22]  David J. C. MacKay,et al.  Information Theory, Inference, and Learning Algorithms , 2004, IEEE Transactions on Information Theory.

[23]  J. Ziegler,et al.  Artificial Chemistries-A Review , 2001 .

[24]  Leo W. Buss,et al.  “The arrival of the fittest”: Toward a theory of biological organization , 1994 .

[25]  J. MacQueen Some methods for classification and analysis of multivariate observations , 1967 .

[26]  J. Mcqueen Some methods for classi cation and analysis of multivariate observations , 1967 .