Edinburgh Research Explorer

Spatial representations and analysis techniques

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://link.springer.com/chapter/10.1007/978-3-319-34096-8_5
Original languageEnglish
Title of host publicationFormal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Subtitle of host publication16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
PublisherSpringer International Publishing
Number of pages34
ISBN (Electronic)978-3-319-34096-8
ISBN (Print)978-3-319-34095-1
DOIs
Publication statusPublished - 11 Jun 2016
EventQUANTICOL 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 201624 Jun 2016

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
Volume9700
ISSN (Print)0302-9743

Conference

ConferenceQUANTICOL Summer School: 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Evaluation of Collective Adaptive Systems
CountryItaly
CityBertinoro, Italy
Period20/06/1624/06/16

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.

Download statistics

No data available

ID: 25037587