World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems

Marta Capiluppi
(Università di Verona)
Roberto Segala
(Università di Verona)

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).

In Luca Bortolussi, Manuela L. Bujorianu and Giordano Pola: Proceedings Third International Workshop on Hybrid Autonomous Systems (HAS 2013), Rome, 17th March 2013, Electronic Proceedings in Theoretical Computer Science 124, pp. 58–72.
Published: 22nd August 2013.

ArXived at: http://dx.doi.org/10.4204/EPTCS.124.7 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org