Язык Рефлекс: практическая нотация для кибер-физических систем

В статье вводится понятийный аппарат для сложных алгоритмов управления, представленный в виде математической модели. Для демонстрации практической ценности модели, описываются грамматика и семантика процесс-ориентированного языка, известного под названием Reflex, или "Си с процессами". Выразительные свойства языка показаны на примере разработки алгоритма управления сушилки для рук. Также представлены результаты практической апробации языка.