Thèse de doctorat
Titre:
  • Supervisory control of infinite state systems under partial observation
Autre titre:
  • Contrôle supervisé des systèmes à états infinis sous observation partielle:
Auteur:Kalyon, Gabriel
Président du jury:Raskin, Jean-François
Promoteur:Massart, Thierry
Membre du jury:Fortz, Bernard; Marchand, Hervé; Komenda, Jan; Lafortune, Stéphane
Informations sur la publication:Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles
Date de défense:2010-11-26
Sujet CREF:Informatique générale
Sciences exactes et naturelles
Volumes/pages:1 v. (viii, 290 p.)
Mots-clés:Supervisory control systems
Electronic data processing -- Distributed processing
Commande supervisée
Traitement réparti
systèmes à états infinis
observation partielle
interprétation abstraite
systèmes distribués
supervisory control
infinite state systems
distributed systems
partial observation
abstract interpretation
contrôle supervisé
Intitulé du diplôme:Doctorat en Sciences
Langue:Français
Anneé académique:2010-2011
Identificateurs:bictel.ulb.ac.be:ULBetd-10102010-223525
ulbcat.ulb.ac.be:902849