Exploiting specification modularity to prune the optimization-space of manufacturing systems

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Samenvatting

In this paper we address the makespan optimization of industrial-sized manufacturing systems. We introduce a framework which species 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 nding an optimal solution (with respect to the additional constraints). We demonstrate the applicability of the framework on an industrial-sized manufacturing system.

Originele taal-2Engels
TitelProceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018
RedacteurenSander Stuijk
Plaats van productieNew York
UitgeverijAssociation for Computing Machinery, Inc
Pagina's1-9
Aantal pagina's9
ISBN van geprinte versie978-1-4503-5780-7
DOI's
StatusGepubliceerd - 28 mei 2018
Evenement21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018 - St. Goar, Duitsland
Duur: 28 mei 201830 mei 2018

Congres

Congres21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018
LandDuitsland
StadSt. Goar
Periode28/05/1830/05/18

    Vingerafdruk

Citeer dit

Bastos, J., Stuijk, S., Voeten, J., Schiffelers, R., & Corporaal, H. (2018). Exploiting specification modularity to prune the optimization-space of manufacturing systems. In S. Stuijk (editor), Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018 (blz. 1-9). New York: Association for Computing Machinery, Inc. https://doi.org/10.1145/3207719.3207728