@article{De Giacomo_Vardi_Felli_Alechina_Logan_2018, title={Synthesis of Orchestrations of Transducers for Manufacturing}, volume={32}, url={https://ojs.aaai.org/index.php/AAAI/article/view/12094}, DOI={10.1609/aaai.v32i1.12094}, abstractNote={ <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> }, number={1}, journal={Proceedings of the AAAI Conference on Artificial Intelligence}, author={De Giacomo, Giuseppe and Vardi, Moshe and Felli, Paolo and Alechina, Natasha and Logan, Brian}, year={2018}, month={Apr.} }