Перевод названия: REGULARIZATION OF ESTIMATES OF REACHABLE SETS OF CONTROLLED SYSTEMS AND SYMBOL FORMULAS
Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: Решетневские чтения; Красноярск; Красноярск
Год издания: 2021
Ключевые слова: domains of states, geometric characteristics of decision sets, symbolic formulas, convergence, regularization, области состояний, геометрические характеристики множеств решений, символьные формулы, сходимость, регуляризация
Аннотация: Для оценивания множеств достижимости используются символьные формулы решений и геометрические характеристики множеств решений. При этом важно отслеживать и анализировать поведение областей точных решений и их границ. В докладе вводятся понятия внутренних и внешних элементов множеств решений, доказаны их свойства. Выполняется регуляПоказать полностьюризация формул оценивания множеств решений, позволяющих оценивать сходимость и расходимость траекторий решений ОДУ при изменении входных данных. To estimate reachability sets, symbolic formulas for solutions and geometric characteristics of solution sets are used. At the same time, it is important to monitor and analyze the behavior of exact solution domains and their boundaries. The report introduces the concepts of internal and external elements of solution sets, and proves their properties. The regularization of the formulas for estimating the sets of solutions is carried out, which make it possible to estimate the convergence and divergence of the trajectories of ODE solutions when the input data changes.
Журнал: Решетневские чтения
Выпуск журнала: Часть 2
Номера страниц: 199-201
Место издания: Красноярск
Издатель: Федеральное государственное бюджетное образовательное учреждение высшего образования "Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева"