Contrôle décentralisé de systèmes symboliques infinis sous observation partielle - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

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é.
Fichier non déposé

Dates et versions

inria-00420486 , version 1 (29-09-2009)

Identifiants

  • HAL Id : inria-00420486 , version 1

Citer

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. pp.805-820. ⟨inria-00420486⟩
38 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More