Synthesis of Reo Connectors for Strategies and Controllers

@article{Baier2014SynthesisOR,
  title={Synthesis of Reo Connectors for Strategies and Controllers},
  author={Christel Baier and Joachim Klein and Sascha Kl{\"u}ppelholz},
  journal={Fundam. Inform.},
  year={2014},
  volume={130},
  pages={1-20}
}
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… CONTINUE READING

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…