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