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



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
Titre: |
|
Auteur: | Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry,Jacques |
Informations sur la publication: | Journal européen des systèmes automatisés, 43, 7-9, page (805-819) |
Statut de publication: | Publié, 2009 |
Sujet CREF: | Technologie des autres industries |
Mots-clés: | Abstract interpretation |
Decentralized controller synthesis | |
Partial observation | |
Symbolic transition systems | |
Note générale: | SCOPUS: ar.j |
Langue: | Français |
Identificateurs: | urn:issn:1269-6935 |
info:scp/77954504921 |