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’, and ‘control’ algorithms have been develo...More