В работе разработана модель структурированной динамической дискретно-событийной системы (СДСС) и предложены методы работы с ней, которые позволят повысить размерность решаемых задач супервизорного управления и составляют теоретический базис для новой технологии проектирования супервизорного управления. Структурированными являются все три компонента СДСС, но, прежде всего, модель объекта и спецификация.Предложенная модель СДСС и техника работы с ней максимально учитывает особенности системы автоматизации реального времени. Доказанная теорема управляемости для СДСС составляет теоретическую основу для дальнейших исследований и базу для программирования и проведения эксперимента на потоке реальных задач. В результате исследований сформулировано условие управляемости для СДСС и СДССф, исследован вопрос существования супервизора, показан способ проверки реализуемости спецификации. Предложена структура супервизорного управления, разработан и исследован метод синтеза супервизора по модели объекта и спецификации. Показана линейная зависимость сложности супервизора от числа ребер автомата, представляющего спецификацию. Этот результат дает основание полагать, что удалось избежать «взрыва состояний» при синтезе супервизора.