Formal specification of ADACOR holonic control system : coordination models

Paulo Leitão; Armando W. Colombo; Francisco José de Oliveira Restivo

doi:10.1109/CDC.2005.1582477

Utilize este identificador para referenciar este registo: https://hdl.handle.net/10216/25263

Registo completo

Campo DC	Valor	Idioma
dc.creator	Paulo Leitão
dc.creator	Armando W. Colombo
dc.creator	Francisco José de Oliveira Restivo
dc.date.accessioned	2019-02-06T20:45:55Z	-
dc.date.available	2019-02-06T20:45:55Z	-
dc.date.issued	2005
dc.identifier.other	sigarra:52371
dc.identifier.uri	https://repositorio-aberto.up.pt/handle/10216/25263	-
dc.description.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 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.
dc.language.iso	eng
dc.relation.ispartof	Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005
dc.rights	restrictedAccess
dc.rights.uri	https://creativecommons.org/licenses/by-nc/4.0/
dc.subject	Automação, Engenharia electrotécnica, electrónica e informática
dc.subject	Automation, Electrical engineering, Electronic engineering, Information engineering
dc.title	Formal specification of ADACOR holonic control system : coordination models
dc.type	Artigo em Livro de Atas de Conferência Internacional
dc.contributor.uporto	Faculdade de Engenharia
dc.identifier.doi	10.1109/CDC.2005.1582477
dc.identifier.authenticus	P-000-6ZB
dc.subject.fos	Ciências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
dc.subject.fos	Engineering and technology::Electrical engineering, Electronic engineering, Information engineering
Aparece nas coleções:	FEUP - Artigo em Livro de Atas de Conferência Internacional

Ficheiros deste registo:

Ficheiro	Descrição	Tamanho	Formato
52371.pdf Restricted Access		185.24 kB	Adobe PDF	Ver/Abrir

Mostrar registo em formato simples Recomendar este registo Ver estatísticas

Este registo está protegido por Licença Creative Commons