PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Massink M., Latella D., Bracciali A., Hillston J. Modelling non-linear crowd dynamics in Bio-PEPA. In: FASE 2011 - Fundamental Approaches to Software Engineering 2011. 14th International Conference (Saarbruecken, Germany, March 26 - April 3 2011). Proceedings, pp. 96 - 110. D. Giannakopoulou, F. Orejas (eds.). (Lecture Notes in Computer Science, vol. 6603). Springer-Verlag, 2011.
 
 
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 re- ality. An example of such phenomena is the spontaneous self-organisation of drinking parties in the squares of cities in Spain, also known as "El Botello ́n". 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 in [20] 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
URL: http://www.springerlink.com/content/lw5812w5k78744m8/
DOI: 10.1007/978-3-642-19811-3_8
Subject Collective behaviour
Validation
BioPEPA
Fluid flow
D.2.4 Software/Program Verification
68N30 Mathematical aspects of software engineering


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional