модель управляющего алгоритма реального времени
Сборник научно-технических статей по ракетно-космической тематике / Гос. науч.-произв. ракет.-косм. центр "ЦСКБ-Прогресс". - Самара, 2001. - С. 162-165

Описывается основанная на логико-алгебраическом подходе математическая модель для представления управляющих алгоритмов и программ реального времени, предназначенных для координации работы бортовой аппаратуры космических аппаратов. Предлагается модель семантики управляющего алгоритма реального времени. Приводится формальная теория (исчисление) управляющих алгоритмов. Рассмотрены примеры описания параллельных управляющих алгоритмов с помощью основанной на предлагаемой модели инструментальной графической программной системы
Вестник Самарского государственного технического университета. Серия: Физико-математические науки. 2005. № 38. С. 19-25.

Описание
Известия Российской академии наук. Теория и системы управления. 2006. № 2. С. 128-141.

программный
Известия Самарского научного центра РАН 2005, том 7, № 1,С131-137

для бортовых алгоритмов
Известия Самарского научного центра российской академии наук 2005, том 7, № 1, С.124-130

по заказу ГНПРКЦ "ЦСКБ-Прогресс"
Полет. Общероссийский научно-технический журнал Декабрь 2005

Автореферат содержит описание диссертации - математических моделей, методов, алгоритмов и инструментальных программных средств автоматизации проектирования управляющих алгоритмов реального времени для космических аппаратов

Математические модели, методы и алгоритмы, программные средства автоматизации проектирования, синтеза и верификации управляющих алгоритмов реального времени для космических аппаратов
ВАК РФ

Описываются математические модели, методы и инструментальные программные средства автоматизированной разработки управляющих программ реального времени для космических аппаратов
Самара : Изд-во СНЦ РАН, 2006. - 266 с. - ISBN 5-93424-257-1