Behavioral modeling and verification of multi-agent systems for manufacturing control

Document Type

Journal article

Source Publication

Expert Systems With Applications

Publication Date

10-1-2011

Volume

38

Issue

11

First Page

13555

Last Page

13562

Publisher

Pergamon Press

Keywords

Multi-agent systems, deadlock, formal methods, model checking, manufacturing control

Abstract

Simulation is the primary approach to the performance analysis of multi-agent manufacturing systems. In a typical simulation experiment, varying the agent negotiation protocol's timing parameters can yield incomparable results in performance terms due to behavioral problems such as deadlocks and livelocks. Formal verification can help resolve such problems and therefore plays an important role in the design of agent negotiation protocols. We describe an efficient and scalable approach to formal verification based on an industrial-strength model checking tool and illustrate it with an example.

DOI

10.1016/j.eswa.2011.04.067

Print ISSN

09574174

E-ISSN

18736793

Publisher Statement

Copyright © 2011 Elsevier Ltd

Access to external full text or publisher's version may require subscription.

Full-text Version

Publisher’s Version

Language

English

Recommended Citation

Yeung, W. L. (2011). Behavioral modeling and verification of multi-agent systems for manufacturing control. Expert Systems with Applications, 38(11), 13555-13562. doi: 10.1016/j.eswa.2011.04.067

Share

COinS