Sufficient conditions of optimality of the automaton part of the logical-dynamical system
Aleksandr Sergeevich Bortakovskii · Journal of Computer and Systems Sciences International · 2006
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.