Uittreksel
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.
| Taal | 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 |
Vingerafdruk
Trefwoorden
Citeer dit
}
Exploiting specification modularity to prune the optimization-space of manufacturing systems. / Bastos, João; Stuijk, Sander; Voeten, Jeroen; Schiffelers, Ramon; Corporaal, Henk.
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018. redactie / Sander Stuijk. New York : Association for Computing Machinery, Inc, 2018. blz. 1-9.Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
TY - GEN
T1 - Exploiting specification modularity to prune the optimization-space of manufacturing systems
AU - Bastos,João
AU - Stuijk,Sander
AU - Voeten,Jeroen
AU - Schiffelers,Ramon
AU - Corporaal,Henk
PY - 2018/5/28
Y1 - 2018/5/28
N2 - 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.
AB - 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.
KW - Design exploration
KW - Formal models
KW - Makespan optimization
KW - Manufacturing systems
KW - Modular system speci-cation
UR - http://www.scopus.com/inward/record.url?scp=85054140958&partnerID=8YFLogxK
U2 - 10.1145/3207719.3207728
DO - 10.1145/3207719.3207728
M3 - Conference contribution
SN - 978-1-4503-5780-7
SP - 1
EP - 9
BT - Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018
PB - Association for Computing Machinery, Inc
CY - New York
ER -