Reconfigurability in reactive multiagent systems

Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

3 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationIJCAI 2016
Subtitle of host publicationProceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence
EditorsSubbarao Kambhampati
Place of PublicationPalo Alto, Ca
PublisherAssociation for the Advancement of Artificial Intelligence
Number of pages7
ISBN (Print)9781577357704
Publication statusPublished - 2016
EventInternational Joint Conference on Artificial Intelligence (25th : 2016) - New York, NY
Duration: 9 Jul 201615 Jul 2016


ConferenceInternational Joint Conference on Artificial Intelligence (25th : 2016)
CityNew York, NY


Dive into the research topics of 'Reconfigurability in reactive multiagent systems'. Together they form a unique fingerprint.

Cite this