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.
Type de document :
Communication dans un congrès
Rocco Nicola; Christine Julien. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7890, pp.1-15, 2013, Coordination Models and Languages. 〈10.1007/978-3-642-38493-6_1〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01486031
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:53:01
Dernière modification le : mardi 31 juillet 2018 - 16:58:01
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:35:01

Fichier

978-3-642-38493-6_1_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Luca Bortolussi, Diego Latella, Mieke Massink. Stochastic Process Algebra and Stability Analysis of Collective Systems. Rocco Nicola; Christine Julien. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7890, pp.1-15, 2013, Coordination Models and Languages. 〈10.1007/978-3-642-38493-6_1〉. 〈hal-01486031〉

Partager

Métriques

Consultations de la notice

63

Téléchargements de fichiers

32