Formal specification of ADACOR holonic control system : coordination models

• Type: Article in International Conference Proceedings Book
• Date: 2005

Authors

Paulo Leitão (Author) Other; Armando W. Colombo (Author) Other; Francisco José de Oliveira Restivo (Author) FEUP

Conference proceedings International

Title: Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005

Pages: 2137-2142

44th IEEE Conference on Decision and Control and European Control Conference ECC 2005

Sevilha, Espanha, 12 a 15 de Dezembro de 2005

Indexing

ISI Web of Knowledge - 1 Citation

ISI Web of Science

Scopus - 3 Citations

COMPENDEX

Scientific classification

FOS: Engineering and technology > Electrical engineering, Electronic engineering, Information engineering

CORDIS: Technological sciences > Engineering > Control engineering > Automation

Other information

Authenticus ID: P-000-6ZB

DOI: 10.1109/CDC.2005.1582477

Abstract (EN): 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 behaviour 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 6