# Stochastic Process Algebra and Stability Analysis of Collective Systems

@inproceedings{Bortolussi2013StochasticPA, title={Stochastic Process Algebra and Stability Analysis of Collective Systems}, author={Luca Bortolussi and Diego Latella and Mieke Massink}, booktitle={COORDINATION}, year={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…

## 14 Citations

Quantitative Abstractions for Collective Adaptive Systems

- Computer ScienceSFM
- 2016

This chapter treats the problem of efficiently analysing large-scale CAS for quantitative properties and reviews algorithms to automatically reduce the dimensionality of a CAS model preserving modeller-defined state variables, with focus on descriptions based on systems of ordinary differential equations.

Type-based Self-stabilisation for Computational Fields

- Computer ScienceLog. Methods Comput. Sci.
- 2015

This work presents a tiny, expressive, and type-sound calculus of computational fields, and defines sufficient conditions for self-stabilisation, defined as the ability to react to changes in the environment finding a new stable state in finite time.

A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours

- Computer Science
- 2016

The development of an innovative formal design framework that provides a specification language for collective adaptive systems and a large variety of tool-supported, scalable analys is and verification techniques, based on the original combination of recent breakthroughs in Formal Methods and Applied Mathematics.

Spatial Representations and Analysis Techniques

- Computer ScienceSFM
- 2016

The aim of this tutorial is to provide an overview that supports decisions in modelling systems that involve space, which often involve a large number of agents or components.

Modelling movement for collective adaptive systems with CARMA

- Computer ScienceFORECAST@STAF
- 2016

A graphical editor for CARMA allows for the specification of spatial structure and generation of templates that can be used in a CARMA model with space, and is used to experiment with a model of pedestrian movement over a network of paths.

On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination

- Computer ScienceSci. Comput. Program.
- 2015

On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination

- Computer ScienceCOORDINATION
- 2016

This paper presents an attribute-based coordination language as a front-end for FlyFast, a formal probabilistic semantics is provided and a translation to the original FlyFast language is given and proved correct.

Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools

- Computer ScienceACM Trans. Model. Comput. Simul.
- 2018

It is shown how Carma provides suitable modelling language constructs that make it straightforward to change the topology of the paths and other spatial aspects of the model without completely restructuring the Carma model.

Goals and Resource Constraints in CARMA

- Computer ScienceElectron. Notes Theor. Comput. Sci.
- 2018

Review of time-based techniques for modelling space

- Mathematics
- 2014

A classification of space modelling techniques is described, covering two time-based approaches and one space-only approach, that of topological and metric spaces, and how such techniques have been used in the ecology, biology, epidemiological and networking literature.

## References

SHOWING 1-10 OF 24 REFERENCES

Modelling Non-linear Crowd Dynamics in Bio-PEPA

- Computer ScienceFASE
- 2011

This case study is revisited providing an elegant stochastic process algebraic model in Bio-PEPA amenable to several forms of analyses, among which simulation and fluid flow analysis are used.

Exact Stochastic Simulation of Coupled Chemical Reactions

- Physics
- 1977

There are two formalisms for mathematically describing the time behavior of a spatially homogeneous chemical system: The deterministic approach regards the time evolution as a continuous, wholly…

Fluid flow approximation of PEPA models

- Mathematics, Computer ScienceSecond International Conference on the Quantitative Evaluation of Systems (QEST'05)
- 2005

A novel performance analysis technique for large scale systems modelled in the stochastic process algebra PEPA, whose underlying mathematical representation is a set of coupled ordinary differential equations (ODEs).

Analysing Robot Swarm Decision-Making with Bio-PEPA

- Computer ScienceANTS
- 2012

The validity of Bio-PEPA is demonstrated by modelling collective decision-making in a swarm robotics system and the result of different analyses are evaluated, which ensures consistency between analysis results.

Revisiting the Limit Behaviour of ``El Botellon"

- Mathematics
- 2012

Emergent phenomena occur due to the pattern of non-linear and distributed local interactions between the elements of a system over time. An example of such phenomena is the spontaneous…

Nonlinear Systems

- Mathematics
- 2013

Nonlinearity is ubiquitous in physical phenomena. Fluid and plasma mechanics, gas dynamics, elasticity, relativity, chemical reactions, combustion, ecology, biomechanics, and many, many other…

Advances in complexity engineering

- Business, Computer ScienceInt. J. Bio Inspired Comput.
- 2011

A survey of the currently existing approaches to complexity engineering is provided and challenges ahead are indicated.

Fluid Analysis of Foraging Ants

- Computer ScienceCOORDINATION
- 2012

The conditions for which the shortest path emerges as the preferred one by the ants are explored and process algebraic fluid flow analysis may be an important additional technique to the analysis of such algorithms in a computationally efficient way.

Bio-PEPA: A framework for the modelling and analysis of biological systems

- Computer ScienceTheor. Comput. Sci.
- 2009