Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

Chunyan Mu; Peter Dittrich; David Parker; Jonathan E. Rowe

doi:10.1007/978-3-319-45177-0_15

Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

185 Downloads (Pure)

Abstract

Chemical organisation theory is a framework developed to simplify the analysis of long-term behaviour of chemical systems. An organisation is a set of objects which are closed and self-maintaining. In this paper, 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, to study quantitative properties regarding movement between these organisations and to construct an organisation-based coarse graining of the model that can be used to approximate and predict the behaviour of the original reaction network.

Original language	English
Title of host publication	Computational Methods in Systems Biology. CMSB 2016
Publisher	Springer
ISBN (Electronic)	9783319451770
ISBN (Print)	9783319451763
DOIs	https://doi.org/10.1007/978-3-319-45177-0_15
Publication status	Published - 21 Sept 2016
Event	14th International Conference on Computational Methods in Systems Biology - Computer Laboratory, University of Cambridge, Cambridge, United Kingdom Duration: 21 Sept 2016 → 23 Sept 2016 https://www.cl.cam.ac.uk/events/cmsb2016/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	9859
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	14th International Conference on Computational Methods in Systems Biology
Abbreviated title	CMSB 2016
Country/Territory	United Kingdom
City	Cambridge
Period	21/09/16 → 23/09/16
Internet address	https://www.cl.cam.ac.uk/events/cmsb2016/

Access to Document

10.1007/978-3-319-45177-0_15

Full textFinal published version, 609 KBLicence: Other

Cite this

@inproceedings{d31267a5d74b4da89973aee9f2fc2f39,

title = "Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory",

abstract = "Chemical organisation theory is a framework developed to simplify the analysis of long-term behaviour of chemical systems. An organisation is a set of objects which are closed and self-maintaining. In this paper, 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, to study quantitative properties regarding movement between these organisations and to construct an organisation-based coarse graining of the model that can be used to approximate and predict the behaviour of the original reaction network.",

author = "Chunyan Mu and Peter Dittrich and David Parker and Rowe, {Jonathan E.}",

year = "2016",

month = sep,

day = "21",

doi = "10.1007/978-3-319-45177-0_15",

language = "English",

isbn = "9783319451763",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

booktitle = "Computational Methods in Systems Biology. CMSB 2016",

note = "14th International Conference on Computational Methods in Systems Biology, CMSB 2016 ; Conference date: 21-09-2016 Through 23-09-2016",

url = "https://www.cl.cam.ac.uk/events/cmsb2016/",

}

Mu, C, Dittrich, P, Parker, D & Rowe, JE 2016, Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. in Computational Methods in Systems Biology. CMSB 2016. Lecture Notes in Computer Science, vol. 9859, Springer, 14th International Conference on Computational Methods in Systems Biology, Cambridge, United Kingdom, 21/09/16. https://doi.org/10.1007/978-3-319-45177-0_15

TY - GEN

T1 - Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

AU - Mu, Chunyan

AU - Dittrich, Peter

AU - Parker, David

AU - Rowe, Jonathan E.

PY - 2016/9/21

Y1 - 2016/9/21

N2 - Chemical organisation theory is a framework developed to simplify the analysis of long-term behaviour of chemical systems. An organisation is a set of objects which are closed and self-maintaining. In this paper, 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, to study quantitative properties regarding movement between these organisations and to construct an organisation-based coarse graining of the model that can be used to approximate and predict the behaviour of the original reaction network.

AB - Chemical organisation theory is a framework developed to simplify the analysis of long-term behaviour of chemical systems. An organisation is a set of objects which are closed and self-maintaining. In this paper, 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, to study quantitative properties regarding movement between these organisations and to construct an organisation-based coarse graining of the model that can be used to approximate and predict the behaviour of the original reaction network.

U2 - 10.1007/978-3-319-45177-0_15

DO - 10.1007/978-3-319-45177-0_15

M3 - Conference contribution

SN - 9783319451763

T3 - Lecture Notes in Computer Science

BT - Computational Methods in Systems Biology. CMSB 2016

PB - Springer

T2 - 14th International Conference on Computational Methods in Systems Biology

Y2 - 21 September 2016 through 23 September 2016

ER -

Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this