implemented DK iteration, problems with controller syn