Controller synthesis & Ordinal Automata
<|reference_start|>Controller synthesis & Ordinal Automata: Ordinal automata are used to model physical systems with Zeno behavior. Using automata and games techniques we solve a control problem formulated and left open by Demri and Nowak in 2005. It involves partial observability and a new synchronization between the controller and the environment.<|reference_end|>
@article{cachat2006controller,
    title={Controller synthesis & Ordinal Automata},
    author={Thierry Cachat (LIAFA)},
    journal={Proceedings of the 4th International Symposium on Automated
  Technology for Verification and Analysis (ATVA'06) Springer (Ed.) (2006)
  215-228},
    year={2006},
    archivePrefix={arXiv},
    eprint={cs/0608120},
    primaryClass={cs.GT}
}