Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata

We propose an extension of Hybrid I/O Automata (HIOAs) to model agent systems and their implicit communication through perturbation of the environment, like localization of objects or radio signals diffusion and detection. To this end we decided to specialize some variables of the HIOAs whose values...

Full description

Bibliographic Details
Main Authors: Marta Capiluppi, Roberto Segala
Format: Article
Language:English
Published: Open Publishing Association 2012-10-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1210.2448v1