Necessary optimality conditions for discrete systems with state-dependent control region Jaroslav Doležal (1975) Kybernetika