Formal specification of ADACOR holonic control system : coordination models

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2005

Autores

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

Ata de Conferência Internacional

Título: Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005

Páginas: 2137-2142

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

Sevilha, Espanha, 12 a 15 de Dezembro de 2005

Indexação

ISI Web of Knowledge - 1 Citação

ISI Web of Science

Scopus - 3 Citações

COMPENDEX

Classificação Científica

FOS: Ciências da engenharia e tecnologias > Engenharia electrotécnica, electrónica e informática

CORDIS: Ciências Tecnológicas > Engenharia > Engenharia de controlo > Automação

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 6