Spatial representations and analysis techniques 

V. Galpin

in Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems (SFM 2016),  LNCS 9700, 120-155  2016.


Space plays an important role in the dynamics of collective adaptive systems (CAS). There are choices between representations to be made when we model these systems with space included explicitly, rather than being abstracted away. Since CAS often involve a large number of agents or components, we focus on scalable modelling and analysis of these models, which may involve approximation techniques. Discrete and continuous space are considered, for both models of individuals and models of populations. The aim of this tutorial is to provide an overview that supports decisions in modelling systems that involve space. 


Back to Publications page