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.
Keywords
References
GNU Octave, http://www.gnu.org/software/octave/
Matlab symbolic toolbox, http://www.mathworks.it/products/symbolic/
Maxima, a computer algebra system, http://maxima.sourceforge.net/
SBML: Systems Biology Markup Language, http://sbml.org
Bortolussi, L., Le Boudec, J.Y., Latella, D., Massink, M.: Revisiting the limit behaviour of El Botellon. Tech. Rep. EPFL-REPORT-179935, École Polytechnique Fédérale de Lausanne - INFOSCIENCE (July 2012)
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)
Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. TCS 410(33-34), 3065–3084 (2009)
Frei, R., Di Marzo Serugendo, G.: Advances in complexity engineering. International Journal of Bio-Inspired Computation 3, 199–212 (2011)
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81(25), 2340–2361 (1977)
Hillston, J.: A compositional approach to performance modelling, distinguished Dissertation in Computer Science. Cambridge University Press (1996)
Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of QEST 2005, pp. 33–43. IEEE Computer Society (2005)
Keating, S.M., Bornstein, B.J., Finney, A., Hucka, M.: SBMLToolbox: an SBML toolbox for MATLAB users. Bioinformatics 22(10), 1275–1277 (2006), http://sbml.org/Software/SBMLToolbox
Khalil, H.K.: Nonlinear systems. MacMillan Pub. Co. (1992)
Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review (2009)
Massink, M., Latella, D., Bracciali, A., Hillston, J.: Modelling non-linear crowd dynamics in Bio-PEPA. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol. 6603, pp. 96–110. Springer, Heidelberg (2011)
Massink, M., Brambilla, M., Latella, D., Dorigo, M., Birattari, M.: Analysing robot swarm decision-making with Bio-PEPA. In: Dorigo, M., Birattari, M., Blum, C., Christensen, A.L., Engelbrecht, A.P., Groß, R., Stützle, T. (eds.) ANTS 2012. LNCS, vol. 7461, pp. 25–36. Springer, Heidelberg (2012)
Massink, M., Latella, D.: Fluid analysis of foraging ants. In: Sirjani, M. (ed.) COORDINATION 2012. LNCS, vol. 7274, pp. 152–165. Springer, Heidelberg (2012)
MATLAB: v. 7.10.0 (R2010a). The MathWorks Inc., Natick(2010)
Naphade, M., Banavar, G., Harrison, C., Paraszczak, J., Morris, R.: Smarter cities and their innovation challenges. Computer 44(6), 32–39 (2011)
Nocedal, J., Wright, S.J.: Numerical Optimization, 2nd edn. Springer (2006)
Rowe, J.E., Gomez, R.: El Botellón: Modeling the movement of crowds in a city. Complex Systems 14, 363–370 (2003)
Strogatz, S.H.: Non-linear dynamics and chaos: with applications to physics, biology, chemistry, and engineering. Perseus Books Publishing (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 IFIP International Federation for Information Processing
About this paper
Cite this paper
Bortolussi, L., Latella, D., Massink, M. (2013). Stochastic Process Algebra and Stability Analysis of Collective Systems. In: De Nicola, R., Julien, C. (eds) Coordination Models and Languages. COORDINATION 2013. Lecture Notes in Computer Science, vol 7890. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38493-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-38493-6_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38492-9
Online ISBN: 978-3-642-38493-6
eBook Packages: Computer ScienceComputer Science (R0)