Automated crash fault localization

Debugging application crashes is an expensive and time-taking process, relying on the developer’s expertise, and requiring knowledge about the system. Over the years, the research community has developed several automated approaches to ease debugging. Among those approaches, search-based crash reproduction, which tries to generate a test case...

Constructing level-2 phylogenetic networks from trinets

Phylogenetic networks are a generalization of evolutionary trees that can be used to represent reticulate events. Level-k phylogenetic networks are such networks, but with a at most k reticulations per biconnected component of the network. For level-1 networks there exists an algorithm, called TriLoNet (Trinet Level-one Network algorithm), that...

Model-based rare category detection for temporal data

Rare category detection is the task of discovering rare classes in unlabelled and imbalanced datasets. Existing algorithms focus almost exclusively on static data in which instances are assumed to be independent. In this thesis we propose an algorithm that is designed for temporal data. Specifically, we are interested in data with temporal...

Route plan scheduling for automated guided vehicles at container terminals

Heavy competition between container terminals and the increasing volume of world-wide container shipment force container terminals to continuously increase productivity and reduce costs. An important condition for optimal operation of container terminals is that Quay Cranes (QCs) maximize their productive time, which requires a minimal lateness...

Game Theoretic Stable Microgrid Formation in the Electricity Grid

The current architecture of the power grid is outdated and will not provide the means to deal with the decentralization of energy sources. The smart grid is a newly envisioned architecture for the power grid that should solve the weaknesses in the current grid. One application that is part of the smart grid vision is the microgrid: a coalition...