par Kalyon, Gabriel
Président du jury Raskin, Jean-François
Promoteur Massart, Thierry
Publication Non publié, 2010-11-26
Président du jury Raskin, Jean-François
Promoteur Massart, Thierry
Publication Non publié, 2010-11-26
Thèse de doctorat
Titre: |
|
Autre titre: |
|
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 |