Synthesis of orchestrations of transducers for manufacturingTools De Giacomo, Giuseppe and Vardi, Moshe Y. and Felli, Paolo and Alechina, Natasha and Logan, Brian (2018) Synthesis of orchestrations of transducers for manufacturing. In: 32nd AAAI Conference on Artificial Intelligence (AAAI-18), 2-7 Feb 2018, New Orleans, USA. Full text not available from this repository.AbstractIn 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.
Actions (Archive Staff Only)
|
From the 1st Oct 2021, the research publications and student eTheses of University of Nottingham Ningbo China authors will be handled through the UNNC Research Information System (RIS).
If you are a UNNC author, please login to the UNNC RIS in order to deposit articles and etheses after this date, or contact UNNCRIS@nottingham.edu.cn if you have any enquiries in regard to this change.
If you are a UNNC author, please login to the UNNC RIS in order to deposit articles and etheses after this date, or contact UNNCRIS@nottingham.edu.cn if you have any enquiries in regard to this change.
Tools
Tools
