Modelling non-linear crowd dynamics in Bio-PEPA

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6603 LNCS, Issue , 2011, Pages 96-110

  Massink, Mieke ^a   Latella, Diego ^a   Bracciali, Andrea ^a,c   Hillston, Jane ^b  

^a ISTI CNR   (Italy)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

^c UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

crowd dynamics; Fluid flow; process algebra; self organisation

Indexed keywords

AGENT BASED; ALGEBRAIC MODELS; CROWD DYNAMICS; EMERGENT BEHAVIOURS; EMERGENT PHENOMENON; EMPIRICAL EVIDENCE; FLUID FLOW; FLUID FLOW ANALYSIS; FLUID FLOW APPROXIMATION; LOCAL INTERACTIONS; NON-LINEAR; PROCESS ALGEBRA; SELF-ORGANISATION; SIMPLE RULES; SIMULATION RESULT; STOCHASTIC PROCESS;

ALGEBRA; FLOW SIMULATION; FLUIDS; RANDOM PROCESSES; SOFTWARE ENGINEERING; STOCHASTIC MODELS;

BEHAVIORAL RESEARCH;

EID: 79953201569     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19811-3_8     Document Type: Conference Paper

References (22)

1. Akman, O.E., Ciocchetta, F., Degasperi, A., Guerriero, M.L.: Modelling biological clocks with bio-PEPA: Stochasticity and robustness for the neurospora crassa circadian network. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 52-67. Springer, Heidelberg (2009)
2. Benaïm, M., Le Boudec, J.: A class of mean field interaction models for computer and communication systems. Performance Evaluation 65(11-12), 823-838 (2008)
3. Bracciali, A., Hillston, J., Latella, D., Massink, M.: Reconciling population and agent models for crowd dynamics. In: Proceedings of 3rd International Workshop on Logics, Agents, and Mobility, LAM 2010 (to appear, 2010)
4. Calder, M., Gilmore, S., Hillston, J.: Automatically deriving odes from process algebra models of signalling pathways. In: Plotkin, G. (ed.) Proceedings of Computational Methods in Systems Biology (CMSB 2005), pp. 204-215 (2005)
5. Ciocchetta, F., Duguid, A., Gilmore, S., Guerriero, M.L., Hillston, J.: The Bio-PEPA Tool Suite. In: Proc. of the 6th Int. Conf. on Quantitative Evaluation of SysTems (QEST 2009), pp. 309-310 (2009)
6. Ciocchetta, F., Guerriero, M.L.: Modelling biological compartments in Bio-PEPA. ENTCS 227, 77-95 (2009)
7. Ciocchetta, F., Hillston, J.: Bio-PEPA: An extension of the process algebra pepa for biochemical networks. ENTCS 194(3), 103-117 (2008)
8. Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. TCS 410(33-34), 3065-3084 (2009)
9. Dormand, J.R., Prince, P.J.: A family of embedded Runge-Kutta formulae. Journal of Computational and Applied Mathematics 6(1), 19-26 (1980)
10. Gillepie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81(25), 2340-2361 (1977)
11. Hayden, R.A., Bradley, J.T.: A fluid analysis framework for a Markovian process algebra. TCS 411(22-24), 2260-2297 (2010)
12. Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of QEST 2005, pp. 33-43. IEEE Computer Society Press, Los Alamitos (2005)
13. Jensen, J.L.W.V.: Sur les fonctions convexes et les iné galités entre les valeurs moyennes. Acta Mathematica 30(1), 175-193 (1906)
14. Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure Markov processes. Journal of Applied Probability 7(1), 49-58 (1970)
15. Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review (2009)
16. Love-parade: Stampede at german love parade festival kills 19, http://www.bbc.co.uk/news/world-europe-10751899, (accessed on August 10, 2010)
17. Massink, M., Latella, D., Bracciali, A., Harrison, M.: A scalable fluid flow process algebraic approach to emergency egress analysis. In: Proceedings of the 8th International Conference on Software Engineering and Formal Methods (SEFM 2010), pp. 169-180. IEEE, Los Alamitos (2010)
18. Massink, M., Latella, D., Bracciali, A., Hillston, J.: A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour. Tech. Rep. 2010-TR- 025, CNR-ISTI (2010)
19. Massink, M., Latella, D., Bracciali, A., Hillston, J.: Modelling crowd dynamics in Bio-PEPA - extended abstract. In: Participant Proceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities, PASTA 2010 (2010)
20. Rowe, J.E., Gomez, R.: El Botellón: Modeling the movement of crowds in a city. Complex Systems 14, 363-370 (2003)
21. Santos, G., Aguirre, B.E.: A critical review of emergency evacuation simulation models. In: Proceedings of the NIST Workshop on Building Occupant Movement during Fire Emergencies, June 10-11, 2004, pp. 27-52. NIST/BFRL Publications Online, Gaithersburg, MD, USA (2005)
22. Still, G.K.: Crowd dynamics (2000), Ph. D. Thesis, University of Warwick, U.K..