-
Agent-Based Simulation of Collective Cooperation: From Experiment to Model
Authors:
Benedikt Kleinmeier,
Gerta Köster,
John Drury
Abstract:
Simulation models of pedestrian dynamics have become an invaluable tool for evacuation planning. Typically crowds are assumed to stream unidirectionally towards a safe area. Simulated agents avoid collisions through mechanisms that belong to each individual, such as being repelled from each other by imaginary forces. But classic locomotion models fail when collective cooperation is called for, not…
▽ More
Simulation models of pedestrian dynamics have become an invaluable tool for evacuation planning. Typically crowds are assumed to stream unidirectionally towards a safe area. Simulated agents avoid collisions through mechanisms that belong to each individual, such as being repelled from each other by imaginary forces. But classic locomotion models fail when collective cooperation is called for, notably when an agent, say a first-aid attendant, needs to forge a path through a densely packed group. We present a controlled experiment to observe what happens when humans pass through a dense static crowd. We formulate and test hypothesis on salient phenomena. We discuss our observations in a psychological framework. We derive a model that incorporates: agents' perception and cognitive processing of a situation that needs cooperation; selection from a portfolio of behaviours, such as being cooperative; and a suitable action, such as swapping places. Agents' ability to successfully get through a dense crowd emerges as an effect of the psychological model.
△ Less
Submitted 7 October, 2020; v1 submitted 26 May, 2020;
originally announced May 2020.
-
Formal Models of the OSPF Routing Protocol
Authors:
Jack Drury,
Peter Höfner,
Weiyou Wang
Abstract:
We present three formal models of the OSPF routing protocol. The first two are formalised in the timed process algebra T-AWN, which is not only tailored to routing protocols, but also specifies protocols in pseudo-code that is easily readable. The difference between the two models lies in the level of detail (level of abstraction). From the more abstract model we then generate the third model. It…
▽ More
We present three formal models of the OSPF routing protocol. The first two are formalised in the timed process algebra T-AWN, which is not only tailored to routing protocols, but also specifies protocols in pseudo-code that is easily readable. The difference between the two models lies in the level of detail (level of abstraction). From the more abstract model we then generate the third model. It is based on networks of timed automata and can be executed in the model checker Uppaal.
△ Less
Submitted 28 April, 2020;
originally announced April 2020.
-
Modelling social identification and helping in evacuation simulation
Authors:
I. von Sivers,
A. Templeton,
F. Künzner,
G. Köster,
J. Drury,
A. Philippides,
T. Neckel,
H. -J. Bungartz
Abstract:
Social scientists have criticised computer models of pedestrian streams for their treatment of psychological crowds as mere aggregations of individuals. Indeed most models for evacuation dynamics use analogies from physics where pedestrians are considered as particles. Although this ensures that the results of the simulation match important physical phenomena, such as the deceleration of the crowd…
▽ More
Social scientists have criticised computer models of pedestrian streams for their treatment of psychological crowds as mere aggregations of individuals. Indeed most models for evacuation dynamics use analogies from physics where pedestrians are considered as particles. Although this ensures that the results of the simulation match important physical phenomena, such as the deceleration of the crowd with increasing density, social phenomena such as group processes are ignored. In particular, people in a crowd have social identities and share those social identities with the others in the crowd. The process of self categorisation determines norms within the crowd and influences how people will behave in evacuation situations. We formulate the application of social identity in pedestrian simulation algorithmically. The goal is to examine whether it is possible to carry over the psychological model to computer models of pedestrian motion so that simulation results correspond to observations from crowd psychology. That is, we quantify and formalise empirical research on and verbal descriptions of the effect of group identity on behaviour. We use uncertainty quantification to analyse the model's behaviour when we vary crucial model parameters. In this first approach we restrict ourselves to a specific scenario that was thoroughly investigated by crowd psychologists and where some quantitative data is available: the bombing and subsequent evacuation of a London underground tube carriage on July 7th 2005.
△ Less
Submitted 12 July, 2016; v1 submitted 2 February, 2016;
originally announced February 2016.
