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

Published in: Expert Syst. Appl. (2011)

Keyphrases

multi agent systems
control system
multi agent
control method
model checking
quality control
learning algorithm
manufacturing systems
trust model
manufacturing process
manufacturing industry