2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/114866Ordinal 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.with appendixComputer Science and Game TheoryController synthesis & Ordinal Automatatext