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