Realisability of production recipes
There is a rising demand for customised products with a high degree of complexity. To meet these demands, manufacturing lines are increasingly becoming autonomous, networked, and intelligent, with production lines being virtualised into a manufacturing cloud, and advertised either internally to a co...
| Main Authors: | , , , , , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2016
|
| Online Access: | https://eprints.nottingham.ac.uk/35424/ |
| _version_ | 1848795073828880384 |
|---|---|
| author | de Silva, Lavindra Felli, Paolo Chaplin, Jack C. Logan, Brian Sanderson, David Ratchev, Svetan |
| author_facet | de Silva, Lavindra Felli, Paolo Chaplin, Jack C. Logan, Brian Sanderson, David Ratchev, Svetan |
| author_sort | de Silva, Lavindra |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | There is a rising demand for customised products with a high degree of complexity. To meet these demands, manufacturing lines are increasingly becoming autonomous, networked, and intelligent, with production lines being virtualised into a manufacturing cloud, and advertised either internally to a company, or externally in a public cloud. In this paper, we present a novel approach to two key problems in such future manufacturing systems: the realisability problem (whether a product can be manufactured by a set of manufacturing resources) and the control problem (how a particular product should be manufactured). We show how both production recipes specifying the steps necessary to manufacture a particular product, and manufacturing resources and their topology can be formalised as labelled transition systems, and define a novel simulation relation which captures what it means for a recipe to be realisable on a production topology. We show how a controller that can orchestrate the resources in order to manufacture the product on the topology can be extracted from the simulation relation, and give an algorithm to compute a simulation relation and a controller. |
| first_indexed | 2025-11-14T19:26:18Z |
| format | Conference or Workshop Item |
| id | nottingham-35424 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T19:26:18Z |
| publishDate | 2016 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-354242020-05-04T18:05:57Z https://eprints.nottingham.ac.uk/35424/ Realisability of production recipes de Silva, Lavindra Felli, Paolo Chaplin, Jack C. Logan, Brian Sanderson, David Ratchev, Svetan There is a rising demand for customised products with a high degree of complexity. To meet these demands, manufacturing lines are increasingly becoming autonomous, networked, and intelligent, with production lines being virtualised into a manufacturing cloud, and advertised either internally to a company, or externally in a public cloud. In this paper, we present a novel approach to two key problems in such future manufacturing systems: the realisability problem (whether a product can be manufactured by a set of manufacturing resources) and the control problem (how a particular product should be manufactured). We show how both production recipes specifying the steps necessary to manufacture a particular product, and manufacturing resources and their topology can be formalised as labelled transition systems, and define a novel simulation relation which captures what it means for a recipe to be realisable on a production topology. We show how a controller that can orchestrate the resources in order to manufacture the product on the topology can be extracted from the simulation relation, and give an algorithm to compute a simulation relation and a controller. 2016-08-24 Conference or Workshop Item PeerReviewed de Silva, Lavindra, Felli, Paolo, Chaplin, Jack C., Logan, Brian, Sanderson, David and Ratchev, Svetan (2016) Realisability of production recipes. In: 22nd European Conference in Artificial Intelligence (ECAI 2016), 29 Aug-2 Sept 2016, The Hague, Netherlands. http://ebooks.iospress.nl/volumearticle/44902 |
| spellingShingle | de Silva, Lavindra Felli, Paolo Chaplin, Jack C. Logan, Brian Sanderson, David Ratchev, Svetan Realisability of production recipes |
| title | Realisability of production recipes |
| title_full | Realisability of production recipes |
| title_fullStr | Realisability of production recipes |
| title_full_unstemmed | Realisability of production recipes |
| title_short | Realisability of production recipes |
| title_sort | realisability of production recipes |
| url | https://eprints.nottingham.ac.uk/35424/ https://eprints.nottingham.ac.uk/35424/ |