Reconfigurability in reactive multiagent systems

Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su

Research output: Contribution to journalConference paperResearchpeer-review

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.

Fingerprint

Multi agent systems
Control systems
Model checking
Computational complexity
Specifications

Cite this

@article{cd9d7f9901fe48e89832d202db9fe311,
title = "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.",
author = "Xiaowei Huang and Qingliang Chen and Jie Meng and Kaile Su",
year = "2016",
language = "English",
pages = "315--321",
journal = "IJCAI 2016 : Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence",
issn = "1045-0823",
publisher = "Association for the Advancement of Artificial Intelligence",

}

Reconfigurability in reactive multiagent systems. / Huang, Xiaowei; Chen, Qingliang; Meng, Jie; Su, Kaile.

In: IJCAI 2016 : Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016, p. 315-321.

Research output: Contribution to journalConference paperResearchpeer-review

TY - JOUR

T1 - Reconfigurability in reactive multiagent systems

AU - Huang, Xiaowei

AU - Chen, Qingliang

AU - Meng, Jie

AU - Su, Kaile

PY - 2016

Y1 - 2016

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

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

UR - http://www.scopus.com/inward/record.url?scp=85006106402&partnerID=8YFLogxK

M3 - Conference paper

SP - 315

EP - 321

JO - IJCAI 2016 : Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence

T2 - IJCAI 2016 : Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence

JF - IJCAI 2016 : Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence

SN - 1045-0823

ER -