Title :
Formal Specification of ADACOR Holonic Control System: Coordination Models
Author :
Leitão, Paulo ; Colombo, Armando W. ; Restivo, Francisco
Author_Institution :
Member, IEEE Polytechnic Institute of Bragança, Quinta Sta Apolónia, Apartado 1134, P-5301-857 Bragança, Portugal. e-mail: pleitao@ipb.pt
Abstract :
The formal specification of agent-based and holonic manufacturing control systems assumes a critical role in order to understand and synthesize those complex systems. This paper presents the formal specification of the coordination models for the ADACOR holonic control system. For this purpose, it is used High-Level Petri Nets to model the behavior of individual ADACOR entities, AUML interaction diagrams to represent the interaction between those entities and mailboxes structures to synchronize the evolution of the Petri net models associated to the holons.
Keywords :
Adaptive control; Control system synthesis; Control systems; Distributed control; Formal specifications; Globalization; Manufacturing systems; Petri nets; Programmable control; Stochastic systems;
Conference_Titel :
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on
Print_ISBN :
0-7803-9567-0
DOI :
10.1109/CDC.2005.1582477
