1. A. S. Bortakovskii and A. V. Panteleev, “Sufficient Optimality Conditions for Control of Continuous-Discrete Systems,” Avtom. Telemekh., No. 7, 47–52 (1987).
2. A. S. Bortakovskii, “Sufficient Conditions of Optimality of the Automaton Part of the Logical-Dynamical System,” Izv. Ross. Akad. Nauk, Teor. Sist. Upr., No. 6, 77–92 (2006) [Comp. Syst. Sci. 45 (6), 917–932 (2006)].
3. A. S. Bortakovskii, “Necessary Optimality Conditions for Control of Logical-Dynamical Systems,” Izv. Ross. Akad. Nauk, Teor. Sist. Upr., No. 6, 16–33 (2007) [Comp. Syst. Sci. 46(6), 854–871 (2007)].
4. V. V. Semenov, “Dynamic Programming of Synthesis of Logic-Dynamic Systems,” Priborostroenie, No. 2, 24–31 (1984).
5. V. F. Krotov, Global Methods in Optimal Control Theory, Monographs and Textbooks in Pure and Applied Mathematics (Marcel Dekker, Inc, New York, 1996).