Jump to : Abstract | Contact | BibTex reference | EndNote reference |

msr09

G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Contrôle décentralisé de systèmes symboliques infinis sous observation partielle. In 7ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'09), Pages 805-820, November 2009.

Abstract

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é

Contact

Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/

BibTex Reference

@InProceedings{msr09,
   Author = {Kalyon, G. and Le Gall, T. and Marchand, H. and Massart, T.},
   Title = {Contrôle décentralisé de systèmes symboliques infinis sous observation partielle},
   BookTitle = {7ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'09)},
   Pages = {805--820},
   Month = {November},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)