Синтез управляющего алгоритма в системе продукционных правил с временным параметром

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

Статья представлена к публикации членом редколлегии: О. П. Кузнецов