Применение теории симметрии к анализу и синтезу отказоустойчивых систем

Показывается, что отказоустойчивость систем есть следствие математической симметрии некоторой избыточной структуры, в которую вкладывается исходная структура. В качестве инварианта отказоустойчивой системы рассматривается логическая структура задачи. В $k$-отказоустойчивой системе инвариант сохраняется при произвольных к отказах подсистем. Находятся условия и соответствующие им структуры, которые могут быть синтезированы как одно-отказоустойчивые с минимальной избыточностью.