Toward process control from formal models of transformable manufacturing systems
The automation and flexibility of production systems is a key step towards improved profitability and competitiveness in high labour cost areas, when producing high-complexity, low-volume products. In the Evolvable Assembly Systems (EAS) project, the ‘manufacturability’ (or ‘realisability’) and ‘con...
| Main Authors: | , , , , , , |
|---|---|
| Format: | Article |
| Published: |
Elsevier
2017
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/41511/ |
| _version_ | 1848796291410165760 |
|---|---|
| author | Bakker, Otto Jan Chaplin, Jack C. de Silva, Lavindra Felli, Paolo Sanderson, David Logan, Brian Ratchev, Svetan |
| author_facet | Bakker, Otto Jan Chaplin, Jack C. de Silva, Lavindra Felli, Paolo Sanderson, David Logan, Brian Ratchev, Svetan |
| author_sort | Bakker, Otto Jan |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | The automation and flexibility of production systems is a key step towards improved profitability and competitiveness in high labour cost areas, when producing high-complexity, low-volume products. In the Evolvable Assembly Systems (EAS) project, the ‘manufacturability’ (or ‘realisability’) and ‘control’ algorithms were introduced to accommodate the batch-size-of-one production of highly customisable products. These algorithms enable checking whether a production line can manufacture a given product with its available set of resources, and how the product should be manufactured, e.g. which resources to use, and when. To this end, the authors formally define production recipes, which represent products, and manufacturing resources which make up a manufacturing facility. This paper re-defines these notions in the ISO-standard EBNF (Extended Backus-Naur Form) notation, and adapts the manufacturability and control algorithms to accommodate the new definitions. The new algorithms and data structures reflect more closely the ones that are used in an implemented software tool. This paper also reports a method by which recipes and resources could be used to generate manufacturing process controllers in the Business to Manufacturing Markup Language (B2MML) standard. In doing so, this paper takes a step toward a complete path from the formal specification of a manufacturing facility and the products to be manufactured, to the automatic generation of executable process plans. |
| first_indexed | 2025-11-14T19:45:39Z |
| format | Article |
| id | nottingham-41511 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T19:45:39Z |
| publishDate | 2017 |
| publisher | Elsevier |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-415112020-05-04T18:33:58Z https://eprints.nottingham.ac.uk/41511/ Toward process control from formal models of transformable manufacturing systems Bakker, Otto Jan Chaplin, Jack C. de Silva, Lavindra Felli, Paolo Sanderson, David Logan, Brian Ratchev, Svetan The automation and flexibility of production systems is a key step towards improved profitability and competitiveness in high labour cost areas, when producing high-complexity, low-volume products. In the Evolvable Assembly Systems (EAS) project, the ‘manufacturability’ (or ‘realisability’) and ‘control’ algorithms were introduced to accommodate the batch-size-of-one production of highly customisable products. These algorithms enable checking whether a production line can manufacture a given product with its available set of resources, and how the product should be manufactured, e.g. which resources to use, and when. To this end, the authors formally define production recipes, which represent products, and manufacturing resources which make up a manufacturing facility. This paper re-defines these notions in the ISO-standard EBNF (Extended Backus-Naur Form) notation, and adapts the manufacturability and control algorithms to accommodate the new definitions. The new algorithms and data structures reflect more closely the ones that are used in an implemented software tool. This paper also reports a method by which recipes and resources could be used to generate manufacturing process controllers in the Business to Manufacturing Markup Language (B2MML) standard. In doing so, this paper takes a step toward a complete path from the formal specification of a manufacturing facility and the products to be manufactured, to the automatic generation of executable process plans. Elsevier 2017-02-21 Article PeerReviewed Bakker, Otto Jan, Chaplin, Jack C., de Silva, Lavindra, Felli, Paolo, Sanderson, David, Logan, Brian and Ratchev, Svetan (2017) Toward process control from formal models of transformable manufacturing systems. Procedia CIRP . ISSN 2212-8271 (In Press) Evolvable Assembly Systems; Controller Synthesis; Standardisation |
| spellingShingle | Evolvable Assembly Systems; Controller Synthesis; Standardisation Bakker, Otto Jan Chaplin, Jack C. de Silva, Lavindra Felli, Paolo Sanderson, David Logan, Brian Ratchev, Svetan Toward process control from formal models of transformable manufacturing systems |
| title | Toward process control from formal models of transformable manufacturing systems |
| title_full | Toward process control from formal models of transformable manufacturing systems |
| title_fullStr | Toward process control from formal models of transformable manufacturing systems |
| title_full_unstemmed | Toward process control from formal models of transformable manufacturing systems |
| title_short | Toward process control from formal models of transformable manufacturing systems |
| title_sort | toward process control from formal models of transformable manufacturing systems |
| topic | Evolvable Assembly Systems; Controller Synthesis; Standardisation |
| url | https://eprints.nottingham.ac.uk/41511/ |