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