Robust scheduling in an uncertain environment

This thesis presents research on scheduling in an uncertain environment, which forms a part of the rolling stock life cycle logistics applied research and development program funded by Dutch railway industry companies. The focus therefore lies on scheduling of maintenance operations on rolling stock in the railway industry. The first chapter...

Algorithms for Simple Temporal Reasoning

This dissertation describes research into new methods for automated temporal reasoning. For this purpose, several frameworks are available in literature. Chapter 1 presents a concise literature survey that provides a new overview of their interrelation. In the remainder of the dissertation, the focus is on quantitative frameworks, i.e. temporal...