Controller synthesis & Ordinal Automata

Thierry Cachat (1)

1 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications

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.

Mots clés: ordinal automaton; controller synthesis; games; partial information

Domaines: Informatique et théorie des jeux [cs.GT]

Thierry Cachat. Controller synthesis & Ordinal Automata. 2006. ⟨hal-00019897v1⟩