Алгебраические методы синтеза систем автоматического управления — В монографии рассматривается синтез линейных непрерывных и дискретных систем автоматического управления методом желаемых передаточных функций (ЖПФ).

Теория и методы аналитического синтеза систем автоматического управления (полиномиальный подход) — Монография посвящена решению проблемы синтеза систем автоматического управления аналитическими методами. Получены уравнения, связывающие параметры объекта, устройства управления и замкнутой системы с управлением по выходу и воздействиям.

Алгоритмы синтеза дискретных автоматов — Книга посвящена проблеме автоматизации синтеза дискретных автоматов, решаемой на базе системы автоматического программирования, в основу которой положен алгоритмический язык ЛЯПАС (логический язык представления алгоритмов синтеза). Книга содержит детальное и достаточно популярное описание языка ЛЯПАС.

VHDL для моделирования, синтеза и формальной верификации аппаратуры — Книга не ставит целью проведение исчерпывающего анализа текущего состояния по этим важным направлениям развития САПР.

Графы в задачах анализа и синтеза структур сложных систем — Предложен единый подход к определению таких понятий, как ультраграф, гиперграф, ориентированный и неориентированный граф, и рассмотрено использование аппарата теории графов для разработки моделей структур сложных систем, а также постановка задач их синтеза и способы снижения вычислительной