Reconfigurability in Reactive Multiagent Systems
Abstract
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. PDF
Cite
Text
Huang et al. "Reconfigurability in Reactive Multiagent Systems." International Joint Conference on Artificial Intelligence, 2016.Markdown
[Huang et al. "Reconfigurability in Reactive Multiagent Systems." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/huang2016ijcai-reconfigurability/)BibTeX
@inproceedings{huang2016ijcai-reconfigurability,
title = {{Reconfigurability in Reactive Multiagent Systems}},
author = {Huang, Xiaowei and Chen, Qingliang and Meng, Jie and Su, Kaile},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {315-321},
url = {https://mlanthology.org/ijcai/2016/huang2016ijcai-reconfigurability/}
}