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

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

1 Citation (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 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

Keywords

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

Fingerprint Dive into the research topics of 'Exploiting specification modularity to prune the optimization-space of manufacturing systems'. Together they form a unique fingerprint.

Cite this