A Formal Specification Approach for Holonic Control Systems: the ADACOR Case

• Tipo: Artigo em Revista Científica Internacional
• Data: 2006

Autores

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

Revista

Título: International Journal of Manufacturing Technology and Management

Vol. 8 Nº 1

Páginas: 37-57

ISSN: 1368-2148

Editora: Inderscience Publishers

Indexação

Scopus

COMPENDEX

INSPEC

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

Abstract (EN): Distributed manufacturing control systems, such as Holonic Control Systems (HCSs), are difficult to apprehend and to design, due to the presence of many autonomous, concurrent and asynchronous activities. A formal specification methodology allowing to understand, to synthesise the system specifications and to validate the correctness of their models would play a key role in its design and later in its implementation. This paper presents an approach to the formal specification of HCSs based on high-level Petri nets. The proposed approach is tested in the specification of the ADACOR HCS.

Idioma: Português

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