Controller synthesis & Ordinal Automata

Simple item page
dc.creatorCachat, Thierry
dc.date2006-08-30
dc.date2006-10-30
dc.date.accessioned2026-07-07T07:20:08Z
dc.date.available2026-07-07T07:20:08Z
dc.descriptionOrdinal 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.
dc.descriptionwith appendix
dc.identifierhttps://arxiv.org/abs/cs/0608120
dc.identifierhttp://arxiv.org/abs/cs/0608120
dc.identifierProceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06) Springer (Ed.) (2006) 215-228
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/114866
dc.subjectComputer Science and Game Theory
dc.titleController synthesis & Ordinal Automata
dc.typetext

Files

Collections

arXiv