Statistical Model Checking of Membrane Systems with Peripheral Proteins: Quantifying the Role of Estrogen in Cellular Mitosis and DNA Damage

Matteo Cavaliere, Tommaso Mazza, Sean Sedwards

Research output: Chapter in Book/Report/Conference proceedingChapter

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.
Original languageEnglish
Title of host publicationApplications of Membrane Computing in Systems and Synthetic Biology
EditorsPierluigi Frisco, Marian Gheorghe, Mario J. Pérez-Jiménez
PublisherSpringer International Publishing
Pages43-63
Number of pages21
ISBN (Electronic)978-3-319-03191-0
ISBN (Print)978-3-319-03190-3
DOIs
Publication statusPublished - 2014

Publication series

NameEmergence, Complexity and Computation
PublisherSpringer International Publishing
Volume7
ISSN (Print)2194-7287

Fingerprint Dive into the research topics of 'Statistical Model Checking of Membrane Systems with Peripheral Proteins: Quantifying the Role of Estrogen in Cellular Mitosis and DNA Damage'. Together they form a unique fingerprint.

Cite this