Controller synthesis using interval methods