Evacuation Simulation through Formal Emotional Agent based Modelling

摘要

Evacuation Simulation is recognised as an important tool for assessing design choices for urban areas. Although a number of approaches have been introduced, it is widely acceptable that such simulation scenarios demand modelling of emotional aspects of evacuees, and how these affect their behaviour. The present work, proposes that formal agent modelling based on eX-machines can rigorously define but also naturally lead to realistic simulations of such scenarios. eX-machines can model agent behaviour influenced by emotions, including social aspects of emotions, such as emotion contagion. The developed formal model is refined to simulation code, that is able to visualise and simulate crowd believable behaviour.