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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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 languageEnglish
Title of host publicationProceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018
EditorsSander Stuijk
Place of PublicationNew York
PublisherAssociation for Computing Machinery, Inc
Pages1-9
Number of pages9
ISBN (Print)978-1-4503-5780-7
DOIs
Publication statusPublished - 28 May 2018
Event21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018 - St. Goar, Germany
Duration: 28 May 201830 May 2018

Conference

Conference21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018
CountryGermany
CitySt. Goar
Period28/05/1830/05/18

Fingerprint

Specifications

Keywords

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

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). New York: Association for Computing Machinery, Inc. https://doi.org/10.1145/3207719.3207728
Bastos, João ; Stuijk, Sander ; Voeten, Jeroen ; Schiffelers, Ramon ; Corporaal, Henk. / Exploiting specification modularity to prune the optimization-space of manufacturing systems. Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018. editor / Sander Stuijk. New York : Association for Computing Machinery, Inc, 2018. pp. 1-9
@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 = "5",
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",

}

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; Schiffelers, Ramon; Corporaal, Henk.

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 proceedingConference contributionAcademicpeer-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

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 https://doi.org/10.1145/3207719.3207728