Contrôle décentralisé de systèmes symboliques infinis sous observation partielle

Résumé : Nous proposons des algorithmes permettant de synthétiser des contrôleurs décentralisés n'ayant qu'une observation partielle du système à contrôler. Ces systèmes, dont le nombre d'états peut être infini, sont modélisés par des Systèmes à Transitions Symboliques. Nous présentons des modèles de contrôleurs (non-bloquants) valides permettant d'assurer l'interdiction d'un ensemble d'états dans un cadre décentralisé. Pour obtenir des algorithmes pour ces problèmes, nous utilisons des techniques d'interprétation abstraite, qui induisent une sur-approximation de l'ensemble des transitions à interdire. Notre outil SMACS permet de valider empiriquement nos méthodes et de montrer leurs faisabilité et efficacité.
Type de document :
Communication dans un congrès
7ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Nov 2009, Nantes, France. Hermès, pp.805-820, 2009
Liste complète des métadonnées

https://hal.inria.fr/inria-00420486
Contributeur : Hervé Marchand <>
Soumis le : mardi 29 septembre 2009 - 10:58:56
Dernière modification le : mercredi 11 avril 2018 - 01:54:56

Identifiants

  • HAL Id : inria-00420486, version 1

Collections

Citation

Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart. Contrôle décentralisé de systèmes symboliques infinis sous observation partielle. 7ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Nov 2009, Nantes, France. Hermès, pp.805-820, 2009. 〈inria-00420486〉

Partager

Métriques

Consultations de la notice

83