DocumentCode
3111817
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
fYear
2005
fDate
12-15 Dec. 2005
Firstpage
2137
Lastpage
2142
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on
Print_ISBN
0-7803-9567-0
Type
conf
DOI
10.1109/CDC.2005.1582477
Filename
1582477
Link To Document