The University of Southampton
University of Southampton Institutional Repository

Self-organising assembly systems formally specified in Maude

Self-organising assembly systems formally specified in Maude
Self-organising assembly systems formally specified in Maude
This article recapitulates on the research done in self-organising assembly systems (SOAS) and presents the completed formal specifications and their simulation in Maude. SOAS are assembly systems that (1) participate in their own design by spontaneously organising themselves in the shop floor layout in response to the arrival of a product order and (2) manage themselves during production. The self-organising process for SOAS to design themselves follows the Chemical Abstract Machine (CHAM) paradigm: industrial robots self-select and self-arrange according to specific chemical rules in response to a product order with generic assembly instructions (GAP). This article presents an additional set of rules describing how the GAP is transformed into layout-specific assembly instructions, which is a kind of recipe for how the self-organising robots assemble the product.
1868-5137
491-510
Frei, R.
fa00170f-356a-4a0d-8030-d137fd855880
Serbanuta, T.F.
815ccfb2-128a-47fa-8d1d-34d35f0b7a4f
Di Marzo Serugendo, G.
695f03b2-f48d-44b3-bb9a-c8df7dc64d97
Frei, R.
fa00170f-356a-4a0d-8030-d137fd855880
Serbanuta, T.F.
815ccfb2-128a-47fa-8d1d-34d35f0b7a4f
Di Marzo Serugendo, G.
695f03b2-f48d-44b3-bb9a-c8df7dc64d97

Frei, R., Serbanuta, T.F. and Di Marzo Serugendo, G. (2014) Self-organising assembly systems formally specified in Maude. Journal of Ambient Intelligence and Humanized Computing, 5 (4), 491-510. (doi:10.1007/s12652-012-0159-2).

Record type: Article

Abstract

This article recapitulates on the research done in self-organising assembly systems (SOAS) and presents the completed formal specifications and their simulation in Maude. SOAS are assembly systems that (1) participate in their own design by spontaneously organising themselves in the shop floor layout in response to the arrival of a product order and (2) manage themselves during production. The self-organising process for SOAS to design themselves follows the Chemical Abstract Machine (CHAM) paradigm: industrial robots self-select and self-arrange according to specific chemical rules in response to a product order with generic assembly instructions (GAP). This article presents an additional set of rules describing how the GAP is transformed into layout-specific assembly instructions, which is a kind of recipe for how the self-organising robots assemble the product.

Full text not available from this repository.

More information

e-pub ahead of print date: 10 August 2012
Published date: 1 August 2014

Identifiers

Local EPrints ID: 432718
URI: https://eprints.soton.ac.uk/id/eprint/432718
ISSN: 1868-5137
PURE UUID: 2ec4caf5-c806-481d-b02c-8a01eec72632
ORCID for R. Frei: ORCID iD orcid.org/0000-0002-0953-6413

Catalogue record

Date deposited: 25 Jul 2019 16:30
Last modified: 25 Oct 2019 00:21

Export record

Altmetrics

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×