Skip to Main content Skip to Navigation
Conference papers

Controller synthesis & Ordinal Automata

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.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00019897
Contributor : Thierry Cachat <>
Submitted on : Monday, October 30, 2006 - 11:20:30 AM
Last modification on : Saturday, March 28, 2020 - 2:21:18 AM
Long-term archiving on: : Thursday, September 23, 2010 - 3:18:08 PM

Identifiers

Collections

Citation

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

Share

Metrics

Record views

203

Files downloads

87