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


Luca Gardelli, Mirko Viroli, Andrea Omicini  

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.

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

@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}

    

Publication

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

— status

published  

— authors

Luca Gardelli, Mirko Viroli, Andrea Omicini

— editors

Robert Trappl

URLs & IDs

— print ISBN

3-85206-172-5

BibTeX

— BibTeX ID
selforg-atai06
— BibTeX category
inproceedings

APICe

— event
EMCSR 2006

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