Biblioteca Digital do Instituto Politécnico de Bragança   Instituto Politécnico de Bragança

Biblioteca Digital do IPB >
Escola Superior de Tecnologia e Gestão >
Electrotecnia >
DE - Capítulos de Livros >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10198/1441

Título: An approach for the formal specification of holonic control systems
Autor: Leitão, Paulo
Colombo, Armando W.
Restivo, Francisco
Palavras-chave: Holonic manufacturing systems
Petri nets
Intelligent manufacturing systems
Issue Date: 2003
Editora: Springer
Citação: Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco (2003) - An approach for the formal specification of holonic control systems. In V. Marik, D. C. McFarlane, P. Valckenaers (Eds.) Holonic and Multi-Agent Systems for Manufacturing, First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003. Prague. ISBN 3540407510. Lecture Notes in Computer Science. ISSN 0302-9743. 2744, p. 59-70
Relatório da Série N.º: Lecture Notes in Computers Science;2744
Resumo: 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 dynamic behaviour of the ADACOR-holon classes.
URI: http://hdl.handle.net/10198/1441
ISBN: 3-540-40751-0
ISSN: 0302-9743
Appears in Collections:DE - Capítulos de Livros

Files in This Item:

File Description SizeFormat
2003-HoloMAS-mod.pdf471,83 kBAdobe PDFView/Open
Restrict Access. You can request a copy!
2003-HoloMAS-mod - resumo.pdf34,28 kBAdobe PDFView/Open

Statistics
FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpaceOrkut
Formato BibTex mendeley Endnote Logotipo do DeGóis 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 


  © Instituto Politécnico de Bragança - Biblioteca Digital - Feedback - Statistics
  Estamos no RCAAP Governo Português separator Ministério da Educação e Ciência   Fundação para a Ciência e a Tecnologia

Financiado por:

POS_C UE