@inbook{37b8d16d8cd94df2a16de125833a68b1,
title = "Statistical Model Checking of Membrane Systems with Peripheral Proteins: Quantifying the Role of Estrogen in Cellular Mitosis and DNA Damage",
abstract = "Systems biology is a natural application of membrane systems, allowing the analysis of biological systems using the formal technique of model checking. To overcome the intractable model size of typical biological systems, statistical model checking may be used to efficiently estimate the probability of properties of interest with arbitrary levels of confidence. In this chapter we analyse a biological system linked to breast cancer, using statistical model checking (SMC) applied to membrane systems. To do this, we have constructed a computational platform that integrates an SMC library with a stochastic simulator of membrane systems with peripheral proteins. We present the methodology to investigate the role of estrogen in cellular mitosis and DNA damage and we use our statistical model checker to find the most appropriate time-dependent dosage of antagonist that should be used to minimize the uncontrolled replication of abnormal cells.",
author = "Matteo Cavaliere and Tommaso Mazza and Sean Sedwards",
year = "2014",
doi = "10.1007/978-3-319-03191-0_2",
language = "English",
isbn = "978-3-319-03190-3",
series = "Emergence, Complexity and Computation",
publisher = "Springer",
pages = "43--63",
editor = "Pierluigi Frisco and Marian Gheorghe and P{\'e}rez-Jim{\'e}nez, {Mario J.}",
booktitle = "Applications of Membrane Computing in Systems and Synthetic Biology",
address = "United Kingdom",
}