Abstract
AbstractWe propose a formalism to model and reason about reconfigurable multi-agent systems. In our formalism, agents interact and communicate in different modes so that they can pursue joint tasks; agents may dynamically synchronize, exchange data, adapt their behaviour, and reconfigure their communication interfaces. Inspired by existing multi-robot systems, we represent a system as a set of agents (each with local state), executing independently and only influence each other by means of message exchange. Agents are able to sense their local states and partially their surroundings. We extend ltl to be able to reason explicitly about the intentions of agents in the interaction and their communication protocols. We also study the complexity of satisfiability and model-checking of this extension.
Funder
European Research Council
vetenskapsrådet
Publisher
Springer Science and Business Media LLC
Reference63 articles.
1. Abd Alrahman, Y., Perelli, G., & Piterman, N. (2020). Reconfigurable interaction for MAS modelling. In A.E.F. Seghrouchni, G. Sukthankar, B. An, N. Yorke-Smith (Eds.) Proceedings of the 19th international conference on autonomous agents and multiagent systems, AAMAS ’20, Auckland, New Zealand, May 9-13, 2020, (pp. 7–15). International foundation for autonomous agents and multiagent systems.
2. Abd Alrahman, Y., De Nicola, R., & Loreti, M. (2019). A calculus for collective-adaptive systems and its behavioural theory. Information and Computation,. https://doi.org/10.1016/j.ic.2019.104457.
3. Aguilera, M.K., Ben-David, N., Calciu, I., Guerraoui, R., Petrank, E., & Toueg, S. (2018). Passing messages while sharing memory. In Proceedings of the 2018 ACM symposium on principles of distributed computing, PODC ’18, pp. 51–60. ACM, New York, NY, USA. https://doi.org/10.1145/3212734.3212741.
4. Aguilera, M.K., Ben-David, N., Guerraoui, R., Marathe, V., & Zablotchi, I. (2019). The impact of rdma on agreement. In: Proceedings of the 2019 ACM symposium on principles of distributed computing, PODC ’19, pp. 409–418. ACM, New York, NY, USA. https://doi.org/10.1145/3293611.3331601.
5. Alrahman, Y. A., Nicola, R. D., & Loreti, M. (2020). Programming interactions in collective adaptive systems by relying on attribute-based communication. Science of Computer Programming, 192, 102428. https://doi.org/10.1016/j.scico.2020.102428.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献