par Kalyon, Gabriel 
;Le Gall, Tristan ;Marchand, Hervé;Massart, Thierry,Jacques
Référence Journal européen des systèmes automatisés, 43, 7-9, page (805-819)
Publication Publié, 2009
;Le Gall, Tristan ;Marchand, Hervé;Massart, Thierry,Jacques Référence Journal européen des systèmes automatisés, 43, 7-9, page (805-819)
Publication Publié, 2009
Article révisé par les pairs
| Résumé : | We propose algorithms for the synthesis of decentralized controllers with partial observation of infinite state systems modelled by Symbolic Transition Systems. We provide models of safe controllers both for potentially deadlock and deadlock free controlled systems. To obtain algorithms for these problems, we use abstract interpretation techniques which provide overapproximations of the transitions set to be disabled. Our tool SMACS allowed us to make an empirical validation of our methods and show their feasibility and efficiency. |
