Reconfigurability in reactive multiagent systems

Xiaowei Huang; Qingliang Chen; Jie Meng; Kaile Su

Reconfigurability in reactive multiagent systems

Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su

Department of Management

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

4 Citations (Scopus)

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.

Original language	English
Title of host publication	IJCAI 2016
Subtitle of host publication	Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence
Editors	Subbarao Kambhampati
Place of Publication	Palo Alto, Ca
Publisher	Association for the Advancement of Artificial Intelligence
Pages	315-321
Number of pages	7
ISBN (Print)	9781577357704
Publication status	Published - 2016
Event	International Joint Conference on Artificial Intelligence (25th : 2016) - New York, NY Duration: 9 Jul 2016 → 15 Jul 2016

Conference

Conference	International Joint Conference on Artificial Intelligence (25th : 2016)
City	New York, NY
Period	9/07/16 → 15/07/16

Access to Document

https://www.ijcai.org/Abstract/16/052

Cite this

@inproceedings{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",

isbn = "9781577357704",

pages = "315--321",

editor = "Subbarao Kambhampati",

booktitle = "IJCAI 2016",

publisher = "Association for the Advancement of Artificial Intelligence",

address = "United States",

note = "International Joint Conference on Artificial Intelligence (25th : 2016) ; Conference date: 09-07-2016 Through 15-07-2016",

}

Huang, X, Chen, Q, Meng, J & Su, K 2016, Reconfigurability in reactive multiagent systems. in S Kambhampati (ed.), IJCAI 2016: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, Palo Alto, Ca, pp. 315-321, International Joint Conference on Artificial Intelligence (25th : 2016), New York, NY, 9/07/16. <https://www.ijcai.org/Abstract/16/052>

Reconfigurability in reactive multiagent systems. / Huang, Xiaowei; Chen, Qingliang; Meng, Jie et al.
IJCAI 2016: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. ed. / Subbarao Kambhampati. Palo Alto, Ca: Association for the Advancement of Artificial Intelligence, 2016. p. 315-321.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

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 proceeding contribution

SN - 9781577357704

SP - 315

EP - 321

BT - IJCAI 2016

A2 - Kambhampati, Subbarao

PB - Association for the Advancement of Artificial Intelligence

CY - Palo Alto, Ca

T2 - International Joint Conference on Artificial Intelligence (25th : 2016)

Y2 - 9 July 2016 through 15 July 2016

ER -

Reconfigurability in reactive multiagent systems

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this