Synthesis of orchestrations of transducers for manufacturing

De Giacomo, Giuseppe; Vardi, Moshe Y.; Felli, Paolo; Alechina, Natasha; Logan, Brian

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/