Quantitative abstractions for collective adaptive systems

Andrea Vandin, Mirco Tribastone*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

Collective adaptive systems (CAS) consist of a large number of possibly heterogeneous entities evolving according to local interactions that may operate across multiple scales in time and space. The adaptation to changes in the environment, as well as the highly dispersed decision-making process, often leads to emergent behaviour that cannot be understood by simply analysing the objectives, properties, and dynamics of the individual entities in isolation. As with most complex systems, modelling is a phase of crucial importance for the design of new CAS or the understanding of existing ones. Elsewhere in this volume the typical workflow of formal modelling, analysis, and evaluation of a CAS has been illustrated in detail. In this chapter we treat the problem of efficiently analysing large-scale CAS for quantitative properties. We review 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. We illustrate the theory in a tutorial fashion, with running examples and a number of more substantial case studies ranging from crowd dynamics, epidemiology and biological systems.

Original languageEnglish
Title of host publicationFormal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Advanced Lectures
Number of pages31
Volume9700
PublisherSpringer Verlag
Publication date2016
Pages202-232
ISBN (Print)9783319340951
DOIs
Publication statusPublished - 2016
Externally publishedYes
Event16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016 - Bertinoro, Italy
Duration: 20 Jun 201624 Jun 2016

Conference

Conference16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016
CountryItaly
CityBertinoro
Period20/06/201624/06/2016
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9700
ISSN0302-9743

Cite this

Vandin, A., & Tribastone, M. (2016). Quantitative abstractions for collective adaptive systems. In Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Advanced Lectures (Vol. 9700, pp. 202-232). Springer Verlag. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.. 9700 https://doi.org/10.1007/978-3-319-34096-8_7