Physical Space in Reconfigurable Interacting Systems

Abstract

In this thesis, we provide the expressive LaC process calculus and accompanying semantics for modeling multi-agent systems (MAS). LaC-calculus is an extension of R-CHECK. It allows for modeling of MAS inside a discrete physical space environment, which influences the behavior of the systems inside. In addition, it proves three different communication methods (broadcast, multicast and unicast) and the movement of systems inside the physical space. The calculus consists of three levels: the environment, the system and the process level. The systems can self-organize tasks, communication and movement based on their configurations. The environment influences the behavior of the systems as well, by blocking movement that cannot be made and by providing local communication methods.