Synthesis of logical-dynamical systems on the basis of sufficient optimality conditions. (English. Russian original) Zbl 1308.93082
J. Comput. Syst. Sci. Int. 49, No. 2, 207-221 (2010); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upr. 2010, No. 2, 41-55 (2010).