Skip to Main content Skip to Navigation
Conference papers

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é.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00420486
Contributor : Hervé Marchand <>
Submitted on : Tuesday, September 29, 2009 - 10:58:56 AM
Last modification on : Thursday, June 4, 2020 - 10:24:03 AM

Identifiers

  • 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. pp.805-820. ⟨inria-00420486⟩

Share

Metrics

Record views

124