Controller synthesis & Ordinal Automata
classification
💻 cs.GT
keywords
automatacontrollerordinalbehaviorcontroldemrienvironmentformulated
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.