На протяжении нескольких лет в Институте ведутся исследования в области разработки формальных моделей и методов анализа и синтеза типовых модульных систем обработки данных, в том числе и систем обработки данных реального времени. В результате были созданы формализованные модели и методы для решения задач анализа и синтеза оптимальных модульных систем обработки данных (СОД) и СОД реального времени (СОД РВ), которые приведены в многочисленных публикациях и монографиях [1, 3, 4, 5-13]. В данной работе в краткой форме изложены основные особенности данных задач применительно к распределенным СОД РВ (РСОД РВ), показаны отличительные черты таких систем, работающих в реальном времени и построенных на основе распределенных вычислительных систем.

Рассмотрена задача построения наблюдателя для дискретной динамической системы. Описана техника приведения произвольного динамического компенсатора к форме наблюдателя Люенбергера.

Рассмотрена задача робастной фильтрации для линейной дискретной стационарной системы

Задачи формирования составов и расписания движения грузовых поездов могут быть сформулированы как задач и теории расписаний. Многие из этих задач являются NP-трудными, в связи с чем возникает проблема поиска приближенного решения таких задач. Предлагается метод, основанный на введении метрики для пространства параметров задачи, позволяющий за полиномиальное время находить решение задачи с гарантированной абсолютной погрешностью целевой функции. Метод подробно рассматривается на примере задачи минимизации суммарного запаздывания. Эффективность метода подтверждается численными экспериментами.

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