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

На основе концептов сетецентрического управления разработана методика синтеза управляющей cети Петри для систем автоматизации, работающих в реальном времени. Методика использует для анализа функциональности и согласованности модель СДСС – структурированная дискретно-событийная система. Определен состав модели, предложена техника анализа управляемости и моделирования объекта сетью Петри процесса. Разработана техника анализа сети Петри процесса и метод синтеза супервизора – управляющей сети Петри, обеспечивающей совместно с сетью процесса выполнение спецификации СДСС.

Применительно к проблеме управления безопасностью объектов ракетно-космической техники (РКТ) в их жизненном цикле излагается метод целочисленной оптимизации управления обобщённым риском.

Рассматриваются линейные многомерные системы с непрерывными регуляторами по выходу, подверженные действию внешних возмущений из класса полигармонических функций с неизвестными амплитудами и частотами, ограниченны по мощности. Формулируется задача синтеза непрерывных регуляторов, обеспечивающих требуемую точность по регулируемым переменным в установившемся режиме и заданное время регулирования (определяемого степенью устойчивости замкнутой системы). Введено понятие радиуса установившегося состояния замкнутой системы по регулируемым переменным, и задача обеспечения заданной точности формулируется как задача обеспечения заданного или минимально возможного радиуса установившегося состояния.Регуляторы строятся по измеряемому выходу объекта управления, а процедура их построения сводится к некоторой специальным образом сконструированной стандартной проблеме Н∞ - оптимизации. Разработанные методы синтеза регуляторов по выходу по заданной точности без учета времени регулирования имеют необходимый и достаточный характер. Учет времени регулирования в этой задаче в виде заданной степени устойчивости замкнутой системы (осуществляется переход к так называемому «смещенному объекту управления») приводит только к достаточному результату в задаче синтеза. Численное решение таких задач Н-∞ оптимизации опирается на метод линейных матричных неравенств (LMI), реализованный в MATLAB – пакете LMI Control Toolbox. Разработано программное обеспечение в рамках MATLAB, реализующее алгоритмы синтеза регуляторов, которое использует пакет LMI Control Toolbox. Осуществлена численная проверка эффективности разработанного программного обеспечения для ряда многомерных технических объектов, в частности, взаимосвязанных приводов формовочного и калибровочного станов трубоэлектросварочного агрегата.