Behavioral modeling and verification of multi-agent systems for manufacturing control |
| |
Authors: | W.L. Yeung |
| |
Affiliation: | 1. CNR – National Research Council of Italy, IEIIT, c.so Duca degli Abruzzi 24, I-10129 Torino, Italy;2. Politecnico di Torino, Dipartimento di Automatica e Informatica, c.so Duca degli Abruzzi 24, I-10129 Torino, Italy |
| |
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: | |
本文献已被 ScienceDirect 等数据库收录! |
|