Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/15661
Appears in Collections:Computing Science and Mathematics Technical Reports
Title: A process algebraic fluid flow model of emergency egress
Authors: Massink, Mieke
Latella, Diego
Bracciali, Andrea
Harrison, Michael D
Contact Email: abb@stir.ac.uk
Citation: Massink M, Latella D, Bracciali A & Harrison MD (2010) A process algebraic fluid flow model of emergency egress, TR012. CNR-ISTI.
Keywords: collective behaviour
validation
process algebra
fluid flow
Issue Date: 2010
Publisher: CNR-ISTI
Series/Report no.: TR012
Abstract: Pervasive environments offer an increasing number of services to a large number of people moving within these environments including timely information about where to go and when. People using these services interact with the system but they are also meeting other people and performing other activities as relevant opportunities arise. The design of such systems and the analysis of collective dynamic behaviour of people within them is a challenging problem. In previous work we have successfully explored a scalable analysis of stochastic process algebraic models of smart signage systems. In this paper we focus on the validation of a representative example of this class of models in the context of emergency egress. This context has the advantage that there is detailed data available from studies with alternative analysis methods. A second aim is to show how realistic human behaviour, often observed in emergency egress, can be embedded in the model and how the effect of this behaviour on building evacuation can be analysed in an efficient and scalable way.
Type: Technical Report
URL: http://fmt.isti.cnr.it/WEBPAPER/2010-TR-012.pdf
URI: http://hdl.handle.net/1893/15661
Affiliation: Istituto di Scienza e Tecnologie dell’Informazione
Istituto di Scienza e Tecnologie dell’Informazione
Computing Science - CSM Dept
Newcastle University

Files in This Item:
File Description SizeFormat 
2010-TR-012.pdf406.54 kBAdobe PDFUnder Embargo until 31/12/2999     Request a copy

Note: If any of the files in this item are currently embargoed, you can request a copy directly from the author by clicking the padlock icon above. However, this facility is dependant on the depositor still being contactable at their original email address.

This item is protected by original copyright



Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.