Synthesis of Orchestrations of Transducers for Manufacturing

Authors

  • Giuseppe De Giacomo Sapienza Universita di Roma
  • Moshe Vardi Rice University
  • Paolo Felli University of Bozen-Bolzano
  • Natasha Alechina University of Nottingham
  • Brian Logan University of Nottingham

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.

Downloads

Published

2018-04-26

How to Cite

De Giacomo, G., Vardi, M., Felli, P., Alechina, N., & Logan, B. (2018). Synthesis of Orchestrations of Transducers for Manufacturing. Proceedings of the AAAI Conference on Artificial Intelligence, 32(1). Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/12094