Технологический процесс в установке зависит от дискретных состояний клапанов, дросселей, вентилей (открыт-закрыт), компрессоров, насосов, детандеров (включен-выключен) и от состояний непрерывных процессов изменения температур, давлений, концентраций и уровней. <...> Понятие логико-динамической ситуации используется при логико-динамической спецификации гибридных процессов [1–3]. <...> Дискретнонепрерывный процесс с точки зрения динамики является гибридным процессом, т. е. таким, в котором наряду с непрерывными изменениями состояния происходят дискретно-событийные изменения состояния и (или) динамики процесса. <...> Очевидно, чисто непрерывные и чисто дискретно-событийные процессы являются частными случаями гибридных процессов. <...> Логико-динамическая спецификация процессов ориентирована на их компьютерную реализацию. <...> Текущее состояние гибридных процессов определяется множеством вещественных пере26 ИНФОРМАЦИОННОУПРАВЛЯЮЩИЕ СИСТЕМЫ и непрерывных вещественных воздействий Xi. <...> В составе множества W выделяются также подмножество Q, содержащее переменные для представления дискретных состояний и режимов процессов, и подмножество предикатов от непрерывных состояний G. <...> Предикаты могут определять состояния дискретных и режимы гибридных процессов. <...> Для спецификации процессов необходимо определить функции транзитивных переходов следующих типов: : W Q — функция трансформации состопрерывных состояний для возможных режимов гибридных процессов; яний дискретно-событийных процессов и режимов гибридных процессов; : W X Xs — функция трансформации не№2, 2017 ИНФОРМАЦИОННО-УПРАВЛЯЮЩИЕ СИСТЕМЫ : X G {False, True} — зависимость значений предикатов от непрерывных состояний процессов. <...> Спецификация процессов сводится к заданию конкретных способов определения и вычисления указанных выше функций перехода. <...> Поскольку в общем случае мощности множеств значений дискретных состояний могут быть больше двух, то эти <...>