---
title: "Reconfigurability in Reactive Multiagent Systems"
authors:
  - "Xiaowei Huang"
  - "Qingliang Chen"
  - "Jie Meng"
  - "Kaile Su"
doi: ""
url: "https://ijcai.org/proceedings/2016/52"
pdf: "https://ijcai.org/proceedings/2016/0052.pdf"
venue: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence"
year: 2016
pages: "315-320"
track: ""
keywords:
---

# Reconfigurability in Reactive Multiagent Systems

Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su

*Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence*, pages 315-320.

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