Для конечномерной динамической системы S рассматривается задача построения вспомогательной динамической системы SK, моделирующей поведение S с точностью, достаточной для обнаружения ошибок заданного класса. Предполагается, что S и класс ошибок в ней заданы аналитически (системами уравнений), искомая SK имеет такую же форму. Определены необходимые и достаточные условия существования SK. Задача сведена к некоторым преобразованиям S и решению решёточных неравенств, что минимизирует порядок.

For finite-dimensional dynamical system S consider the problem of constructing an auxiliary dynamic system SK, simulating the behavior of S with an accuracy sufficient to detect errors of the specified class. It is assumed that S and the class of errors it is specified analytically (systems of equations), the required SK has the same form. Defined necessary and sufficient conditions for the existence of the SK. The problem is reduced to some transformations S and the lattice solution of inequality that minimizes the order.

Динамическая система, диагностическое моделирование, функция динамики, функция выходов, решающая функция, разбиения, порождающая функция, алгебра пар, М-оператор.

Dynamic system, diagnostic modeling, function dynamics, outputs function, decisive function, partition, generating function, algebra pairs, M-operator.


Полный доклад доступен по ссылке.