|
|
Digital Library of the
European Council for Modelling and Simulation |
|
Title: |
On Agent Modelling And System Simulation Of
Self-Organisation |
|
Authors: |
Martjin C. Schut, Nivea
Ferreira-Schut |
|
Published in:
|
(2009).ECMS
2009 Proceedings edited by J. Otamendi, A. Bargiela, J. L. Montes, L. M. Doncel
Pedrera. European Council for Modeling and
Simulation. doi:10.7148/2009 ISBN: 978-0-9553018-8-9 23rd
European Conference on Modelling and Simulation, Madrid, June
9-12, 2009 |
|
Citation
format: |
Schut, M. C., & Ferreira-Schut, N. (2009). On Agent Modelling
And System Simulation Of Self-Organisation. ECMS
2009 Proceedings edited by J. Otamendi, A. Bargiela, J. L. Montes, L. M. Doncel Pedrera (pp.
166-172). European Council for Modeling and Simulation. doi:10.7148/2009-0166-0172 |
|
DOI: |
http://dx.doi.org/10.7148/2009-0166-0172 |
|
Abstract: |
Complex,
natural, social, technological and economic systems have recently given rise
to the need of a new paradigm for computational systems that are adaptive,
can self-organise and exhibit emergent behaviour. The design of such systems concerns a homogeneous
set of agents in which each agent receives an input and has to map it to a
‘good’ output, and where self-organisation emerges
from the interaction between agents. Although general and simple, this
concept is representative for a very wide spectrum of applications such as
protocol design for large computer networks, design of collective robotics,
and automative traffic engineering. Surpris- ingly, only a handful
of recent research is aimed at a domain-independent (or: general) design of
such sys- tems. We propose as the solution for the
design-problem a framework that tackles the local (agent) level formally and
the global (system) level empirically. This allows us to do rigorous formal
verification of the behaviour of the individual
agents, as well as large-scale empirical validation of the system as a whole.
Besides, it exploits the specific advantages of the approaches regarding the
scale of the system: formalisation is good for
small systems, while simulation works well for (very) large systems. The objective
of this paper is to further develop and exploit the idea of combining a
formal approach on the agent level and an empirical approach on the system
level in self-organisation. |
|
Full
text: |
|
