Перевод названия: 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
Место издания: Красноярск
Издатель: Федеральное государственное бюджетное образовательное учреждение высшего образования "Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева"