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...
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 |
Similar Items
-
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems
by: Marta Capiluppi, et al.
Published: (2013-08-01) -
Simulation of timed input/output automata
by: Mavrommatis, Panayiotis P
Published: (2007) -
Improved simulation of input/output automata
by: Dean, Laura (Laura Gayle), 1979-
Published: (2014) -
Dynamic input/output automata: A formal and compositional model for dynamic systems
by: Attie, Paul C., et al.
Published: (2018) -
Deriving Synchronizing and Homing Sequences for Input/Output Automata
by: Natalia G. Kushik, et al.
Published: (2017-12-01)