Synthesis of logical-dynamical systems on the basis of sufficient optimality conditions
Aleksandr Sergeevich Bortakovskii · Journal of Computer and Systems Sciences International · 2010
A dynamical system controlled by an automaton with memory is considered. A continuous part of the systems is described by differential equations, and a logical (automaton) part, by recurrence equations. Moments when the states of the automaton part are changed are a priori not known and determined in the course of optimization. Modes with multiple instantaneous switchings of the automaton part are assumed to be possible. Based on sufficient optimality conditions, a technique for synthesizing suboptimal positional control is developed. The use of this technique is illustrated by an example.