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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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.

TaalEngels
TitelProceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018
RedacteurenSander Stuijk
Plaats van productieNew York
UitgeverijAssociation for Computing Machinery, Inc
Pagina's1-9
Aantal pagina's9
ISBN van geprinte versie978-1-4503-5780-7
DOI's
StatusGepubliceerd - 28 mei 2018
Evenement21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018 - St. Goar, Duitsland
Duur: 28 mei 201830 mei 2018

Congres

Congres21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018
LandDuitsland
StadSt. Goar
Periode28/05/1830/05/18

Vingerafdruk

Specifications

Trefwoorden

    Citeer dit

    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 (editor), Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018 (blz. 1-9). New York: Association for Computing Machinery, Inc. DOI: 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. redacteur / Sander Stuijk. New York : Association for Computing Machinery, Inc, 2018. blz. 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 (redactie), Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018. Association for Computing Machinery, Inc, New York, blz. 1-9, St. Goar, Duitsland, 28/05/18. DOI: 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. redactie / Sander Stuijk. New York : Association for Computing Machinery, Inc, 2018. blz. 1-9.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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 -

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