- document
-
Kootstra, P. (author)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...master thesis 2014