Discrete nonuniform systems and sufficient conditions of optimality

Nonuniform systems are the object of a deep investigation last 15–20 years. They are exemplified by the chemical processes, complicated operations in space, robot dynamics, development of organisms and biological populations.
A significant part in the studies of nonuniform systems is related to control optimization problems, when optimal control methods for uniform systems that have already become classical (the Pontryagin's maximum principle, Bellman scheme) cannot be directly applied. On one hand, for this class of optimization problems it is required a mathematical model that takes into account the object's properties, on the other hand, the mathematical apparatus that lets one find solution of the problem. Obviously, there were many researchers who aimed their efforts at modification and refinement of the Pontryagin's maximum principle for this class of problems adding special conditions at the moments of changing description of the system (for example, so called jump conditions). Another approach is related to the Lyapunov vector-function. Some authors use hybrid technique when continuous and discrete components are used for description and control. Besides, some schools actively use in their research the measure theory, generalized functions, and discontinuity time change method.
In this work, we propose an alternative approach under traditional assumptions of the optimal control theory. It is based on sufficient optimality conditions of V.F. Krotov for discrete systems set down in terms of arbitrary sets and maps. The proposed specification let us consider sets and maps with variable structure from one step to another, at each stage the control is treated as a combination of some abstract variable and some continuous or discrete process.
We consider a class of discrete nonuniform systems which are widespread in practice (economics, ecology). Such systems also arise in process of numerical solution of optimization problems obtained after discretization of continuous controllable systems. For this class a counterpart of Krotov's sufficient conditions is proposed. They are formulated in the Bellman-type form as well. Their specification for linear and liear-quadratic systems w.r.t. state is given.