Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. / Mu, Chunyan; Dittrich, Peter ; Parker, David; Rowe, Jonathan.

Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Springer, 2016. p. 232-251 (Lecture Notes in Computer Science; Vol. 9859).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

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

APA

Mu, C., Dittrich, P., Parker, D., & Rowe, J. (2016). Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. In Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings (pp. 232-251). (Lecture Notes in Computer Science; Vol. 9859). Springer. https://doi.org/10.1007/978-3-319-45177-0_15

Vancouver

Mu C, Dittrich P, Parker D, Rowe J. Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. In Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Springer. 2016. p. 232-251. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-45177-0_15

Author

Mu, Chunyan ; Dittrich, Peter ; Parker, David ; Rowe, Jonathan. / Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Springer, 2016. pp. 232-251 (Lecture Notes in Computer Science).

Bibtex

@inproceedings{7abd6675960748808d45174e778e29c1,
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 Jonathan Rowe",
year = "2016",
doi = "10.1007/978-3-319-45177-0_15",
language = "English",
isbn = "978-3-319-45176-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "232--251",
booktitle = "Computational Methods in Systems Biology",
note = "14th International Conference on Computational Methods in Systems Biology (CMSB'16) ; Conference date: 21-09-2016 Through 23-09-2016",

}

RIS

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

PY - 2016

Y1 - 2016

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 - 978-3-319-45176-3

T3 - Lecture Notes in Computer Science

SP - 232

EP - 251

BT - Computational Methods in Systems Biology

PB - Springer

T2 - 14th International Conference on Computational Methods in Systems Biology (CMSB'16)

Y2 - 21 September 2016 through 23 September 2016

ER -