Affiliations: Faculty of Computer Science, Technische Universität Dresden, Germany. baier@tcs.inf.tu-dresden.de; klein@tcs.inf.tu-dresden.de; klueppel@tcs.inf.tu-dresden.de
Note: [] This work has been supported by the cluster of excellence cfAED (center of Advancing Electronics Dresden), the ESF young researchers group IMData, the collaborative research centre HAEC (SFB 912) funded by the DFG, the DFG-project QuaOS, the DFG/NWO-project ROCKS and the European Union Seventh Framework Programme under grant agreement no. 295261 (MEALS). Address for correspondence: Faculty of Computer Science, Technische Universität Dresden, 01062 Dresden, Germany
Note: [] This work has been supported by the cluster of excellence cfAED (center of Advancing Electronics Dresden), the ESF young researchers group IMData, the collaborative research centre HAEC (SFB 912) funded by the DFG, the DFG-project QuaOS, the DFG/NWO-project ROCKS and the European Union Seventh Framework Programme under grant agreement no. 295261 (MEALS). Address for correspondence: Faculty of Computer Science, Technische Universität Dresden, 01062 Dresden, Germany
Note: [] This work has been supported by the cluster of excellence cfAED (center of Advancing Electronics Dresden), the ESF young researchers group IMData, the collaborative research centre HAEC (SFB 912) funded by the DFG, the DFG-project QuaOS, the DFG/NWO-project ROCKS and the European Union Seventh Framework Programme under grant agreement no. 295261 (MEALS). Address for correspondence: Faculty of Computer Science, Technische Universität Dresden, 01062 Dresden, Germany
Abstract: In controller synthesis, i.e., the question whether there is a controller or strategy to achieve some objective in a given system, the controller is often realized as some kind of automaton. In the context of the exogenous coordination language Reo, where the coordination glue code between the components is realized as a network of channels, it is desirable for such synthesized controllers to also take the form of a Reo connector built from a repertoire of basic channels. In this paper, we address the automatic construction of such Reo connectors directly from a constraint automaton representation.
