Control of Infinite Symbolic Transition Systems under Partial Observation

Abstract : We provide models of safe controllers both for potentially blocking and non blocking controlled systems. To obtain algorithms for these problems, we make the use of abstract interpretation techniques which provide over-approximations of the transitions set to be disabled. To our knowledge, with the hypotheses taken, the improved version of our algorithm provides a better solution than what was previously proposed in the literature. Our tool SMACS allowed us to make an empirical validation of our methods to show their feasibility and usability.
Type de document :
Communication dans un congrès
European Control Conference, Aug 2009, Budapest, Hungary. pp.1456-1462, 2009
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00420429
Contributeur : Hervé Marchand <>
Soumis le : mardi 29 septembre 2009 - 09:26:11
Dernière modification le : mercredi 11 avril 2018 - 01:51:52
Document(s) archivé(s) le : samedi 26 novembre 2016 - 12:18:48

Fichier

2009-ecc-control.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00420429, version 1

Collections

Citation

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. Control of Infinite Symbolic Transition Systems under Partial Observation. European Control Conference, Aug 2009, Budapest, Hungary. pp.1456-1462, 2009. 〈inria-00420429〉

Partager

Métriques

Consultations de la notice

149

Téléchargements de fichiers

90