Crowd formal modelling and simulation: The Sa'yee ritual

There is an increasing interest in modelling of agents interacting as crowd and a simulation of such scenarios that map to real-life situations. This paper presents a generic state-based abstract model for crowd behaviour that can be mapped onto different agent-based systems. In particular, the abstract model is mapped into the simulation framework NetLogo. We have used the model to simulate a real-life case study of high density diverse crowd such as the Hajj ritual at the mosque in Mecca (Makkah). The computational model is based on real data extracted from videos of the ritual. We also present a methodology for extracting significant data, parameters, and patterns of behaviour from real-world videos that has been used as an early stage validation to demonstrate that the obtained simulations are realistic.