par Kalyon, Gabriel ;Le Gall, Tristan ;Marchand, Hervé;Massart, Thierry
Référence Discrete event dynamic systems, 22, 2, page (121-161)
Publication Publié, 2012
Article révisé par les pairs
Titre:
  • Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation
Auteur:Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry
Informations sur la publication:Discrete event dynamic systems, 22, 2, page (121-161)
Statut de publication:Publié, 2012
Sujet CREF:Informatique générale
Mots-clés:Abstract interpretation
Controller synthesis
Partial observation
Symbolic transition systems
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0924-6703
info:doi/10.1007/s10626-011-0101-3
info:scp/84865258041

Documents en relation

DI-fusion