Original language | English |
---|
Title of host publication | Hybrid Systems Biology |
---|
Subtitle of host publication | Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers |
---|
Editors | Alessandro Abate, David Safránek |
---|
Publisher | Springer International Publishing |
---|
Pages | 156-172 |
---|
Number of pages | 17 |
---|
ISBN (Electronic) | 978-3-319-26916-0 |
---|
ISBN (Print) | 978-3-319-26915-3 |
---|
DOIs | |
---|
Publication status | Published - 2015 |
---|
Name | Lecture Notes in Computer Science |
---|
Publisher | Springer International Publishing |
---|
Volume | 9271 |
---|
ISSN (Print) | 0302-9743 |
---|
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.
ID: 24617564