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

Wing Lok YEUNG

Research output: Journal PublicationsJournal Article (refereed)

13 Citations (Scopus)

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.
Original languageEnglish
Pages (from-to)13555-13562
Number of pages8
JournalExpert Systems with Applications
Volume38
Issue number11
DOIs
Publication statusPublished - 1 Oct 2011

Fingerprint

Multi agent systems
Network protocols
Model checking
Experiments
Formal verification

Keywords

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

Cite this

@article{2bca1e1c8eec4ee9ab6a681a364d6887,
title = "Behavioral modeling and verification of multi-agent systems for 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.",
keywords = "Multi-agent systems, deadlock, formal methods, manufacturing control, model checking",
author = "YEUNG, {Wing Lok}",
year = "2011",
month = "10",
day = "1",
doi = "10.1016/j.eswa.2011.04.067",
language = "English",
volume = "38",
pages = "13555--13562",
journal = "Expert Systems with Applications",
issn = "0957-4174",
publisher = "Elsevier Ltd",
number = "11",

}

Behavioral modeling and verification of multi-agent systems for manufacturing control. / YEUNG, Wing Lok.

In: Expert Systems with Applications, Vol. 38, No. 11, 01.10.2011, p. 13555-13562.

Research output: Journal PublicationsJournal Article (refereed)

TY - JOUR

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

AU - YEUNG, Wing Lok

PY - 2011/10/1

Y1 - 2011/10/1

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

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

KW - Multi-agent systems

KW - deadlock

KW - formal methods

KW - manufacturing control

KW - model checking

UR - http://commons.ln.edu.hk/sw_master/177

U2 - 10.1016/j.eswa.2011.04.067

DO - 10.1016/j.eswa.2011.04.067

M3 - Journal Article (refereed)

VL - 38

SP - 13555

EP - 13562

JO - Expert Systems with Applications

JF - Expert Systems with Applications

SN - 0957-4174

IS - 11

ER -