Giuseppe De Giacomo
Synthesis of orchestrations of transducers for manufacturing
De Giacomo, Giuseppe; Vardi, Moshe Y.; Felli, Paolo; Alechina, Natasha; Logan, Brian
Authors
Moshe Y. Vardi
Paolo Felli
Natasha Alechina
Brian Logan
Abstract
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.
Citation
De Giacomo, G., Vardi, M. Y., Felli, P., Alechina, N., & Logan, B. (2018). Synthesis of orchestrations of transducers for manufacturing.
Conference Name | 32nd AAAI Conference on Artificial Intelligence (AAAI-18) |
---|---|
End Date | Feb 7, 2018 |
Acceptance Date | Nov 8, 2017 |
Publication Date | Feb 7, 2018 |
Deposit Date | Jan 16, 2018 |
Publicly Available Date | Feb 7, 2018 |
Peer Reviewed | Peer Reviewed |
Public URL | https://nottingham-repository.worktribe.com/output/910753 |
Related Public URLs | https://aaai.org/Conferences/AAAI-18/ |
Contract Date | Jan 16, 2018 |
Files
DeGiacomo-Vardi.pdf
(300 Kb)
PDF
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: discovery-access-systems@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search