О задаче достижимости и синтеза управления в условиях нелинейности

Рассматриваются задачи внешней и внутренней аппроксимации множеств достижимости и информационных множеств для определенных классов нелинейных систем на конечном отрезке времени. Наибольшее внимание было уделено классу билинейных по состоянию и управлению/помехе систем. Были построены несколько различных семейств оценок, включающих, в том числе, невыпуклые оценки. Такие оценки позволяют уточнить выпуклые аппроксимации указанных множеств. Для нескольких конкретных примеров нелинейных систем было получено точное представление множеств достижимости и информационных множеств в виде пересечения по семейству внешних оценок.