Doctoraat in de ingenieurswetenschappen: computerwetenschappen

Imprecieze Markovketens in continue tijd: theorie en algoritmen


Doctorandus Publieke verdediging
Naam: Thomas Krak   Datum: Vrijdag 07/05/2021 om 09:00 
Adres: vakgroep Elektronica en Informatiesystemen (EA06)
Technologiepark Zwijnaarde 126, 9052 Zwijnaarde
  Lokatie: volledig digitaal, met livestream (uitgezonderd de deliberatie van de examencommissie (cf. COVID19-maatregelen)
Contact FEA: info.ea@ugent.be   Taal: Engels

Curriculum
2013:
MSc in Computer Science
Utrecht University
Utrecht, The Netherlands

2008:
Bachelor in Computer Science
HAN University of Applied Sciences
Arnhem, The Netherlands

Promotor
Gert De Cooman
Jasper De Bock
Arno Siebes

Examencommissie
prof. Hennie De Schepper
Gert De Cooman (EA06)
Jasper De Bock (EA06)
Arno Siebes (Universiteit Utrecht, the Netherlands)
Max Nendel
Enrique Miranda
Alain Sarlette, Universiteit Gent, Faculteit Ingenieurswetenschappen en Architectuur, EA06 - Vakgroep Elektronica en Informatiesystemen, Technologiepark Zwijnaarde 125, 9052 Zwijnaarde
E: alain.sarlette@ugent.be
Koen De Turck

Onderzoeksthema

Imprecieze Markovketens zijn wiskundige modellen die Markovketens veralgemenen door middel van de theorie van imprecieze waarschijnlijkheden. Hierdoor kunnen ze gebruikt worden wanneer (numerieke) parameters slechts gedeeltelijk gespecificeerd zijn en/of wanneer het aannemen van een Markoviaans karakter ongegrond zou zijn. Gevolgtrekkingen die verkregen worden met imprecieze Markovketens kunnen worden geïnterpreteerd als robuuste grenzen op traditionele gevolgtrekkingen waarin men geïnteresseerd zou zijn, in die zin dat ze rekening houden met alle variatie die impliciet mogelijk blijft door het slechts deels specificeren van parameters en structurele modeleigenschappen. Dit doctoraatsonderzoek draait om het ontwikkelen van een theorie van imprecieze Markovketens in continue tijd: in het proefschrift introduceren we hun definitie, parameterisering en interpretatie; onderzoeken we hun structurele eigenschappen; ontwikkelen we eenvoudige algoritmen voor het uitrekenen van een grote generieke klasse van inferentieproblemen; en bewijzen we een verband met bestaand werk waarmee we---zonder extra moeite---beschikking krijgen over veel gespecialiseerde en meer efficiënte algoritmen die in het verleden ontwikkeld zijn voor imprecieze Markovketens in discrete tijd.


Taal proefschrift
Engels

Documenten