Figure 8
From: Automatic validation of computational models using pseudo-3D spatio-temporal model checking
Spatio-temporal detection and analysis of a chemotaxis model simulation. Each column corresponds to a different timepoint from the simulation (t = 1, 30 and 195). The rows considered from top to bottom represent the stages of translating timeseries data to STML output files (Visualisation as images, automatic detection and analysis of regions/sector-like patterns clusters, and output in STML format). The colour employed in the first row plots represents degree of pileup. “Yellow” positions in the discretised 2D space are occupied by 1 cell, respectively “green” positions by 2 cells and “teal” positions by 3 cells. The colours employed in the second row plots are used only to distinguish between different clusters. Each cluster is surrounded by a polygon whose shape (triangular/rectangular/circular) best matches the shape of the cluster.