Обобщенная модель функционирования РТС конвейерной сборки самолетных конструкций, представленная средствами формальной логики

Дискретный характер технологических сборочных операций и свойства РТС как системы взаимодействующих модулей позволяют рассматривать такую систему на логическом уровне управления как дискретный объект управления, проходящий в процессе функционирования через конечное множество состояний Р. Каждое из этих состояний может быть полностью описано в соответствующий момент времени с помощью группы сигналов  поступающих от датчиков, контролирующих работу ИР (технологического оборудования и состояние рабочей среды). Совокупность всех групп сигналов образует множество , адекватное множеству P. Изменение состояния РТС является результатом отработки функциональными модулями системы некоторого управляющего воздействия , т. е. группы команд управления , сформированных в данный момент времени. В свою очередь, каждое управляющее воздействие является компонентой строго упорядоченного вектора управления , представляющего собой формализованное описание в символах управления требуемой технологии выполнения технологической операции. Следовательно, вектор  может рассматриваться как записанная в неявном виде программа работы РТС, содержащая всю необходимую для управления информацию. Исходя из этого, функционирование РТС может быть представлено как последовательность изменения его состояния под действием заданного вектора управления, т. е. последовательно формируемых СУ управляющих воздействий (команд управления). При этом РТС как управляемый объект реализует функцию отображения  поступающего управляющего воздействия в соответствующее состояние

Необходимым условием функционирования РТС как совокупности переходов из одних состояний в другие является существование логической связи между данным состоянием и формируемым управляющим воздействием, представляемой в виде сложной логической функции . Эта функция связывает множество состояний РТС в вектор управлений, что позволяет интерпретировать программирование РТС как процедуру определения и задания такой функции. Для однозначности описания процедуры управления необходимо выбирать функцию  такой, чтобы любое управляющее воздействие могло быть сформировано в том состоянии, которое было инициировано предыдущим воздействием (т. е. чтобы соблюдался принцип последовательности).

Формально такое требование записывается следующей системой условий:

,

где ;

.

Таким образом, логика функционирования РТС отражается сложной логической функцией управляющих воздействий, определенной на множестве возможных состояний РТС, причем в процессе управления осуществляется ци­кличное преобразование информации по цепочке действие — состояние — действие.