Controller synthesis using interval methods

This thesis investigates whether interval methods can be employed in the construction of a novel controller synthesis algorithm based on backward induction. Interval methods are methods employing interval arithmetic, which is an arithmetic defined on real-valued intervals rather than on real-valued numbers. In the controller synthesis algorithm...