Exploiting Specification Modularity to Prune the Optimization-Space of Manufacturing Systems
In this paper we address the makespan optimization of industrial-sized manufacturing systems. We introduce a framework which specifies functional system requirements in a compositional way and automatically computes makespan optimal solutions respecting these requirements. We show the optimization problem to be NP-Hard. To scale towards systems of industrial complexity, we propose a novel approach based on a subclass of compositional requirements which we call constraints. We prove that these constraints always prune the worst-case optimization-space thereby increasing the odds of finding an optimal solution (with respect to the additional constraints). We demonstrate the applicability of the framework on an industrial-sized manufacturing system.
- Exploiting Specification Modularity to Prune the Optimization-Space of Manufacturing Systems
J. Bastos, S. Stuijk, J. Voeten, R. Schiffelers, H. Corporaal.
In Wokrshop on Software and Compilers for Embedded Systems, SCOPES 18 Proceedings, pages 1-9. Sankt Goar, Germany, 28-30 May 2018. ACM Press, New York, NY, USA, 2018. (abstract, pdf, doi).