APICe » Publications » SelforgAtai06

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}