2004/09/07 by Igor Borovikov, Borovikov, Igor
Mathematics · #37J15 (Primary) 49J15 #70H15 (Secondary) #Category Theory (math.CT) #FOS: Mathematics #Optimization and Control (math.OC) #math.CT #math.OC #msc:37J15 #msc:49J15 #msc:70H15
paper · pdf · doi:10.48550/arxiv.math/0409111
29 pages
arxiv created 2004/09/07 · arxiv updated 2009/12/01
The paper presents necessary and sufficient conditions for the order reduction of optimal control systems. Exploring the corresponding Hamiltonian system allows to solve the order reduction problem in terms of dynamical systems, observability and invariant differential forms. The approach is applicable to non-degenerate optimal control systems with smooth integral cost function. The cost function is defined on the trajectories of a smooth dynamical control system with unconstrained controls and fixed boundary conditions. Such systems form a category of Lagrangian systems with morphisms defined as mappings preserving extremality of the trajectories. Order reduction is defined as a factorization in the category of Lagrangian systems.