Synthesis of orchestrations of transducers for manufacturing
In this paper, we model manufacturing processes and facilities as transducers (automata with output). The problem of whether a given manufacturing process can be realized by a given set of manufacturing resources can then be stated as an orchestration problem for transducers. We first consider the c...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2018
|
| Online Access: | https://eprints.nottingham.ac.uk/49125/ |
| _version_ | 1848797927655342080 |
|---|---|
| author | De Giacomo, Giuseppe Vardi, Moshe Y. Felli, Paolo Alechina, Natasha Logan, Brian |
| author_facet | De Giacomo, Giuseppe Vardi, Moshe Y. Felli, Paolo Alechina, Natasha Logan, Brian |
| author_sort | De Giacomo, Giuseppe |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | In this paper, we model manufacturing processes and facilities as transducers (automata with output). The problem of whether a given manufacturing process can be realized by a given set of manufacturing resources can then be stated as an orchestration problem for transducers. We first consider the conceptually simpler case of uni-transducers (transducers with a single input and a single output port), and show that synthesizing orchestrations for uni-transducers is EXPTIME complete. Surprisingly, the complexity remains the same for the more expressive multi-transducer case, where transducers have multiple input and output ports and the orchestration is in charge of dynamically connecting ports during execution. |
| first_indexed | 2025-11-14T20:11:39Z |
| format | Conference or Workshop Item |
| id | nottingham-49125 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T20:11:39Z |
| publishDate | 2018 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-491252020-05-04T19:31:20Z https://eprints.nottingham.ac.uk/49125/ Synthesis of orchestrations of transducers for manufacturing De Giacomo, Giuseppe Vardi, Moshe Y. Felli, Paolo Alechina, Natasha Logan, Brian In this paper, we model manufacturing processes and facilities as transducers (automata with output). The problem of whether a given manufacturing process can be realized by a given set of manufacturing resources can then be stated as an orchestration problem for transducers. We first consider the conceptually simpler case of uni-transducers (transducers with a single input and a single output port), and show that synthesizing orchestrations for uni-transducers is EXPTIME complete. Surprisingly, the complexity remains the same for the more expressive multi-transducer case, where transducers have multiple input and output ports and the orchestration is in charge of dynamically connecting ports during execution. 2018-02-07 Conference or Workshop Item PeerReviewed De Giacomo, Giuseppe, Vardi, Moshe Y., Felli, Paolo, Alechina, Natasha and Logan, Brian (2018) Synthesis of orchestrations of transducers for manufacturing. In: 32nd AAAI Conference on Artificial Intelligence (AAAI-18), 2-7 Feb 2018, New Orleans, USA. |
| spellingShingle | De Giacomo, Giuseppe Vardi, Moshe Y. Felli, Paolo Alechina, Natasha Logan, Brian Synthesis of orchestrations of transducers for manufacturing |
| title | Synthesis of orchestrations of transducers for manufacturing |
| title_full | Synthesis of orchestrations of transducers for manufacturing |
| title_fullStr | Synthesis of orchestrations of transducers for manufacturing |
| title_full_unstemmed | Synthesis of orchestrations of transducers for manufacturing |
| title_short | Synthesis of orchestrations of transducers for manufacturing |
| title_sort | synthesis of orchestrations of transducers for manufacturing |
| url | https://eprints.nottingham.ac.uk/49125/ |