Projects per year
Abstract
Space plays an important role in the dynamics of collective adaptive systems (CAS). There are choices between representations to be made when we model these systems with space included explicitly, rather than being abstracted away. Since CAS often involve a large number of agents or components, we focus on scalable modelling and analysis of these models, which may involve approximation techniques. Discrete and continuous space are considered, for both models of individuals and models of populations. The aim of this tutorial is to provide an overview that supports decisions in modelling systems that involve space.
Original language | English |
---|---|
Title of host publication | Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems |
Subtitle of host publication | 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures |
Publisher | Springer |
Number of pages | 34 |
ISBN (Electronic) | 978-3-319-34096-8 |
ISBN (Print) | 978-3-319-34095-1 |
DOIs | |
Publication status | Published - 11 Jun 2016 |
Event | QUANTICOL Summer School: 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Evaluation of Collective Adaptive Systems - University Residential Center of Bertinoro, Italy, Bertinoro, Italy, Italy Duration: 20 Jun 2016 → 24 Jun 2016 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer International Publishing |
Volume | 9700 |
ISSN (Print) | 0302-9743 |
Conference
Conference | QUANTICOL Summer School: 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Evaluation of Collective Adaptive Systems |
---|---|
Country/Territory | Italy |
City | Bertinoro, Italy |
Period | 20/06/16 → 24/06/16 |
Fingerprint
Dive into the research topics of 'Spatial representations and analysis techniques'. Together they form a unique fingerprint.Projects
- 1 Finished
-
QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)
Hillston, J. (Principal Investigator) & Gilmore, S. (Co-investigator)
1/04/13 → 31/03/17
Project: Research