Abstract
Deterministic logical-dynamical systems are considered with the dynamical part described by differential equations. The logical part modeling the work of an automaton with memory is described by recursive inclusions. Sufficient optimality conditions are obtained for the construction of the logical (automaton) part of the logical-dynamical system.
Similar content being viewed by others
References
V.V. Semenov, “Dynamic Programming in Synthesis of Logical-Dynamic Systems,” Priborostroenie, No. 2 (1984).
V.V. Semenov, V.M. Repin, and N.E. Zhurina, Algorithmization of Aircraft Control Processes in the Class Logical-Dynamic Systems (Mosk. Aviats. Inst., Moscow, 1987) [in Russian].
A. S. Bortakovskii, “Sufficient Optimality Conditions for Control of Deterministic Logical-Dynamic Systems,” in Informatika, Ser. Computer Aided Design, Issue 2,3 (VNIIMI, Moscow, 1992) [in Russian].
A. S. Bortakovsky, “Synthesis of Optimal Automaton Part of Deterministic Logic-Dynamical System,” in Proceedings of IFAC Workshop on Modeling and Analysis of Logic Controlled Dynamic Systems, Irkutsk, Russia, 2003.
A. V. Panteleev and A. S. Bortakovskii, Control Theory in Examples and Tasks (Vysshaya Shkola, Moscow, 2003) [in Russian].
A. S. Bortakovsky and D. A. Volokitin, “Synthesis of the Automaton Part of Optimal Logic-Dynamical System,” J. Math. Sci. 126(6) (2005).
S. N. Vasil’ev, A. K. Zherlov, E. A. Fedosov, et al., Intelligent Control of Dynamic Systems (Fizmatlit, Moscow, 2000) [in Russian].
V.F. Krotov and V.I. Gurman, Methods and Problems of Optimal Control (Nauka, Moscow, 1973) [in Russian].
L. S. Pontryagin, V. G. Boltyanskii, R. V. Gamkrelidze, et al., Mathematical Theory of Optimal Processes (Fizmatgiz, Moscow, 1961) [in Russian].
I. P. Natanson, The Theory of Functions of Real Variables (Gostekhizdat, Moscow, 1957) [in Russian].
A. S. Bortakovskii and A. V. Panteleev, “Sufficient Optimality Conditions for Control of Continuous-Discrete Systems,” Avtom. Telemekh., No. 7, (1987).
V. F. Dem’yanov and A. M. Rubinov, Foundations of Nonsmoth Analysis and Quasi-differential Calculus (Nauka, Moscow, 1990) [in Russian].
Author information
Authors and Affiliations
Additional information
Original Russian Text © A.S. Bortakovskii, 2006, published in Izvestiya Akademii Nauk. Teoriya i Sistemy Upravleniya, 2006, No. 6, pp. 77–92.
Rights and permissions
About this article
Cite this article
Bortakovskii, A.S. Sufficient conditions of optimality of the automaton part of the logical-dynamical system. J. Comput. Syst. Sci. Int. 45, 917–932 (2006). https://doi.org/10.1134/S1064230706060074
Received:
Issue Date:
DOI: https://doi.org/10.1134/S1064230706060074