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-2 | Engels |
---|---|
Titel | Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018 |
Redacteuren | Sander Stuijk |
Plaats van productie | New York |
Uitgeverij | Association for Computing Machinery, Inc |
Pagina's | 1-9 |
Aantal pagina's | 9 |
ISBN van geprinte versie | 978-1-4503-5780-7 |
DOI's | |
Status | Gepubliceerd - 28 mei 2018 |
Evenement | 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018 - St. Goar, Duitsland Duur: 28 mei 2018 → 30 mei 2018 |
Congres
Congres | 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018 |
---|---|
Land | Duitsland |
Stad | St. Goar |
Periode | 28/05/18 → 30/05/18 |