Abstract | ||
---|---|---|
The decidability of the distributed version of the Ramadge and Wonham control problem (Ramadge and Wonham 1989), where both the plant and the controllers are modelled as Zielonka au-tomata (Zielonka 1987; Diekert and Rozenberg 1995) is a challenging open problem (Muscholl et al. 2008). There exists three classes of plants for which the existence of a correct controller has been shown decidable in the distributed setting: when the dependency graph of actions is series-parallel, when the processes are connectedly communicating and when the dependency graph of processes is a tree. We generalize these three results by showing that a larger class of plants, called broadcast plants, has a decidable controller synthesis problem. We give new examples of plants for which controller synthesis is decidable. |
Year | Venue | Field |
---|---|---|
2016 | arXiv: Formal Languages and Automata Theory | Discrete mathematics,Broadcasting,Control theory,Combinatorics,Open problem,Existential quantification,Automaton,Decidability,Dependency graph,Mathematics |
DocType | Volume | Citations |
Journal | abs/1601.05176 | 0 |
PageRank | References | Authors |
0.34 | 0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gimbert, H. | 1 | 5 | 3.21 |