An approach to the formal specification of holonic control systems

Paulo Leitão, Armando W. Colombo, Francisco Restivo

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

33 Citations (Scopus)

Abstract

In the manufacturing world, globalization 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.
Original languageEnglish
Title of host publicationHolonic and Multi-Agent Systems for Manufacturing - 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Proceedings
EditorsVladimír Marík, Vladimír Marík, Duncan McFarlane, Paul Valckenaers
PublisherSpringer Verlag
Pages59-70
Number of pages12
ISBN (Electronic)3540407510, 9783540407515
DOIs
Publication statusPublished - 2003
Externally publishedYes
Event1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 - Prague, Czech Republic
Duration: 1 Sept 20033 Sept 2003

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3131
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003
Country/TerritoryCzech Republic
CityPrague
Period1/09/033/09/03

Fingerprint

Dive into the research topics of 'An approach to the formal specification of holonic control systems'. Together they form a unique fingerprint.

Cite this