Skip to main content

Research Repository

Advanced Search

Realisability of production recipes

de Silva, Lavindra; Felli, Paolo; Chaplin, Jack C.; Logan, Brian; Sanderson, David; Ratchev, Svetan


Lavindra de Silva

Paolo Felli

Brian Logan

Cripps Professor of Production Engineering & Head of Research Division


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.


de Silva, L., Felli, P., Chaplin, J. C., Logan, B., Sanderson, D., & Ratchev, S. (2016). Realisability of production recipes.

Conference Name 22nd European Conference in Artificial Intelligence (ECAI 2016)
End Date Sep 2, 2016
Acceptance Date Jun 17, 2016
Publication Date Aug 24, 2016
Deposit Date Jul 26, 2016
Publicly Available Date Aug 24, 2016
Peer Reviewed Peer Reviewed
Public URL
Publisher URL
Related Public URLs


637-deSilva.pdf (1.9 Mb)

Copyright Statement
Copyright information regarding this work can be found at the following address:

You might also like

Downloadable Citations