World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems
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. The new object, called World Automaton (WA), is built in such a way to preser...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2013-08-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1308.5335v1 |
| _version_ | 1818142194224070656 |
|---|---|
| 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. The new object, called World Automaton (WA), is built in such a way to preserve as much as possible of the compositional properties of HIOAs and its underlying theory. From the formal point of view we enrich classical HIOAs with a set of world variables whose values are functions both of time and space. World variables are treated similarly to local variables of HIOAs, except in parallel composition, where the perturbations produced by world variables are summed. In such way, we obtain a structure able to model both agents and environments, thus inducing a hierarchy in the model and leading to the introduction of a new operator. Indeed this operator, called inplacement, is needed to represent the possibility of an object (WA) of living inside another object/environment (WA). |
| first_indexed | 2024-12-11T11:11:54Z |
| format | Article |
| id | doaj.art-5bf28afa2f85401c859c173f236f69e0 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-11T11:11:54Z |
| publishDate | 2013-08-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-5bf28afa2f85401c859c173f236f69e02022-12-22T01:09:29ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802013-08-01124Proc. HAS 2013587210.4204/EPTCS.124.7World Automata: a compositional approach to model implicit communication in hierarchical Hybrid SystemsMarta 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. The new object, called World Automaton (WA), is built in such a way to preserve as much as possible of the compositional properties of HIOAs and its underlying theory. From the formal point of view we enrich classical HIOAs with a set of world variables whose values are functions both of time and space. World variables are treated similarly to local variables of HIOAs, except in parallel composition, where the perturbations produced by world variables are summed. In such way, we obtain a structure able to model both agents and environments, thus inducing a hierarchy in the model and leading to the introduction of a new operator. Indeed this operator, called inplacement, is needed to represent the possibility of an object (WA) of living inside another object/environment (WA).http://arxiv.org/pdf/1308.5335v1 |
| spellingShingle | Marta Capiluppi Roberto Segala World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems Electronic Proceedings in Theoretical Computer Science |
| title | World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems |
| title_full | World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems |
| title_fullStr | World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems |
| title_full_unstemmed | World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems |
| title_short | World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems |
| title_sort | world automata a compositional approach to model implicit communication in hierarchical hybrid systems |
| url | http://arxiv.org/pdf/1308.5335v1 |
| work_keys_str_mv | AT martacapiluppi worldautomataacompositionalapproachtomodelimplicitcommunicationinhierarchicalhybridsystems AT robertosegala worldautomataacompositionalapproachtomodelimplicitcommunicationinhierarchicalhybridsystems |