Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic

Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti

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


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.
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
Number of pages17
ISBN (Electronic)978-3-319-26916-0
ISBN (Print)978-3-319-26915-3
Publication statusPublished - 2015

Publication series

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


Dive into the research topics of 'Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic'. Together they form a unique fingerprint.

Cite this