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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

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 Duik in de onderzoeksthema's van 'Exploiting specification modularity to prune the optimization-space of manufacturing systems'. Samen vormen ze een unieke vingerafdruk.

Citeer dit