Controller synthesis & Ordinal Automata - Archive ouverte HAL Access content directly
Conference Papers Year : 2006

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.
Fichier principal
Vignette du fichier
synthesis.pdf (214.17 Ko) Télécharger le fichier

Dates and versions

hal-00019897 , version 1 (03-06-2006)
hal-00019897 , version 2 (30-08-2006)
hal-00019897 , version 3 (30-10-2006)



Thierry Cachat. Controller synthesis & Ordinal Automata. 2006, pp.215-228. ⟨hal-00019897v3⟩
96 View
46 Download



Gmail Facebook Twitter LinkedIn More