В настоящее время для алгоритмизации и программирования систем со сложным поведением активно разрабатывается SWITCH-технология, также называемая автоматным программированием. В частности, данный подход уже используется при проектировании программного обеспечения для мобильных роботов [1], беспилотных летательных объектов [2], а также в деревообработке [3–8].
Дело в том, что большинство агрегатов для сушки шпона в газовых сушилках по производительности, расходу топлива и электроэнергии имеют достаточно невысокие показатели вследствие недостатков конструкции и несовершенства систем управления. Применение технологии разработки систем логического управления на базе конечных автоматов может существенно повысить эффективность процесса сушки шпона.
Технология, основанная на многозначных переменных состояния и получившая название «SWITCH-технология», была предложена А.А. Шалыто для логического управления [9]. Именно в ней был впервые введен этап кодирования состояний, отсутствующий в традиционных технологиях программирования.
Для устранения самой возможности возникновения в программе непредусмотренных состояний следует еще на этапе проектирования явно определять все требуемые состояния и применять для их различения только одну многозначную управляющую переменную. После этого необходимо явно определить все возможные переходы между состояниями и построить программу так, чтобы она не могла сойти с проложенных «рельсов».
В качестве математической модели используют конечный автомат, базирующийся на понятии «состояние», в качестве графической нотации — графы переходов (ГП) автоматов, так как они сочетают в себе компактность и наглядность с гибкостью в плане введения дополнительных обозначений и внесения изменений. Применение ГП позволяет в явной графической форме ввести понятие «состояние» в практику алгоритмизации и программирования, а также в наглядной форме отразить динамику переходов автомата из одного состояния в другое при изменении входных воздействий с указанием значений всех выходных переменных, формируемых в каждом состоянии.