Paper Info
Title
Stochastic Process Algebra And Stability Analysis Of Collective Systems
Abstract
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.
Year
DOI
Venue
2013
10.1007/978-3-642-38493-6_1
COORDINATION MODELS AND LANGUAGES, COORDINATION 2013
Keywords
Field
DocType
Fluid flow, process algebra, crowd dynamics, self-organisation
Stochastic process algebra,Discrete mathematics,Symbolic computing,Ordinary differential equation,Computer science,Theoretical computer science,Crowd dynamics,Numerical analysis,Process calculus,Asymmetry,Scalability
Conference
Volume
ISSN
Citations 
7890
0302-9743
8
PageRank 
References 
Authors
0.47
9
3
Name
Order
Citations
PageRank
Luca Bortolussi166358.88
Diego Latella21168113.42
Mieke Massink3109587.58