An approach to the formal specification of holonic control systems

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

Autores

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

Ata de Conferência Internacional

Título: Holonic and Multi-Agent Systems for Manufacturing - HoloMAS

Páginas: 59-70

Holonic and Multi-Agent Systems for Manufacturing - HoloMAS

Springer, 2003

Indexação

ISI Proceedings

ISI Web of Science

Scopus

COMPENDEX

Classificação Científica

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

CORDIS: Ciências Físicas > Ciência de computadores > Cibernética > Inteligência artificial ; Ciências Tecnológicas > Engenharia > Engenharia de controlo

Outras Informações

Abstract (EN): In the manufacturing world, globalisation leads to a trend towards the reduction of batches and product life cycle, and the increase of part diversity, which are in conflict with other requirements, such as the cost reduction achieved with higher productivity. Thus, the challenge is to develop flexible, agile and intelligent management and control architectures that satisfy the referred requirements. The holonic manufacturing and the agent-based manufacturing approaches allow a new approach to the manufacturing problem, through concepts such as modularity, decentralisation, autonomy and re-use of control software components. ADACOR, one of the holonic architectures recently proposed, defines a set of autonomous and intelligent holons aiming to improve the performance of control system in industrial scenarios characterised by the frequent occurrence of unexpected disturbances. The formal modeling and validation of the specifications of the ADACOR-holons and of the interactions between these holons to implement the manufacturing control functions is of critical importance. In this paper, a formal methodology is introduced and applied to model the ADACOR-holon classes.

Idioma: Inglês

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

Nº de páginas: 12