МОДЕЛИ И АЛГОРИТМЫ ВЫЧИСЛЕНИЯ ГРАНИЦ МНОЖЕСТВ ДОСТИЖИМОСТИ НА ОСНОВЕ СИМВОЛЬНЫХ ФОРМУЛ : доклад, тезисы доклада

Описание

Перевод названия: MODELS AND ALGORITHMS FOR COMPUTING THE BOUNDARIES OF REACHABLE SETS ON THE BASIS OF SYMBOLIC FORMULA

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: Решетневские чтения; Красноярск; Красноярск

Год издания: 2022

Ключевые слова: domains of states, geometric characteristics of decision sets, symbolic formulas, convergence, regularization, области состояний, геометрические характеристики множеств решений, символьные формулы, сходимость, регуляризация

Аннотация: Построены модели и методы вычисления границ областей достижимости управляемой системы, использующие символьные формулы, а также характеристики множеств достижимости. Оценка множества всех точек фазового пространства, являющихся значениями траекторий решений управляемой системы, выполняется на вычисления экстремальных значений симвоПоказать полностьюльных формул этих траекторий. Приводятся примеры построения символьных формул и оценок множеств достижимости. Models and methods for computing the boundaries of reachable areas of a controlled system are constructed, using symbolic formulas, as well as characteristics of reachability sets. The evaluation of the set of all points of the phase space, which are the values of the trajectories of the solutions of the controlled system, is performed to calculate the extreme values of the symbolic formulas of these trajectories. Examples of constructing symbolic formulas and estimates of reachable sets are given.

Ссылки на полный текст

Издание

Журнал: Решетневские чтения

Выпуск журнала: Часть 2

Номера страниц: 109-111

Место издания: Красноярск

Издатель: Федеральное государственное бюджетное образовательное учреждение высшего образования "Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева"

Персоны

  • Рогалев А. Н. (Институт вычислительного моделирования СО РАН)

Вхождение в базы данных