Synthesising process controllers from formal models of transformable assembly systems
When producing complex and highly customisable products in low volumes (or in ‘batch sizes of one’), automation of production systems is critical for competitiveness and profitability in high labour-cost economies. To facilitate batch-size-of-one production, ‘topology generation’, ‘realisability’, an...
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2019
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/55973/ |