Formal Specification of ADACOR Holonic Control System: Coordination Models.

Paulo Leitão Armando W. Colombo Francisco J. Restivo

Published in: CDC/ECC (2005)

Keyphrases

formal specification
control system
multi agent
model checking
multi agent systems
fuzzy logic
complex systems
specification languages
database
machine learning
cooperative
open source
metamodel
specification language
control architecture
process algebra