Diagnosing resource usage failures in multi-agent systems

作者：

Highlights：

• Present and formally define the Temporal Multi-Agent Resource Allocation diagnosis problem.

• Propose an efficient solution to this problem by a novel encoding to Boolean Satisfiability (SAT).

• Demonstrate empirically the scalability of the proposed approach.

摘要

•Present and formally define the Temporal Multi-Agent Resource Allocation diagnosis problem.•Propose an efficient solution to this problem by a novel encoding to Boolean Satisfiability (SAT).•Demonstrate empirically the scalability of the proposed approach.

论文关键词：Model-based diagnosis,Multi-agent systems

论文评审过程：Received 19 May 2016, Revised 1 December 2016, Accepted 25 January 2017, Available online 2 February 2017, Version of Record 9 February 2017.

论文官网地址：https://doi.org/10.1016/j.eswa.2017.01.047