Abstract:
This paper is devoted to a specification of the method of open-loop control packages, a universal instrument for verification of the solvability of problems of closed-loop control for partially observable dynamical systems. Under the assumption that the control system and observed signal are linear and the set of the admissible initial states is finite, a structure of the corresponding open-loop control packages is specified and a finite-step backward construction is described, which provides a criterion for the solvability of a problem of guaranteed closed-loop guidance onto a target set at a prescribed time.