Специализированные алгоритмы и программные средства оптимизации нелинейных управляемых динамических систем

<jats:p>Разработанные алгоритмы решения нелинейных задач оптимального управления и аппроксимации невыпуклых множеств достижимости легли в основу реализованных специализированных программных средств, ориентированных на исследование нелинейных управляемых динамических систем. Подобные системы возникают в различных научно-технических и промышленных областях, характеризуются высокой степенью сложности (нелинейными динамическими системами и невыпуклыми целевыми функционалами), поэтому для их эффективного решения требуется использование алгоритмов, позволяющих учитывать специфику задач рассматриваемого класса. В работе предложены соответствующие вычислительные технологии, опирающиеся как на использование классических подходов, основанных на последовательной дискретизации непрерывных задач и применении принципа максимума Понтрягина, так и опирающиеся на использование специфических особенностей управляемых динамических систем – свойства линейной связности множества достижимости и свойства скрытой выпуклости множества допустимых скоростей управляемых динамических систем. Методики предоптимизационного анализа (оценки степени выпуклости целевых функционалов и построения границы множества достижимости) также реализованы в виде программ, позволяющих на старте оценить вычислительную сложность прикладных задач невыпуклой оптимизации и подобрать эффективные численные методы для ее решения. Приводятся описания математической, программной и технологической постановок исследуемых невыпуклых задач оптимального управления. Представлена схема методологии синтеза многометодных нелокальных алгоритмов для оптимизации управляемых динамических систем. Описаны этапы формирования вычислительной схемы и особенности выбора значений алгоритмических параметров. Для тестирования программных реализаций алгоритмов невыпуклой оптимизации с целью исследования их предельных свойств и поиска эффективных модификаций используется разработанная тестовая коллекция нелинейных задач оптимального управления. Коллекция включает как опубликованные задачи с известными решениями, так и сгенерированные с использованием предложенной методики генерации тестов. Разработанные алгоритмы и соответствующее программное обеспечение применялось при решении практических задач из различных научно-технических областей: динамики полета и космонавигации, квантовой физики и вычислительной химии, синтеза композитных конструкций, экономики, медицины, технической экологии и других областей.</jats:p> <jats:p>The developed algorithms for solving nonlinear optimal control problems and approximating non-convex reachable sets formed the basis for specialized software constructed for studying nonlinear controlled dynamical systems. Such systems arise in various scientific, technical, and industrial fields and are characterized by a high degree of complexity (nonlinear dynamical systems and non-convex objective functionals). Therefore, their effective solution requires the use of algorithms that take into account the specific characteristics of these problems. The paper proposes appropriate computational technologies based on both classical approaches based on sequential discretization of continuous problems and the application of Pontryagin's maximum principle, as well as on the specific properties of the dynamical systems, such as the linear connectivity of the reachable set and the hidden convexity of the admissible velocities set of controlled dynamical systems. Pre-optimization analysis methods (estimating the degree of the objective functionals convexity and constructing the boundary of the reachable set) are also implemented as programs that allow for the initial assessment of the computational complexity of applied non-convex optimization problems and the selection of effective numerical methods for their solution. Descriptions of the mathematical, software, and technological formulations of studied non-convex optimal control problems are provided. A framework for synthesizing multi-method non-local algorithms for optimizing controlled dynamical systems is presented. The stages of constructing the computational scheme and the specifics of selecting algorithmic parameter values are described. A developed test collection of nonlinear optimal control problems is used to test software implementations of non-convex optimization algorithms to study their limiting properties and find effective modifications. The collection includes both published problems with known solutions and problems generated using the proposed test generation methodology. The developed algorithms and corresponding software were used to solve practical problems in various scientific and technical fields: flight dynamics and space navigation, quantum physics and computational chemistry, synthesis of composite structures, economics, medicine, technical ecology, and other areas.</jats:p>