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: | , |
|---|---|
| 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 |
| _version_ | 1818233249280819200 |
|---|---|
| author | Marta Capiluppi Roberto Segala |
| author_facet | Marta Capiluppi Roberto Segala |
| author_sort | Marta Capiluppi |
| collection | DOAJ |
| description | 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 are functions both of time and space. We call them world variables. Basically they are treated similarly to the other variables of HIOAs, but they have the function of representing the interaction of each automaton with the surrounding environment, hence they can be output, input or internal variables. Since these special variables have the role of simulating implicit communication, their dynamics are specified both in time and space, because they model the perturbations induced by the agent to the environment, and the perturbations of the environment as perceived by the agent. Parallel composition of world variables is slightly different from parallel composition of the other variables, since their signals are summed. The theory is illustrated through a simple example of agents systems. |
| first_indexed | 2024-12-12T11:19:11Z |
| format | Article |
| id | doaj.art-0b5b02374a7b4e6da5353ba1da115413 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-12T11:19:11Z |
| publishDate | 2012-10-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-0b5b02374a7b4e6da5353ba1da1154132022-12-22T00:26:03ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802012-10-0196Proc. GandALF 201211410.4204/EPTCS.96.1Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output AutomataMarta CapiluppiRoberto SegalaWe 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 are functions both of time and space. We call them world variables. Basically they are treated similarly to the other variables of HIOAs, but they have the function of representing the interaction of each automaton with the surrounding environment, hence they can be output, input or internal variables. Since these special variables have the role of simulating implicit communication, their dynamics are specified both in time and space, because they model the perturbations induced by the agent to the environment, and the perturbations of the environment as perceived by the agent. Parallel composition of world variables is slightly different from parallel composition of the other variables, since their signals are summed. The theory is illustrated through a simple example of agents systems.http://arxiv.org/pdf/1210.2448v1 |
| spellingShingle | Marta Capiluppi Roberto Segala Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata Electronic Proceedings in Theoretical Computer Science |
| title | Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata |
| title_full | Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata |
| title_fullStr | Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata |
| title_full_unstemmed | Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata |
| title_short | Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata |
| title_sort | modelling implicit communication in multi agent systems with hybrid input output automata |
| url | http://arxiv.org/pdf/1210.2448v1 |
| work_keys_str_mv | AT martacapiluppi modellingimplicitcommunicationinmultiagentsystemswithhybridinputoutputautomata AT robertosegala modellingimplicitcommunicationinmultiagentsystemswithhybridinputoutputautomata |