Edinburgh Research Explorer

Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://link.springer.com/chapter/10.1007%2F978-3-319-26916-0_9
Original languageEnglish
Title of host publicationHybrid Systems Biology
Subtitle of host publicationFourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers
EditorsAlessandro Abate, David Safránek
PublisherSpringer International Publishing
Pages156-172
Number of pages17
ISBN (Electronic)978-3-319-26916-0
ISBN (Print)978-3-319-26915-3
DOIs
StatePublished - 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
Volume9271
ISSN (Print)0302-9743

Abstract

Pattern formation is an important spatio-temporal emergent behaviour in biology. Mathematical models of pattern formation in the stochastic setting are extremely challenging to execute and analyse. Here we propose a formal analysis of the emergent behaviour of stochastic reaction diffusion systems in terms of Signal Spatio-Temporal Logic, a recently proposed logic for reasoning on spatio-temporal systems. We present a formal analysis of the spatio-temporal dynamics of the Bicoid morphogen in Drosophila melanogaster, one of the most important proteins in the formation of the horizontal segmentation in the development of the fly embryo. We use a recently proposed framework for statistical model checking of stochastic systems with uncertainty on parameters to characterise the parametric dependence and robustness of the French Flag pattern, highlighting non-trivial correlations between the parameter values and the emergence of the patterning.

Download statistics

No data available

ID: 24617564