 |
|
|
|
| HAL : hal-00019897, version 3 |
| arXiv : cs.GT/0608120 |
| Fiche détaillée |  Récupérer au format |
|
|
| (2006) |
|
|
| Versions disponibles : | v1 (03-03-2006) | v2 (30-08-2006) | v3 (30-10-2006) |
|
|
|
|
| Controller synthesis & Ordinal Automata |
|
|
| Thierry Cachat 1 |
|
|
| (2006) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA) |
|
|
|
CNRS : UMR7089 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Informatique et théorie des jeux |
|
|
| ordinal automaton – controller synthesis – games – partial information |
|
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00019897, version 3 | |
| http://hal.archives-ouvertes.fr/hal-00019897 | |
| oai:hal.archives-ouvertes.fr:hal-00019897 | |
| Contributeur : Thierry Cachat | |
| Soumis le : Lundi 30 Octobre 2006, 11:20:30 | |
| Dernière modification le : Lundi 30 Octobre 2006, 12:05:07 | |
