Skip to main content

Research Repository

Advanced Search

Synthesis of orchestrations of transducers for manufacturing

De Giacomo, Giuseppe; Vardi, Moshe Y.; Felli, Paolo; Alechina, Natasha; Logan, Brian

Authors

Giuseppe De Giacomo

Moshe Y. Vardi

Paolo Felli Paolo.Felli@nottingham.ac.uk

Natasha Alechina nza@cs.nott.ac.uk

Brian Logan bsl@cs.nott.ac.uk



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.

Citation

De Giacomo, G., Vardi, M. Y., Felli, P., Alechina, N., & Logan, B. (2018). Synthesis of orchestrations of transducers for manufacturing

Conference Name 32nd AAAI Conference on Artificial Intelligence (AAAI-18)
End Date Feb 7, 2018
Acceptance Date Nov 8, 2017
Publication Date Feb 7, 2018
Deposit Date Jan 16, 2018
Publicly Available Date Feb 7, 2018
Peer Reviewed Peer Reviewed
Public URL http://eprints.nottingham.ac.uk/id/eprint/49125
Related Public URLs https://aaai.org/Conferences/AAAI-18/
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf

Files


DeGiacomo-Vardi.pdf (300 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





You might also like



Downloadable Citations