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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.3233/FI-2014-980 | Fundam. Inform. |
Keywords | Field | DocType |
controller synthesis,constraint automaton representation,automatic construction,coordination glue code,reo connector,basic channel,exogenous coordination language,reo connectors,synthesized controller,computer networks,robots,coding theory,information retrieval system | Discrete mathematics,Constraint automaton,Control theory,Computer science,Automaton,Glue code,Communication channel,Theoretical computer science,Control engineering,Coding theory,Cable gland,Robot | Journal |
Volume | Issue | ISSN |
130 | 1 | 0169-2968 |
Citations | PageRank | References |
7 | 0.47 | 14 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christel Baier | 1 | 3053 | 185.85 |
Joachim Klein | 2 | 118 | 9.33 |
Sascha Klü/ppelholz | 3 | 7 | 0.47 |