Abstract:
We consider the problem of retaining the motions of an abstract dynamic system in a given constraint set. Constructions from the method of programmed iterations are extended to problems whose dynamics, in general, does not possess any topological properties. The weaker requirements are compensated by introducing transfinite iterations of the programmed absorption operator. The technique of fixed points of mappings in inductive partially ordered sets is used in the proofs. The proposed procedure produces the set where the problem under consideration is successfully solved in the class of quasistrategies. The control interval is not assumed to be finite.