Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS


Luca Gardelli, Mirko Viroli, Andrea Omicini

Cybernetics and Systems 2006, pages 539-544
18-21 April 2006
Austrian Society for Cybernetic Studies, Vienna, Austria
Robert Trappl (eds.)
18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), 5th International Symposium “From Agent Theory to Theory Implementation” (AT2AI-5). Proceedings

The intrinsic complexity of self-organising MASs (multi-agent systems) makes it difficult to predict global system evolutions at early stages of the design process. Simulating high-level models to analyse properties of a MAS design can anticipate detection of incorrect / wrong design choices, and allow tuning of system parameters.

In this paper, we take abnormal-behaviour detection as a case study, and devise an artifact-based MAS architecture inspired by principles of the human immune systems. We use stochastic π-calculus to specify and run quantitative large-scale simulations, which allow us to verify the basic applicability of our IDS (intrusion detection system) and possibly obtain a preliminary set of its main working parameters.

 @inproceedings{selforg-atai06,
Address = {Vienna, Austria},
Author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
Booktitle = {Cybernetics and Systems 2006},
Editor = {Trappl, Robert},
Isbn = {3-85206-172-5},
Month = {18--21~} # apr,
Note = {18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), 5th International Symposium ``From Agent Theory to Theory Implementation'' (AT2AI-5). Proceedings},
Pages = {539--544},
Publisher = {Austrian Society for Cybernetic Studies},
Title = {Exploring the Dynamics of Self-Organising Systems with Stochastic $\pi$-Calculus: Detecting Abnormal Behaviour in {MAS}},
Volume = 2,
Year = 2006

Events

  • 18th European Meeting on Cybernetics and Systems Research (EMCSR 2006) — 18/04/2006–21/04/2006

Publication

— authors

Luca Gardelli, Mirko Viroli, Andrea Omicini

— editors

Robert Trappl

— status

published

— sort

paper in proceedings

Venue

— volume

Cybernetics and Systems 2006

— volume

2

— pages

539-544

— publication date

18-21 April 2006

Identifiers

— print ISBN

3-85206-172-5

BibTeX

— BibTeX ID
selforg-atai06
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY