@inproceedings{7aeace154cbc4104a199108356d66034,
title = "Synthesis of orchestrations of transducers for manufacturing",
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.",
author = "{De Giacomo}, Giuseppe and Vardi, {Moshe Y.} and Paolo Felli and Natasha Alechina and Brian Logan",
note = "Publisher Copyright: Copyright {\textcopyright} 2018, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.; 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, AAAI 2018 ; Conference date: 02-02-2018 Through 07-02-2018",
year = "2018",
language = "English",
series = " AAAI Conference and Symposium Proceedings",
publisher = "AAAI Press",
pages = "6161--6168",
booktitle = "32nd AAAI Conference on Artificial Intelligence, AAAI 2018",
address = "United States",
}