Istituto di Scienza e Tecnologie dell'Informazione     
Bortolussi L., Latella D., Massink M. Stochastic process algebra and stability analysis of collective systems. In: COORDINATION 2013 - DisCoTec 2013 - Coordination Models and Languages. 15th International Conference, held as Part of the 8th International Federated Conference on Distributed Computing Techniques (Firenze, 3-5 giugno 2013). Proceedings, pp. 1 - 15. Rocco De Nicola, Christine Julien (eds.). (Lecture Notes in Computer Science, vol. 7890). Springer, 2013.
Collective systems consist of large numbers of agents that coordinate through local behaviour, adapt to their environment and possibly give rise to emergent phenomena. Their formal analysis requires advanced scalable mathematical approximation techniques. We show how Stochastic Process Algebra (SPA) can be combined with numeric analysis tools for the analysis of emergent behavioural aspects of such systems. The approach is based on an automatic transformation of SPA models into ordinary differential equations in a format in which numeric and symbolic computing environments can be used to perform stability analysis of the system. The potential of the approach is illustrated by a crowd dynamics scenario in which various forms of behavioural and topological asymmetry are introduced. These are cases in which analytical approaches to stability analysis are in general not feasible.The analysis also shows some surprising aspects of the crowd model itself.
URL: http://link.springer.com/chapter/10.1007/978-3-642-38493-6_1
DOI: 10.1007/978-3-642-38493-6_1
Subject Collective behaviour
Fluid flow analysis
Stability Analysis
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