TY - JOUR AU - De Giacomo, Giuseppe AU - Vardi, Moshe AU - Felli, Paolo AU - Alechina, Natasha AU - Logan, Brian PY - 2018/04/26 Y2 - 2024/03/28 TI - Synthesis of Orchestrations of Transducers for Manufacturing JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 32 IS - 1 SE - Main Track: Planning and Scheduling DO - 10.1609/aaai.v32i1.12094 UR - https://ojs.aaai.org/index.php/AAAI/article/view/12094 SP - AB - <p> 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. </p> ER -