On the Control of Asynchronous Automata

@inproceedings{Gimbert2016OnTC,
  title={On the Control of Asynchronous Automata},
  author={Hugo Gimbert},
  booktitle={FSTTCS},
  year={2016}
}
  • Hugo Gimbert
  • Published in FSTTCS 2016
  • Mathematics, Computer Science
  • The decidability of the distributed version of the Ramadge and Wonham controller synthesis problem, where both the plant and the controllers are modeled as asynchronous automata and the controllers have causal memory is a challenging open problem. There exist three classes of plants for which the existence of a correct controller with causal memory has been shown decidable: when the dependency graph of actions is series-parallel, when the processes are connectedly communicating and when… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    5
    Twitter Mentions

    Figures and Topics from this paper.

    Explore Further: Topics Discussed in This Paper