О внутренних оценках множеств достижимости для непрерывно-дискретных систем с дискретной памятью

Рассматривается линейная непрерывно-дискретная функционально-дифференциальная система управления с дискретной памятью. Цель управления задается с помощью конечного набора линейных функционалов, для которых предписываются целевые значения. Предполагается, что на фазовые и управляющие переменные наложены ограничения в форме линейных неравенств — как точечных, так и интегральных. Приводится описание основных соотношений и алгоритмов, позволяющих давать внутреннюю (нижнюю по включению) оценку множества целевых значений, достижимых на траекториях рассматриваемой системы с учетом заданных ограничений. Основные построения базируются на систематическом использовании оператора Коши непрерывно-дискретной системы. Дается описание используемых ограничений и предлагается процедура их приведения к универсальной форме. Для построения нижних по включению оценок множества достижимых значений целевых функционалов используются кусочно-постоянные программные управления. Предлагаемые оценки являются результатом решения специальной серии задач линейного программирования. Дается описание программных управлений, реализующих условно экстремальные целевые значения.