Skip to main content
Article thumbnail
Location of Repository

Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic

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


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

Topics: Pattern Formation, Spatio-temporal logic, system design, model checking, parameter estimation
Publisher: Springer Verlag
Year: 2015
DOI identifier: 10.1007/978-3-319-26916-0_9
OAI identifier:

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.