Reactive agents are suitable for representing physical resources in manufacturing control systems. An important challenge of agent-based manufacturing control systems is to develop formal and structured approaches to support their specification and verification. This paper proposes a logic-based approach, by generalising that of model checking multiagent systems, for the reconfigurability of reactive multiagent systems. Two reconfigurability scenarios are studied, for the resulting system being a monolithic system or an individual module, and their computational complexity results are given.
|Number of pages||7|
|Journal||IJCAI 2016 : Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence|
|Publication status||Published - 2016|
|Event||International Joint Conference on Artificial Intelligence (25th : 2016) - New York, NY|
Duration: 9 Jul 2016 → 15 Jul 2016
Huang, X., Chen, Q., Meng, J., & Su, K. (2016). Reconfigurability in reactive multiagent systems. IJCAI 2016 : Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 315-321.