Логический синтез управляющего алгоритма в системе с булевыми переменными

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