Spatial representations and analysis techniques

Vashti Galpin

doi:10.1007/978-3-319-34096-8_5

Spatial representations and analysis techniques

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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	https://doi.org/10.1007/978-3-319-34096-8_5
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

Access to Document

10.1007/978-3-319-34096-8_5

Galpin 2016 Spatial Representations and Analysis TechniquesAccepted author manuscript, 700 KB

http://link.springer.com/chapter/10.1007/978-3-319-34096-8_5

QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)
Hillston, J. (Principal Investigator) & Gilmore, S. (Co-investigator)
EU government bodies
1/04/13 → 31/03/17
Project: Research

Cite this

Galpin, V. (2016). Spatial representations and analysis techniques. 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, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures (Lecture Notes in Computer Science; Vol. 9700). Springer. https://doi.org/10.1007/978-3-319-34096-8_5

Galpin, Vashti. / Spatial representations and analysis techniques. 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, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures. Springer, 2016. (Lecture Notes in Computer Science).

@inproceedings{b006cc3951ae433394fdd0be36e513c3,

title = "Spatial representations and analysis techniques",

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.",

author = "Vashti Galpin",

year = "2016",

month = jun,

day = "11",

doi = "10.1007/978-3-319-34096-8_5",

language = "English",

isbn = "978-3-319-34095-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

booktitle = "Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems",

address = "United Kingdom",

note = "QUANTICOL Summer School: 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Evaluation of Collective Adaptive Systems ; Conference date: 20-06-2016 Through 24-06-2016",

}

Galpin, V 2016, Spatial representations and analysis techniques. 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, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures. Lecture Notes in Computer Science, vol. 9700, Springer, QUANTICOL Summer School: 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Evaluation of Collective Adaptive Systems, Bertinoro, Italy, Italy, 20/06/16. https://doi.org/10.1007/978-3-319-34096-8_5

Spatial representations and analysis techniques. / Galpin, Vashti.
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, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures. Springer, 2016. (Lecture Notes in Computer Science; Vol. 9700).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Spatial representations and analysis techniques

AU - Galpin, Vashti

PY - 2016/6/11

Y1 - 2016/6/11

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-34096-8_5

DO - 10.1007/978-3-319-34096-8_5

M3 - Conference contribution

SN - 978-3-319-34095-1

T3 - Lecture Notes in Computer Science

BT - Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

PB - Springer

T2 - QUANTICOL Summer School: 16th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Evaluation of Collective Adaptive Systems

Y2 - 20 June 2016 through 24 June 2016

ER -

Galpin V. Spatial representations and analysis techniques. 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, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures. Springer. 2016. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-34096-8_5

Spatial representations and analysis techniques

Abstract

Publication series

Conference

Access to Document

Fingerprint

Projects

QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)

Cite this