Massink M., Latella D., Bracciali A., Hillston J. A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour. Technical report, 2010. |

Abstract (English) |
Emergent phenomena occur due to the pattern of non-linear and distributed local interactions between the elements of a system over time. Surprisingly, agent based crowd models in which the movement of each individual follows a limited set of simple rules often re-produce quite closely the emergent behaviour of crowds that can be observed in reality. An example of such phenomena is the spontaneous self-organisation of drinking parties in the squares of cities in Spain, also known as ``El Botell'on" (by Rowe and Gomez 2003). We revisit this case study providing an elegant stochastic process algebraic model in Bio-PEPA amenable to several forms of analyses among which simulation and fluid flow analysis. We show that a fluid flow approximation, i.e. a deterministic reading of the average behaviour of the system, can provide an alternative and efficient way to study the same emergent behaviour as that explored by Rowe and Gomez in 2003 where simulation was used instead. Besides empirical evidence also an analytical justification is provided for the good correspondence found between simulation results and the fluid flow approximation. Scalability features of the fluid flow approach may make it particularly useful when studying models of more complex city topologies with very large populations. | |

Subject | Stochastic Process Algebra Fluid Analysis Crowd models Non-linear differential equations D.2.4 Software/Program Verification 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) |

1) Download Document PDF |

Open access Restricted Private