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.
Type de document :
Communication dans un congrès
Susanne Graf and Wenhui Zhang. 2006, Springer, pp.215-228, 2006, LNCS 4218
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00019897
Contributeur : Thierry Cachat <>
Soumis le : lundi 30 octobre 2006 - 11:20:30
Dernière modification le : mardi 11 octobre 2016 - 14:06:39
Document(s) archivé(s) le : jeudi 23 septembre 2010 - 15:18:08

Fichiers

Identifiants

Collections

Citation

Thierry Cachat. Controller synthesis & Ordinal Automata. Susanne Graf and Wenhui Zhang. 2006, Springer, pp.215-228, 2006, LNCS 4218. <hal-00019897v3>

Partager

Métriques

Consultations de
la notice

91

Téléchargements du document

55