Абстрактная задача функционального контроля

Предлагается новая формулировка задачи функционального контроля объекта по его входным и выходным сигналам. В рамках этой формулировки на языке отображений получены достаточные условия для вынесения решения о соответствии технического состояния объекта контроля заданному. Приводится пример.