Предложен метод логического вывода для решения задач управления ресурсами телекоммуникационной сети. Результатом логического вывода является трансформация исходной задачи в задачу доказательства существования плана достижения глобальной цели, удовлетворяющего заданным начальным условиям функционирования телекоммуникационной сети.
Ушань Владислав Николаевич Метод логического вывода в системе поддержки принятия решений для управления телекоммуникационной сетью // Проблеми телекомунікацій, Vol. 2013, Issue 3, 2013, pp. 79-92

описано применение логического вывода для установления непротиворечивости (верификации) спецификаций управляющих бортовых программ реального времени для космических аппаратов
Управление движением и навигация летательных аппаратов : Сборник трудов XV Всероссийского семинара по управлению движением и навигации летательных аппаратов: Часть I / Самар. гос. аэрокосм. ун-т. Самара, 2012 С 157-160

Рассматривается проблема машинно-независимой оптимизации программ, построенных на управляющих алгоритмах реального времени (УАРВ). Описывается математическая модель семантики УА и основанные на ней эквивалентные оптимизирующие преобразования.
Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2009, 1(18), 260–266

Рассматривается комплекс проблем спецификации, верификации и синтеза управляющих программ реального времени, исполняемых на борту космического аппарата. Анализируются подходы к решению этих задач на основе временной логики и применения расширенной алгебры управляющих процессов. Описывается структура основанного на приведенном подходе инструментального программного комплекса разработки управляющих программ для космических аппаратов
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета). 2007. № 1. С. 247-252.