Onderzoeksprojecten
-
FuRoRe: Foundations for Robust Runtime monitoring
In dit project gaat het team aan de slag met het verbeteren van het controlemechanisme van autonome systemen, runtime monitors, in onzekere situaties.
-
PhD stage: detectie algoritmes
Alex Kolmus, promovendus aan de Radboud Universiteit, kreeg de kans om drie maanden te werken aan een Alliander case.
-
Wat is de invloed van kabeltemperatuur op de mogelijke belasting van een kabel?
Om de invloed van temperatuur (denk aan warmtepompen en airconditioning) op de mogelijke belasting van het elektriciteitsnet te onderzoeken kijken we naar causaliteit in tijdreeksen van belastingsgegevens van het netwerk.
-
Implicit Complexity through Higher Order Rewriting (ICHOR)
Het doel van ICHOR is het bestuderen van computationele complexiteit met behulp van hogere-orde begripsherschrijfsystemen. Onze bijzondere aandacht gaat uit naar het ontwikkelen van methoden waarbij algebra-interpretaties een rol spelen.