Formal specification of ADACOR holonic control system: coordination models

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

doi:10.1109/CDC.2005.1582477

Formal specification of ADACOR holonic control system: coordination models

Paulo Leitão^*
, Armando W. Colombo
, Francisco Restivo

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
Pages	2137-2142
Number of pages	6
DOIs	https://doi.org/10.1109/CDC.2005.1582477
Publication status	Published - 2005
Externally published	Yes
Event	44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05 - Seville, Spain Duration: 12 Dec 2005 → 15 Dec 2005

Publication series

Name	Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
Volume	2005

Conference

Conference	44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05
Country/Territory	Spain
City	Seville
Period	12/12/05 → 15/12/05

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Access to Document

10.1109/CDC.2005.1582477

Cite this

Leitão, P., Colombo, A. W., & Restivo, F. (2005). Formal specification of ADACOR holonic control system: coordination models. In Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05 (pp. 2137-2142). Article 1582477 (Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05; Vol. 2005). https://doi.org/10.1109/CDC.2005.1582477

Leitão, Paulo ; Colombo, Armando W. ; Restivo, Francisco. / Formal specification of ADACOR holonic control system : coordination models. Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05. 2005. pp. 2137-2142 (Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05).

@inproceedings{4691a4b89d5c43f89f7ae29e50e7519c,

title = "Formal specification of ADACOR holonic control system: coordination models",

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.",

author = "Paulo Leit{\~a}o and Colombo, \{Armando W.\} and Francisco Restivo",

note = "Copyright: Copyright 2011 Elsevier B.V., All rights reserved.; 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05 ; Conference date: 12-12-2005 Through 15-12-2005",

year = "2005",

doi = "10.1109/CDC.2005.1582477",

language = "English",

isbn = "0780395689",

series = "Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05",

pages = "2137--2142",

booktitle = "Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05",

}

Leitão, P, Colombo, AW & Restivo, F 2005, Formal specification of ADACOR holonic control system: coordination models. in Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05., 1582477, Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05, vol. 2005, pp. 2137-2142, 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05, Seville, Spain, 12/12/05. https://doi.org/10.1109/CDC.2005.1582477

Formal specification of ADACOR holonic control system: coordination models. / Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco.
Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05. 2005. p. 2137-2142 1582477 (Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05; Vol. 2005).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formal specification of ADACOR holonic control system

T2 - 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

AU - Leitão, Paulo

AU - Colombo, Armando W.

AU - Restivo, Francisco

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/33847178749

U2 - 10.1109/CDC.2005.1582477

DO - 10.1109/CDC.2005.1582477

M3 - Conference contribution

AN - SCOPUS:33847178749

SN - 0780395689

SN - 9780780395688

T3 - Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

SP - 2137

EP - 2142

BT - Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Y2 - 12 December 2005 through 15 December 2005

ER -

Leitão P, Colombo AW, Restivo F. Formal specification of ADACOR holonic control system: coordination models. In Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05. 2005. p. 2137-2142. 1582477. (Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05). doi: 10.1109/CDC.2005.1582477

Formal specification of ADACOR holonic control system: coordination models

Abstract

Publication series

Conference

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this