Библиографическое описание:МОДЕЛИ И АЛГОРИТМЫ ВЫЧИСЛЕНИЯ ГРАНИЦ МНОЖЕСТВ ДОСТИЖИМОСТИ НА ОСНОВЕ СИМВОЛЬНЫХ ФОРМУЛ : доклад, тезисы доклада / А. Н. Рогалев. - [Б. м. : б. и.], 2022. - Текст : непосредственный // Решетневские чтения : Материалы XXVI Международной научно-практической конференции, посвященной памяти генерального конструктора ракетно-космических систем академика М.Ф. Решетнева. В 2-х частях / Решетневские чтения (2022 ; 09.11 - 11.11 ; Красноярск). - Красноярск : Федеральное государственное бюджетное образовательное учреждение высшего образования "Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева", 2022. - Часть 2. - С. 109-111. - ISBN 9785864339251. Перевод заглавия: MODELS AND ALGORITHMS FOR COMPUTING THE BOUNDARIES OF REACHABLE SETS ON THE BASIS OF SYMBOLIC FORMULA
Аннотация:Построены модели и методы вычисления границ областей достижимости управляемой системы, использующие символьные формулы, а также характеристики множеств достижимости. Оценка множества всех точек фазового пространства, являющихся значениями траекторий решений управляемой системы, выполняется на вычисления экстремальных значений символьных формул этих траекторий. Приводятся примеры построения символьных формул и оценок множеств достижимости.
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.
Издательство:Федеральное государственное бюджетное образовательное учреждение высшего образования "Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева, Красноярск
