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

João Bastos; Sander Stuijk; Jeroen Voeten; Ramon Schiffelers; Henk Corporaal

doi:10.1145/3207719.3207728

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

João Bastos, Sander Stuijk, Jeroen Voeten, Ramon Schiffelers, Henk Corporaal

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018
Editors	Sander Stuijk
Place of Publication	New York
Publisher	Association for Computing Machinery, Inc
Pages	1-9
Number of pages	9
ISBN (Print)	978-1-4503-5780-7
DOIs	https://doi.org/10.1145/3207719.3207728
Publication status	Published - 28 May 2018
Event	21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018) - St. Goar, Germany Duration: 28 May 2018 → 30 May 2018

Conference

Conference	21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018)
Country/Territory	Germany
City	St. Goar
Period	28/05/18 → 30/05/18

Keywords

Design exploration
Formal models
Makespan optimization
Manufacturing systems
Modular system speci-cation

Access to Document

10.1145/3207719.3207728

Cite this

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 (Ed.), Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018 (pp. 1-9). Association for Computing Machinery, Inc. https://doi.org/10.1145/3207719.3207728

@inproceedings{bbebd9799b7345fba7e2395dd1cc205e,

title = "Exploiting specification modularity to prune the optimization-space of manufacturing systems",

abstract = "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.",

keywords = "Design exploration, Formal models, Makespan optimization, Manufacturing systems, Modular system speci-cation",

author = "Jo{\~a}o Bastos and Sander Stuijk and Jeroen Voeten and Ramon Schiffelers and Henk Corporaal",

year = "2018",

month = may,

day = "28",

doi = "10.1145/3207719.3207728",

language = "English",

isbn = "978-1-4503-5780-7",

pages = "1--9",

editor = "Sander Stuijk",

booktitle = "Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018",

publisher = "Association for Computing Machinery, Inc",

address = "United States",

note = "21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018) ; Conference date: 28-05-2018 Through 30-05-2018",

}

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 (ed.), Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018. Association for Computing Machinery, Inc, New York, pp. 1-9, 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018), St. Goar, Germany, 28/05/18. https://doi.org/10.1145/3207719.3207728

Exploiting specification modularity to prune the optimization-space of manufacturing systems. / Bastos, João; Stuijk, Sander ; Voeten, Jeroen et al.
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018. ed. / Sander Stuijk. New York: Association for Computing Machinery, Inc, 2018. p. 1-9.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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

AN - SCOPUS:85054140958

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

A2 - Stuijk, Sander

PB - Association for Computing Machinery, Inc

CY - New York

T2 - 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018)

Y2 - 28 May 2018 through 30 May 2018

ER -

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

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

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this