Unbounded Orchestrations of Transducers for Manufacturing

Investor logo

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

ALECHINA Natasha BRÁZDIL Tomáš DE GIACOMO Giuseppe FELLI Paolo LOGAN Brian VARDI Moshe

Year of publication 2019
Type Article in Proceedings
Conference Proceedings of the AAAI Conference on Artificial Intelligence
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1609/aaai.v33i01.33012646
Keywords manufacturing processes modeling; orchestration
Description There has recently been increasing interest in using reactive synthesis techniques to automate the production of manufacturing process plans. Previous work has assumed that the set of manufacturing resources is known and fixed in advance. In this paper, we consider the more general problem of whether a controller can be synthesized given sufficient resources. In the unbounded setting, only the types of available manufacturing resources are given, and we want to know whether it is possible to manufacture a product using only resources of those type(s), and, if so, how many resources of each type are needed. We model manufacturing processes and facilities as transducers (automata with output), and show that the unbounded orchestration problem is decidable and the (Pareto) optimal set of resources necessary to manufacture a product is computable for uni-transducers. However, for multi-transducers, the problem is undecidable.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.