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


pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

Luca Gardelli, Mirko Viroli, Andrea Omicini

Robert Trappl (eds.)
“Cybernetics and Systems 2006”, pages 539-544
Austrian Society for Cybernetic Studies, Vienna, Austria
18-21 April 2006

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.

18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), 5th International Symposium “From Agent Theory to Theory Implementation” (AT2AI-5). Proceedings

Events

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

Publication

— authors

— editors

Robert Trappl

— status

published

— sort

paper in proceedings

— publication date

18-21 April 2006

— volume

Cybernetics and Systems 2006

— volume

2

— pages

539-544

— address

Vienna, Austria

identifiers

— print ISBN

3-85206-172-5

notes

— note

18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), 5th International Symposium “From Agent Theory to Theory Implementation” (AT2AI-5). Proceedings

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY