Controller synthesis & Ordinal Automata
计算机科学与博弈论
2007-05-23 v2
摘要
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.
关键词
引用
@article{arxiv.cs/0608120,
title = {Controller synthesis & Ordinal Automata},
author = {Thierry Cachat},
journal= {arXiv preprint arXiv:cs/0608120},
year = {2007}
}
备注
with appendix